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

About the Execution of ITS-Tools for DES-PT-60a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
3589.508 945659.00 3115158.00 725.10 FTFFFTFTFTTFFTFT 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.r064-tall-162038396800150.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 DES-PT-60a, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-tall-162038396800150
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 456K
-rw-r--r-- 1 mcc users 11K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 104K May 5 16:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.4K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 88K May 5 16:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.6K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Mar 28 15:56 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 28 15:56 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Mar 28 15:56 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 15:56 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 23 03:25 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 23 03:25 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 22 12:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 22 12:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Mar 22 09:10 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Mar 22 09:10 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 4 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 110K 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 DES-PT-60a-ReachabilityCardinality-00
FORMULA_NAME DES-PT-60a-ReachabilityCardinality-01
FORMULA_NAME DES-PT-60a-ReachabilityCardinality-02
FORMULA_NAME DES-PT-60a-ReachabilityCardinality-03
FORMULA_NAME DES-PT-60a-ReachabilityCardinality-04
FORMULA_NAME DES-PT-60a-ReachabilityCardinality-05
FORMULA_NAME DES-PT-60a-ReachabilityCardinality-06
FORMULA_NAME DES-PT-60a-ReachabilityCardinality-07
FORMULA_NAME DES-PT-60a-ReachabilityCardinality-08
FORMULA_NAME DES-PT-60a-ReachabilityCardinality-09
FORMULA_NAME DES-PT-60a-ReachabilityCardinality-10
FORMULA_NAME DES-PT-60a-ReachabilityCardinality-11
FORMULA_NAME DES-PT-60a-ReachabilityCardinality-12
FORMULA_NAME DES-PT-60a-ReachabilityCardinality-13
FORMULA_NAME DES-PT-60a-ReachabilityCardinality-14
FORMULA_NAME DES-PT-60a-ReachabilityCardinality-15

=== Now, execution of the tool begins

BK_START 1620484375043

