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

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

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
7776.403 3600000.00 11852599.00 64027.00 ?FFTTTFTTTFFTFFF normal

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2021-input.r007-tall-162037989600150.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is ASLink-PT-09b, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r007-tall-162037989600150
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.7M
-rw-r--r-- 1 mcc users 16K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 142K May 5 16:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 12K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 109K May 5 16:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Mar 28 15:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Mar 28 15:42 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Mar 28 15:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 15:42 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 23 01:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 23 01:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 22 09:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 22 09:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 22 09:09 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 22 09:09 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 4 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 1.3M May 5 16:51 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME ASLink-PT-09b-ReachabilityCardinality-00
FORMULA_NAME ASLink-PT-09b-ReachabilityCardinality-01
FORMULA_NAME ASLink-PT-09b-ReachabilityCardinality-02
FORMULA_NAME ASLink-PT-09b-ReachabilityCardinality-03
FORMULA_NAME ASLink-PT-09b-ReachabilityCardinality-04
FORMULA_NAME ASLink-PT-09b-ReachabilityCardinality-05
FORMULA_NAME ASLink-PT-09b-ReachabilityCardinality-06
FORMULA_NAME ASLink-PT-09b-ReachabilityCardinality-07
FORMULA_NAME ASLink-PT-09b-ReachabilityCardinality-08
FORMULA_NAME ASLink-PT-09b-ReachabilityCardinality-09
FORMULA_NAME ASLink-PT-09b-ReachabilityCardinality-10
FORMULA_NAME ASLink-PT-09b-ReachabilityCardinality-11
FORMULA_NAME ASLink-PT-09b-ReachabilityCardinality-12
FORMULA_NAME ASLink-PT-09b-ReachabilityCardinality-13
FORMULA_NAME ASLink-PT-09b-ReachabilityCardinality-14
FORMULA_NAME ASLink-PT-09b-ReachabilityCardinality-15

=== Now, execution of the tool begins

BK_START 1620441207220