Running Version 0
[2021-05-08 14:32:56] [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-08 14:32:56] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-08 14:32:56] [INFO ] Load time of PNML (sax parser for PT used): 70 ms
[2021-05-08 14:32:56] [INFO ] Transformed 354 places.
[2021-05-08 14:32:56] [INFO ] Transformed 311 transitions.
[2021-05-08 14:32:56] [INFO ] Found NUPN structural information;
[2021-05-08 14:32:56] [INFO ] Parsed PT model containing 354 places and 311 transitions in 111 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityCardinality.xml in 9 ms.
Working with output stream class java.io.PrintStream
Ensure Unique test removed 14 transitions
Reduce redundant transitions removed 14 transitions.
FORMULA DES-PT-60a-ReachabilityCardinality-04 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DES-PT-60a-ReachabilityCardinality-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DES-PT-60a-ReachabilityCardinality-11 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Incomplete random walk after 10000 steps, including 227 resets, run finished after 81 ms. (steps per millisecond=123 ) properties (out of 13) seen :6
FORMULA DES-PT-60a-ReachabilityCardinality-15 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DES-PT-60a-ReachabilityCardinality-14 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DES-PT-60a-ReachabilityCardinality-06 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DES-PT-60a-ReachabilityCardinality-05 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DES-PT-60a-ReachabilityCardinality-03 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DES-PT-60a-ReachabilityCardinality-02 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 46 resets, run finished after 24 ms. (steps per millisecond=416 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10000 steps, including 49 resets, run finished after 31 ms. (steps per millisecond=322 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 35 resets, run finished after 20 ms. (steps per millisecond=500 ) properties (out of 7) seen :1
FORMULA DES-PT-60a-ReachabilityCardinality-00 FALSE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Incomplete Best-First random walk after 10001 steps, including 45 resets, run finished after 21 ms. (steps per millisecond=476 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10001 steps, including 46 resets, run finished after 21 ms. (steps per millisecond=476 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10000 steps, including 43 resets, run finished after 35 ms. (steps per millisecond=285 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10001 steps, including 49 resets, run finished after 20 ms. (steps per millisecond=500 ) properties (out of 6) seen :0
Running SMT prover for 6 properties.
// Phase 1: matrix 297 rows 354 cols
[2021-05-08 14:32:57] [INFO ] Computed 59 place invariants in 36 ms
[2021-05-08 14:32:57] [INFO ] [Real]Absence check using 34 positive place invariants in 16 ms returned sat
[2021-05-08 14:32:57] [INFO ] [Real]Absence check using 34 positive and 25 generalized place invariants in 17 ms returned sat
[2021-05-08 14:32:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 14:32:58] [INFO ] [Real]Absence check using state equation in 1093 ms returned sat
[2021-05-08 14:32:58] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 14:32:58] [INFO ] [Real]Absence check using 34 positive place invariants in 9 ms returned sat
[2021-05-08 14:32:58] [INFO ] [Real]Absence check using 34 positive and 25 generalized place invariants in 15 ms returned sat
[2021-05-08 14:32:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 14:32:59] [INFO ] [Real]Absence check using state equation in 235 ms returned sat
[2021-05-08 14:32:59] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 14:32:59] [INFO ] [Nat]Absence check using 34 positive place invariants in 10 ms returned sat
[2021-05-08 14:32:59] [INFO ] [Nat]Absence check using 34 positive and 25 generalized place invariants in 168 ms returned sat
[2021-05-08 14:32:59] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 14:32:59] [INFO ] [Nat]Absence check using state equation in 220 ms returned sat
[2021-05-08 14:32:59] [INFO ] State equation strengthened by 1 read => feed constraints.
[2021-05-08 14:32:59] [INFO ] [Nat]Added 1 Read/Feed constraints in 2 ms returned sat
[2021-05-08 14:32:59] [INFO ] Computed and/alt/rep : 289/870/289 causal constraints (skipped 7 transitions) in 24 ms.
[2021-05-08 14:33:00] [INFO ] Deduced a trap composed of 16 places in 112 ms of which 14 ms to minimize.
[2021-05-08 14:33:00] [INFO ] Deduced a trap composed of 17 places in 99 ms of which 1 ms to minimize.
[2021-05-08 14:33:00] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 289 ms
[2021-05-08 14:33:00] [INFO ] Added : 73 causal constraints over 15 iterations in 784 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 5 ms.
[2021-05-08 14:33:00] [INFO ] [Real]Absence check using 34 positive place invariants in 10 ms returned sat
[2021-05-08 14:33:00] [INFO ] [Real]Absence check using 34 positive and 25 generalized place invariants in 15 ms returned sat
[2021-05-08 14:33:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 14:33:01] [INFO ] [Real]Absence check using state equation in 646 ms returned sat
[2021-05-08 14:33:01] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 14:33:01] [INFO ] [Nat]Absence check using 34 positive place invariants in 10 ms returned sat
[2021-05-08 14:33:01] [INFO ] [Nat]Absence check using 34 positive and 25 generalized place invariants in 348 ms returned sat
[2021-05-08 14:33:01] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 14:33:03] [INFO ] [Nat]Absence check using state equation in 1922 ms returned sat
[2021-05-08 14:33:03] [INFO ] [Nat]Added 1 Read/Feed constraints in 4 ms returned sat
[2021-05-08 14:33:03] [INFO ] Deduced a trap composed of 13 places in 79 ms of which 1 ms to minimize.
[2021-05-08 14:33:03] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 111 ms
[2021-05-08 14:33:03] [INFO ] Computed and/alt/rep : 289/870/289 causal constraints (skipped 7 transitions) in 21 ms.
[2021-05-08 14:33:04] [INFO ] Added : 142 causal constraints over 29 iterations in 974 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 7 ms.
[2021-05-08 14:33:04] [INFO ] [Real]Absence check using 34 positive place invariants in 8 ms returned sat
[2021-05-08 14:33:04] [INFO ] [Real]Absence check using 34 positive and 25 generalized place invariants in 15 ms returned sat
[2021-05-08 14:33:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 14:33:04] [INFO ] [Real]Absence check using state equation in 144 ms returned sat
[2021-05-08 14:33:04] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 14:33:04] [INFO ] [Real]Absence check using 34 positive place invariants in 11 ms returned sat
[2021-05-08 14:33:04] [INFO ] [Real]Absence check using 34 positive and 25 generalized place invariants in 19 ms returned sat
[2021-05-08 14:33:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 14:33:06] [INFO ] [Real]Absence check using state equation in 1854 ms returned sat
[2021-05-08 14:33:06] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 14:33:06] [INFO ] [Nat]Absence check using 34 positive place invariants in 9 ms returned sat
[2021-05-08 14:33:07] [INFO ] [Nat]Absence check using 34 positive and 25 generalized place invariants in 366 ms returned sat
[2021-05-08 14:33:07] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 14:33:10] [INFO ] [Nat]Absence check using state equation in 2917 ms returned sat
[2021-05-08 14:33:10] [INFO ] [Nat]Added 1 Read/Feed constraints in 4 ms returned sat
[2021-05-08 14:33:10] [INFO ] Computed and/alt/rep : 289/870/289 causal constraints (skipped 7 transitions) in 19 ms.
[2021-05-08 14:33:11] [INFO ] Deduced a trap composed of 11 places in 60 ms of which 1 ms to minimize.
[2021-05-08 14:33:11] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 117 ms
[2021-05-08 14:33:11] [INFO ] Added : 193 causal constraints over 39 iterations in 1419 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 14 ms.
[2021-05-08 14:33:11] [INFO ] [Real]Absence check using 34 positive place invariants in 8 ms returned sat
[2021-05-08 14:33:11] [INFO ] [Real]Absence check using 34 positive and 25 generalized place invariants in 14 ms returned sat
[2021-05-08 14:33:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 14:33:11] [INFO ] [Real]Absence check using state equation in 115 ms returned sat
[2021-05-08 14:33:11] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 14:33:11] [INFO ] [Nat]Absence check using 34 positive place invariants in 10 ms returned sat
[2021-05-08 14:33:11] [INFO ] [Nat]Absence check using 34 positive and 25 generalized place invariants in 36 ms returned sat
[2021-05-08 14:33:11] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 14:33:14] [INFO ] [Nat]Absence check using state equation in 2741 ms returned sat
[2021-05-08 14:33:14] [INFO ] [Nat]Added 1 Read/Feed constraints in 5 ms returned sat
[2021-05-08 14:33:14] [INFO ] Computed and/alt/rep : 289/870/289 causal constraints (skipped 7 transitions) in 20 ms.
[2021-05-08 14:33:15] [INFO ] Added : 93 causal constraints over 20 iterations in 686 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 12 ms.
FORMULA DES-PT-60a-ReachabilityCardinality-10 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA DES-PT-60a-ReachabilityCardinality-01 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Fused 6 Parikh solutions to 4 different solutions.
Incomplete Parikh walk after 38200 steps, including 665 resets, run finished after 185 ms. (steps per millisecond=206 ) properties (out of 4) seen :0 could not realise parikh vector
Incomplete Parikh walk after 207200 steps, including 5552 resets, run finished after 678 ms. (steps per millisecond=305 ) properties (out of 4) seen :0 could not realise parikh vector
Incomplete Parikh walk after 245900 steps, including 6757 resets, run finished after 809 ms. (steps per millisecond=303 ) properties (out of 4) seen :0 could not realise parikh vector
Incomplete Parikh walk after 71800 steps, including 1896 resets, run finished after 229 ms. (steps per millisecond=313 ) properties (out of 4) seen :0 could not realise parikh vector
Support contains 17 out of 354 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 354/354 places, 297/297 transitions.
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 354 transition count 295
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 3 place count 353 transition count 294
Iterating global reduction 1 with 1 rules applied. Total rules applied 4 place count 353 transition count 294
Partial Free-agglomeration rule applied 6 times.
Drop transitions removed 6 transitions
Iterating global reduction 1 with 6 rules applied. Total rules applied 10 place count 353 transition count 294
Applied a total of 10 rules in 93 ms. Remains 353 /354 variables (removed 1) and now considering 294/297 (removed 3) transitions.
Finished structural reductions, in 1 iterations. Remains : 353/354 places, 294/297 transitions.
[2021-05-08 14:33:17] [INFO ] Flatten gal took : 74 ms
[2021-05-08 14:33:17] [INFO ] Flatten gal took : 33 ms
[2021-05-08 14:33:17] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality10571109862814708943.gal : 17 ms
[2021-05-08 14:33:17] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality7001015388173953311.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/ReachabilityCardinality10571109862814708943.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality7001015388173953311.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/ReachabilityCardinality10571109862814708943.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality7001015388173953311.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality7001015388173953311.prop.
SDD proceeding with computation,4 properties remain. new max is 4
SDD size :1 after 5
SDD proceeding with computation,4 properties remain. new max is 8
SDD size :5 after 9
SDD proceeding with computation,4 properties remain. new max is 16
SDD size :9 after 17
SDD proceeding with computation,4 properties remain. new max is 32
SDD size :17 after 21
SDD proceeding with computation,4 properties remain. new max is 64
SDD size :21 after 37
SDD proceeding with computation,4 properties remain. new max is 128
SDD size :37 after 45
SDD proceeding with computation,4 properties remain. new max is 256
SDD size :45 after 745
SDD proceeding with computation,4 properties remain. new max is 512
SDD size :745 after 881
SDD proceeding with computation,4 properties remain. new max is 1024
SDD size :10293 after 11735
SDD proceeding with computation,4 properties remain. new max is 2048
SDD size :11735 after 211689
SDD proceeding with computation,4 properties remain. new max is 4096
SDD size :211689 after 5.16521e+06
Detected timeout of ITS tools.
[2021-05-08 14:33:32] [INFO ] Flatten gal took : 35 ms
[2021-05-08 14:33:32] [INFO ] Applying decomposition
[2021-05-08 14:33:32] [INFO ] Flatten gal took : 28 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/graph13574764559147764325.txt, -o, /tmp/graph13574764559147764325.bin, -w, /tmp/graph13574764559147764325.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/graph13574764559147764325.bin, -l, -1, -v, -w, /tmp/graph13574764559147764325.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-08 14:33:32] [INFO ] Decomposing Gal with order
[2021-05-08 14:33:32] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-08 14:33:32] [INFO ] Removed a total of 75 redundant transitions.
[2021-05-08 14:33:33] [INFO ] Flatten gal took : 65 ms
[2021-05-08 14:33:33] [INFO ] Fuse similar labels procedure discarded/fused a total of 55 labels/synchronizations in 8 ms.
[2021-05-08 14:33:33] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality15661697266623646681.gal : 6 ms
[2021-05-08 14:33:33] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality5343013511516669350.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/ReachabilityCardinality15661697266623646681.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality5343013511516669350.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/ReachabilityCardinality15661697266623646681.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality5343013511516669350.prop --nowitness
Loading property file /tmp/ReachabilityCardinality5343013511516669350.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 5
SDD proceeding with computation,4 properties remain. new max is 16
SDD size :5 after 9
SDD proceeding with computation,4 properties remain. new max is 32
SDD size :9 after 153
SDD proceeding with computation,4 properties remain. new max is 64
SDD size :153 after 377
SDD proceeding with computation,4 properties remain. new max is 128
SDD size :377 after 6043
SDD proceeding with computation,4 properties remain. new max is 256
SDD size :6043 after 2.4628e+08
SDD proceeding with computation,4 properties remain. new max is 512
SDD size :2.4628e+08 after 5.01851e+08
SDD proceeding with computation,4 properties remain. new max is 1024
SDD size :5.01851e+08 after 8.21314e+08
SDD proceeding with computation,4 properties remain. new max is 2048
SDD size :8.21314e+08 after 1.3644e+09
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin6251404275820517
[2021-05-08 14:33:48] [INFO ] Built C files in 10ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin6251404275820517
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/ltsmin6251404275820517]
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/ltsmin6251404275820517] 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/ltsmin6251404275820517] 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 13433 resets, run finished after 3287 ms. (steps per millisecond=304 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 1000001 steps, including 2259 resets, run finished after 1074 ms. (steps per millisecond=931 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 1000001 steps, including 2319 resets, run finished after 1213 ms. (steps per millisecond=824 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 1000000 steps, including 2314 resets, run finished after 1319 ms. (steps per millisecond=758 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 1000001 steps, including 2226 resets, run finished after 1186 ms. (steps per millisecond=843 ) properties (out of 4) seen :0
Interrupted probabilistic random walk after 13527509 steps, run timeout after 30001 ms. (steps per millisecond=450 ) properties seen :{}
Probabilistic random walk after 13527509 steps, saw 1689906 distinct states, run finished after 30004 ms. (steps per millisecond=450 ) properties seen :{}
Running SMT prover for 4 properties.
// Phase 1: matrix 294 rows 353 cols
[2021-05-08 14:34:27] [INFO ] Computed 61 place invariants in 12 ms
[2021-05-08 14:34:27] [INFO ] [Real]Absence check using 36 positive place invariants in 23 ms returned sat
[2021-05-08 14:34:27] [INFO ] [Real]Absence check using 36 positive and 25 generalized place invariants in 37 ms returned sat
[2021-05-08 14:34:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 14:34:27] [INFO ] [Real]Absence check using state equation in 174 ms returned sat
[2021-05-08 14:34:27] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 14:34:27] [INFO ] [Nat]Absence check using 36 positive place invariants in 7 ms returned sat
[2021-05-08 14:34:27] [INFO ] [Nat]Absence check using 36 positive and 25 generalized place invariants in 136 ms returned sat
[2021-05-08 14:34:27] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 14:34:27] [INFO ] [Nat]Absence check using state equation in 301 ms returned sat
[2021-05-08 14:34:27] [INFO ] State equation strengthened by 5 read => feed constraints.
[2021-05-08 14:34:27] [INFO ] [Nat]Added 5 Read/Feed constraints in 10 ms returned sat
[2021-05-08 14:34:28] [INFO ] Deduced a trap composed of 8 places in 87 ms of which 1 ms to minimize.
[2021-05-08 14:34:28] [INFO ] Deduced a trap composed of 61 places in 41 ms of which 0 ms to minimize.
[2021-05-08 14:34:28] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 175 ms
[2021-05-08 14:34:28] [INFO ] Computed and/alt/rep : 283/884/283 causal constraints (skipped 10 transitions) in 18 ms.
[2021-05-08 14:34:28] [INFO ] Added : 124 causal constraints over 26 iterations in 586 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 3 ms.
[2021-05-08 14:34:28] [INFO ] [Real]Absence check using 36 positive place invariants in 8 ms returned sat
[2021-05-08 14:34:28] [INFO ] [Real]Absence check using 36 positive and 25 generalized place invariants in 15 ms returned sat
[2021-05-08 14:34:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 14:34:28] [INFO ] [Real]Absence check using state equation in 134 ms returned sat
[2021-05-08 14:34:28] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 14:34:29] [INFO ] [Nat]Absence check using 36 positive place invariants in 8 ms returned sat
[2021-05-08 14:34:29] [INFO ] [Nat]Absence check using 36 positive and 25 generalized place invariants in 36 ms returned sat
[2021-05-08 14:34:29] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 14:34:29] [INFO ] [Nat]Absence check using state equation in 265 ms returned sat
[2021-05-08 14:34:29] [INFO ] [Nat]Added 5 Read/Feed constraints in 6 ms returned sat
[2021-05-08 14:34:29] [INFO ] Deduced a trap composed of 8 places in 91 ms of which 0 ms to minimize.
[2021-05-08 14:34:29] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 117 ms
[2021-05-08 14:34:29] [INFO ] Computed and/alt/rep : 283/884/283 causal constraints (skipped 10 transitions) in 19 ms.
[2021-05-08 14:34:30] [INFO ] Added : 125 causal constraints over 26 iterations in 619 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 5 ms.
[2021-05-08 14:34:30] [INFO ] [Real]Absence check using 36 positive place invariants in 8 ms returned sat
[2021-05-08 14:34:30] [INFO ] [Real]Absence check using 36 positive and 25 generalized place invariants in 16 ms returned sat
[2021-05-08 14:34:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 14:34:30] [INFO ] [Real]Absence check using state equation in 289 ms returned sat
[2021-05-08 14:34:30] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 14:34:30] [INFO ] [Nat]Absence check using 36 positive place invariants in 8 ms returned sat
[2021-05-08 14:34:30] [INFO ] [Nat]Absence check using 36 positive and 25 generalized place invariants in 126 ms returned sat
[2021-05-08 14:34:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 14:34:31] [INFO ] [Nat]Absence check using state equation in 347 ms returned sat
[2021-05-08 14:34:31] [INFO ] [Nat]Added 5 Read/Feed constraints in 2 ms returned sat
[2021-05-08 14:34:31] [INFO ] Deduced a trap composed of 61 places in 31 ms of which 1 ms to minimize.
[2021-05-08 14:34:31] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 67 ms
[2021-05-08 14:34:31] [INFO ] Computed and/alt/rep : 283/884/283 causal constraints (skipped 10 transitions) in 16 ms.
[2021-05-08 14:34:32] [INFO ] Added : 220 causal constraints over 44 iterations in 1057 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 5 ms.
[2021-05-08 14:34:32] [INFO ] [Real]Absence check using 36 positive place invariants in 7 ms returned sat
[2021-05-08 14:34:32] [INFO ] [Real]Absence check using 36 positive and 25 generalized place invariants in 15 ms returned sat
[2021-05-08 14:34:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 14:34:32] [INFO ] [Real]Absence check using state equation in 108 ms returned sat
[2021-05-08 14:34:32] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 14:34:32] [INFO ] [Nat]Absence check using 36 positive place invariants in 8 ms returned sat
[2021-05-08 14:34:32] [INFO ] [Nat]Absence check using 36 positive and 25 generalized place invariants in 71 ms returned sat
[2021-05-08 14:34:32] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 14:34:32] [INFO ] [Nat]Absence check using state equation in 307 ms returned sat
[2021-05-08 14:34:32] [INFO ] [Nat]Added 5 Read/Feed constraints in 21 ms returned sat
[2021-05-08 14:34:32] [INFO ] Deduced a trap composed of 11 places in 82 ms of which 1 ms to minimize.
[2021-05-08 14:34:32] [INFO ] Deduced a trap composed of 8 places in 45 ms of which 1 ms to minimize.
[2021-05-08 14:34:33] [INFO ] Deduced a trap composed of 61 places in 60 ms of which 1 ms to minimize.
[2021-05-08 14:34:33] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 250 ms
[2021-05-08 14:34:33] [INFO ] Computed and/alt/rep : 283/884/283 causal constraints (skipped 10 transitions) in 16 ms.
[2021-05-08 14:34:33] [INFO ] Added : 142 causal constraints over 29 iterations in 620 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 7 ms.
Incomplete Parikh walk after 212300 steps, including 3404 resets, run finished after 763 ms. (steps per millisecond=278 ) properties (out of 4) seen :0 could not realise parikh vector
Incomplete Parikh walk after 197200 steps, including 3103 resets, run finished after 663 ms. (steps per millisecond=297 ) properties (out of 4) seen :0 could not realise parikh vector
Incomplete Parikh walk after 211200 steps, including 3043 resets, run finished after 719 ms. (steps per millisecond=293 ) properties (out of 4) seen :0 could not realise parikh vector
Incomplete Parikh walk after 218100 steps, including 3598 resets, run finished after 729 ms. (steps per millisecond=299 ) properties (out of 4) seen :0 could not realise parikh vector
Support contains 17 out of 353 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 353/353 places, 294/294 transitions.
Applied a total of 0 rules in 14 ms. Remains 353 /353 variables (removed 0) and now considering 294/294 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 353/353 places, 294/294 transitions.
Starting structural reductions, iteration 0 : 353/353 places, 294/294 transitions.
Applied a total of 0 rules in 20 ms. Remains 353 /353 variables (removed 0) and now considering 294/294 (removed 0) transitions.
// Phase 1: matrix 294 rows 353 cols
[2021-05-08 14:34:36] [INFO ] Computed 61 place invariants in 10 ms
[2021-05-08 14:34:36] [INFO ] Implicit Places using invariants in 240 ms returned [251]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 243 ms to find 1 implicit places.
[2021-05-08 14:34:36] [INFO ] Redundant transitions in 14 ms returned []
// Phase 1: matrix 294 rows 352 cols
[2021-05-08 14:34:36] [INFO ] Computed 60 place invariants in 10 ms
[2021-05-08 14:34:37] [INFO ] Dead Transitions using invariants and state equation in 191 ms returned []
Starting structural reductions, iteration 1 : 352/353 places, 294/294 transitions.
Applied a total of 0 rules in 14 ms. Remains 352 /352 variables (removed 0) and now considering 294/294 (removed 0) transitions.
[2021-05-08 14:34:37] [INFO ] Redundant transitions in 9 ms returned []
// Phase 1: matrix 294 rows 352 cols
[2021-05-08 14:34:37] [INFO ] Computed 60 place invariants in 7 ms
[2021-05-08 14:34:37] [INFO ] Dead Transitions using invariants and state equation in 168 ms returned []
Finished structural reductions, in 2 iterations. Remains : 352/353 places, 294/294 transitions.
[2021-05-08 14:34:37] [INFO ] Flatten gal took : 22 ms
[2021-05-08 14:34:37] [INFO ] Flatten gal took : 21 ms
[2021-05-08 14:34:37] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality204071848093309298.gal : 2 ms
[2021-05-08 14:34:37] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality5172588376900343797.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/ReachabilityCardinality204071848093309298.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality5172588376900343797.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/ReachabilityCardinality204071848093309298.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality5172588376900343797.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality5172588376900343797.prop.
SDD proceeding with computation,4 properties remain. new max is 4
SDD size :1 after 5
SDD proceeding with computation,4 properties remain. new max is 8
SDD size :5 after 9
SDD proceeding with computation,4 properties remain. new max is 16
SDD size :9 after 17
SDD proceeding with computation,4 properties remain. new max is 32
SDD size :17 after 21
SDD proceeding with computation,4 properties remain. new max is 64
SDD size :21 after 37
SDD proceeding with computation,4 properties remain. new max is 128
SDD size :37 after 45
SDD proceeding with computation,4 properties remain. new max is 256
SDD size :45 after 745
SDD proceeding with computation,4 properties remain. new max is 512
SDD size :745 after 881
SDD proceeding with computation,4 properties remain. new max is 1024
SDD size :10293 after 11747
SDD proceeding with computation,4 properties remain. new max is 2048
SDD size :11747 after 211689
SDD proceeding with computation,4 properties remain. new max is 4096
SDD size :211689 after 5.16521e+06
Detected timeout of ITS tools.
[2021-05-08 14:34:52] [INFO ] Flatten gal took : 22 ms
[2021-05-08 14:34:52] [INFO ] Applying decomposition
[2021-05-08 14:34:52] [INFO ] Flatten gal took : 21 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/graph9389020209830105791.txt, -o, /tmp/graph9389020209830105791.bin, -w, /tmp/graph9389020209830105791.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/graph9389020209830105791.bin, -l, -1, -v, -w, /tmp/graph9389020209830105791.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-08 14:34:52] [INFO ] Decomposing Gal with order
[2021-05-08 14:34:52] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-08 14:34:52] [INFO ] Removed a total of 75 redundant transitions.
[2021-05-08 14:34:52] [INFO ] Flatten gal took : 36 ms
[2021-05-08 14:34:52] [INFO ] Fuse similar labels procedure discarded/fused a total of 54 labels/synchronizations in 3 ms.
[2021-05-08 14:34:52] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality14930237202898090941.gal : 3 ms
[2021-05-08 14:34:52] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality11526310214163255187.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/ReachabilityCardinality14930237202898090941.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality11526310214163255187.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/ReachabilityCardinality14930237202898090941.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality11526310214163255187.prop --nowitness
Loading property file /tmp/ReachabilityCardinality11526310214163255187.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 5
SDD proceeding with computation,4 properties remain. new max is 16
SDD size :5 after 9
SDD proceeding with computation,4 properties remain. new max is 32
SDD size :9 after 153
SDD proceeding with computation,4 properties remain. new max is 64
SDD size :153 after 297
SDD proceeding with computation,4 properties remain. new max is 128
SDD size :297 after 6043
SDD proceeding with computation,4 properties remain. new max is 256
SDD size :6043 after 6.24226e+08
SDD proceeding with computation,4 properties remain. new max is 512
SDD size :6.24226e+08 after 1.28318e+09
SDD proceeding with computation,4 properties remain. new max is 1024
SDD size :1.28318e+09 after 2.10687e+09
SDD proceeding with computation,4 properties remain. new max is 2048
SDD size :2.10687e+09 after 3.50714e+09
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin347823765004251067
[2021-05-08 14:35:07] [INFO ] Built C files in 8ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin347823765004251067
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/ltsmin347823765004251067]
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/ltsmin347823765004251067] 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/ltsmin347823765004251067] 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 13442 resets, run finished after 3264 ms. (steps per millisecond=306 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 1000001 steps, including 2266 resets, run finished after 1094 ms. (steps per millisecond=914 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 1000001 steps, including 2355 resets, run finished after 1201 ms. (steps per millisecond=832 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 1000001 steps, including 2250 resets, run finished after 1296 ms. (steps per millisecond=771 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 1000001 steps, including 2256 resets, run finished after 1116 ms. (steps per millisecond=896 ) properties (out of 4) seen :0
Interrupted probabilistic random walk after 14374672 steps, run timeout after 30001 ms. (steps per millisecond=479 ) properties seen :{}
Probabilistic random walk after 14374672 steps, saw 1782538 distinct states, run finished after 30001 ms. (steps per millisecond=479 ) properties seen :{}
Running SMT prover for 4 properties.
// Phase 1: matrix 294 rows 352 cols
[2021-05-08 14:35:46] [INFO ] Computed 60 place invariants in 29 ms
[2021-05-08 14:35:46] [INFO ] [Real]Absence check using 35 positive place invariants in 19 ms returned sat
[2021-05-08 14:35:46] [INFO ] [Real]Absence check using 35 positive and 25 generalized place invariants in 29 ms returned sat
[2021-05-08 14:35:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 14:35:46] [INFO ] [Real]Absence check using state equation in 156 ms returned sat
[2021-05-08 14:35:46] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 14:35:46] [INFO ] [Nat]Absence check using 35 positive place invariants in 7 ms returned sat
[2021-05-08 14:35:47] [INFO ] [Nat]Absence check using 35 positive and 25 generalized place invariants in 141 ms returned sat
[2021-05-08 14:35:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 14:35:47] [INFO ] [Nat]Absence check using state equation in 187 ms returned sat
[2021-05-08 14:35:47] [INFO ] State equation strengthened by 3 read => feed constraints.
[2021-05-08 14:35:47] [INFO ] [Nat]Added 3 Read/Feed constraints in 129 ms returned sat
[2021-05-08 14:35:47] [INFO ] Deduced a trap composed of 61 places in 27 ms of which 0 ms to minimize.
[2021-05-08 14:35:47] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 52 ms
[2021-05-08 14:35:47] [INFO ] Computed and/alt/rep : 283/884/283 causal constraints (skipped 10 transitions) in 18 ms.
[2021-05-08 14:35:47] [INFO ] Deduced a trap composed of 20 places in 47 ms of which 1 ms to minimize.
[2021-05-08 14:35:47] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 78 ms
[2021-05-08 14:35:47] [INFO ] Added : 125 causal constraints over 26 iterations in 610 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 3 ms.
[2021-05-08 14:35:48] [INFO ] [Real]Absence check using 35 positive place invariants in 7 ms returned sat
[2021-05-08 14:35:48] [INFO ] [Real]Absence check using 35 positive and 25 generalized place invariants in 16 ms returned sat
[2021-05-08 14:35:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 14:35:48] [INFO ] [Real]Absence check using state equation in 143 ms returned sat
[2021-05-08 14:35:48] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 14:35:48] [INFO ] [Nat]Absence check using 35 positive place invariants in 8 ms returned sat
[2021-05-08 14:35:48] [INFO ] [Nat]Absence check using 35 positive and 25 generalized place invariants in 79 ms returned sat
[2021-05-08 14:35:48] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 14:35:49] [INFO ] [Nat]Absence check using state equation in 698 ms returned sat
[2021-05-08 14:35:49] [INFO ] [Nat]Added 3 Read/Feed constraints in 20 ms returned sat
[2021-05-08 14:35:49] [INFO ] Computed and/alt/rep : 283/884/283 causal constraints (skipped 10 transitions) in 16 ms.
[2021-05-08 14:35:50] [INFO ] Deduced a trap composed of 17 places in 54 ms of which 0 ms to minimize.
[2021-05-08 14:35:50] [INFO ] Deduced a trap composed of 8 places in 53 ms of which 0 ms to minimize.
[2021-05-08 14:35:50] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 168 ms
[2021-05-08 14:35:50] [INFO ] Added : 204 causal constraints over 42 iterations in 1225 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 5 ms.
[2021-05-08 14:35:50] [INFO ] [Real]Absence check using 35 positive place invariants in 7 ms returned sat
[2021-05-08 14:35:50] [INFO ] [Real]Absence check using 35 positive and 25 generalized place invariants in 15 ms returned sat
[2021-05-08 14:35:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 14:35:50] [INFO ] [Real]Absence check using state equation in 279 ms returned sat
[2021-05-08 14:35:50] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 14:35:50] [INFO ] [Nat]Absence check using 35 positive place invariants in 7 ms returned sat
[2021-05-08 14:35:50] [INFO ] [Nat]Absence check using 35 positive and 25 generalized place invariants in 174 ms returned sat
[2021-05-08 14:35:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 14:35:52] [INFO ] [Nat]Absence check using state equation in 1473 ms returned sat
[2021-05-08 14:35:52] [INFO ] [Nat]Added 3 Read/Feed constraints in 6 ms returned sat
[2021-05-08 14:35:52] [INFO ] Deduced a trap composed of 61 places in 62 ms of which 1 ms to minimize.
[2021-05-08 14:35:52] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 98 ms
[2021-05-08 14:35:52] [INFO ] Computed and/alt/rep : 283/884/283 causal constraints (skipped 10 transitions) in 16 ms.
[2021-05-08 14:35:53] [INFO ] Deduced a trap composed of 11 places in 62 ms of which 0 ms to minimize.
[2021-05-08 14:35:53] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 101 ms
[2021-05-08 14:35:53] [INFO ] Added : 186 causal constraints over 38 iterations in 1066 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 5 ms.
[2021-05-08 14:35:53] [INFO ] [Real]Absence check using 35 positive place invariants in 7 ms returned sat
[2021-05-08 14:35:53] [INFO ] [Real]Absence check using 35 positive and 25 generalized place invariants in 16 ms returned sat
[2021-05-08 14:35:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 14:35:53] [INFO ] [Real]Absence check using state equation in 259 ms returned sat
[2021-05-08 14:35:53] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 14:35:53] [INFO ] [Nat]Absence check using 35 positive place invariants in 8 ms returned sat
[2021-05-08 14:35:54] [INFO ] [Nat]Absence check using 35 positive and 25 generalized place invariants in 173 ms returned sat
[2021-05-08 14:35:54] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 14:35:54] [INFO ] [Nat]Absence check using state equation in 416 ms returned sat
[2021-05-08 14:35:54] [INFO ] [Nat]Added 3 Read/Feed constraints in 5 ms returned sat
[2021-05-08 14:35:54] [INFO ] Deduced a trap composed of 61 places in 78 ms of which 1 ms to minimize.
[2021-05-08 14:35:54] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 104 ms
[2021-05-08 14:35:54] [INFO ] Computed and/alt/rep : 283/884/283 causal constraints (skipped 10 transitions) in 15 ms.
[2021-05-08 14:35:55] [INFO ] Deduced a trap composed of 12 places in 78 ms of which 1 ms to minimize.
[2021-05-08 14:35:55] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 111 ms
[2021-05-08 14:35:55] [INFO ] Added : 134 causal constraints over 27 iterations in 778 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 7 ms.
Incomplete Parikh walk after 34500 steps, including 719 resets, run finished after 118 ms. (steps per millisecond=292 ) properties (out of 4) seen :0 could not realise parikh vector
Incomplete Parikh walk after 226900 steps, including 3531 resets, run finished after 713 ms. (steps per millisecond=318 ) properties (out of 4) seen :0 could not realise parikh vector
Incomplete Parikh walk after 214600 steps, including 3376 resets, run finished after 693 ms. (steps per millisecond=309 ) properties (out of 4) seen :0 could not realise parikh vector
Incomplete Parikh walk after 103500 steps, including 1922 resets, run finished after 339 ms. (steps per millisecond=305 ) properties (out of 4) seen :0 could not realise parikh vector
Support contains 17 out of 352 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 352/352 places, 294/294 transitions.
Applied a total of 0 rules in 12 ms. Remains 352 /352 variables (removed 0) and now considering 294/294 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 352/352 places, 294/294 transitions.
Starting structural reductions, iteration 0 : 352/352 places, 294/294 transitions.
Applied a total of 0 rules in 12 ms. Remains 352 /352 variables (removed 0) and now considering 294/294 (removed 0) transitions.
// Phase 1: matrix 294 rows 352 cols
[2021-05-08 14:35:57] [INFO ] Computed 60 place invariants in 5 ms
[2021-05-08 14:35:57] [INFO ] Implicit Places using invariants in 166 ms returned []
// Phase 1: matrix 294 rows 352 cols
[2021-05-08 14:35:57] [INFO ] Computed 60 place invariants in 4 ms
[2021-05-08 14:35:57] [INFO ] State equation strengthened by 3 read => feed constraints.
[2021-05-08 14:35:58] [INFO ] Implicit Places using invariants and state equation in 526 ms returned []
Implicit Place search using SMT with State Equation took 693 ms to find 0 implicit places.
[2021-05-08 14:35:58] [INFO ] Redundant transitions in 3 ms returned []
// Phase 1: matrix 294 rows 352 cols
[2021-05-08 14:35:58] [INFO ] Computed 60 place invariants in 4 ms
[2021-05-08 14:35:58] [INFO ] Dead Transitions using invariants and state equation in 144 ms returned []
Finished structural reductions, in 1 iterations. Remains : 352/352 places, 294/294 transitions.
Incomplete random walk after 100000 steps, including 1357 resets, run finished after 404 ms. (steps per millisecond=247 ) properties (out of 4) seen :0
Running SMT prover for 4 properties.
// Phase 1: matrix 294 rows 352 cols
[2021-05-08 14:35:58] [INFO ] Computed 60 place invariants in 5 ms
[2021-05-08 14:35:58] [INFO ] [Real]Absence check using 35 positive place invariants in 19 ms returned sat
[2021-05-08 14:35:58] [INFO ] [Real]Absence check using 35 positive and 25 generalized place invariants in 15 ms returned sat
[2021-05-08 14:35:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 14:35:58] [INFO ] [Real]Absence check using state equation in 90 ms returned sat
[2021-05-08 14:35:58] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 14:35:58] [INFO ] [Nat]Absence check using 35 positive place invariants in 7 ms returned sat
[2021-05-08 14:35:58] [INFO ] [Nat]Absence check using 35 positive and 25 generalized place invariants in 128 ms returned sat
[2021-05-08 14:35:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 14:35:59] [INFO ] [Nat]Absence check using state equation in 171 ms returned sat
[2021-05-08 14:35:59] [INFO ] State equation strengthened by 3 read => feed constraints.
[2021-05-08 14:35:59] [INFO ] [Nat]Added 3 Read/Feed constraints in 130 ms returned sat
[2021-05-08 14:35:59] [INFO ] Deduced a trap composed of 61 places in 22 ms of which 0 ms to minimize.
[2021-05-08 14:35:59] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 48 ms
[2021-05-08 14:35:59] [INFO ] Computed and/alt/rep : 283/884/283 causal constraints (skipped 10 transitions) in 21 ms.
[2021-05-08 14:35:59] [INFO ] Deduced a trap composed of 20 places in 47 ms of which 0 ms to minimize.
[2021-05-08 14:35:59] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 79 ms
[2021-05-08 14:35:59] [INFO ] Added : 125 causal constraints over 26 iterations in 631 ms. Result :sat
[2021-05-08 14:35:59] [INFO ] [Real]Absence check using 35 positive place invariants in 7 ms returned sat
[2021-05-08 14:36:00] [INFO ] [Real]Absence check using 35 positive and 25 generalized place invariants in 15 ms returned sat
[2021-05-08 14:36:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 14:36:00] [INFO ] [Real]Absence check using state equation in 140 ms returned sat
[2021-05-08 14:36:00] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 14:36:00] [INFO ] [Nat]Absence check using 35 positive place invariants in 8 ms returned sat
[2021-05-08 14:36:00] [INFO ] [Nat]Absence check using 35 positive and 25 generalized place invariants in 80 ms returned sat
[2021-05-08 14:36:00] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 14:36:00] [INFO ] [Nat]Absence check using state equation in 708 ms returned sat
[2021-05-08 14:36:01] [INFO ] [Nat]Added 3 Read/Feed constraints in 20 ms returned sat
[2021-05-08 14:36:01] [INFO ] Computed and/alt/rep : 283/884/283 causal constraints (skipped 10 transitions) in 16 ms.
[2021-05-08 14:36:02] [INFO ] Deduced a trap composed of 17 places in 54 ms of which 0 ms to minimize.
[2021-05-08 14:36:02] [INFO ] Deduced a trap composed of 8 places in 54 ms of which 0 ms to minimize.
[2021-05-08 14:36:02] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 173 ms
[2021-05-08 14:36:02] [INFO ] Added : 204 causal constraints over 42 iterations in 1190 ms. Result :sat
[2021-05-08 14:36:02] [INFO ] [Real]Absence check using 35 positive place invariants in 7 ms returned sat
[2021-05-08 14:36:02] [INFO ] [Real]Absence check using 35 positive and 25 generalized place invariants in 16 ms returned sat
[2021-05-08 14:36:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 14:36:02] [INFO ] [Real]Absence check using state equation in 282 ms returned sat
[2021-05-08 14:36:02] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 14:36:02] [INFO ] [Nat]Absence check using 35 positive place invariants in 7 ms returned sat
[2021-05-08 14:36:02] [INFO ] [Nat]Absence check using 35 positive and 25 generalized place invariants in 175 ms returned sat
[2021-05-08 14:36:02] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 14:36:04] [INFO ] [Nat]Absence check using state equation in 1474 ms returned sat
[2021-05-08 14:36:04] [INFO ] [Nat]Added 3 Read/Feed constraints in 6 ms returned sat
[2021-05-08 14:36:04] [INFO ] Deduced a trap composed of 61 places in 65 ms of which 0 ms to minimize.
[2021-05-08 14:36:04] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 100 ms
[2021-05-08 14:36:04] [INFO ] Computed and/alt/rep : 283/884/283 causal constraints (skipped 10 transitions) in 17 ms.
[2021-05-08 14:36:05] [INFO ] Deduced a trap composed of 11 places in 88 ms of which 0 ms to minimize.
[2021-05-08 14:36:05] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 127 ms
[2021-05-08 14:36:05] [INFO ] Added : 186 causal constraints over 38 iterations in 1121 ms. Result :sat
[2021-05-08 14:36:05] [INFO ] [Real]Absence check using 35 positive place invariants in 7 ms returned sat
[2021-05-08 14:36:05] [INFO ] [Real]Absence check using 35 positive and 25 generalized place invariants in 15 ms returned sat
[2021-05-08 14:36:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 14:36:05] [INFO ] [Real]Absence check using state equation in 253 ms returned sat
[2021-05-08 14:36:05] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 14:36:05] [INFO ] [Nat]Absence check using 35 positive place invariants in 8 ms returned sat
[2021-05-08 14:36:06] [INFO ] [Nat]Absence check using 35 positive and 25 generalized place invariants in 171 ms returned sat
[2021-05-08 14:36:06] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 14:36:06] [INFO ] [Nat]Absence check using state equation in 415 ms returned sat
[2021-05-08 14:36:06] [INFO ] [Nat]Added 3 Read/Feed constraints in 5 ms returned sat
[2021-05-08 14:36:06] [INFO ] Deduced a trap composed of 61 places in 86 ms of which 0 ms to minimize.
[2021-05-08 14:36:06] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 113 ms
[2021-05-08 14:36:06] [INFO ] Computed and/alt/rep : 283/884/283 causal constraints (skipped 10 transitions) in 18 ms.
[2021-05-08 14:36:07] [INFO ] Deduced a trap composed of 12 places in 71 ms of which 0 ms to minimize.
[2021-05-08 14:36:07] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 106 ms
[2021-05-08 14:36:07] [INFO ] Added : 134 causal constraints over 27 iterations in 798 ms. Result :sat
[2021-05-08 14:36:07] [INFO ] Flatten gal took : 17 ms
[2021-05-08 14:36:07] [INFO ] Flatten gal took : 17 ms
[2021-05-08 14:36:07] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality16900952363906060356.gal : 5 ms
[2021-05-08 14:36:07] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality5813544190267540088.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/ReachabilityCardinality16900952363906060356.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality5813544190267540088.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/ReachabilityCardinality16900952363906060356.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality5813544190267540088.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality5813544190267540088.prop.
SDD proceeding with computation,4 properties remain. new max is 4
SDD size :1 after 5
SDD proceeding with computation,4 properties remain. new max is 8
SDD size :5 after 9
SDD proceeding with computation,4 properties remain. new max is 16
SDD size :9 after 17
SDD proceeding with computation,4 properties remain. new max is 32
SDD size :17 after 21
SDD proceeding with computation,4 properties remain. new max is 64
SDD size :21 after 37
SDD proceeding with computation,4 properties remain. new max is 128
SDD size :37 after 45
SDD proceeding with computation,4 properties remain. new max is 256
SDD size :45 after 745
SDD proceeding with computation,4 properties remain. new max is 512
SDD size :745 after 881
SDD proceeding with computation,4 properties remain. new max is 1024
SDD size :10293 after 11747
SDD proceeding with computation,4 properties remain. new max is 2048
SDD size :11747 after 211689
SDD proceeding with computation,4 properties remain. new max is 4096
SDD size :211689 after 5.16521e+06
Detected timeout of ITS tools.
[2021-05-08 14:36:22] [INFO ] Flatten gal took : 16 ms
[2021-05-08 14:36:22] [INFO ] Applying decomposition
[2021-05-08 14:36:22] [INFO ] Flatten gal took : 15 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/graph13605664978442477646.txt, -o, /tmp/graph13605664978442477646.bin, -w, /tmp/graph13605664978442477646.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/graph13605664978442477646.bin, -l, -1, -v, -w, /tmp/graph13605664978442477646.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-08 14:36:22] [INFO ] Decomposing Gal with order
[2021-05-08 14:36:22] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-08 14:36:22] [INFO ] Removed a total of 76 redundant transitions.
[2021-05-08 14:36:22] [INFO ] Flatten gal took : 26 ms
[2021-05-08 14:36:22] [INFO ] Fuse similar labels procedure discarded/fused a total of 55 labels/synchronizations in 3 ms.
[2021-05-08 14:36:22] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality1897084123316911562.gal : 3 ms
[2021-05-08 14:36:22] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality14569827302963858453.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/ReachabilityCardinality1897084123316911562.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality14569827302963858453.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/ReachabilityCardinality1897084123316911562.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality14569827302963858453.prop --nowitness
Loading property file /tmp/ReachabilityCardinality14569827302963858453.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 5
SDD proceeding with computation,4 properties remain. new max is 16
SDD size :5 after 9
SDD proceeding with computation,4 properties remain. new max is 32
SDD size :9 after 41
SDD proceeding with computation,4 properties remain. new max is 64
SDD size :41 after 409
SDD proceeding with computation,4 properties remain. new max is 128
SDD size :409 after 6043
SDD proceeding with computation,4 properties remain. new max is 256
SDD size :6043 after 2.41799e+08
SDD proceeding with computation,4 properties remain. new max is 512
SDD size :2.41799e+08 after 4.97369e+08
SDD proceeding with computation,4 properties remain. new max is 1024
SDD size :4.97369e+08 after 8.16833e+08
SDD proceeding with computation,4 properties remain. new max is 2048
SDD size :8.16833e+08 after 1.35992e+09
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin7166787961156123904
[2021-05-08 14:36:37] [INFO ] Built C files in 5ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin7166787961156123904
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/ltsmin7166787961156123904]
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/ltsmin7166787961156123904] 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/ltsmin7166787961156123904] 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)
Partial Free-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 0 with 1 rules applied. Total rules applied 1 place count 352 transition count 294
Applied a total of 1 rules in 20 ms. Remains 352 /352 variables (removed 0) and now considering 294/294 (removed 0) transitions.
Running SMT prover for 4 properties.
// Phase 1: matrix 294 rows 352 cols
[2021-05-08 14:36:38] [INFO ] Computed 60 place invariants in 5 ms
[2021-05-08 14:36:38] [INFO ] [Real]Absence check using 35 positive place invariants in 7 ms returned sat
[2021-05-08 14:36:38] [INFO ] [Real]Absence check using 35 positive and 25 generalized place invariants in 15 ms returned sat
[2021-05-08 14:36:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 14:36:38] [INFO ] [Real]Absence check using state equation in 101 ms returned sat
[2021-05-08 14:36:38] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 14:36:38] [INFO ] [Nat]Absence check using 35 positive place invariants in 7 ms returned sat
[2021-05-08 14:36:39] [INFO ] [Nat]Absence check using 35 positive and 25 generalized place invariants in 128 ms returned sat
[2021-05-08 14:36:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 14:36:39] [INFO ] [Nat]Absence check using state equation in 180 ms returned sat
[2021-05-08 14:36:39] [INFO ] Computed and/alt/rep : 283/885/283 causal constraints (skipped 10 transitions) in 17 ms.
[2021-05-08 14:36:39] [INFO ] Deduced a trap composed of 9 places in 22 ms of which 0 ms to minimize.
[2021-05-08 14:36:39] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 55 ms
[2021-05-08 14:36:39] [INFO ] Added : 76 causal constraints over 16 iterations in 500 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 3 ms.
[2021-05-08 14:36:39] [INFO ] [Real]Absence check using 35 positive place invariants in 6 ms returned sat
[2021-05-08 14:36:39] [INFO ] [Real]Absence check using 35 positive and 25 generalized place invariants in 14 ms returned sat
[2021-05-08 14:36:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 14:36:39] [INFO ] [Real]Absence check using state equation in 139 ms returned sat
[2021-05-08 14:36:39] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 14:36:39] [INFO ] [Nat]Absence check using 35 positive place invariants in 7 ms returned sat
[2021-05-08 14:36:40] [INFO ] [Nat]Absence check using 35 positive and 25 generalized place invariants in 79 ms returned sat
[2021-05-08 14:36:40] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 14:36:40] [INFO ] [Nat]Absence check using state equation in 700 ms returned sat
[2021-05-08 14:36:40] [INFO ] Computed and/alt/rep : 283/885/283 causal constraints (skipped 10 transitions) in 16 ms.
[2021-05-08 14:36:41] [INFO ] Added : 203 causal constraints over 41 iterations in 1019 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 6 ms.
[2021-05-08 14:36:41] [INFO ] [Real]Absence check using 35 positive place invariants in 7 ms returned sat
[2021-05-08 14:36:41] [INFO ] [Real]Absence check using 35 positive and 25 generalized place invariants in 15 ms returned sat
[2021-05-08 14:36:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 14:36:42] [INFO ] [Real]Absence check using state equation in 288 ms returned sat
[2021-05-08 14:36:42] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 14:36:42] [INFO ] [Nat]Absence check using 35 positive place invariants in 7 ms returned sat
[2021-05-08 14:36:42] [INFO ] [Nat]Absence check using 35 positive and 25 generalized place invariants in 174 ms returned sat
[2021-05-08 14:36:42] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 14:36:43] [INFO ] [Nat]Absence check using state equation in 1401 ms returned sat
[2021-05-08 14:36:43] [INFO ] Computed and/alt/rep : 283/885/283 causal constraints (skipped 10 transitions) in 15 ms.
[2021-05-08 14:36:44] [INFO ] Added : 177 causal constraints over 36 iterations in 889 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 11 ms.
[2021-05-08 14:36:44] [INFO ] [Real]Absence check using 35 positive place invariants in 6 ms returned sat
[2021-05-08 14:36:44] [INFO ] [Real]Absence check using 35 positive and 25 generalized place invariants in 15 ms returned sat
[2021-05-08 14:36:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 14:36:44] [INFO ] [Real]Absence check using state equation in 113 ms returned sat
[2021-05-08 14:36:44] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 14:36:44] [INFO ] [Nat]Absence check using 35 positive place invariants in 7 ms returned sat
[2021-05-08 14:36:45] [INFO ] [Nat]Absence check using 35 positive and 25 generalized place invariants in 171 ms returned sat
[2021-05-08 14:36:45] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 14:36:45] [INFO ] [Nat]Absence check using state equation in 279 ms returned sat
[2021-05-08 14:36:45] [INFO ] Computed and/alt/rep : 283/885/283 causal constraints (skipped 10 transitions) in 16 ms.
[2021-05-08 14:36:46] [INFO ] Deduced a trap composed of 17 places in 60 ms of which 0 ms to minimize.
[2021-05-08 14:36:46] [INFO ] Deduced a trap composed of 66 places in 55 ms of which 1 ms to minimize.
[2021-05-08 14:36:46] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 174 ms
[2021-05-08 14:36:46] [INFO ] Added : 138 causal constraints over 28 iterations in 857 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 5 ms.
[2021-05-08 14:36:46] [INFO ] Flatten gal took : 16 ms
Using solver Z3 to compute partial order matrices.
[2021-05-08 14:36:46] [INFO ] Applying decomposition
Built C files in :
/tmp/ltsmin1299108432988269678
[2021-05-08 14:36:46] [INFO ] Flatten gal took : 18 ms
[2021-05-08 14:36:46] [INFO ] Flatten gal took : 32 ms
[2021-05-08 14:36:46] [INFO ] Computing symmetric may disable matrix : 294 transitions.
[2021-05-08 14:36:46] [INFO ] Computation of Complete disable matrix. took 22 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2021-05-08 14:36:46] [INFO ] Computing symmetric may enable matrix : 294 transitions.
[2021-05-08 14:36:46] [INFO ] Computation of Complete enable matrix. took 7 ms. Total solver calls (SAT/UNSAT): 0(0/0)
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/graph15701453860816172913.txt, -o, /tmp/graph15701453860816172913.bin, -w, /tmp/graph15701453860816172913.weights], workingDir=null]
[2021-05-08 14:36:46] [INFO ] Input system was already deterministic with 294 transitions.
[2021-05-08 14:36:46] [INFO ] Computing Do-Not-Accords matrix : 294 transitions.
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph15701453860816172913.bin, -l, -1, -v, -w, /tmp/graph15701453860816172913.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-08 14:36:46] [INFO ] Decomposing Gal with order
[2021-05-08 14:36:46] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-08 14:36:46] [INFO ] Computation of Completed DNA matrix. took 7 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2021-05-08 14:36:46] [INFO ] Built C files in 152ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin1299108432988269678
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/ltsmin1299108432988269678]
[2021-05-08 14:36:46] [INFO ] Removed a total of 26 redundant transitions.
[2021-05-08 14:36:46] [INFO ] Flatten gal took : 38 ms
[2021-05-08 14:36:46] [INFO ] Fuse similar labels procedure discarded/fused a total of 4 labels/synchronizations in 2 ms.
[2021-05-08 14:36:46] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality8506586525590328486.gal : 17 ms
[2021-05-08 14:36:46] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality14606947325219501895.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/ReachabilityCardinality8506586525590328486.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality14606947325219501895.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/ReachabilityCardinality8506586525590328486.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality14606947325219501895.prop --nowitness
Loading property file /tmp/ReachabilityCardinality14606947325219501895.prop.
[2021-05-08 14:36:46] [INFO ] Ran tautology test, simplified 0 / 4 in 408 ms.
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 5
SDD proceeding with computation,4 properties remain. new max is 16
SDD size :5 after 45
SDD proceeding with computation,4 properties remain. new max is 32
SDD size :45 after 69
SDD proceeding with computation,4 properties remain. new max is 64
SDD size :69 after 173
[2021-05-08 14:36:46] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-07(UNSAT) depth K=0 took 14 ms
[2021-05-08 14:36:46] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-09(UNSAT) depth K=0 took 0 ms
[2021-05-08 14:36:46] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-12(UNSAT) depth K=0 took 0 ms
[2021-05-08 14:36:46] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-13(UNSAT) depth K=0 took 1 ms
[2021-05-08 14:36:46] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-07(UNSAT) depth K=1 took 10 ms
[2021-05-08 14:36:46] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-09(UNSAT) depth K=1 took 2 ms
[2021-05-08 14:36:46] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-12(UNSAT) depth K=1 took 1 ms
[2021-05-08 14:36:46] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-13(UNSAT) depth K=1 took 1 ms
SDD proceeding with computation,4 properties remain. new max is 128
SDD size :173 after 8207
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 294 rows 352 cols
[2021-05-08 14:36:46] [INFO ] Computed 60 place invariants in 5 ms
inv : p0 + p344 + p345 + p346 + p348 = 1
inv : p0 + p285 + p294 - p302 + p310 + p318 - p326 = 1
inv : p0 + p307 + p308 = 1
inv : p0 + p267 + p268 = 1
inv : p0 + p297 + p298 = 1
inv : p0 + p252 + p253 = 1
inv : p0 + p277 + p278 = 1
inv : p0 + p349 + p350 + p351 = 1
inv : p0 + p317 + p318 + p329 + p330 = 1
inv : p0 + p283 + p294 - p300 + p310 + p316 - p326 = 1
inv : p327 + p328 - p329 - p330 = 0
inv : p0 + p281 + p294 - p298 + p310 + p314 - p326 = 1
inv : p0 + p301 + p302 = 1
inv : p0 + p313 + p314 + p329 + p330 = 1
inv : p257 + p258 - p259 - p260 = 0
inv : p0 + p333 + p334 + p335 + p336 + p337 + p340 + p341 = 1
inv : -p0 - 118*p1 - 2*p2 - 4*p3 - 6*p4 - 8*p5 - 10*p6 - 12*p7 - 14*p8 - 16*p9 - 18*p10 - 20*p11 - 22*p12 - 24*p13 - 26*p14 - 28*p15 - 30*p16 - 32*p17 - 34*p18 - 36*p19 - 38*p20 - 40*p21 - 42*p22 - 44*p23 - 46*p24 - 48*p25 - 50*p26 - 52*p27 - 54*p28 - 56*p29 - 58*p30 - 60*p31 - 62*p32 - 64*p33 - 66*p34 - 68*p35 - 70*p36 - 72*p37 - 74*p38 - 76*p39 - 78*p40 - 80*p41 - 82*p42 - 84*p43 - 86*p44 - 88*p45 - 90*p46 - 92*p47 - 94*p48 - 96*p49 - 98*p50 - 100*p51 - 102*p52 - 104*p53 - 106*p54 - 108*p55 - 110*p56 - 112*p57 - 114*p58 - 116*p59 + 120*p60 + 2*p61 + 4*p62 + 6*p63 + 8*p64 + 10*p65 + 12*p66 + 14*p67 + 16*p68 + 18*p69 + 20*p70 + 22*p71 + 24*p72 + 26*p73 + 28*p74 + 30*p75 + 32*p76 + 34*p77 + 36*p78 + 38*p79 + 40*p80 + 42*p81 + 44*p82 + 46*p83 + 48*p84 + 50*p85 + 52*p86 + 54*p87 + 56*p88 + 58*p89 + 60*p90 + 62*p91 + 64*p92 + 66*p93 + 68*p94 + 70*p95 + 72*p96 + 74*p97 + 76*p98 + 78*p99 + 80*p100 + 82*p101 + 84*p102 + 86*p103 + 88*p104 + 90*p105 + 92*p106 + 94*p107 + 96*p108 + 98*p109 + 100*p110 + 102*p111 + 104*p112 + 106*p113 + 108*p114 + 110*p115 + 112*p116 + 114*p117 + 116*p118 + 118*p119 + p272 + p274 + p278 + p334 + p338 + p340 + p341 - p343 - p344 - p348 - 2*p349 - p351 - p353 = -1
inv : p0 + p259 + p260 + p261 + p262 = 1
inv : p0 + 118*p1 + 2*p2 + 4*p3 + 6*p4 + 8*p5 + 10*p6 + 12*p7 + 14*p8 + 16*p9 + 18*p10 + 20*p11 + 22*p12 + 24*p13 + 26*p14 + 28*p15 + 30*p16 + 32*p17 + 34*p18 + 36*p19 + 38*p20 + 40*p21 + 42*p22 + 44*p23 + 46*p24 + 48*p25 + 50*p26 + 52*p27 + 54*p28 + 56*p29 + 58*p30 + 60*p31 + 62*p32 + 64*p33 + 66*p34 + 68*p35 + 70*p36 + 72*p37 + 74*p38 + 76*p39 + 78*p40 + 80*p41 + 82*p42 + 84*p43 + 86*p44 + 88*p45 + 90*p46 + 92*p47 + 94*p48 + 96*p49 + 98*p50 + 100*p51 + 102*p52 + 104*p53 + 106*p54 + 108*p55 + 110*p56 + 112*p57 + 114*p58 + 116*p59 - 60*p60 - p61 - 2*p62 - 3*p63 - 4*p64 - 5*p65 - 6*p66 - 7*p67 - 8*p68 - 9*p69 - 10*p70 - 11*p71 - 12*p72 - 13*p73 - 14*p74 - 15*p75 - 16*p76 - 17*p77 - 18*p78 - 19*p79 - 20*p80 - 21*p81 - 22*p82 - 23*p83 - 24*p84 - 25*p85 - 26*p86 - 27*p87 - 28*p88 - 29*p89 - 30*p90 - 31*p91 - 32*p92 - 33*p93 - 34*p94 - 35*p95 - 36*p96 - 37*p97 - 38*p98 - 39*p99 - 40*p100 - 41*p101 - 42*p102 - 43*p103 - 44*p104 - 45*p105 - 46*p106 - 47*p107 - 48*p108 - 49*p109 - 50*p110 - 51*p111 - 52*p112 - 53*p113 - 54*p114 - 55*p115 - 56*p116 - 57*p117 - 58*p118 - 59*p119 - 60*p180 - p181 - 2*p182 - 3*p183 - 4*p184 - 5*p185 - 6*p186 - 7*p187 - 8*p188 - 9*p189 - 10*p190 - 11*p191 - 12*p192 - 13*p193 - 14*p194 - 15*p195 - 16*p196 - 17*p197 - 18*p198 - 19*p199 - 20*p200 - 21*p201 - 22*p202 - 23*p203 - 24*p204 - 25*p205 - 26*p206 - 27*p207 - 28*p208 - 29*p209 - 30*p210 - 31*p211 - 32*p212 - 33*p213 - 34*p214 - 35*p215 - 36*p216 - 37*p217 - 38*p218 - 39*p219 - 40*p220 - 41*p221 - 42*p222 - 43*p223 - 44*p224 - 45*p225 - 46*p226 - 47*p227 - 48*p228 - 49*p229 - 50*p230 - 51*p231 - 52*p232 - 53*p233 - 54*p234 - 55*p235 - 56*p236 - 57*p237 - 58*p238 - 59*p239 + p244 + p245 - p250 + p253 + p259 + p262 + p268 - p272 - p274 - p278 + p328 - p330 - p332 - p334 - p336 - p340 + p344 + p349 + p351 = 1
inv : 2*p0 + 59*p1 + p2 + 2*p3 + 3*p4 + 4*p5 + 5*p6 + 6*p7 + 7*p8 + 8*p9 + 9*p10 + 10*p11 + 11*p12 + 12*p13 + 13*p14 + 14*p15 + 15*p16 + 16*p17 + 17*p18 + 18*p19 + 19*p20 + 20*p21 + 21*p22 + 22*p23 + 23*p24 + 24*p25 + 25*p26 + 26*p27 + 27*p28 + 28*p29 + 29*p30 + 30*p31 + 31*p32 + 32*p33 + 33*p34 + 34*p35 + 35*p36 + 36*p37 + 37*p38 + 38*p39 + 39*p40 + 40*p41 + 41*p42 + 42*p43 + 43*p44 + 44*p45 + 45*p46 + 46*p47 + 47*p48 + 48*p49 + 49*p50 + 50*p51 + 51*p52 + 52*p53 + 53*p54 + 54*p55 + 55*p56 + 56*p57 + 57*p58 + 58*p59 - 60*p60 - p61 - 2*p62 - 3*p63 - 4*p64 - 5*p65 - 6*p66 - 7*p67 - 8*p68 - 9*p69 - 10*p70 - 11*p71 - 12*p72 - 13*p73 - 14*p74 - 15*p75 - 16*p76 - 17*p77 - 18*p78 - 19*p79 - 20*p80 - 21*p81 - 22*p82 - 23*p83 - 24*p84 - 25*p85 - 26*p86 - 27*p87 - 28*p88 - 29*p89 - 30*p90 - 31*p91 - 32*p92 - 33*p93 - 34*p94 - 35*p95 - 36*p96 - 37*p97 - 38*p98 - 39*p99 - 40*p100 - 41*p101 - 42*p102 - 43*p103 - 44*p104 - 45*p105 - 46*p106 - 47*p107 - 48*p108 - 49*p109 - 50*p110 - 51*p111 - 52*p112 - 53*p113 - 54*p114 - 55*p115 - 56*p116 - 57*p117 - 58*p118 - 59*p119 - p272 + p275 - p294 - p310 + p326 + p329 - p332 - p334 - p336 - p340 + p349 + p351 = 2
inv : p0 + p279 + p294 - p296 + p310 + p312 - p326 = 1
inv : p0 + p293 + p294 = 1
inv : p0 + p271 + p272 = 1
inv : p0 + 118*p1 + 2*p2 + 4*p3 + 6*p4 + 8*p5 + 10*p6 + 12*p7 + 14*p8 + 16*p9 + 18*p10 + 20*p11 + 22*p12 + 24*p13 + 26*p14 + 28*p15 + 30*p16 + 32*p17 + 34*p18 + 36*p19 + 38*p20 + 40*p21 + 42*p22 + 44*p23 + 46*p24 + 48*p25 + 50*p26 + 52*p27 + 54*p28 + 56*p29 + 58*p30 + 60*p31 + 62*p32 + 64*p33 + 66*p34 + 68*p35 + 70*p36 + 72*p37 + 74*p38 + 76*p39 + 78*p40 + 80*p41 + 82*p42 + 84*p43 + 86*p44 + 88*p45 + 90*p46 + 92*p47 + 94*p48 + 96*p49 + 98*p50 + 100*p51 + 102*p52 + 104*p53 + 106*p54 + 108*p55 + 110*p56 + 112*p57 + 114*p58 + 116*p59 - 120*p60 - 2*p61 - 4*p62 - 6*p63 - 8*p64 - 10*p65 - 12*p66 - 14*p67 - 16*p68 - 18*p69 - 20*p70 - 22*p71 - 24*p72 - 26*p73 - 28*p74 - 30*p75 - 32*p76 - 34*p77 - 36*p78 - 38*p79 - 40*p80 - 42*p81 - 44*p82 - 46*p83 - 48*p84 - 50*p85 - 52*p86 - 54*p87 - 56*p88 - 58*p89 - 60*p90 - 62*p91 - 64*p92 - 66*p93 - 68*p94 - 70*p95 - 72*p96 - 74*p97 - 76*p98 - 78*p99 - 80*p100 - 82*p101 - 84*p102 - 86*p103 - 88*p104 - 90*p105 - 92*p106 - 94*p107 - 96*p108 - 98*p109 - 100*p110 - 102*p111 - 104*p112 - 106*p113 - 108*p114 - 110*p115 - 112*p116 - 114*p117 - 116*p118 - 118*p119 - p272 - p274 - p278 - p334 - p336 - p337 + p339 - p340 - p341 + p343 + p344 + p348 + 2*p349 + p351 + p353 = 1
inv : p292 - p294 + p308 - p310 - p324 + p326 = 0
inv : p0 + p311 + p312 + p329 + p330 = 1
inv : p0 + p240 + p241 = 1
inv : p0 + p265 + p266 = 1
inv : p0 + p305 + p306 = 1
inv : p0 + p325 + p326 + p329 + p330 = 1
inv : p0 - 59*p1 - p2 - 2*p3 - 3*p4 - 4*p5 - 5*p6 - 6*p7 - 7*p8 - 8*p9 - 9*p10 - 10*p11 - 11*p12 - 12*p13 - 13*p14 - 14*p15 - 15*p16 - 16*p17 - 17*p18 - 18*p19 - 19*p20 - 20*p21 - 21*p22 - 22*p23 - 23*p24 - 24*p25 - 25*p26 - 26*p27 - 27*p28 - 28*p29 - 29*p30 - 30*p31 - 31*p32 - 32*p33 - 33*p34 - 34*p35 - 35*p36 - 36*p37 - 37*p38 - 38*p39 - 39*p40 - 40*p41 - 41*p42 - 42*p43 - 43*p44 - 44*p45 - 45*p46 - 46*p47 - 47*p48 - 48*p49 - 49*p50 - 50*p51 - 51*p52 - 52*p53 - 53*p54 - 54*p55 - 55*p56 - 56*p57 - 57*p58 - 58*p59 + 60*p60 + p61 + 2*p62 + 3*p63 + 4*p64 + 5*p65 + 6*p66 + 7*p67 + 8*p68 + 9*p69 + 10*p70 + 11*p71 + 12*p72 + 13*p73 + 14*p74 + 15*p75 + 16*p76 + 17*p77 + 18*p78 + 19*p79 + 20*p80 + 21*p81 + 22*p82 + 23*p83 + 24*p84 + 25*p85 + 26*p86 + 27*p87 + 28*p88 + 29*p89 + 30*p90 + 31*p91 + 32*p92 + 33*p93 + 34*p94 + 35*p95 + 36*p96 + 37*p97 + 38*p98 + 39*p99 + 40*p100 + 41*p101 + 42*p102 + 43*p103 + 44*p104 + 45*p105 + 46*p106 + 47*p107 + 48*p108 + 49*p109 + 50*p110 + 51*p111 + 52*p112 + 53*p113 + 54*p114 + 55*p115 + 56*p116 + 57*p117 + 58*p118 + 59*p119 + p247 + p250 + p274 + p278 + p333 + p334 + p336 + p337 + p340 + p341 - p344 - p349 - p351 = 1
inv : p0 + p315 + p316 + p329 + p330 = 1
inv : p288 - p294 + p304 - p310 - p320 + p326 = 0
inv : p0 + p254 + p255 + p256 = 1
inv : p0 + p319 + p320 + p329 + p330 = 1
inv : p0 + p299 + p300 = 1
inv : p0 + p309 + p310 = 1
inv : p286 - p294 + p302 - p310 - p318 + p326 = 0
inv : p0 + p295 + p296 = 1
inv : -p0 - 59*p1 - p2 - 2*p3 - 3*p4 - 4*p5 - 5*p6 - 6*p7 - 7*p8 - 8*p9 - 9*p10 - 10*p11 - 11*p12 - 12*p13 - 13*p14 - 14*p15 - 15*p16 - 16*p17 - 17*p18 - 18*p19 - 19*p20 - 20*p21 - 21*p22 - 22*p23 - 23*p24 - 24*p25 - 25*p26 - 26*p27 - 27*p28 - 28*p29 - 29*p30 - 30*p31 - 31*p32 - 32*p33 - 33*p34 - 34*p35 - 35*p36 - 36*p37 - 37*p38 - 38*p39 - 39*p40 - 40*p41 - 41*p42 - 42*p43 - 43*p44 - 44*p45 - 45*p46 - 46*p47 - 47*p48 - 48*p49 - 49*p50 - 50*p51 - 51*p52 - 52*p53 - 53*p54 - 54*p55 - 55*p56 - 56*p57 - 57*p58 - 58*p59 + 60*p60 + p61 + 2*p62 + 3*p63 + 4*p64 + 5*p65 + 6*p66 + 7*p67 + 8*p68 + 9*p69 + 10*p70 + 11*p71 + 12*p72 + 13*p73 + 14*p74 + 15*p75 + 16*p76 + 17*p77 + 18*p78 + 19*p79 + 20*p80 + 21*p81 + 22*p82 + 23*p83 + 24*p84 + 25*p85 + 26*p86 + 27*p87 + 28*p88 + 29*p89 + 30*p90 + 31*p91 + 32*p92 + 33*p93 + 34*p94 + 35*p95 + 36*p96 + 37*p97 + 38*p98 + 39*p99 + 40*p100 + 41*p101 + 42*p102 + 43*p103 + 44*p104 + 45*p105 + 46*p106 + 47*p107 + 48*p108 + 49*p109 + 50*p110 + 51*p111 + 52*p112 + 53*p113 + 54*p114 + 55*p115 + 56*p116 + 57*p117 + 58*p118 + 59*p119 + p272 + p276 + p294 + p310 - p326 - p329 + p332 + p334 + p336 + p340 - p349 - p351 = -1
inv : p290 - p294 + p306 - p310 - p322 + p326 = 0
inv : p0 + p259 + p260 + p263 + p264 = 1
inv : p0 + p269 + p270 = 1
inv : p0 + p349 + p352 + p353 = 1
inv : -p340 - p341 + p342 + p343 = 0
inv : p0 + p323 + p324 + p329 + p330 = 1
inv : p0 + p242 + p243 = 1
inv : p282 - p294 + p298 - p310 - p314 + p326 = 0
inv : 59*p1 + p2 + 2*p3 + 3*p4 + 4*p5 + 5*p6 + 6*p7 + 7*p8 + 8*p9 + 9*p10 + 10*p11 + 11*p12 + 12*p13 + 13*p14 + 14*p15 + 15*p16 + 16*p17 + 17*p18 + 18*p19 + 19*p20 + 20*p21 + 21*p22 + 22*p23 + 23*p24 + 24*p25 + 25*p26 + 26*p27 + 27*p28 + 28*p29 + 29*p30 + 30*p31 + 31*p32 + 32*p33 + 33*p34 + 34*p35 + 35*p36 + 36*p37 + 37*p38 + 38*p39 + 39*p40 + 40*p41 + 41*p42 + 42*p43 + 43*p44 + 44*p45 + 45*p46 + 46*p47 + 47*p48 + 48*p49 + 49*p50 + 50*p51 + 51*p52 + 52*p53 + 53*p54 + 54*p55 + 55*p56 + 56*p57 + 57*p58 + 58*p59 - 60*p60 - p61 - 2*p62 - 3*p63 - 4*p64 - 5*p65 - 6*p66 - 7*p67 - 8*p68 - 9*p69 - 10*p70 - 11*p71 - 12*p72 - 13*p73 - 14*p74 - 15*p75 - 16*p76 - 17*p77 - 18*p78 - 19*p79 - 20*p80 - 21*p81 - 22*p82 - 23*p83 - 24*p84 - 25*p85 - 26*p86 - 27*p87 - 28*p88 - 29*p89 - 30*p90 - 31*p91 - 32*p92 - 33*p93 - 34*p94 - 35*p95 - 36*p96 - 37*p97 - 38*p98 - 39*p99 - 40*p100 - 41*p101 - 42*p102 - 43*p103 - 44*p104 - 45*p105 - 46*p106 - 47*p107 - 48*p108 - 49*p109 - 50*p110 - 51*p111 - 52*p112 - 53*p113 - 54*p114 - 55*p115 - 56*p116 - 57*p117 - 58*p118 - 59*p119 + p248 - p250 - p274 - p278 - p333 - p334 - p336 - p337 - p340 - p341 + p344 + p349 + p351 = 0
inv : p0 + p291 + p294 - p308 + p310 + p324 - p326 = 1
inv : p0 + p273 + p274 = 1
inv : p0 + p331 + p332 = 1
inv : p0 + p303 + p304 = 1
inv : p0 + p321 + p322 + p329 + p330 = 1
inv : -118*p1 - 2*p2 - 4*p3 - 6*p4 - 8*p5 - 10*p6 - 12*p7 - 14*p8 - 16*p9 - 18*p10 - 20*p11 - 22*p12 - 24*p13 - 26*p14 - 28*p15 - 30*p16 - 32*p17 - 34*p18 - 36*p19 - 38*p20 - 40*p21 - 42*p22 - 44*p23 - 46*p24 - 48*p25 - 50*p26 - 52*p27 - 54*p28 - 56*p29 - 58*p30 - 60*p31 - 62*p32 - 64*p33 - 66*p34 - 68*p35 - 70*p36 - 72*p37 - 74*p38 - 76*p39 - 78*p40 - 80*p41 - 82*p42 - 84*p43 - 86*p44 - 88*p45 - 90*p46 - 92*p47 - 94*p48 - 96*p49 - 98*p50 - 100*p51 - 102*p52 - 104*p53 - 106*p54 - 108*p55 - 110*p56 - 112*p57 - 114*p58 - 116*p59 + 60*p60 + p61 + 2*p62 + 3*p63 + 4*p64 + 5*p65 + 6*p66 + 7*p67 + 8*p68 + 9*p69 + 10*p70 + 11*p71 + 12*p72 + 13*p73 + 14*p74 + 15*p75 + 16*p76 + 17*p77 + 18*p78 + 19*p79 + 20*p80 + 21*p81 + 22*p82 + 23*p83 + 24*p84 + 25*p85 + 26*p86 + 27*p87 + 28*p88 + 29*p89 + 30*p90 + 31*p91 + 32*p92 + 33*p93 + 34*p94 + 35*p95 + 36*p96 + 37*p97 + 38*p98 + 39*p99 + 40*p100 + 41*p101 + 42*p102 + 43*p103 + 44*p104 + 45*p105 + 46*p106 + 47*p107 + 48*p108 + 49*p109 + 50*p110 + 51*p111 + 52*p112 + 53*p113 + 54*p114 + 55*p115 + 56*p116 + 57*p117 + 58*p118 + 59*p119 + 60*p180 + p181 + 2*p182 + 3*p183 + 4*p184 + 5*p185 + 6*p186 + 7*p187 + 8*p188 + 9*p189 + 10*p190 + 11*p191 + 12*p192 + 13*p193 + 14*p194 + 15*p195 + 16*p196 + 17*p197 + 18*p198 + 19*p199 + 20*p200 + 21*p201 + 22*p202 + 23*p203 + 24*p204 + 25*p205 + 26*p206 + 27*p207 + 28*p208 + 29*p209 + 30*p210 + 31*p211 + 32*p212 + 33*p213 + 34*p214 + 35*p215 + 36*p216 + 37*p217 + 38*p218 + 39*p219 + 40*p220 + 41*p221 + 42*p222 + 43*p223 + 44*p224 + 45*p225 + 46*p226 + 47*p227 + 48*p228 + 49*p229 + 50*p230 + 51*p231 + 52*p232 + 53*p233 + 54*p234 + 55*p235 + 56*p236 + 57*p237 + 58*p238 + 59*p239 + p246 + p250 - p253 - p259 - p262 - p268 + p272 + p274 + p278 - p328 + p330 + p332 + p334 + p336 + p340 - p344 - p349 - p351 = 0
inv : p280 - p294 + p296 - p310 - p312 + p326 = 0
inv : p0 + p289 + p294 - p306 + p310 + p322 - p326 = 1
inv : p284 - p294 + p300 - p310 - p316 + p326 = 0
inv : p0 + p287 + p294 - p304 + p310 + p320 - p326 = 1
inv : p0 + p249 + p250 = 1
Total of 60 invariants.
[2021-05-08 14:36:46] [INFO ] Computed 60 place invariants in 22 ms
[2021-05-08 14:36:47] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-07(UNSAT) depth K=2 took 197 ms
[2021-05-08 14:36:47] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-09(UNSAT) depth K=2 took 1 ms
[2021-05-08 14:36:47] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-12(UNSAT) depth K=2 took 2 ms
[2021-05-08 14:36:47] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-13(UNSAT) depth K=2 took 0 ms
[2021-05-08 14:36:47] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-07(UNSAT) depth K=3 took 169 ms
[2021-05-08 14:36:47] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-09(UNSAT) depth K=3 took 102 ms
[2021-05-08 14:36:47] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-12(UNSAT) depth K=3 took 92 ms
[2021-05-08 14:36:47] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-13(UNSAT) depth K=3 took 63 ms
[2021-05-08 14:36:47] [INFO ] Proved 352 variables to be positive in 633 ms
[2021-05-08 14:36:47] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDES-PT-60a-ReachabilityCardinality-07
[2021-05-08 14:36:47] [INFO ] KInduction solution for property DES-PT-60a-ReachabilityCardinality-07(SAT) depth K=0 took 115 ms
SDD proceeding with computation,4 properties remain. new max is 256
[2021-05-08 14:36:47] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDES-PT-60a-ReachabilityCardinality-09
[2021-05-08 14:36:47] [INFO ] KInduction solution for property DES-PT-60a-ReachabilityCardinality-09(SAT) depth K=0 took 16 ms
SDD size :8207 after 1.36453e+09
[2021-05-08 14:36:47] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDES-PT-60a-ReachabilityCardinality-12
[2021-05-08 14:36:47] [INFO ] KInduction solution for property DES-PT-60a-ReachabilityCardinality-12(SAT) depth K=0 took 12 ms
[2021-05-08 14:36:47] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDES-PT-60a-ReachabilityCardinality-13
[2021-05-08 14:36:47] [INFO ] KInduction solution for property DES-PT-60a-ReachabilityCardinality-13(SAT) depth K=0 took 43 ms
SDD proceeding with computation,4 properties remain. new max is 512
SDD size :1.36453e+09 after 2.61044e+09
SDD proceeding with computation,4 properties remain. new max is 1024
SDD size :2.61044e+09 after 4.2397e+09
[2021-05-08 14:36:48] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-07(UNSAT) depth K=4 took 558 ms
[2021-05-08 14:36:48] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDES-PT-60a-ReachabilityCardinality-07
[2021-05-08 14:36:48] [INFO ] KInduction solution for property DES-PT-60a-ReachabilityCardinality-07(SAT) depth K=1 took 429 ms
[2021-05-08 14:36:48] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDES-PT-60a-ReachabilityCardinality-09
[2021-05-08 14:36:48] [INFO ] KInduction solution for property DES-PT-60a-ReachabilityCardinality-09(SAT) depth K=1 took 93 ms
[2021-05-08 14:36:48] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDES-PT-60a-ReachabilityCardinality-12
[2021-05-08 14:36:48] [INFO ] KInduction solution for property DES-PT-60a-ReachabilityCardinality-12(SAT) depth K=1 took 162 ms
[2021-05-08 14:36:48] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDES-PT-60a-ReachabilityCardinality-13
[2021-05-08 14:36:48] [INFO ] KInduction solution for property DES-PT-60a-ReachabilityCardinality-13(SAT) depth K=1 took 68 ms
Compilation finished in 1999 ms.
Running link step : CommandLine [args=[gcc, -shared, -o, gal.so, model.o], workingDir=/tmp/ltsmin1299108432988269678]
Link finished in 60 ms.
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/pins2lts-mc-linux64, ./gal.so, --threads=8, -p, --pins-guards, --when, -i, DESPT60aReachabilityCardinality07==true], workingDir=/tmp/ltsmin1299108432988269678]
[2021-05-08 14:36:49] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-09(UNSAT) depth K=4 took 1001 ms
[2021-05-08 14:36:50] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-12(UNSAT) depth K=4 took 1497 ms
[2021-05-08 14:36:55] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-13(UNSAT) depth K=4 took 4861 ms
[2021-05-08 14:36:59] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDES-PT-60a-ReachabilityCardinality-07
[2021-05-08 14:36:59] [INFO ] KInduction solution for property DES-PT-60a-ReachabilityCardinality-07(SAT) depth K=2 took 10835 ms
[2021-05-08 14:37:14] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-07(UNSAT) depth K=5 took 19125 ms
[2021-05-08 14:37:30] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-09(UNSAT) depth K=5 took 15672 ms
Reachability property DES-PT-60a-ReachabilityCardinality-09 is true.
FORMULA DES-PT-60a-ReachabilityCardinality-09 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
Reachability property DES-PT-60a-ReachabilityCardinality-07 is true.
FORMULA DES-PT-60a-ReachabilityCardinality-07 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
SDD proceeding with computation,2 properties remain. new max is 1024
SDD size :1.95269e+12 after 2.67144e+12
[2021-05-08 14:37:40] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDES-PT-60a-ReachabilityCardinality-09
[2021-05-08 14:37:40] [INFO ] KInduction solution for property DES-PT-60a-ReachabilityCardinality-09(SAT) depth K=2 took 41512 ms
[2021-05-08 14:37:49] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-12(UNSAT) depth K=5 took 19143 ms
[2021-05-08 14:38:18] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-13(UNSAT) depth K=5 took 28906 ms
Reachability property DES-PT-60a-ReachabilityCardinality-13 is true.
FORMULA DES-PT-60a-ReachabilityCardinality-13 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
[2021-05-08 14:39:05] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDES-PT-60a-ReachabilityCardinality-12
[2021-05-08 14:39:05] [INFO ] KInduction solution for property DES-PT-60a-ReachabilityCardinality-12(SAT) depth K=2 took 84640 ms
SDD proceeding with computation,1 properties remain. new max is 1024
SDD size :9.15299e+12 after 9.87316e+12
[2021-05-08 14:40:18] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-12(UNSAT) depth K=6 took 120626 ms
SDD proceeding with computation,1 properties remain. new max is 2048
SDD size :1.3474e+13 after 1.34808e+13
SDD proceeding with computation,1 properties remain. new max is 4096
SDD size :1.92354e+13 after 1.92416e+13
[2021-05-08 14:45:19] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDES-PT-60a-ReachabilityCardinality-12
[2021-05-08 14:45:19] [INFO ] KInduction solution for property DES-PT-60a-ReachabilityCardinality-12(SAT) depth K=3 took 373884 ms
Invariant property DES-PT-60a-ReachabilityCardinality-12 does not hold.
FORMULA DES-PT-60a-ReachabilityCardinality-12 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
Found states matching all0 target predicate
Will report total states built up to this point. Computation was interrupted after 4097 fixpoint passes
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
petri\_inst\_inst\_mod\_flat,2.93178e+13,221.98,1213928,47881,10160,2.65322e+06,40837,295,2.50636e+06,543,347831,0
Total reachable state count : 29317808584189

Verifying 4 reachability properties.
Reachability property DES-PT-60a-ReachabilityCardinality-07 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DES-PT-60a-ReachabilityCardinality-07,3.56686e+11,222.273,1212816,6776,607,2.65322e+06,40837,297,2.50636e+06,546,347831,0
Reachability property DES-PT-60a-ReachabilityCardinality-09 is true.

[2021-05-08 14:47:49] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-12(UNSAT) depth K=7 took 450339 ms
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DES-PT-60a-ReachabilityCardinality-09,26244,222.361,1212816,56,249,2.65322e+06,40837,320,2.50636e+06,559,347831,0
Invariant property DES-PT-60a-ReachabilityCardinality-12 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DES-PT-60a-ReachabilityCardinality-12,1.01803e+06,262.255,1212816,864,797,2.65322e+06,40837,359,2.50636e+06,575,347831,0
Reachability property DES-PT-60a-ReachabilityCardinality-13 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DES-PT-60a-ReachabilityCardinality-13,2.60622e+10,262.268,1212816,2873,538,2.65322e+06,40837,365,2.50636e+06,579,347831,0
[2021-05-08 14:48:39] [WARNING] Interrupting SMT solver.
WARNING : LTS min runner thread was asked to interrupt. Dying gracefully.
java.lang.RuntimeException: SMT solver raised an exception or timeout :(error "Solver has unexpectedly terminated")
at fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver.checkSat(NextBMCSolver.java:299)
at fr.lip6.move.gal.gal2smt.bmc.KInductionSolver.verify(KInductionSolver.java:586)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd.runKInduction(Gal2SMTFrontEnd.java:306)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd.access$1(Gal2SMTFrontEnd.java:279)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd$2.run(Gal2SMTFrontEnd.java:171)
at java.base/java.lang.Thread.run(Thread.java:834)
[2021-05-08 14:48:39] [WARNING] Unexpected error occurred while running SMT. Was verifying DES-PT-60a-ReachabilityCardinality-12 K-induction depth 4
Exception in thread "Thread-22" java.lang.RuntimeException: java.lang.RuntimeException: SMT solver raised an exception or timeout :(error "Solver has unexpectedly terminated")
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd.runKInduction(Gal2SMTFrontEnd.java:344)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd.access$1(Gal2SMTFrontEnd.java:279)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd$2.run(Gal2SMTFrontEnd.java:171)
at java.base/java.lang.Thread.run(Thread.java:834)
Caused by: java.lang.RuntimeException: SMT solver raised an exception or timeout :(error "Solver has unexpectedly terminated")
at fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver.checkSat(NextBMCSolver.java:299)
at fr.lip6.move.gal.gal2smt.bmc.KInductionSolver.verify(KInductionSolver.java:586)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd.runKInduction(Gal2SMTFrontEnd.java:306)
... 3 more
[2021-05-08 14:48:39] [INFO ] SMT solved 0/ 4 properties. Interrupting SMT analysis.

BK_STOP 1620485320702

--------------------
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="DES-PT-60a"
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 DES-PT-60a, 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 r064-tall-162038396800150"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DES-PT-60a.tgz
mv DES-PT-60a 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 ;