Running Version 0
[2021-05-08 02:33:28] [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 02:33:28] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-08 02:33:28] [INFO ] Load time of PNML (sax parser for PT used): 201 ms
[2021-05-08 02:33:29] [INFO ] Transformed 4014 places.
[2021-05-08 02:33:29] [INFO ] Transformed 4932 transitions.
[2021-05-08 02:33:29] [INFO ] Found NUPN structural information;
[2021-05-08 02:33:29] [INFO ] Parsed PT model containing 4014 places and 4932 transitions in 309 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityCardinality.xml in 10 ms.
Working with output stream class java.io.PrintStream
FORMULA ASLink-PT-09b-ReachabilityCardinality-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-09b-ReachabilityCardinality-14 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-09b-ReachabilityCardinality-15 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Incomplete random walk after 10000 steps, including 10 resets, run finished after 114 ms. (steps per millisecond=87 ) properties (out of 13) seen :6
FORMULA ASLink-PT-09b-ReachabilityCardinality-13 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-09b-ReachabilityCardinality-11 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-09b-ReachabilityCardinality-10 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-09b-ReachabilityCardinality-06 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-09b-ReachabilityCardinality-05 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-09b-ReachabilityCardinality-01 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 22 ms. (steps per millisecond=454 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 28 ms. (steps per millisecond=357 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=526 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 21 ms. (steps per millisecond=476 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=526 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=526 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=555 ) properties (out of 7) seen :0
Running SMT prover for 7 properties.
// Phase 1: matrix 4932 rows 4014 cols
[2021-05-08 02:33:29] [INFO ] Computed 394 place invariants in 425 ms
[2021-05-08 02:33:31] [INFO ] SMT Verify possible in real domain returnedunsat :0 sat :0 real:7
[2021-05-08 02:33:32] [INFO ] [Nat]Absence check using 93 positive place invariants in 51 ms returned sat
[2021-05-08 02:33:32] [INFO ] [Nat]Absence check using 93 positive and 301 generalized place invariants in 205 ms returned sat
[2021-05-08 02:33:32] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 02:33:56] [INFO ] [Nat]Absence check using state equation in 23379 ms returned unsat :1 sat :1
Attempting to minimize the solution found.
Minimization took 2 ms.
[2021-05-08 02:33:56] [INFO ] SMT Verify possible in nat domain returned unsat :1 sat :1
FORMULA ASLink-PT-09b-ReachabilityCardinality-08 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Fused 7 Parikh solutions to 2 different solutions.
Incomplete Parikh walk after 274200 steps, including 1002 resets, run finished after 1767 ms. (steps per millisecond=155 ) properties (out of 6) seen :1 could not realise parikh vector
FORMULA ASLink-PT-09b-ReachabilityCardinality-04 TRUE TECHNIQUES TOPOLOGICAL PARIKH_WALK
Support contains 22 out of 4014 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 4014/4014 places, 4932/4932 transitions.
Drop transitions removed 923 transitions
Trivial Post-agglo rules discarded 923 transitions
Performed 923 trivial Post agglomeration. Transition count delta: 923
Iterating post reduction 0 with 923 rules applied. Total rules applied 923 place count 4014 transition count 4009
Reduce places removed 923 places and 0 transitions.
Ensure Unique test removed 31 transitions
Reduce isomorphic transitions removed 31 transitions.
Drop transitions removed 11 transitions
Trivial Post-agglo rules discarded 11 transitions
Performed 11 trivial Post agglomeration. Transition count delta: 11
Iterating post reduction 1 with 965 rules applied. Total rules applied 1888 place count 3091 transition count 3967
Reduce places removed 11 places and 0 transitions.
Performed 6 Post agglomeration using F-continuation condition.Transition count delta: 6
Iterating post reduction 2 with 17 rules applied. Total rules applied 1905 place count 3080 transition count 3961
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 3 with 6 rules applied. Total rules applied 1911 place count 3074 transition count 3961
Performed 926 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 926 Pre rules applied. Total rules applied 1911 place count 3074 transition count 3035
Deduced a syphon composed of 926 places in 9 ms
Ensure Unique test removed 89 places
Reduce places removed 1015 places and 0 transitions.
Iterating global reduction 4 with 1941 rules applied. Total rules applied 3852 place count 2059 transition count 3035
Discarding 11 places :
Implicit places reduction removed 11 places
Drop transitions removed 56 transitions
Trivial Post-agglo rules discarded 56 transitions
Performed 56 trivial Post agglomeration. Transition count delta: 56
Iterating post reduction 4 with 67 rules applied. Total rules applied 3919 place count 2048 transition count 2979
Reduce places removed 56 places and 0 transitions.
Iterating post reduction 5 with 56 rules applied. Total rules applied 3975 place count 1992 transition count 2979
Performed 34 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 34 Pre rules applied. Total rules applied 3975 place count 1992 transition count 2945
Deduced a syphon composed of 34 places in 25 ms
Ensure Unique test removed 34 places
Reduce places removed 68 places and 0 transitions.
Iterating global reduction 6 with 102 rules applied. Total rules applied 4077 place count 1924 transition count 2945
Performed 34 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 34 Pre rules applied. Total rules applied 4077 place count 1924 transition count 2911
Deduced a syphon composed of 34 places in 22 ms
Reduce places removed 34 places and 0 transitions.
Iterating global reduction 6 with 68 rules applied. Total rules applied 4145 place count 1890 transition count 2911
Discarding 127 places :
Symmetric choice reduction at 6 with 127 rule applications. Total rules 4272 place count 1763 transition count 2784
Iterating global reduction 6 with 127 rules applied. Total rules applied 4399 place count 1763 transition count 2784
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 4400 place count 1763 transition count 2783
Performed 40 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 7 with 40 Pre rules applied. Total rules applied 4400 place count 1763 transition count 2743
Deduced a syphon composed of 40 places in 6 ms
Ensure Unique test removed 1 places
Reduce places removed 41 places and 0 transitions.
Iterating global reduction 7 with 81 rules applied. Total rules applied 4481 place count 1722 transition count 2743
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 7 with 1 Pre rules applied. Total rules applied 4481 place count 1722 transition count 2742
Deduced a syphon composed of 1 places in 6 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 7 with 2 rules applied. Total rules applied 4483 place count 1721 transition count 2742
Discarding 10 places :
Symmetric choice reduction at 7 with 10 rule applications. Total rules 4493 place count 1711 transition count 2679
Iterating global reduction 7 with 10 rules applied. Total rules applied 4503 place count 1711 transition count 2679
Performed 9 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 7 with 9 Pre rules applied. Total rules applied 4503 place count 1711 transition count 2670
Deduced a syphon composed of 9 places in 6 ms
Reduce places removed 9 places and 0 transitions.
Iterating global reduction 7 with 18 rules applied. Total rules applied 4521 place count 1702 transition count 2670
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4522 place count 1701 transition count 2662
Iterating global reduction 7 with 1 rules applied. Total rules applied 4523 place count 1701 transition count 2662
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4524 place count 1700 transition count 2654
Iterating global reduction 7 with 1 rules applied. Total rules applied 4525 place count 1700 transition count 2654
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4526 place count 1699 transition count 2646
Iterating global reduction 7 with 1 rules applied. Total rules applied 4527 place count 1699 transition count 2646
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4528 place count 1698 transition count 2638
Iterating global reduction 7 with 1 rules applied. Total rules applied 4529 place count 1698 transition count 2638
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4530 place count 1697 transition count 2630
Iterating global reduction 7 with 1 rules applied. Total rules applied 4531 place count 1697 transition count 2630
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4532 place count 1696 transition count 2622
Iterating global reduction 7 with 1 rules applied. Total rules applied 4533 place count 1696 transition count 2622
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4534 place count 1695 transition count 2614
Iterating global reduction 7 with 1 rules applied. Total rules applied 4535 place count 1695 transition count 2614
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4536 place count 1694 transition count 2606
Iterating global reduction 7 with 1 rules applied. Total rules applied 4537 place count 1694 transition count 2606
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4538 place count 1693 transition count 2598
Iterating global reduction 7 with 1 rules applied. Total rules applied 4539 place count 1693 transition count 2598
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4540 place count 1692 transition count 2590
Iterating global reduction 7 with 1 rules applied. Total rules applied 4541 place count 1692 transition count 2590
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4542 place count 1691 transition count 2582
Iterating global reduction 7 with 1 rules applied. Total rules applied 4543 place count 1691 transition count 2582
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4544 place count 1690 transition count 2574
Iterating global reduction 7 with 1 rules applied. Total rules applied 4545 place count 1690 transition count 2574
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4546 place count 1689 transition count 2566
Iterating global reduction 7 with 1 rules applied. Total rules applied 4547 place count 1689 transition count 2566
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4548 place count 1688 transition count 2558
Iterating global reduction 7 with 1 rules applied. Total rules applied 4549 place count 1688 transition count 2558
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4550 place count 1687 transition count 2550
Iterating global reduction 7 with 1 rules applied. Total rules applied 4551 place count 1687 transition count 2550
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4552 place count 1686 transition count 2542
Iterating global reduction 7 with 1 rules applied. Total rules applied 4553 place count 1686 transition count 2542
Performed 234 Post agglomeration using F-continuation condition.Transition count delta: 234
Deduced a syphon composed of 234 places in 4 ms
Ensure Unique test removed 1 places
Reduce places removed 235 places and 0 transitions.
Iterating global reduction 7 with 469 rules applied. Total rules applied 5022 place count 1451 transition count 2308
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 5023 place count 1450 transition count 2307
Ensure Unique test removed 1 places
Iterating global reduction 7 with 2 rules applied. Total rules applied 5025 place count 1449 transition count 2307
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 5026 place count 1448 transition count 2306
Iterating global reduction 7 with 1 rules applied. Total rules applied 5027 place count 1448 transition count 2306
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 7 with 2 rules applied. Total rules applied 5029 place count 1448 transition count 2304
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 8 with 1 rules applied. Total rules applied 5030 place count 1447 transition count 2304
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 9 with 2 rules applied. Total rules applied 5032 place count 1446 transition count 2313
Free-agglomeration rule applied 10 times.
Iterating global reduction 9 with 10 rules applied. Total rules applied 5042 place count 1446 transition count 2303
Reduce places removed 10 places and 0 transitions.
Iterating post reduction 9 with 10 rules applied. Total rules applied 5052 place count 1436 transition count 2303
Free-agglomeration rule (complex) applied 10 times.
Iterating global reduction 10 with 10 rules applied. Total rules applied 5062 place count 1436 transition count 2293
Reduce places removed 10 places and 0 transitions.
Iterating post reduction 10 with 10 rules applied. Total rules applied 5072 place count 1426 transition count 2293
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 11 with 1 rules applied. Total rules applied 5073 place count 1425 transition count 2292
Reduce places removed 16 places and 0 transitions.
Drop transitions removed 7 transitions
Trivial Post-agglo rules discarded 7 transitions
Performed 7 trivial Post agglomeration. Transition count delta: 7
Iterating post reduction 11 with 23 rules applied. Total rules applied 5096 place count 1409 transition count 2285
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 12 with 7 rules applied. Total rules applied 5103 place count 1402 transition count 2285
Performed 24 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 13 with 24 Pre rules applied. Total rules applied 5103 place count 1402 transition count 2261
Deduced a syphon composed of 24 places in 4 ms
Ensure Unique test removed 1 places
Reduce places removed 25 places and 0 transitions.
Iterating global reduction 13 with 49 rules applied. Total rules applied 5152 place count 1377 transition count 2261
Discarding 9 places :
Implicit places reduction removed 9 places
Iterating post reduction 13 with 9 rules applied. Total rules applied 5161 place count 1368 transition count 2261
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 14 with 1 Pre rules applied. Total rules applied 5161 place count 1368 transition count 2260
Deduced a syphon composed of 1 places in 7 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 14 with 2 rules applied. Total rules applied 5163 place count 1367 transition count 2260
Performed 18 Post agglomeration using F-continuation condition.Transition count delta: 18
Deduced a syphon composed of 18 places in 4 ms
Reduce places removed 18 places and 0 transitions.
Iterating global reduction 14 with 36 rules applied. Total rules applied 5199 place count 1349 transition count 2242
Discarding 8 places :
Symmetric choice reduction at 14 with 8 rule applications. Total rules 5207 place count 1341 transition count 2234
Iterating global reduction 14 with 8 rules applied. Total rules applied 5215 place count 1341 transition count 2234
Free-agglomeration rule applied 8 times.
Iterating global reduction 14 with 8 rules applied. Total rules applied 5223 place count 1341 transition count 2226
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 14 with 8 rules applied. Total rules applied 5231 place count 1333 transition count 2226
Applied a total of 5231 rules in 3168 ms. Remains 1333 /4014 variables (removed 2681) and now considering 2226/4932 (removed 2706) transitions.
Finished structural reductions, in 1 iterations. Remains : 1333/4014 places, 2226/4932 transitions.
[2021-05-08 02:34:01] [INFO ] Flatten gal took : 224 ms
[2021-05-08 02:34:01] [INFO ] Flatten gal took : 141 ms
[2021-05-08 02:34:01] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality2359416968990950526.gal : 38 ms
[2021-05-08 02:34:01] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality13185135671584127447.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/ReachabilityCardinality2359416968990950526.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality13185135671584127447.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/ReachabilityCardinality2359416968990950526.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality13185135671584127447.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality13185135671584127447.prop.
SDD proceeding with computation,5 properties remain. new max is 4
SDD size :1 after 2
SDD proceeding with computation,5 properties remain. new max is 8
SDD size :2 after 4
SDD proceeding with computation,5 properties remain. new max is 16
SDD size :4 after 6
SDD proceeding with computation,5 properties remain. new max is 32
SDD size :6 after 8
SDD proceeding with computation,5 properties remain. new max is 64
SDD size :8 after 10
SDD proceeding with computation,5 properties remain. new max is 128
SDD size :10 after 864
SDD proceeding with computation,5 properties remain. new max is 256
SDD size :864 after 2.02532e+06
SDD proceeding with computation,5 properties remain. new max is 512
SDD size :2.02532e+06 after 8.07598e+09
SDD proceeding with computation,5 properties remain. new max is 1024
SDD size :8.07598e+09 after 1.71747e+16
Reachability property ASLink-PT-09b-ReachabilityCardinality-03 is true.
FORMULA ASLink-PT-09b-ReachabilityCardinality-03 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING
SDD proceeding with computation,4 properties remain. new max is 1024
SDD size :1.71747e+16 after 1.74027e+16
SDD proceeding with computation,4 properties remain. new max is 2048
SDD size :1.74027e+16 after 1.74027e+16
SDD proceeding with computation,4 properties remain. new max is 4096
SDD size :1.74027e+16 after 1.74029e+16
SDD proceeding with computation,4 properties remain. new max is 8192
SDD size :1.74029e+16 after 3.07337e+17
SDD proceeding with computation,4 properties remain. new max is 16384
SDD size :3.07337e+17 after 2.40514e+18
Reachability property ASLink-PT-09b-ReachabilityCardinality-12 is true.
FORMULA ASLink-PT-09b-ReachabilityCardinality-12 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING
Detected timeout of ITS tools.
[2021-05-08 02:34:16] [INFO ] Flatten gal took : 106 ms
[2021-05-08 02:34:16] [INFO ] Applying decomposition
[2021-05-08 02:34:16] [INFO ] Flatten gal took : 99 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/graph12505741328379576348.txt, -o, /tmp/graph12505741328379576348.bin, -w, /tmp/graph12505741328379576348.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/graph12505741328379576348.bin, -l, -1, -v, -w, /tmp/graph12505741328379576348.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-08 02:34:17] [INFO ] Decomposing Gal with order
[2021-05-08 02:34:17] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-08 02:34:17] [INFO ] Removed a total of 3464 redundant transitions.
[2021-05-08 02:34:17] [INFO ] Flatten gal took : 260 ms
[2021-05-08 02:34:17] [INFO ] Fuse similar labels procedure discarded/fused a total of 65 labels/synchronizations in 41 ms.
[2021-05-08 02:34:17] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality12348345922781414971.gal : 17 ms
[2021-05-08 02:34:17] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality642099953091746943.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/ReachabilityCardinality12348345922781414971.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality642099953091746943.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/ReachabilityCardinality12348345922781414971.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality642099953091746943.prop --nowitness
Loading property file /tmp/ReachabilityCardinality642099953091746943.prop.
SDD proceeding with computation,3 properties remain. new max is 4
SDD size :1 after 8
SDD proceeding with computation,3 properties remain. new max is 8
SDD size :8 after 11
SDD proceeding with computation,3 properties remain. new max is 16
SDD size :11 after 11
SDD proceeding with computation,3 properties remain. new max is 32
SDD size :11 after 11
SDD proceeding with computation,3 properties remain. new max is 64
SDD size :11 after 256
SDD proceeding with computation,3 properties remain. new max is 128
SDD size :256 after 3228
SDD proceeding with computation,3 properties remain. new max is 256
SDD size :3228 after 1.80029e+06
SDD proceeding with computation,3 properties remain. new max is 512
SDD size :1.80029e+06 after 2.60035e+13
Reachability property ASLink-PT-09b-ReachabilityCardinality-09 is true.
FORMULA ASLink-PT-09b-ReachabilityCardinality-09 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
SDD proceeding with computation,2 properties remain. new max is 512
SDD size :2.46299e+16 after 2.46433e+20
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin17366825065215403881
[2021-05-08 02:34:32] [INFO ] Built C files in 35ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin17366825065215403881
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/ltsmin17366825065215403881]
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/ltsmin17366825065215403881] 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/ltsmin17366825065215403881] 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 8638 resets, run finished after 10375 ms. (steps per millisecond=96 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 1000001 steps, including 933 resets, run finished after 1669 ms. (steps per millisecond=599 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 1000001 steps, including 1077 resets, run finished after 1704 ms. (steps per millisecond=586 ) properties (out of 2) seen :0
Interrupted probabilistic random walk after 2881315 steps, run timeout after 30001 ms. (steps per millisecond=96 ) properties seen :{}
Probabilistic random walk after 2881315 steps, saw 422446 distinct states, run finished after 32820 ms. (steps per millisecond=87 ) properties seen :{}
Running SMT prover for 2 properties.
// Phase 1: matrix 2226 rows 1333 cols
[2021-05-08 02:35:20] [INFO ] Computed 231 place invariants in 97 ms
[2021-05-08 02:35:20] [INFO ] [Real]Absence check using 56 positive place invariants in 19 ms returned sat
[2021-05-08 02:35:20] [INFO ] [Real]Absence check using 56 positive and 175 generalized place invariants in 78 ms returned sat
[2021-05-08 02:35:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 02:35:21] [INFO ] [Real]Absence check using state equation in 771 ms returned sat
[2021-05-08 02:35:21] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 02:35:21] [INFO ] [Nat]Absence check using 56 positive place invariants in 19 ms returned sat
[2021-05-08 02:35:21] [INFO ] [Nat]Absence check using 56 positive and 175 generalized place invariants in 34 ms returned sat
[2021-05-08 02:35:21] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 02:35:22] [INFO ] [Nat]Absence check using state equation in 1015 ms returned sat
[2021-05-08 02:35:23] [INFO ] Deduced a trap composed of 110 places in 406 ms of which 3 ms to minimize.
[2021-05-08 02:35:23] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 545 ms
[2021-05-08 02:35:23] [INFO ] Computed and/alt/rep : 908/3537/908 causal constraints (skipped 1273 transitions) in 129 ms.
[2021-05-08 02:35:44] [INFO ] Added : 600 causal constraints over 120 iterations in 20872 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 18 ms.
[2021-05-08 02:35:44] [INFO ] [Real]Absence check using 56 positive place invariants in 19 ms returned sat
[2021-05-08 02:35:44] [INFO ] [Real]Absence check using 56 positive and 175 generalized place invariants in 37 ms returned sat
[2021-05-08 02:35:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 02:35:45] [INFO ] [Real]Absence check using state equation in 795 ms returned sat
[2021-05-08 02:35:45] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 02:35:45] [INFO ] [Nat]Absence check using 56 positive place invariants in 19 ms returned sat
[2021-05-08 02:35:45] [INFO ] [Nat]Absence check using 56 positive and 175 generalized place invariants in 37 ms returned sat
[2021-05-08 02:35:45] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 02:35:46] [INFO ] [Nat]Absence check using state equation in 896 ms returned sat
[2021-05-08 02:35:46] [INFO ] Computed and/alt/rep : 908/3537/908 causal constraints (skipped 1273 transitions) in 121 ms.
[2021-05-08 02:36:02] [INFO ] Added : 706 causal constraints over 142 iterations in 15515 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 34 ms.
Incomplete Parikh walk after 1318200 steps, including 7610 resets, run finished after 6229 ms. (steps per millisecond=211 ) properties (out of 2) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1719100 steps, including 10514 resets, run finished after 7635 ms. (steps per millisecond=225 ) properties (out of 2) seen :0 could not realise parikh vector
Support contains 7 out of 1333 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1333/1333 places, 2226/2226 transitions.
Drop transitions removed 5 transitions
Trivial Post-agglo rules discarded 5 transitions
Performed 5 trivial Post agglomeration. Transition count delta: 5
Iterating post reduction 0 with 5 rules applied. Total rules applied 5 place count 1333 transition count 2221
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 1 with 6 rules applied. Total rules applied 11 place count 1327 transition count 2221
Performed 10 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 10 Pre rules applied. Total rules applied 11 place count 1327 transition count 2211
Deduced a syphon composed of 10 places in 4 ms
Ensure Unique test removed 2 places
Reduce places removed 12 places and 0 transitions.
Iterating global reduction 2 with 22 rules applied. Total rules applied 33 place count 1315 transition count 2211
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 33 place count 1315 transition count 2210
Deduced a syphon composed of 1 places in 4 ms
Ensure Unique test removed 1 places
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 3 rules applied. Total rules applied 36 place count 1313 transition count 2210
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Deduced a syphon composed of 4 places in 4 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 2 with 8 rules applied. Total rules applied 44 place count 1309 transition count 2206
Free-agglomeration rule applied 1 times.
Iterating global reduction 2 with 1 rules applied. Total rules applied 45 place count 1309 transition count 2205
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 46 place count 1308 transition count 2205
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 3 with 1 rules applied. Total rules applied 47 place count 1307 transition count 2204
Applied a total of 47 rules in 224 ms. Remains 1307 /1333 variables (removed 26) and now considering 2204/2226 (removed 22) transitions.
Finished structural reductions, in 1 iterations. Remains : 1307/1333 places, 2204/2226 transitions.
[2021-05-08 02:36:16] [INFO ] Flatten gal took : 87 ms
[2021-05-08 02:36:16] [INFO ] Flatten gal took : 89 ms
[2021-05-08 02:36:28] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality13149310798847526000.gal : 11504 ms
[2021-05-08 02:36:28] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality6941128468215508855.prop : 140 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/ReachabilityCardinality13149310798847526000.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality6941128468215508855.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/ReachabilityCardinality13149310798847526000.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality6941128468215508855.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality6941128468215508855.prop.
SDD proceeding with computation,2 properties remain. new max is 4
SDD size :1 after 2
SDD proceeding with computation,2 properties remain. new max is 8
SDD size :2 after 3
SDD proceeding with computation,2 properties remain. new max is 16
SDD size :3 after 6
SDD proceeding with computation,2 properties remain. new max is 32
SDD size :6 after 9
SDD proceeding with computation,2 properties remain. new max is 64
SDD size :9 after 93
SDD proceeding with computation,2 properties remain. new max is 128
SDD size :93 after 1071
SDD proceeding with computation,2 properties remain. new max is 256
SDD size :1071 after 1.02117e+06
SDD proceeding with computation,2 properties remain. new max is 512
SDD size :1.02117e+06 after 4.56013e+10
SDD proceeding with computation,2 properties remain. new max is 1024
SDD size :4.56013e+10 after 2.35355e+15
SDD proceeding with computation,2 properties remain. new max is 2048
SDD size :2.35355e+15 after 2.3599e+15
SDD proceeding with computation,2 properties remain. new max is 4096
SDD size :2.3599e+15 after 2.3599e+15
SDD proceeding with computation,2 properties remain. new max is 8192
SDD size :2.3599e+15 after 5.24167e+16
SDD proceeding with computation,2 properties remain. new max is 16384
SDD size :5.24167e+16 after 5.18312e+17
SDD proceeding with computation,2 properties remain. new max is 32768
SDD size :5.18312e+17 after 8.67585e+18
Detected timeout of ITS tools.
[2021-05-08 02:36:43] [INFO ] Flatten gal took : 85 ms
[2021-05-08 02:36:43] [INFO ] Applying decomposition
[2021-05-08 02:36:43] [INFO ] Flatten gal took : 87 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/graph2341138260091155298.txt, -o, /tmp/graph2341138260091155298.bin, -w, /tmp/graph2341138260091155298.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/graph2341138260091155298.bin, -l, -1, -v, -w, /tmp/graph2341138260091155298.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-08 02:36:50] [INFO ] Decomposing Gal with order
[2021-05-08 02:36:50] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-08 02:36:51] [INFO ] Removed a total of 3489 redundant transitions.
[2021-05-08 02:36:51] [INFO ] Flatten gal took : 199 ms
[2021-05-08 02:36:51] [INFO ] Fuse similar labels procedure discarded/fused a total of 62 labels/synchronizations in 28 ms.
[2021-05-08 02:36:51] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality17186723063077315808.gal : 12 ms
[2021-05-08 02:36:51] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality2929475737951390855.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/ReachabilityCardinality17186723063077315808.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality2929475737951390855.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/ReachabilityCardinality17186723063077315808.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality2929475737951390855.prop --nowitness
Loading property file /tmp/ReachabilityCardinality2929475737951390855.prop.
SDD proceeding with computation,2 properties remain. new max is 4
SDD size :1 after 8
SDD proceeding with computation,2 properties remain. new max is 8
SDD size :8 after 21
SDD proceeding with computation,2 properties remain. new max is 16
SDD size :21 after 21
SDD proceeding with computation,2 properties remain. new max is 32
SDD size :21 after 21
SDD proceeding with computation,2 properties remain. new max is 64
SDD size :21 after 310
SDD proceeding with computation,2 properties remain. new max is 128
SDD size :310 after 12852
SDD proceeding with computation,2 properties remain. new max is 256
SDD size :12852 after 1.14213e+09
SDD proceeding with computation,2 properties remain. new max is 512
SDD size :1.14213e+09 after 1.74946e+15
SDD proceeding with computation,2 properties remain. new max is 1024
SDD size :5.76859e+15 after 7.08179e+16
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin11346435756584563926
[2021-05-08 02:37:06] [INFO ] Built C files in 26ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin11346435756584563926
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/ltsmin11346435756584563926]
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/ltsmin11346435756584563926] 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/ltsmin11346435756584563926] 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 8987 resets, run finished after 4308 ms. (steps per millisecond=232 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 1000001 steps, including 1015 resets, run finished after 1608 ms. (steps per millisecond=621 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 1000001 steps, including 1176 resets, run finished after 1645 ms. (steps per millisecond=607 ) properties (out of 2) seen :0
Interrupted probabilistic random walk after 2888544 steps, run timeout after 30001 ms. (steps per millisecond=96 ) properties seen :{}
Probabilistic random walk after 2888544 steps, saw 422558 distinct states, run finished after 30001 ms. (steps per millisecond=96 ) properties seen :{}
Running SMT prover for 2 properties.
// Phase 1: matrix 2204 rows 1307 cols
[2021-05-08 02:37:44] [INFO ] Computed 227 place invariants in 39 ms
[2021-05-08 02:37:44] [INFO ] [Real]Absence check using 56 positive place invariants in 18 ms returned sat
[2021-05-08 02:37:44] [INFO ] [Real]Absence check using 56 positive and 171 generalized place invariants in 35 ms returned sat
[2021-05-08 02:37:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 02:37:45] [INFO ] [Real]Absence check using state equation in 596 ms returned sat
[2021-05-08 02:37:45] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 02:37:45] [INFO ] [Nat]Absence check using 56 positive place invariants in 18 ms returned sat
[2021-05-08 02:37:45] [INFO ] [Nat]Absence check using 56 positive and 171 generalized place invariants in 33 ms returned sat
[2021-05-08 02:37:45] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 02:37:46] [INFO ] [Nat]Absence check using state equation in 753 ms returned sat
[2021-05-08 02:37:46] [INFO ] Computed and/alt/rep : 877/3355/877 causal constraints (skipped 1284 transitions) in 110 ms.
[2021-05-08 02:38:01] [INFO ] Deduced a trap composed of 83 places in 104 ms of which 1 ms to minimize.
[2021-05-08 02:38:01] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 290 ms
[2021-05-08 02:38:01] [INFO ] Added : 700 causal constraints over 140 iterations in 14835 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 24 ms.
[2021-05-08 02:38:01] [INFO ] [Real]Absence check using 56 positive place invariants in 18 ms returned sat
[2021-05-08 02:38:01] [INFO ] [Real]Absence check using 56 positive and 171 generalized place invariants in 46 ms returned sat
[2021-05-08 02:38:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 02:38:02] [INFO ] [Real]Absence check using state equation in 710 ms returned sat
[2021-05-08 02:38:02] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 02:38:02] [INFO ] [Nat]Absence check using 56 positive place invariants in 19 ms returned sat
[2021-05-08 02:38:02] [INFO ] [Nat]Absence check using 56 positive and 171 generalized place invariants in 35 ms returned sat
[2021-05-08 02:38:02] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 02:38:03] [INFO ] [Nat]Absence check using state equation in 856 ms returned sat
[2021-05-08 02:38:03] [INFO ] Computed and/alt/rep : 877/3355/877 causal constraints (skipped 1284 transitions) in 150 ms.
[2021-05-08 02:38:16] [INFO ] Added : 662 causal constraints over 133 iterations in 13421 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 28 ms.
Incomplete Parikh walk after 1222200 steps, including 8503 resets, run finished after 5746 ms. (steps per millisecond=212 ) properties (out of 2) seen :0 could not realise parikh vector
Incomplete Parikh walk after 883000 steps, including 6741 resets, run finished after 4228 ms. (steps per millisecond=208 ) properties (out of 2) seen :0 could not realise parikh vector
Support contains 7 out of 1307 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1307/1307 places, 2204/2204 transitions.
Applied a total of 0 rules in 48 ms. Remains 1307 /1307 variables (removed 0) and now considering 2204/2204 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 1307/1307 places, 2204/2204 transitions.
Starting structural reductions, iteration 0 : 1307/1307 places, 2204/2204 transitions.
Applied a total of 0 rules in 114 ms. Remains 1307 /1307 variables (removed 0) and now considering 2204/2204 (removed 0) transitions.
// Phase 1: matrix 2204 rows 1307 cols
[2021-05-08 02:38:27] [INFO ] Computed 227 place invariants in 38 ms
[2021-05-08 02:38:28] [INFO ] Implicit Places using invariants in 1008 ms returned [1, 18, 19, 31, 48, 66, 136, 140, 149, 150, 151, 169, 187, 256, 260, 261, 272, 273, 275, 292, 310, 379, 383, 384, 395, 396, 398, 418, 436, 505, 509, 510, 521, 522, 524, 560, 629, 633, 634, 645, 646, 648, 665, 683, 752, 756, 757, 768, 769, 771, 788, 806, 875, 879, 880, 891, 892, 894, 911, 929, 1004, 1008, 1009, 1020, 1022, 1023, 1025, 1042, 1060, 1129, 1133, 1134, 1137, 1148, 1149, 1150, 1168, 1170, 1174, 1192, 1193, 1194, 1195, 1207, 1214, 1220, 1226, 1232, 1238, 1244, 1250, 1256, 1262, 1268, 1304]
Discarding 95 places :
Implicit Place search using SMT only with invariants took 1012 ms to find 95 implicit places.
[2021-05-08 02:38:28] [INFO ] Redundant transitions in 168 ms returned []
// Phase 1: matrix 2204 rows 1212 cols
[2021-05-08 02:38:28] [INFO ] Computed 132 place invariants in 25 ms
[2021-05-08 02:38:29] [INFO ] Dead Transitions using invariants and state equation in 918 ms returned []
Starting structural reductions, iteration 1 : 1212/1307 places, 2204/2204 transitions.
Drop transitions removed 171 transitions
Trivial Post-agglo rules discarded 171 transitions
Performed 171 trivial Post agglomeration. Transition count delta: 171
Iterating post reduction 0 with 171 rules applied. Total rules applied 171 place count 1212 transition count 2033
Reduce places removed 171 places and 0 transitions.
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 180 rules applied. Total rules applied 351 place count 1041 transition count 2024
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 352 place count 1040 transition count 2024
Performed 44 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 44 Pre rules applied. Total rules applied 352 place count 1040 transition count 1980
Deduced a syphon composed of 44 places in 3 ms
Ensure Unique test removed 1 places
Reduce places removed 45 places and 0 transitions.
Iterating global reduction 3 with 89 rules applied. Total rules applied 441 place count 995 transition count 1980
Discarding 5 places :
Implicit places reduction removed 5 places
Drop transitions removed 8 transitions
Trivial Post-agglo rules discarded 8 transitions
Performed 8 trivial Post agglomeration. Transition count delta: 8
Iterating post reduction 3 with 13 rules applied. Total rules applied 454 place count 990 transition count 1972
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 4 with 8 rules applied. Total rules applied 462 place count 982 transition count 1972
Discarding 14 places :
Symmetric choice reduction at 5 with 14 rule applications. Total rules 476 place count 968 transition count 1958
Iterating global reduction 5 with 14 rules applied. Total rules applied 490 place count 968 transition count 1958
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 5 with 3 rules applied. Total rules applied 493 place count 968 transition count 1955
Discarding 3 places :
Symmetric choice reduction at 6 with 3 rule applications. Total rules 496 place count 965 transition count 1949
Iterating global reduction 6 with 3 rules applied. Total rules applied 499 place count 965 transition count 1949
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 500 place count 964 transition count 1948
Iterating global reduction 6 with 1 rules applied. Total rules applied 501 place count 964 transition count 1948
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 502 place count 963 transition count 1946
Iterating global reduction 6 with 1 rules applied. Total rules applied 503 place count 963 transition count 1946
Performed 62 Post agglomeration using F-continuation condition.Transition count delta: 62
Deduced a syphon composed of 62 places in 3 ms
Reduce places removed 62 places and 0 transitions.
Iterating global reduction 6 with 124 rules applied. Total rules applied 627 place count 901 transition count 1884
Discarding 9 places :
Symmetric choice reduction at 6 with 9 rule applications. Total rules 636 place count 892 transition count 1875
Iterating global reduction 6 with 9 rules applied. Total rules applied 645 place count 892 transition count 1875
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 6 with 9 rules applied. Total rules applied 654 place count 892 transition count 1866
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -1
Deduced a syphon composed of 2 places in 3 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 7 with 4 rules applied. Total rules applied 658 place count 890 transition count 1867
Free-agglomeration rule applied 1 times.
Iterating global reduction 7 with 1 rules applied. Total rules applied 659 place count 890 transition count 1866
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 7 with 1 rules applied. Total rules applied 660 place count 889 transition count 1866
Free-agglomeration rule (complex) applied 20 times.
Iterating global reduction 8 with 20 rules applied. Total rules applied 680 place count 889 transition count 1846
Ensure Unique test removed 1 places
Reduce places removed 21 places and 0 transitions.
Iterating post reduction 8 with 21 rules applied. Total rules applied 701 place count 868 transition count 1846
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 9 with 1 rules applied. Total rules applied 702 place count 868 transition count 1845
Partial Free-agglomeration rule applied 24 times.
Drop transitions removed 24 transitions
Iterating global reduction 9 with 24 rules applied. Total rules applied 726 place count 868 transition count 1845
Applied a total of 726 rules in 662 ms. Remains 868 /1212 variables (removed 344) and now considering 1845/2204 (removed 359) transitions.
// Phase 1: matrix 1845 rows 868 cols
[2021-05-08 02:38:30] [INFO ] Computed 125 place invariants in 34 ms
[2021-05-08 02:38:30] [INFO ] Implicit Places using invariants in 590 ms returned [72, 90, 96, 99, 101, 104, 105, 157, 174, 180, 183, 185, 190, 191, 243, 260, 266, 269, 271, 276, 277, 332, 349, 355, 358, 360, 365, 366, 420, 441, 449, 455, 460, 461, 513, 530, 536, 539, 541, 546, 547, 599, 616, 622, 625, 627, 632, 633, 685, 702, 708, 711, 713, 718, 719, 772, 789, 795, 798, 800]
Discarding 60 places :
Implicit Place search using SMT only with invariants took 592 ms to find 60 implicit places.
Starting structural reductions, iteration 2 : 808/1307 places, 1845/2204 transitions.
Discarding 26 places :
Symmetric choice reduction at 0 with 26 rule applications. Total rules 26 place count 782 transition count 1819
Iterating global reduction 0 with 26 rules applied. Total rules applied 52 place count 782 transition count 1819
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 62 place count 772 transition count 1809
Iterating global reduction 0 with 10 rules applied. Total rules applied 72 place count 772 transition count 1809
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 74 place count 770 transition count 1807
Iterating global reduction 0 with 2 rules applied. Total rules applied 76 place count 770 transition count 1807
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 77 place count 769 transition count 1806
Iterating global reduction 0 with 1 rules applied. Total rules applied 78 place count 769 transition count 1806
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 79 place count 768 transition count 1805
Iterating global reduction 0 with 1 rules applied. Total rules applied 80 place count 768 transition count 1805
Performed 18 Post agglomeration using F-continuation condition.Transition count delta: 18
Deduced a syphon composed of 18 places in 3 ms
Reduce places removed 18 places and 0 transitions.
Iterating global reduction 0 with 36 rules applied. Total rules applied 116 place count 750 transition count 1787
Free-agglomeration rule applied 27 times.
Iterating global reduction 0 with 27 rules applied. Total rules applied 143 place count 750 transition count 1760
Reduce places removed 27 places and 0 transitions.
Iterating post reduction 0 with 27 rules applied. Total rules applied 170 place count 723 transition count 1760
Free-agglomeration rule (complex) applied 9 times.
Iterating global reduction 1 with 9 rules applied. Total rules applied 179 place count 723 transition count 1751
Reduce places removed 9 places and 0 transitions.
Iterating post reduction 1 with 9 rules applied. Total rules applied 188 place count 714 transition count 1751
Applied a total of 188 rules in 256 ms. Remains 714 /808 variables (removed 94) and now considering 1751/1845 (removed 94) transitions.
// Phase 1: matrix 1751 rows 714 cols
[2021-05-08 02:38:30] [INFO ] Computed 65 place invariants in 18 ms
[2021-05-08 02:38:31] [INFO ] Implicit Places using invariants in 432 ms returned []
// Phase 1: matrix 1751 rows 714 cols
[2021-05-08 02:38:31] [INFO ] Computed 65 place invariants in 18 ms
[2021-05-08 02:38:32] [INFO ] Implicit Places using invariants and state equation in 1315 ms returned []
Implicit Place search using SMT with State Equation took 1747 ms to find 0 implicit places.
Finished structural reductions, in 3 iterations. Remains : 714/1307 places, 1751/2204 transitions.
[2021-05-08 02:38:32] [INFO ] Flatten gal took : 59 ms
[2021-05-08 02:38:32] [INFO ] Flatten gal took : 59 ms
[2021-05-08 02:38:34] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality13490115997614379039.gal : 1566 ms
[2021-05-08 02:38:35] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality10015972324363181848.prop : 727 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/ReachabilityCardinality13490115997614379039.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality10015972324363181848.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/ReachabilityCardinality13490115997614379039.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality10015972324363181848.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality10015972324363181848.prop.
SDD proceeding with computation,2 properties remain. new max is 4
SDD size :1 after 2
SDD proceeding with computation,2 properties remain. new max is 8
SDD size :2 after 6
SDD proceeding with computation,2 properties remain. new max is 16
SDD size :6 after 44
SDD proceeding with computation,2 properties remain. new max is 32
SDD size :44 after 328
SDD proceeding with computation,2 properties remain. new max is 64
SDD size :328 after 984
SDD proceeding with computation,2 properties remain. new max is 128
SDD size :984 after 54816
SDD proceeding with computation,2 properties remain. new max is 256
SDD size :54816 after 2.2795e+07
SDD proceeding with computation,2 properties remain. new max is 512
SDD size :2.2795e+07 after 1.25769e+09
SDD proceeding with computation,2 properties remain. new max is 1024
SDD size :1.25769e+09 after 1.29974e+09
SDD proceeding with computation,2 properties remain. new max is 2048
SDD size :1.29974e+09 after 1.29992e+09
Detected timeout of ITS tools.
[2021-05-08 02:38:50] [INFO ] Flatten gal took : 58 ms
[2021-05-08 02:38:50] [INFO ] Applying decomposition
[2021-05-08 02:38:50] [INFO ] Flatten gal took : 58 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/graph95154981366301517.txt, -o, /tmp/graph95154981366301517.bin, -w, /tmp/graph95154981366301517.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/graph95154981366301517.bin, -l, -1, -v, -w, /tmp/graph95154981366301517.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-08 02:38:52] [INFO ] Decomposing Gal with order
[2021-05-08 02:38:52] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-08 02:38:52] [INFO ] Removed a total of 3565 redundant transitions.
[2021-05-08 02:38:52] [INFO ] Flatten gal took : 103 ms
[2021-05-08 02:38:52] [INFO ] Fuse similar labels procedure discarded/fused a total of 187 labels/synchronizations in 22 ms.
[2021-05-08 02:38:52] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality5648028105160540147.gal : 8 ms
[2021-05-08 02:38:52] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality1595184587895680815.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/ReachabilityCardinality5648028105160540147.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality1595184587895680815.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/ReachabilityCardinality5648028105160540147.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality1595184587895680815.prop --nowitness
Loading property file /tmp/ReachabilityCardinality1595184587895680815.prop.
SDD proceeding with computation,2 properties remain. new max is 4
SDD size :1 after 12
SDD proceeding with computation,2 properties remain. new max is 8
SDD size :12 after 176
SDD proceeding with computation,2 properties remain. new max is 16
SDD size :176 after 264
SDD proceeding with computation,2 properties remain. new max is 32
SDD size :264 after 44064
SDD proceeding with computation,2 properties remain. new max is 64
SDD size :44064 after 3.52731e+10
SDD proceeding with computation,2 properties remain. new max is 128
SDD size :3.52731e+10 after 2.47901e+11
SDD proceeding with computation,2 properties remain. new max is 256
SDD size :2.47901e+11 after 6.50987e+11
SDD proceeding with computation,2 properties remain. new max is 512
SDD size :6.50987e+11 after 4.23098e+12
SDD proceeding with computation,2 properties remain. new max is 1024
SDD size :4.23098e+12 after 2.13463e+13
SDD proceeding with computation,2 properties remain. new max is 2048
SDD size :2.13463e+13 after 1.14048e+14
SDD proceeding with computation,2 properties remain. new max is 4096
SDD size :1.14048e+14 after 6.93087e+14
SDD proceeding with computation,2 properties remain. new max is 8192
SDD size :6.93087e+14 after 6.38469e+15
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin16338485308753981953
[2021-05-08 02:39:07] [INFO ] Built C files in 23ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin16338485308753981953
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/ltsmin16338485308753981953]
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/ltsmin16338485308753981953] 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/ltsmin16338485308753981953] 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 15737 resets, run finished after 3503 ms. (steps per millisecond=285 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 1000000 steps, including 2239 resets, run finished after 1052 ms. (steps per millisecond=950 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 1000001 steps, including 2606 resets, run finished after 1015 ms. (steps per millisecond=985 ) properties (out of 2) seen :0
Interrupted probabilistic random walk after 2632949 steps, run timeout after 30001 ms. (steps per millisecond=87 ) properties seen :{}
Probabilistic random walk after 2632949 steps, saw 1076267 distinct states, run finished after 30001 ms. (steps per millisecond=87 ) properties seen :{}
Running SMT prover for 2 properties.
// Phase 1: matrix 1751 rows 714 cols
[2021-05-08 02:39:44] [INFO ] Computed 65 place invariants in 17 ms
[2021-05-08 02:39:44] [INFO ] [Real]Absence check using 15 positive place invariants in 7 ms returned sat
[2021-05-08 02:39:44] [INFO ] [Real]Absence check using 15 positive and 50 generalized place invariants in 14 ms returned sat
[2021-05-08 02:39:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 02:39:44] [INFO ] [Real]Absence check using state equation in 409 ms returned sat
[2021-05-08 02:39:44] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 02:39:44] [INFO ] [Nat]Absence check using 15 positive place invariants in 8 ms returned sat
[2021-05-08 02:39:44] [INFO ] [Nat]Absence check using 15 positive and 50 generalized place invariants in 14 ms returned sat
[2021-05-08 02:39:44] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 02:39:45] [INFO ] [Nat]Absence check using state equation in 554 ms returned sat
[2021-05-08 02:39:45] [INFO ] Deduced a trap composed of 61 places in 78 ms of which 1 ms to minimize.
[2021-05-08 02:39:45] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 169 ms
[2021-05-08 02:39:45] [INFO ] Computed and/alt/rep : 418/1769/418 causal constraints (skipped 1288 transitions) in 92 ms.
[2021-05-08 02:39:46] [INFO ] Added : 36 causal constraints over 8 iterations in 754 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 4 ms.
[2021-05-08 02:39:46] [INFO ] [Real]Absence check using 15 positive place invariants in 8 ms returned sat
[2021-05-08 02:39:46] [INFO ] [Real]Absence check using 15 positive and 50 generalized place invariants in 13 ms returned sat
[2021-05-08 02:39:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 02:39:46] [INFO ] [Real]Absence check using state equation in 402 ms returned sat
[2021-05-08 02:39:46] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 02:39:46] [INFO ] [Nat]Absence check using 15 positive place invariants in 7 ms returned sat
[2021-05-08 02:39:46] [INFO ] [Nat]Absence check using 15 positive and 50 generalized place invariants in 13 ms returned sat
[2021-05-08 02:39:46] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 02:39:47] [INFO ] [Nat]Absence check using state equation in 520 ms returned sat
[2021-05-08 02:39:47] [INFO ] Computed and/alt/rep : 418/1769/418 causal constraints (skipped 1288 transitions) in 86 ms.
[2021-05-08 02:39:48] [INFO ] Added : 56 causal constraints over 12 iterations in 1174 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 3 ms.
Incomplete Parikh walk after 414500 steps, including 5888 resets, run finished after 1478 ms. (steps per millisecond=280 ) properties (out of 2) seen :0 could not realise parikh vector
Incomplete Parikh walk after 733500 steps, including 23694 resets, run finished after 2475 ms. (steps per millisecond=296 ) properties (out of 2) seen :0 could not realise parikh vector
Support contains 7 out of 714 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 714/714 places, 1751/1751 transitions.
Applied a total of 0 rules in 24 ms. Remains 714 /714 variables (removed 0) and now considering 1751/1751 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 714/714 places, 1751/1751 transitions.
Starting structural reductions, iteration 0 : 714/714 places, 1751/1751 transitions.
Applied a total of 0 rules in 27 ms. Remains 714 /714 variables (removed 0) and now considering 1751/1751 (removed 0) transitions.
// Phase 1: matrix 1751 rows 714 cols
[2021-05-08 02:39:52] [INFO ] Computed 65 place invariants in 17 ms
[2021-05-08 02:39:53] [INFO ] Implicit Places using invariants in 416 ms returned []
// Phase 1: matrix 1751 rows 714 cols
[2021-05-08 02:39:53] [INFO ] Computed 65 place invariants in 36 ms
[2021-05-08 02:39:54] [INFO ] Implicit Places using invariants and state equation in 1332 ms returned []
Implicit Place search using SMT with State Equation took 1749 ms to find 0 implicit places.
[2021-05-08 02:39:54] [INFO ] Redundant transitions in 30 ms returned []
// Phase 1: matrix 1751 rows 714 cols
[2021-05-08 02:39:54] [INFO ] Computed 65 place invariants in 37 ms
[2021-05-08 02:39:55] [INFO ] Dead Transitions using invariants and state equation in 649 ms returned []
Finished structural reductions, in 1 iterations. Remains : 714/714 places, 1751/1751 transitions.
Incomplete random walk after 100000 steps, including 1573 resets, run finished after 543 ms. (steps per millisecond=184 ) properties (out of 2) seen :0
Running SMT prover for 2 properties.
// Phase 1: matrix 1751 rows 714 cols
[2021-05-08 02:39:55] [INFO ] Computed 65 place invariants in 17 ms
[2021-05-08 02:39:55] [INFO ] [Real]Absence check using 15 positive place invariants in 8 ms returned sat
[2021-05-08 02:39:55] [INFO ] [Real]Absence check using 15 positive and 50 generalized place invariants in 13 ms returned sat
[2021-05-08 02:39:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 02:39:56] [INFO ] [Real]Absence check using state equation in 452 ms returned sat
[2021-05-08 02:39:56] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 02:39:56] [INFO ] [Nat]Absence check using 15 positive place invariants in 8 ms returned sat
[2021-05-08 02:39:56] [INFO ] [Nat]Absence check using 15 positive and 50 generalized place invariants in 14 ms returned sat
[2021-05-08 02:39:56] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 02:39:56] [INFO ] [Nat]Absence check using state equation in 551 ms returned sat
[2021-05-08 02:39:57] [INFO ] Deduced a trap composed of 61 places in 93 ms of which 0 ms to minimize.
[2021-05-08 02:39:57] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 176 ms
[2021-05-08 02:39:57] [INFO ] Computed and/alt/rep : 418/1769/418 causal constraints (skipped 1288 transitions) in 127 ms.
[2021-05-08 02:39:57] [INFO ] Added : 36 causal constraints over 8 iterations in 803 ms. Result :sat
[2021-05-08 02:39:57] [INFO ] [Real]Absence check using 15 positive place invariants in 7 ms returned sat
[2021-05-08 02:39:57] [INFO ] [Real]Absence check using 15 positive and 50 generalized place invariants in 13 ms returned sat
[2021-05-08 02:39:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 02:39:58] [INFO ] [Real]Absence check using state equation in 404 ms returned sat
[2021-05-08 02:39:58] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 02:39:58] [INFO ] [Nat]Absence check using 15 positive place invariants in 15 ms returned sat
[2021-05-08 02:39:58] [INFO ] [Nat]Absence check using 15 positive and 50 generalized place invariants in 13 ms returned sat
[2021-05-08 02:39:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 02:39:59] [INFO ] [Nat]Absence check using state equation in 512 ms returned sat
[2021-05-08 02:39:59] [INFO ] Computed and/alt/rep : 418/1769/418 causal constraints (skipped 1288 transitions) in 87 ms.
[2021-05-08 02:40:00] [INFO ] Added : 56 causal constraints over 12 iterations in 1163 ms. Result :sat
[2021-05-08 02:40:00] [INFO ] Flatten gal took : 58 ms
[2021-05-08 02:40:00] [INFO ] Flatten gal took : 56 ms
[2021-05-08 02:40:01] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality3456168377463375907.gal : 1607 ms
[2021-05-08 02:40:01] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality15300964240037233109.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/ReachabilityCardinality3456168377463375907.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality15300964240037233109.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/ReachabilityCardinality3456168377463375907.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality15300964240037233109.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality15300964240037233109.prop.
SDD proceeding with computation,2 properties remain. new max is 4
SDD size :1 after 2
SDD proceeding with computation,2 properties remain. new max is 8
SDD size :2 after 6
SDD proceeding with computation,2 properties remain. new max is 16
SDD size :6 after 44
SDD proceeding with computation,2 properties remain. new max is 32
SDD size :44 after 328
SDD proceeding with computation,2 properties remain. new max is 64
SDD size :328 after 984
SDD proceeding with computation,2 properties remain. new max is 128
SDD size :984 after 54816
SDD proceeding with computation,2 properties remain. new max is 256
SDD size :54816 after 2.2795e+07
SDD proceeding with computation,2 properties remain. new max is 512
SDD size :2.2795e+07 after 1.25769e+09
SDD proceeding with computation,2 properties remain. new max is 1024
SDD size :1.25769e+09 after 1.29974e+09
SDD proceeding with computation,2 properties remain. new max is 2048
SDD size :1.29974e+09 after 1.29992e+09
Detected timeout of ITS tools.
[2021-05-08 02:40:22] [INFO ] Flatten gal took : 60 ms
[2021-05-08 02:40:22] [INFO ] Applying decomposition
[2021-05-08 02:40:22] [INFO ] Flatten gal took : 59 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/graph11934423247881984958.txt, -o, /tmp/graph11934423247881984958.bin, -w, /tmp/graph11934423247881984958.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/graph11934423247881984958.bin, -l, -1, -v, -w, /tmp/graph11934423247881984958.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-08 02:40:22] [INFO ] Decomposing Gal with order
[2021-05-08 02:40:22] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-08 02:40:22] [INFO ] Removed a total of 3621 redundant transitions.
[2021-05-08 02:40:22] [INFO ] Flatten gal took : 107 ms
[2021-05-08 02:40:22] [INFO ] Fuse similar labels procedure discarded/fused a total of 217 labels/synchronizations in 22 ms.
[2021-05-08 02:40:22] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality7914505685199050974.gal : 7 ms
[2021-05-08 02:40:22] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality2929059576531250495.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/ReachabilityCardinality7914505685199050974.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality2929059576531250495.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/ReachabilityCardinality7914505685199050974.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality2929059576531250495.prop --nowitness
Loading property file /tmp/ReachabilityCardinality2929059576531250495.prop.
SDD proceeding with computation,2 properties remain. new max is 4
SDD size :1 after 12
SDD proceeding with computation,2 properties remain. new max is 8
SDD size :12 after 4896
SDD proceeding with computation,2 properties remain. new max is 16
SDD size :4896 after 44064
SDD proceeding with computation,2 properties remain. new max is 32
SDD size :44064 after 409152
SDD proceeding with computation,2 properties remain. new max is 64
SDD size :409152 after 3.52731e+10
SDD proceeding with computation,2 properties remain. new max is 128
SDD size :3.52731e+10 after 1.28211e+11
SDD proceeding with computation,2 properties remain. new max is 256
SDD size :1.28211e+11 after 7.1664e+11
SDD proceeding with computation,2 properties remain. new max is 512
SDD size :7.1664e+11 after 1.37352e+14
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin714316126510891794
[2021-05-08 02:40:42] [INFO ] Built C files in 18ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin714316126510891794
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/ltsmin714316126510891794]
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/ltsmin714316126510891794] killed by timeout after 2 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin714316126510891794] killed by timeout after 2 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Applied a total of 0 rules in 26 ms. Remains 714 /714 variables (removed 0) and now considering 1751/1751 (removed 0) transitions.
Running SMT prover for 2 properties.
// Phase 1: matrix 1751 rows 714 cols
[2021-05-08 02:40:44] [INFO ] Computed 65 place invariants in 16 ms
[2021-05-08 02:40:44] [INFO ] [Real]Absence check using 15 positive place invariants in 7 ms returned sat
[2021-05-08 02:40:44] [INFO ] [Real]Absence check using 15 positive and 50 generalized place invariants in 13 ms returned sat
[2021-05-08 02:40:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 02:40:45] [INFO ] [Real]Absence check using state equation in 392 ms returned sat
[2021-05-08 02:40:45] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 02:40:45] [INFO ] [Nat]Absence check using 15 positive place invariants in 7 ms returned sat
[2021-05-08 02:40:45] [INFO ] [Nat]Absence check using 15 positive and 50 generalized place invariants in 13 ms returned sat
[2021-05-08 02:40:45] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 02:40:45] [INFO ] [Nat]Absence check using state equation in 551 ms returned sat
[2021-05-08 02:40:45] [INFO ] Computed and/alt/rep : 418/1769/418 causal constraints (skipped 1288 transitions) in 86 ms.
[2021-05-08 02:40:46] [INFO ] Added : 36 causal constraints over 8 iterations in 752 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 4 ms.
[2021-05-08 02:40:46] [INFO ] [Real]Absence check using 15 positive place invariants in 8 ms returned sat
[2021-05-08 02:40:46] [INFO ] [Real]Absence check using 15 positive and 50 generalized place invariants in 14 ms returned sat
[2021-05-08 02:40:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 02:40:47] [INFO ] [Real]Absence check using state equation in 451 ms returned sat
[2021-05-08 02:40:47] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 02:40:47] [INFO ] [Nat]Absence check using 15 positive place invariants in 8 ms returned sat
[2021-05-08 02:40:47] [INFO ] [Nat]Absence check using 15 positive and 50 generalized place invariants in 13 ms returned sat
[2021-05-08 02:40:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 02:40:47] [INFO ] [Nat]Absence check using state equation in 622 ms returned sat
[2021-05-08 02:40:48] [INFO ] Computed and/alt/rep : 418/1769/418 causal constraints (skipped 1288 transitions) in 107 ms.
[2021-05-08 02:40:49] [INFO ] Added : 56 causal constraints over 12 iterations in 1228 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 3 ms.
[2021-05-08 02:40:49] [INFO ] Flatten gal took : 60 ms
Using solver Z3 to compute partial order matrices.
Built C files in :
/tmp/ltsmin4655141317708872357
[2021-05-08 02:40:49] [INFO ] Too many transitions (1751) to apply POR reductions. Disabling POR matrices.
[2021-05-08 02:40:49] [INFO ] Applying decomposition
[2021-05-08 02:40:49] [INFO ] Flatten gal took : 106 ms
[2021-05-08 02:40:49] [INFO ] Flatten gal took : 72 ms
[2021-05-08 02:40:49] [INFO ] Input system was already deterministic with 1751 transitions.
[2021-05-08 02:40:58] [INFO ] Built C files in 9459ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin4655141317708872357
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/ltsmin4655141317708872357]
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/graph4722820619694053138.txt, -o, /tmp/graph4722820619694053138.bin, -w, /tmp/graph4722820619694053138.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/graph4722820619694053138.bin, -l, -1, -v, -w, /tmp/graph4722820619694053138.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-08 02:40:59] [INFO ] Decomposing Gal with order
[2021-05-08 02:40:59] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-08 02:40:59] [INFO ] Removed a total of 3651 redundant transitions.
[2021-05-08 02:40:59] [INFO ] Flatten gal took : 215 ms
[2021-05-08 02:40:59] [INFO ] Fuse similar labels procedure discarded/fused a total of 203 labels/synchronizations in 43 ms.
[2021-05-08 02:40:59] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality13002068062492387750.gal : 30 ms
[2021-05-08 02:40:59] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality12324757767674849783.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/ReachabilityCardinality13002068062492387750.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality12324757767674849783.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/ReachabilityCardinality13002068062492387750.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality12324757767674849783.prop --nowitness
Loading property file /tmp/ReachabilityCardinality12324757767674849783.prop.
SDD proceeding with computation,2 properties remain. new max is 4
SDD size :1 after 12
SDD proceeding with computation,2 properties remain. new max is 8
SDD size :12 after 656
SDD proceeding with computation,2 properties remain. new max is 16
SDD size :656 after 44064
SDD proceeding with computation,2 properties remain. new max is 32
SDD size :44064 after 3.66474e+07
SDD proceeding with computation,2 properties remain. new max is 64
SDD size :2.62546e+09 after 1.37082e+11
SDD proceeding with computation,2 properties remain. new max is 128
SDD size :1.37082e+11 after 1.69515e+11
SDD proceeding with computation,2 properties remain. new max is 256
SDD size :1.69515e+11 after 2.49992e+11
[2021-05-08 02:41:00] [INFO ] Ran tautology test, simplified 0 / 2 in 11086 ms.
SDD proceeding with computation,2 properties remain. new max is 512
SDD size :2.49992e+11 after 2.85909e+12
[2021-05-08 02:41:00] [INFO ] BMC solution for property ASLink-PT-09b-ReachabilityCardinality-00(UNSAT) depth K=0 took 60 ms
[2021-05-08 02:41:00] [INFO ] BMC solution for property ASLink-PT-09b-ReachabilityCardinality-07(UNSAT) depth K=0 took 2 ms
[2021-05-08 02:41:00] [INFO ] BMC solution for property ASLink-PT-09b-ReachabilityCardinality-00(UNSAT) depth K=1 took 62 ms
[2021-05-08 02:41:00] [INFO ] BMC solution for property ASLink-PT-09b-ReachabilityCardinality-07(UNSAT) depth K=1 took 29 ms
SDD proceeding with computation,2 properties remain. new max is 1024
SDD size :2.85909e+12 after 1.39903e+13
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 1751 rows 714 cols
[2021-05-08 02:41:01] [INFO ] Computed 65 place invariants in 18 ms
inv : -p3397 - p3458 - p3495 - p3529 + p3606 + p3608 + p3609 = 0
inv : p3392 + p3395 + p3397 - p3399 - p3404 - p3409 - p3413 - p3418 = 0
inv : p2602 + p2605 + p2607 - p2609 - p2614 - p2619 - p2623 - p2628 = 0
inv : p19 + p23 + p27 + p31 + p35 + p39 + p43 + p47 + p137 + p140 + p143 + p146 + p149 + p152 + p155 + p158 + p161 + p168 + p171 + p174 + p177 + p180 + p183 + p186 + p228 - p237 + p239 + p244 + p249 + p253 + p258 - p436 + p822 + p823 + p831 = 1
inv : p2509 + p2512 + p2515 + p2518 + p2521 + p2524 + p2527 + p2530 + p2607 + p2668 + p2705 + p2739 + p2806 - p3192 - p3193 - p3201 = 0
inv : p2997 + p3000 + p3002 - p3004 - p3009 - p3014 - p3018 - p3023 = 0
inv : p1812 + p1815 + p1817 - p1819 - p1824 - p1829 - p1833 - p1838 = 0
inv : p929 + p932 + p935 + p938 + p941 + p944 + p947 + p950 + p1027 + p1088 + p1125 + p1159 + p1226 - p1612 - p1613 - p1621 = 0
inv : p498 + p502 + p506 + p510 + p514 + p518 + p522 + p526 + p927 + p930 + p933 + p936 + p939 + p942 + p945 + p948 + p951 + p958 + p961 + p964 + p967 + p970 + p973 + p976 + p1018 - p1027 + p1029 + p1034 + p1039 + p1043 + p1048 - p1226 + p1612 + p1613 + p1621 = 1
inv : p3702 + p3705 + p3706 + p3709 + p3712 + p3714 + p3715 + p3717 + p3718 + p3720 + p3721 + p3723 + p3724 + p3726 + p3727 + p3729 + p3730 + p3732 + p3733 + p3735 + p3736 + p3841 - p3849 - p3868 - p3876 - p3884 - p3892 - p3919 - p3938 = 0
inv : p495 + p499 + p503 + p507 + p511 + p515 + p519 + p523 + p527 - p532 - p535 - p538 - p541 - p544 - p547 - p550 - p553 - p556 - p623 + p632 - p634 - p639 - p644 - p648 - p653 + p831 - p927 - p930 - p933 - p936 - p939 - p942 - p945 - p948 - p951 - p958 - p961 - p964 - p967 - p970 - p973 - p976 - p1018 + p1027 - p1029 - p1034 - p1039 - p1043 - p1048 - p1217 - p1218 - p1612 - p1613 - p1621 = -1
inv : p1417 + p1420 + p1422 - p1424 - p1429 - p1434 - p1438 - p1443 = 0
inv : p232 + p235 + p237 - p239 - p244 - p249 - p253 - p258 = 0
inv : p1616 + p2007 + p2008 + p2016 = 1
inv : p1278 + p1285 + p1289 + p1293 + p1297 + p1301 + p1305 + p1309 + p1313 + p1317 + p1318 - p1322 - p1325 - p1328 - p1331 - p1334 - p1337 - p1340 - p1343 - p1346 - p1413 + p1422 - p1424 - p1429 - p1434 - p1438 - p1443 + p1621 + p1719 + p1722 + p1725 + p1728 + p1731 + p1734 + p1737 + p1740 - p1748 - p1751 - p1754 - p1757 - p1760 - p1763 - p1766 - p1808 + p1817 - p1819 - p1824 - p1829 - p1833 - p1838 - p1864 - p1865 - p1867 - p1868 - p1870 - p1871 - p1873 - p1874 - p2007 - p2008 - p2402 - p2403 - p2411 = -1
inv : p3763 + p3766 + p3769 + p3772 + p3835 + p3849 + p3868 + p3876 + p3884 + p3892 + p3919 + p3938 + p3951 + p3997 + p4012 = 1
inv : p1717 + p1719 + p1720 + p1722 + p1723 + p1725 + p1726 + p1728 + p1729 + p1731 + p1732 + p1734 + p1735 + p1737 + p1738 + p1740 + p1741 - p1864 - p1867 - p1870 - p1873 = 0
inv : p2858 + p2865 + p2869 + p2873 + p2877 + p2881 + p2885 + p2889 + p2893 - p2902 - p2905 - p2908 - p2911 - p2914 - p2917 - p2920 - p2923 - p2926 - p2993 + p3002 - p3004 - p3009 - p3014 - p3018 - p3023 + p3196 + p3201 - p3297 - p3299 - p3300 - p3302 - p3303 - p3305 - p3306 - p3308 - p3309 - p3311 - p3312 - p3314 - p3315 - p3317 - p3318 - p3320 - p3321 - p3328 - p3331 - p3334 - p3337 - p3340 - p3343 - p3346 - p3388 - p3399 - p3404 - p3409 - p3413 - p3418 - p3458 - p3495 - p3529 = 0
inv : p1221 + p1612 + p1613 + p1621 = 1
inv : p431 + p822 + p823 + p831 = 1
inv : p2011 + p2402 + p2403 + p2411 = 1
inv : p2801 + p3192 + p3193 + p3201 = 1
inv : p826 + p1217 + p1218 + p1226 = 1
inv : p2904 + p2907 + p2910 + p2913 + p2916 + p2919 + p2922 + p2925 + p3002 + p3063 + p3100 + p3134 + p3196 + p3201 = 1
inv : p103 + p107 + p111 + p115 + p119 + p123 + p127 + p131 + p532 + p535 + p538 + p541 + p544 + p547 + p550 + p553 + p556 + p563 + p566 + p569 + p572 + p575 + p578 + p581 + p623 - p632 + p634 + p639 + p644 + p648 + p653 - p831 + p1217 + p1218 + p1226 = 1
inv : p2078 + p2082 + p2086 + p2090 + p2094 + p2098 + p2102 + p2106 + p2507 + p2510 + p2513 + p2516 + p2519 + p2522 + p2525 + p2528 + p2531 + p2538 + p2541 + p2544 + p2547 + p2550 + p2553 + p2556 + p2598 - p2607 + p2609 + p2614 + p2619 + p2623 + p2628 - p2806 + p3192 + p3193 + p3201 = 1
inv : p3196 - p3397 - p3458 - p3495 - p3529 + p3587 + p3588 - p3602 + p3606 + p3609 - p3706 - p3709 - p3712 - p3715 - p3718 - p3721 - p3724 - p3727 - p3730 - p3733 - p3736 + p3849 + p3868 + p3876 + p3884 + p3892 + p3919 + p3938 = 1
inv : p2406 + p2797 + p2798 + p2806 = 1
inv : p2112 + p2115 + p2118 + p2121 + p2124 + p2127 + p2130 + p2133 + p2136 + p2142 + p2143 + p2145 + p2146 + p2148 + p2149 + p2151 + p2152 + p2154 + p2155 + p2157 + p2158 + p2160 + p2161 + p2163 + p2203 - p2212 + p2214 + p2219 + p2224 + p2228 + p2233 - p2411 + p2797 + p2798 + p2806 = 1
inv : p12 + p16 + p20 + p24 + p28 + p32 + p36 + p40 + p44 - p137 - p140 - p143 - p146 - p149 - p152 - p155 - p158 - p161 - p168 - p171 - p174 - p177 - p180 - p183 - p186 - p228 + p237 - p239 - p244 - p249 - p253 - p258 + p436 - p822 - p823 - p831 = 0
inv : p2463 + p2470 + p2474 + p2478 + p2482 + p2486 + p2490 + p2494 + p2498 - p2507 - p2510 - p2513 - p2516 - p2519 - p2522 - p2525 - p2528 - p2531 - p2598 + p2607 - p2609 - p2614 - p2619 - p2623 - p2628 + p2806 - p2902 - p2905 - p2908 - p2911 - p2914 - p2917 - p2920 - p2923 - p2926 - p2933 - p2936 - p2939 - p2942 - p2945 - p2948 - p2951 - p2993 + p3002 - p3004 - p3009 - p3014 - p3018 - p3023 - p3192 - p3193 + p3196 - p3217 = 0
inv : p893 + p897 + p901 + p905 + p909 + p913 + p917 + p921 + p1322 + p1325 + p1328 + p1331 + p1334 + p1337 + p1340 + p1343 + p1346 + p1353 + p1356 + p1359 + p1362 + p1365 + p1368 + p1371 + p1413 - p1422 + p1424 + p1429 + p1434 + p1438 + p1443 - p1621 + p2007 + p2008 + p2016 = 1
inv : p2068 + p2075 + p2079 + p2083 + p2087 + p2091 + p2095 + p2099 + p2103 - p2112 - p2115 - p2118 - p2121 - p2124 - p2127 - p2130 - p2133 - p2136 - p2203 + p2212 - p2214 - p2219 - p2224 - p2228 - p2233 + p2411 - p2507 - p2510 - p2513 - p2516 - p2519 - p2522 - p2525 - p2528 - p2531 - p2538 - p2541 - p2544 - p2547 - p2550 - p2553 - p2556 - p2598 + p2607 - p2609 - p2614 - p2619 - p2623 - p2628 - p2797 - p2798 - p3192 - p3193 - p3201 = -1
inv : p3297 + p3299 + p3300 + p3302 + p3303 + p3305 + p3306 + p3308 + p3309 + p3311 + p3312 + p3314 + p3315 + p3317 + p3318 + p3320 + p3321 + p3327 + p3328 + p3330 + p3331 + p3333 + p3334 + p3336 + p3337 + p3339 + p3340 + p3342 + p3343 + p3345 + p3346 + p3348 + p3388 + p3399 + p3404 + p3409 + p3413 + p3418 + p3458 + p3495 + p3529 = 1
inv : -p3299 - p3302 - p3305 - p3308 - p3311 - p3314 - p3317 - p3320 + p3600 + p3602 + p3603 = 0
inv : p3263 + p3267 + p3271 + p3275 + p3279 + p3283 + p3287 + p3291 + p3647 + p3650 + p3653 + p3656 + p3659 + p3662 + p3665 + p3668 + p3671 + p3835 + p3849 + p3868 + p3876 + p3884 + p3892 + p3919 + p3938 + p4012 = 1
inv : p2114 + p2117 + p2120 + p2123 + p2126 + p2129 + p2132 + p2135 + p2212 + p2273 + p2310 + p2344 + p2411 - p2797 - p2798 - p2806 = 0
inv : p3397 + p3458 + p3495 + p3529 + p3596 + p3602 - p3606 - p3609 + p3706 + p3709 + p3712 + p3715 + p3718 + p3721 + p3724 + p3727 + p3730 + p3733 + p3736 - p3849 - p3868 - p3876 - p3884 - p3892 - p3919 - p3938 = 0
inv : p1322 + p1325 + p1328 + p1331 + p1334 + p1337 + p1340 + p1343 + p1346 + p1352 + p1353 + p1355 + p1356 + p1358 + p1359 + p1361 + p1362 + p1364 + p1365 + p1367 + p1368 + p1370 + p1371 + p1373 + p1413 - p1422 + p1424 + p1429 + p1434 + p1438 + p1443 - p1621 + p2007 + p2008 + p2016 = 1
inv : p1719 + p1722 + p1725 + p1728 + p1731 + p1734 + p1737 + p1740 + p1817 + p1878 + p1915 + p1949 + p2016 - p2402 - p2403 - p2411 = 0
inv : p137 + p140 + p143 + p146 + p149 + p152 + p155 + p158 + p161 + p167 + p168 + p170 + p171 + p173 + p174 + p176 + p177 + p179 + p180 + p182 + p183 + p185 + p186 + p188 + p228 - p237 + p239 + p244 + p249 + p253 + p258 - p436 + p822 + p823 + p831 = 1
inv : p1324 + p1327 + p1330 + p1333 + p1336 + p1339 + p1342 + p1345 + p1422 + p1483 + p1520 + p1554 + p1621 - p2007 - p2008 - p2016 = 0
inv : p2902 + p2905 + p2908 + p2911 + p2914 + p2917 + p2920 + p2923 + p2926 + p2932 + p2933 + p2935 + p2936 + p2938 + p2939 + p2941 + p2942 + p2944 + p2945 + p2947 + p2948 + p2950 + p2951 + p2953 + p2993 - p3002 + p3004 + p3009 + p3014 + p3018 + p3023 - p3196 - p3201 + p3217 = 0
inv : p883 + p890 + p894 + p898 + p902 + p906 + p910 + p914 + p918 - p927 - p930 - p933 - p936 - p939 - p942 - p945 - p948 - p951 - p1018 + p1027 - p1029 - p1034 - p1039 - p1043 - p1048 + p1226 - p1322 - p1325 - p1328 - p1331 - p1334 - p1337 - p1340 - p1343 - p1346 - p1353 - p1356 - p1359 - p1362 - p1365 - p1368 - p1371 - p1413 + p1422 - p1424 - p1429 - p1434 - p1438 - p1443 - p1612 - p1613 - p2007 - p2008 - p2016 = -1
inv : p59 + p70 + p73 + p78 + p436 = 1
inv : p3253 + p3260 + p3264 + p3268 + p3272 + p3276 + p3280 + p3284 + p3288 - p3297 - p3299 - p3300 - p3302 - p3303 - p3305 - p3306 - p3308 - p3309 - p3311 - p3312 - p3314 - p3315 - p3317 - p3318 - p3320 - p3321 - p3388 - p3399 - p3404 - p3409 - p3413 - p3418 - p3458 - p3495 - p3529 - p3647 - p3650 - p3653 - p3656 - p3659 - p3662 - p3665 - p3668 - p3671 - p3835 - p3849 - p3868 - p3876 - p3884 - p3892 - p3919 - p3938 - p4012 = -1
inv : p927 + p930 + p933 + p936 + p939 + p942 + p945 + p948 + p951 + p957 + p958 + p960 + p961 + p963 + p964 + p966 + p967 + p969 + p970 + p972 + p973 + p975 + p976 + p978 + p1018 - p1027 + p1029 + p1034 + p1039 + p1043 + p1048 - p1226 + p1612 + p1613 + p1621 = 1
inv : p2507 + p2510 + p2513 + p2516 + p2519 + p2522 + p2525 + p2528 + p2531 + p2537 + p2538 + p2540 + p2541 + p2543 + p2544 + p2546 + p2547 + p2549 + p2550 + p2552 + p2553 + p2555 + p2556 + p2558 + p2598 - p2607 + p2609 + p2614 + p2619 + p2623 + p2628 - p2806 + p3192 + p3193 + p3201 = 1
inv : p534 + p537 + p540 + p543 + p546 + p549 + p552 + p555 + p632 + p693 + p730 + p764 + p831 - p1217 - p1218 - p1226 = 0
inv : p1714 + p1715 + p1864 + p1867 + p1870 + p1873 = 1
inv : p1673 + p1680 + p1684 + p1688 + p1692 + p1696 + p1700 + p1704 + p1708 + p1719 + p1722 + p1725 + p1728 + p1731 + p1734 + p1737 + p1740 - p1808 + p1817 - p1819 - p1824 - p1829 - p1833 - p1838 - p1864 - p1865 - p1867 - p1868 - p1870 - p1871 - p1873 - p1874 + p2016 - p2112 - p2115 - p2118 - p2121 - p2124 - p2127 - p2130 - p2133 - p2136 - p2143 - p2146 - p2149 - p2152 - p2155 - p2158 - p2161 - p2203 + p2212 - p2214 - p2219 - p2224 - p2228 - p2233 - p2402 - p2403 - p2797 - p2798 - p2806 = -1
inv : p2473 + p2477 + p2481 + p2485 + p2489 + p2493 + p2497 + p2501 + p2902 + p2905 + p2908 + p2911 + p2914 + p2917 + p2920 + p2923 + p2926 + p2933 + p2936 + p2939 + p2942 + p2945 + p2948 + p2951 + p2993 - p3002 + p3004 + p3009 + p3014 + p3018 + p3023 - p3196 - p3201 + p3217 = 0
inv : p3647 + p3649 + p3650 + p3652 + p3653 + p3655 + p3656 + p3658 + p3659 + p3661 + p3662 + p3664 + p3665 + p3667 + p3668 + p3670 + p3671 + p3835 + p3849 + p3868 + p3876 + p3884 + p3892 + p3919 + p3938 + p4012 = 1
inv : p1288 + p1292 + p1296 + p1300 + p1304 + p1306 + p1308 + p1312 + p1316 - p1719 - p1722 - p1725 - p1728 - p1731 - p1734 - p1737 - p1740 + p1748 + p1751 + p1754 + p1757 + p1760 + p1763 + p1766 + p1808 - p1817 + p1819 + p1824 + p1829 + p1833 + p1838 + p1864 + p1865 + p1867 + p1868 + p1870 + p1871 + p1873 + p1874 - p2016 + p2402 + p2403 + p2411 = 1
inv : p2868 + p2872 + p2876 + p2880 + p2884 + p2888 + p2892 + p2896 + p3297 + p3299 + p3300 + p3302 + p3303 + p3305 + p3306 + p3308 + p3309 + p3311 + p3312 + p3314 + p3315 + p3317 + p3318 + p3320 + p3321 + p3328 + p3331 + p3334 + p3337 + p3340 + p3343 + p3346 + p3388 + p3399 + p3404 + p3409 + p3413 + p3418 + p3458 + p3495 + p3529 = 1
inv : p3299 + p3302 + p3305 + p3308 + p3311 + p3314 + p3317 + p3320 + p3591 - p3602 + p3606 + p3609 - p3706 - p3709 - p3712 - p3715 - p3718 - p3721 - p3724 - p3727 - p3730 - p3733 - p3736 + p3849 + p3868 + p3876 + p3884 + p3892 + p3919 + p3938 = 1
inv : p532 + p535 + p538 + p541 + p544 + p547 + p550 + p553 + p556 + p562 + p563 + p565 + p566 + p568 + p569 + p571 + p572 + p574 + p575 + p577 + p578 + p580 + p581 + p583 + p623 - p632 + p634 + p639 + p644 + p648 + p653 - p831 + p1217 + p1218 + p1226 = 1
inv : p93 + p100 + p104 + p108 + p112 + p116 + p120 + p124 + p128 - p137 - p140 - p143 - p146 - p149 - p152 - p155 - p158 - p161 - p228 + p237 - p239 - p244 - p249 - p253 - p258 + p436 - p532 - p535 - p538 - p541 - p544 - p547 - p550 - p553 - p556 - p563 - p566 - p569 - p572 - p575 - p578 - p581 - p623 + p632 - p634 - p639 - p644 - p648 - p653 - p822 - p823 - p1217 - p1218 - p1226 = -1
inv : p1022 + p1025 + p1027 - p1029 - p1034 - p1039 - p1043 - p1048 = 0
inv : p627 + p630 + p632 - p634 - p639 - p644 - p648 - p653 = 0
inv : p1683 + p1687 + p1691 + p1695 + p1699 + p1703 + p1707 + p1711 + p2112 + p2115 + p2118 + p2121 + p2124 + p2127 + p2130 + p2133 + p2136 + p2143 + p2146 + p2149 + p2152 + p2155 + p2158 + p2161 + p2203 - p2212 + p2214 + p2219 + p2224 + p2228 + p2233 - p2411 + p2797 + p2798 + p2806 = 1
inv : -p1719 - p1722 - p1725 - p1728 - p1731 - p1734 - p1737 - p1740 + p1747 + p1748 + p1750 + p1751 + p1753 + p1754 + p1756 + p1757 + p1759 + p1760 + p1762 + p1763 + p1765 + p1766 + p1768 + p1808 - p1817 + p1819 + p1824 + p1829 + p1833 + p1838 + p1864 + p1865 + p1867 + p1868 + p1870 + p1871 + p1873 + p1874 - p2016 + p2402 + p2403 + p2411 = 1
inv : p139 + p142 + p145 + p148 + p151 + p154 + p157 + p160 + p237 + p298 + p335 + p369 + p436 - p822 - p823 - p831 = 0
inv : p3702 + p3709 + p3839 + p3841 - p3849 + p3850 - p3868 - p3876 - p3884 + p3885 - p3892 - p3919 - p3938 = 0
inv : p2207 + p2210 + p2212 - p2214 - p2219 - p2224 - p2228 - p2233 = 0
Total of 65 invariants.
[2021-05-08 02:41:01] [INFO ] Computed 65 place invariants in 27 ms
Reachability property ASLink-PT-09b-ReachabilityCardinality-07 is true.
FORMULA ASLink-PT-09b-ReachabilityCardinality-07 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
[2021-05-08 02:41:04] [INFO ] Proved 714 variables to be positive in 3436 ms
[2021-05-08 02:41:04] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesASLink-PT-09b-ReachabilityCardinality-00
[2021-05-08 02:41:04] [INFO ] KInduction solution for property ASLink-PT-09b-ReachabilityCardinality-00(SAT) depth K=0 took 197 ms
[2021-05-08 02:41:05] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesASLink-PT-09b-ReachabilityCardinality-00
[2021-05-08 02:41:05] [INFO ] KInduction solution for property ASLink-PT-09b-ReachabilityCardinality-00(SAT) depth K=1 took 955 ms
SDD proceeding with computation,1 properties remain. new max is 1024
SDD size :2.99964e+14 after 3.03263e+14
[2021-05-08 02:41:18] [INFO ] BMC solution for property ASLink-PT-09b-ReachabilityCardinality-00(UNSAT) depth K=2 took 17225 ms
Compilation finished in 24841 ms.
Running link step : CommandLine [args=[gcc, -shared, -o, gal.so, model.o], workingDir=/tmp/ltsmin4655141317708872357]
Link finished in 53 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, ASLinkPT09bReachabilityCardinality00==true], workingDir=/tmp/ltsmin4655141317708872357]
SDD proceeding with computation,1 properties remain. new max is 2048
SDD size :3.03263e+14 after 5.00855e+15
[2021-05-08 02:43:33] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesASLink-PT-09b-ReachabilityCardinality-00
[2021-05-08 02:43:33] [INFO ] KInduction solution for property ASLink-PT-09b-ReachabilityCardinality-00(SAT) depth K=2 took 147211 ms
[2021-05-08 02:57:28] [INFO ] BMC solution for property ASLink-PT-09b-ReachabilityCardinality-00(UNSAT) depth K=3 took 970454 ms
Detected timeout of ITS tools.
[2021-05-08 03:03:25] [INFO ] Applying decomposition
[2021-05-08 03:03:25] [INFO ] Flatten gal took : 174 ms
[2021-05-08 03:03:25] [INFO ] Decomposing Gal with order
[2021-05-08 03:03:25] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-08 03:03:26] [INFO ] Removed a total of 3621 redundant transitions.
[2021-05-08 03:03:26] [INFO ] Flatten gal took : 385 ms
[2021-05-08 03:03:26] [INFO ] Fuse similar labels procedure discarded/fused a total of 217 labels/synchronizations in 93 ms.
[2021-05-08 03:03:26] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality7005076556234868620.gal : 21 ms
[2021-05-08 03:03:26] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality13192527987830911570.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/ReachabilityCardinality7005076556234868620.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality13192527987830911570.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/ReachabilityCardinality7005076556234868620.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality13192527987830911570.prop --nowitness
Loading property file /tmp/ReachabilityCardinality13192527987830911570.prop.
SDD proceeding with computation,1 properties remain. new max is 4
SDD size :1 after 12
SDD proceeding with computation,1 properties remain. new max is 8
SDD size :12 after 656
SDD proceeding with computation,1 properties remain. new max is 16
SDD size :656 after 44064
SDD proceeding with computation,1 properties remain. new max is 32
SDD size :44064 after 409152
SDD proceeding with computation,1 properties remain. new max is 64
SDD size :409152 after 3.00875e+10
SDD proceeding with computation,1 properties remain. new max is 128
SDD size :3.00875e+10 after 2.72217e+11
SDD proceeding with computation,1 properties remain. new max is 256
SDD size :2.72217e+11 after 9.3264e+11
SDD proceeding with computation,1 properties remain. new max is 512
SDD size :9.3264e+11 after 1.89562e+14
WARNING : LTSmin timed out (>1800 s) on command 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, ASLinkPT09bReachabilityCardinality00==true], workingDir=/tmp/ltsmin4655141317708872357]
Retrying LTSmin with larger timeout 14400 s
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, ASLinkPT09bReachabilityCardinality00==true], workingDir=/tmp/ltsmin4655141317708872357]
SDD proceeding with computation,1 properties remain. new max is 1024
SDD size :1.89562e+14 after 1.54127e+16
Detected timeout of ITS tools.
[2021-05-08 03:25:53] [INFO ] Flatten gal took : 210 ms
[2021-05-08 03:25:53] [INFO ] Input system was already deterministic with 1751 transitions.
[2021-05-08 03:25:53] [INFO ] Transformed 714 places.
[2021-05-08 03:25:53] [INFO ] Transformed 1751 transitions.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/pinvar, /home/mcc/execution/gspn], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/RGMEDD2, /home/mcc/execution/gspn, -META, -varord-only], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
[2021-05-08 03:25:54] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality16266099601889535770.gal : 18 ms
[2021-05-08 03:25:54] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality16951293904963819954.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/ReachabilityCardinality16266099601889535770.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality16951293904963819954.prop, --nowitness, --load-order, /home/mcc/execution/model.ord, --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/ReachabilityCardinality16266099601889535770.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality16951293904963819954.prop --nowitness --load-order /home/mcc/execution/model.ord --gen-order FOLLOW
Successfully loaded order from file /home/mcc/execution/model.ord
Loading property file /tmp/ReachabilityCardinality16951293904963819954.prop.
SDD proceeding with computation,1 properties remain. new max is 4
SDD size :1 after 8
SDD proceeding with computation,1 properties remain. new max is 8
SDD size :8 after 16
SDD proceeding with computation,1 properties remain. new max is 16
SDD size :16 after 22
SDD proceeding with computation,1 properties remain. new max is 32
SDD size :22 after 112
SDD proceeding with computation,1 properties remain. new max is 64
SDD size :112 after 138
SDD proceeding with computation,1 properties remain. new max is 128
SDD size :138 after 820
SDD proceeding with computation,1 properties remain. new max is 256
SDD size :820 after 3207
SDD proceeding with computation,1 properties remain. new max is 512
SDD size :3207 after 11346
SDD proceeding with computation,1 properties remain. new max is 1024
SDD size :11346 after 59436
SDD proceeding with computation,1 properties remain. new max is 2048
SDD size :59436 after 141811
SDD proceeding with computation,1 properties remain. new max is 4096
SDD size :141811 after 498374
SDD proceeding with computation,1 properties remain. new max is 8192
SDD size :498374 after 2.27326e+06
SDD proceeding with computation,1 properties remain. new max is 16384
SDD size :2.27326e+06 after 1.51799e+07
SDD proceeding with computation,1 properties remain. new max is 32768
SDD size :1.51799e+07 after 1.65234e+08
SDD proceeding with computation,1 properties remain. new max is 65536
SDD size :1.65234e+08 after 2.05911e+09

BK_TIME_CONFINEMENT_REACHED

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

+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ 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="ASLink-PT-09b"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is ASLink-PT-09b, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r007-tall-162037989600150"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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