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

About the Execution of ITS-Tools for CANConstruction-PT-100

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
16244.527 3502878.00 11740272.00 66088.00 FFFF??FFF?FFFFFF 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.r292-tall-162124155900085.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 CANConstruction-PT-100, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r292-tall-162124155900085
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 46M
-rw-r--r-- 1 mcc users 27K May 15 08:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 143K May 15 08:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 18K May 15 08:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 96K May 15 08:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.7K May 12 07:56 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 12 07:56 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K May 12 07:56 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 12 07:56 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 08:13 NewModel
-rw-r--r-- 1 mcc users 4.2K May 11 18:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 11 18:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K May 11 15:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 11 15:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 12 04:40 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 12 04:39 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 08:13 equiv_col
-rw-r--r-- 1 mcc users 4 May 12 08:13 instance
-rw-r--r-- 1 mcc users 6 May 12 08:13 iscolored
-rw-r--r-- 1 mcc users 46M May 12 08:13 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 CANConstruction-PT-100-00
FORMULA_NAME CANConstruction-PT-100-01
FORMULA_NAME CANConstruction-PT-100-02
FORMULA_NAME CANConstruction-PT-100-03
FORMULA_NAME CANConstruction-PT-100-04
FORMULA_NAME CANConstruction-PT-100-05
FORMULA_NAME CANConstruction-PT-100-06
FORMULA_NAME CANConstruction-PT-100-07
FORMULA_NAME CANConstruction-PT-100-08
FORMULA_NAME CANConstruction-PT-100-09
FORMULA_NAME CANConstruction-PT-100-10
FORMULA_NAME CANConstruction-PT-100-11
FORMULA_NAME CANConstruction-PT-100-12
FORMULA_NAME CANConstruction-PT-100-13
FORMULA_NAME CANConstruction-PT-100-14
FORMULA_NAME CANConstruction-PT-100-15

=== Now, execution of the tool begins

BK_START 1621266064176

Running Version 0
[2021-05-17 15:41:12] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2021-05-17 15:41:12] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-17 15:41:14] [INFO ] Load time of PNML (sax parser for PT used): 1132 ms
[2021-05-17 15:41:14] [INFO ] Transformed 21202 places.
[2021-05-17 15:41:14] [INFO ] Transformed 40800 transitions.
[2021-05-17 15:41:14] [INFO ] Parsed PT model containing 21202 places and 40800 transitions in 1369 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 22 ms.
Working with output stream class java.io.PrintStream
[2021-05-17 15:41:14] [INFO ] Initial state test concluded for 3 properties.
Support contains 59 out of 21202 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 21202/21202 places, 40800/40800 transitions.
Applied a total of 0 rules in 1503 ms. Remains 21202 /21202 variables (removed 0) and now considering 40800/40800 (removed 0) transitions.
// Phase 1: matrix 40800 rows 21202 cols
[2021-05-17 15:41:17] [INFO ] Computed 201 place invariants in 830 ms
[2021-05-17 15:41:20] [INFO ] Implicit Places using invariants in 4144 ms returned []
Implicit Place search using SMT only with invariants took 4305 ms to find 0 implicit places.
// Phase 1: matrix 40800 rows 21202 cols
[2021-05-17 15:41:20] [INFO ] Computed 201 place invariants in 431 ms
[2021-05-17 15:41:22] [INFO ] Dead Transitions using invariants and state equation in 2426 ms returned []
Finished structural reductions, in 1 iterations. Remains : 21202/21202 places, 40800/40800 transitions.
[2021-05-17 15:41:24] [INFO ] Initial state reduction rules for LTL removed 2 formulas.
[2021-05-17 15:41:24] [INFO ] Flatten gal took : 1477 ms
FORMULA CANConstruction-PT-100-15 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA CANConstruction-PT-100-06 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-17 15:41:25] [INFO ] Flatten gal took : 1062 ms
[2021-05-17 15:41:27] [INFO ] Input system was already deterministic with 40800 transitions.
Incomplete random walk after 100000 steps, including 55 resets, run finished after 3748 ms. (steps per millisecond=26 ) properties (out of 35) seen :26
Running SMT prover for 9 properties.
// Phase 1: matrix 40800 rows 21202 cols
[2021-05-17 15:41:32] [INFO ] Computed 201 place invariants in 452 ms
[2021-05-17 15:41:37] [INFO ] [Real]Absence check using 101 positive place invariants in 486 ms returned sat
[2021-05-17 15:41:37] [INFO ] [Real]Absence check using 101 positive and 100 generalized place invariants in 195 ms returned sat
[2021-05-17 15:41:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-17 15:43:01] [INFO ] [Real]Absence check using state equation in 80821 ms returned unsat :0 sat :9 real:0
[2021-05-17 15:43:01] [INFO ] State equation strengthened by 19900 read => feed constraints.
[2021-05-17 15:43:02] [INFO ] [Real]Added 19900 Read/Feed constraints in 1020 ms returned sat
Attempting to minimize the solution found.
Minimization took 12 ms.
[2021-05-17 15:43:12] [INFO ] SMT Verify possible in real domain returnedunsat :0 sat :5 real:3
[2021-05-17 15:43:18] [INFO ] [Nat]Absence check using 101 positive place invariants in 475 ms returned sat
[2021-05-17 15:43:18] [INFO ] [Nat]Absence check using 101 positive and 100 generalized place invariants in 183 ms returned sat
[2021-05-17 15:43:21] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-17 15:44:43] [INFO ] [Nat]Absence check using state equation in 82109 ms returned unsat :0 sat :9
[2021-05-17 15:44:44] [INFO ] [Nat]Added 19900 Read/Feed constraints in 1022 ms returned sat
Attempting to minimize the solution found.
Minimization took 12 ms.
[2021-05-17 15:44:52] [INFO ] SMT Verify possible in nat domain returned unsat :0 sat :9
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(X(X(X((G(p0)&&F(p1))))))], workingDir=/home/mcc/execution]
Support contains 4 out of 21202 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 21202/21202 places, 40800/40800 transitions.
Applied a total of 0 rules in 307 ms. Remains 21202 /21202 variables (removed 0) and now considering 40800/40800 (removed 0) transitions.
// Phase 1: matrix 40800 rows 21202 cols
[2021-05-17 15:44:53] [INFO ] Computed 201 place invariants in 419 ms
[2021-05-17 15:44:55] [INFO ] Implicit Places using invariants in 2290 ms returned []
Implicit Place search using SMT only with invariants took 2290 ms to find 0 implicit places.
// Phase 1: matrix 40800 rows 21202 cols
[2021-05-17 15:44:55] [INFO ] Computed 201 place invariants in 404 ms
[2021-05-17 15:44:57] [INFO ] Dead Transitions using invariants and state equation in 2222 ms returned []
Finished structural reductions, in 1 iterations. Remains : 21202/21202 places, 40800/40800 transitions.
Stuttering acceptance computed with spot in 272 ms :[(NOT p0), (OR (NOT p0) (NOT p1)), (OR (NOT p0) (NOT p1)), (OR (NOT p0) (NOT p1)), true, (OR (NOT p1) (NOT p0))]
Running random walk in product with property : CANConstruction-PT-100-00 automaton TGBA [mat=[[{ cond=p0, acceptance={} source=0 dest: 0}, { cond=(NOT p0), acceptance={} source=0 dest: 4}], [{ cond=true, acceptance={} source=1 dest: 5}], [{ cond=true, acceptance={} source=2 dest: 1}], [{ cond=true, acceptance={} source=3 dest: 2}], [{ cond=true, acceptance={0} source=4 dest: 4}], [{ cond=(AND p0 p1), acceptance={0} source=5 dest: 0}, { cond=(NOT p0), acceptance={0} source=5 dest: 4}, { cond=(AND p0 (NOT p1)), acceptance={0} source=5 dest: 5}]], initial=3, aps=[p0:(AND (GEQ s398 1) (GEQ s487 1)), p1:(AND (GEQ s748 1) (GEQ s10614 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, complete, deterministic, no-univ-branch, unambiguous, semi-deterministic, very-weak, weak, inherently-weak], stateDesc=[null, null, null, null, null, null][false, false, false, false, false, false]]
Entered a terminal (fully accepting) state of product in 3 steps with 0 reset in 7 ms.
FORMULA CANConstruction-PT-100-00 FALSE TECHNIQUES STUTTER_TEST
Treatment of property CANConstruction-PT-100-00 finished in 5270 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(G((p0 U ((F(G(p0)) U p1)&&F(p2)))))], workingDir=/home/mcc/execution]
Support contains 5 out of 21202 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 21202/21202 places, 40800/40800 transitions.
Drop transitions removed 696 transitions
Trivial Post-agglo rules discarded 696 transitions
Performed 696 trivial Post agglomeration. Transition count delta: 696
Iterating post reduction 0 with 696 rules applied. Total rules applied 696 place count 21202 transition count 40104
Reduce places removed 696 places and 0 transitions.
Iterating post reduction 1 with 696 rules applied. Total rules applied 1392 place count 20506 transition count 40104
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 2 Pre rules applied. Total rules applied 1392 place count 20506 transition count 40102
Deduced a syphon composed of 2 places in 14 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 1396 place count 20504 transition count 40102
Performed 9997 Post agglomeration using F-continuation condition.Transition count delta: 9997
Deduced a syphon composed of 9997 places in 21 ms
Reduce places removed 9997 places and 0 transitions.
Iterating global reduction 2 with 19994 rules applied. Total rules applied 21390 place count 10507 transition count 30105
Applied a total of 21390 rules in 6016 ms. Remains 10507 /21202 variables (removed 10695) and now considering 30105/40800 (removed 10695) transitions.
// Phase 1: matrix 30105 rows 10507 cols
[2021-05-17 15:45:04] [INFO ] Computed 201 place invariants in 247 ms
[2021-05-17 15:45:05] [INFO ] Implicit Places using invariants in 1314 ms returned []
Implicit Place search using SMT only with invariants took 1315 ms to find 0 implicit places.
// Phase 1: matrix 30105 rows 10507 cols
[2021-05-17 15:45:05] [INFO ] Computed 201 place invariants in 227 ms
[2021-05-17 15:45:06] [INFO ] Dead Transitions using invariants and state equation in 1220 ms returned []
Finished structural reductions, in 1 iterations. Remains : 10507/21202 places, 30105/40800 transitions.
Stuttering acceptance computed with spot in 210 ms :[(OR (NOT p1) (NOT p2)), (NOT p0), (NOT p1), (NOT p2), (AND p1 (NOT p2) (NOT p0)), (NOT p1), (AND (NOT p0) (NOT p2))]
Running random walk in product with property : CANConstruction-PT-100-01 automaton TGBA [mat=[[{ cond=true, acceptance={} source=0 dest: 0}, { cond=(AND (NOT p1) (NOT p0)), acceptance={} source=0 dest: 1}, { cond=(AND (NOT p1) (NOT p0)), acceptance={} source=0 dest: 2}, { cond=(NOT p2), acceptance={} source=0 dest: 3}, { cond=(AND (NOT p1) p0), acceptance={} source=0 dest: 5}], [{ cond=(NOT p0), acceptance={0} source=1 dest: 1}, { cond=p0, acceptance={} source=1 dest: 1}], [{ cond=(NOT p1), acceptance={} source=2 dest: 1}, { cond=(NOT p1), acceptance={0} source=2 dest: 2}], [{ cond=(NOT p2), acceptance={0} source=3 dest: 3}], [{ cond=(AND p1 (NOT p2)), acceptance={} source=4 dest: 6}], [{ cond=(AND (NOT p1) (NOT p0)), acceptance={} source=5 dest: 1}, { cond=(AND (NOT p1) (NOT p0)), acceptance={} source=5 dest: 2}, { cond=(AND (NOT p1) p0), acceptance={} source=5 dest: 4}, { cond=(AND (NOT p1) p0), acceptance={0} source=5 dest: 5}], [{ cond=(AND (NOT p0) (NOT p2)), acceptance={0} source=6 dest: 6}, { cond=(AND p0 (NOT p2)), acceptance={} source=6 dest: 6}]], initial=0, aps=[p1:(LT s1582 1), p0:(AND (GEQ s17 1) (GEQ s492 1)), p2:(AND (GEQ s251 1) (GEQ s530 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, stutter-invariant], stateDesc=[null, null, null, null, null, null, null][true, true, true, true, true, true, true]]
Stuttering criterion allowed to conclude after 720 steps with 0 reset in 38 ms.
FORMULA CANConstruction-PT-100-01 FALSE TECHNIQUES STUTTER_TEST
Treatment of property CANConstruction-PT-100-01 finished in 8905 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(X((F(p0)||G(p1))))], workingDir=/home/mcc/execution]
Support contains 3 out of 21202 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 21202/21202 places, 40800/40800 transitions.
Applied a total of 0 rules in 133 ms. Remains 21202 /21202 variables (removed 0) and now considering 40800/40800 (removed 0) transitions.
// Phase 1: matrix 40800 rows 21202 cols
[2021-05-17 15:45:07] [INFO ] Computed 201 place invariants in 402 ms
[2021-05-17 15:45:09] [INFO ] Implicit Places using invariants in 2294 ms returned []
Implicit Place search using SMT only with invariants took 2295 ms to find 0 implicit places.
// Phase 1: matrix 40800 rows 21202 cols
[2021-05-17 15:45:09] [INFO ] Computed 201 place invariants in 387 ms
[2021-05-17 15:45:11] [INFO ] Dead Transitions using invariants and state equation in 2181 ms returned []
Finished structural reductions, in 1 iterations. Remains : 21202/21202 places, 40800/40800 transitions.
Stuttering acceptance computed with spot in 79 ms :[(NOT p0), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1))]
Running random walk in product with property : CANConstruction-PT-100-02 automaton TGBA [mat=[[{ cond=(NOT p0), acceptance={0} source=0 dest: 0}], [{ cond=true, acceptance={} source=1 dest: 2}], [{ cond=(AND (NOT p0) (NOT p1)), acceptance={} source=2 dest: 0}, { cond=(AND (NOT p0) p1), acceptance={} source=2 dest: 2}]], initial=1, aps=[p0:(GEQ s16211 1), p1:(AND (LT s16211 1) (GEQ s151 1) (GEQ s580 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, deterministic, no-univ-branch, unambiguous, semi-deterministic, very-weak, weak, inherently-weak], stateDesc=[null, null, null][false, false, false]]
Stuttering criterion allowed to conclude after 1696 steps with 0 reset in 50 ms.
FORMULA CANConstruction-PT-100-02 FALSE TECHNIQUES STUTTER_TEST
Treatment of property CANConstruction-PT-100-02 finished in 4816 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(X((p0||G(F(p1)))))], workingDir=/home/mcc/execution]
Support contains 3 out of 21202 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 21202/21202 places, 40800/40800 transitions.
Applied a total of 0 rules in 127 ms. Remains 21202 /21202 variables (removed 0) and now considering 40800/40800 (removed 0) transitions.
// Phase 1: matrix 40800 rows 21202 cols
[2021-05-17 15:45:12] [INFO ] Computed 201 place invariants in 401 ms
[2021-05-17 15:45:13] [INFO ] Implicit Places using invariants in 2309 ms returned []
Implicit Place search using SMT only with invariants took 2309 ms to find 0 implicit places.
// Phase 1: matrix 40800 rows 21202 cols
[2021-05-17 15:45:14] [INFO ] Computed 201 place invariants in 392 ms
[2021-05-17 15:45:16] [INFO ] Dead Transitions using invariants and state equation in 2203 ms returned []
Finished structural reductions, in 1 iterations. Remains : 21202/21202 places, 40800/40800 transitions.
Stuttering acceptance computed with spot in 96 ms :[(AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (NOT p1), (NOT p1)]
Running random walk in product with property : CANConstruction-PT-100-03 automaton TGBA [mat=[[{ cond=true, acceptance={} source=0 dest: 1}], [{ cond=(AND (NOT p0) (NOT p1)), acceptance={} source=1 dest: 2}, { cond=(NOT p0), acceptance={} source=1 dest: 3}], [{ cond=(NOT p1), acceptance={0} source=2 dest: 2}], [{ cond=(NOT p1), acceptance={} source=3 dest: 2}, { cond=true, acceptance={} source=3 dest: 3}]], initial=0, aps=[p0:(GEQ s14459 1), p1:(AND (GEQ s916 1) (GEQ s20342 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, very-weak, weak, inherently-weak], stateDesc=[null, null, null, null][false, false, false, false]]
Stuttering criterion allowed to conclude after 1867 steps with 0 reset in 52 ms.
FORMULA CANConstruction-PT-100-03 FALSE TECHNIQUES STUTTER_TEST
Treatment of property CANConstruction-PT-100-03 finished in 4897 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(X((F(p0)||(p1 U ((p1&&G(p2))||G(p1))))))], workingDir=/home/mcc/execution]
Support contains 6 out of 21202 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 21202/21202 places, 40800/40800 transitions.
Applied a total of 0 rules in 123 ms. Remains 21202 /21202 variables (removed 0) and now considering 40800/40800 (removed 0) transitions.
// Phase 1: matrix 40800 rows 21202 cols
[2021-05-17 15:45:16] [INFO ] Computed 201 place invariants in 401 ms
[2021-05-17 15:45:18] [INFO ] Implicit Places using invariants in 2223 ms returned []
Implicit Place search using SMT only with invariants took 2228 ms to find 0 implicit places.
// Phase 1: matrix 40800 rows 21202 cols
[2021-05-17 15:45:19] [INFO ] Computed 201 place invariants in 445 ms
[2021-05-17 15:45:21] [INFO ] Dead Transitions using invariants and state equation in 2284 ms returned []
Finished structural reductions, in 1 iterations. Remains : 21202/21202 places, 40800/40800 transitions.
Stuttering acceptance computed with spot in 132 ms :[(NOT p0), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1) (NOT p2)), (AND (NOT p0) (NOT p2))]
Running random walk in product with property : CANConstruction-PT-100-04 automaton TGBA [mat=[[{ cond=(NOT p0), acceptance={0} source=0 dest: 0}], [{ cond=true, acceptance={} source=1 dest: 2}], [{ cond=(AND (NOT p0) (NOT p1)), acceptance={} source=2 dest: 0}, { cond=(AND (NOT p0) (NOT p2) p1), acceptance={} source=2 dest: 2}, { cond=(AND (NOT p0) p2 p1), acceptance={} source=2 dest: 3}], [{ cond=(AND (NOT p0) (NOT p2) (NOT p1)), acceptance={} source=3 dest: 0}, { cond=(AND (NOT p0) (NOT p2) p1), acceptance={} source=3 dest: 2}, { cond=(AND (NOT p0) p2 p1), acceptance={} source=3 dest: 3}, { cond=(AND (NOT p0) p2 (NOT p1)), acceptance={} source=3 dest: 4}], [{ cond=(AND (NOT p0) (NOT p2)), acceptance={} source=4 dest: 0}, { cond=(AND (NOT p0) p2), acceptance={} source=4 dest: 4}]], initial=1, aps=[p0:(OR (LT s426 1) (LT s10174 1)), p1:(OR (LT s300 1) (LT s1005 1)), p2:(OR (LT s1098 1) (LT s14822 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, deterministic, no-univ-branch, unambiguous, semi-deterministic, weak, inherently-weak], stateDesc=[null, null, null, null, null][false, false, false, false, false]]
Product exploration timeout after 65780 steps with 32890 reset in 10001 ms.
Product exploration timeout after 67680 steps with 33840 reset in 10001 ms.
Knowledge obtained : [p0, p1, p2]
Stuttering acceptance computed with spot in 133 ms :[(NOT p0), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1) (NOT p2)), (AND (NOT p0) (NOT p2))]
Product exploration timeout after 69160 steps with 34580 reset in 10001 ms.
Product exploration timeout after 69130 steps with 34565 reset in 10002 ms.
Applying partial POR strategy [true, false, true, true, true]
Stuttering acceptance computed with spot in 166 ms :[(NOT p0), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1) (NOT p2)), (AND (NOT p0) (NOT p2))]
Support contains 6 out of 21202 places. Attempting structural reductions.
Property had overlarge support with respect to TGBA, discarding it for now.
Starting structural reductions, iteration 0 : 21202/21202 places, 40800/40800 transitions.
Performed 496 Post agglomeration using F-continuation condition.Transition count delta: 0
Iterating post reduction 0 with 496 rules applied. Total rules applied 496 place count 21202 transition count 40800
Performed 104 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 1 with 104 Pre rules applied. Total rules applied 496 place count 21202 transition count 40800
Deduced a syphon composed of 600 places in 15 ms
Iterating global reduction 1 with 104 rules applied. Total rules applied 600 place count 21202 transition count 40800
Performed 10096 Post agglomeration using F-continuation condition.Transition count delta: -9900
Deduced a syphon composed of 10696 places in 16 ms
Iterating global reduction 1 with 10096 rules applied. Total rules applied 10696 place count 21202 transition count 50700
Discarding 592 places :
Symmetric choice reduction at 1 with 592 rule applications. Total rules 11288 place count 20610 transition count 50108
Deduced a syphon composed of 10104 places in 15 ms
Iterating global reduction 1 with 592 rules applied. Total rules applied 11880 place count 20610 transition count 50108
Deduced a syphon composed of 10104 places in 14 ms
Applied a total of 11880 rules in 5365 ms. Remains 20610 /21202 variables (removed 592) and now considering 50108/40800 (removed -9308) transitions.
// Phase 1: matrix 50108 rows 20610 cols
[2021-05-17 15:46:07] [INFO ] Computed 201 place invariants in 419 ms
[2021-05-17 15:46:09] [INFO ] Dead Transitions using invariants and state equation in 2225 ms returned []
Finished structural reductions, in 1 iterations. Remains : 20610/21202 places, 50108/40800 transitions.
Product exploration timeout after 5700 steps with 2850 reset in 10011 ms.
Product exploration timeout after 6390 steps with 3195 reset in 10002 ms.
[2021-05-17 15:46:31] [INFO ] Flatten gal took : 952 ms
[2021-05-17 15:46:32] [INFO ] Flatten gal took : 964 ms
[2021-05-17 15:46:32] [INFO ] Time to serialize gal into /tmp/LTL802367135529256441.gal : 217 ms
[2021-05-17 15:46:32] [INFO ] Time to serialize properties into /tmp/LTL4787690870454988228.ltl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL802367135529256441.gal, -t, CGAL, -LTL, /tmp/LTL4787690870454988228.ltl, -c, -stutter-deadlock, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-ltl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL802367135529256441.gal -t CGAL -LTL /tmp/LTL4787690870454988228.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 1 LTL properties
Checking formula 0 : !((X((F("((Node30IsInserted<1)||(Node44requestsent30<1))"))||(("((Node21IsInserted<1)||(Node71Request<1))")U((("((Node21IsInserted<1)||(Node71Request<1))")&&(G("((Node78IsInserted<1)||(Node67requestsent78<1))")))||(G("((Node21IsInserted<1)||(Node71Request<1))")))))))
Formula 0 simplified : !X(F"((Node30IsInserted<1)||(Node44requestsent30<1))" | ("((Node21IsInserted<1)||(Node71Request<1))" U (("((Node21IsInserted<1)||(Node71Request<1))" & G"((Node78IsInserted<1)||(Node67requestsent78<1))") | G"((Node21IsInserted<1)||(Node71Request<1))")))
Detected timeout of ITS tools.
[2021-05-17 15:46:48] [INFO ] Flatten gal took : 947 ms
[2021-05-17 15:46:48] [INFO ] Applying decomposition
[2021-05-17 15:46:49] [INFO ] Flatten gal took : 974 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/graph3925453167840415567.txt, -o, /tmp/graph3925453167840415567.bin, -w, /tmp/graph3925453167840415567.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/graph3925453167840415567.bin, -l, -1, -v, -w, /tmp/graph3925453167840415567.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-17 15:46:53] [INFO ] Decomposing Gal with order
[2021-05-17 15:46:55] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-17 15:47:02] [INFO ] Removed a total of 16845 redundant transitions.
[2021-05-17 15:47:02] [INFO ] Flatten gal took : 3567 ms
[2021-05-17 15:47:04] [INFO ] Fuse similar labels procedure discarded/fused a total of 44 labels/synchronizations in 466 ms.
[2021-05-17 15:47:04] [INFO ] Time to serialize gal into /tmp/LTL9158627329418032372.gal : 263 ms
[2021-05-17 15:47:04] [INFO ] Time to serialize properties into /tmp/LTL1979428191212290456.ltl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL9158627329418032372.gal, -t, CGAL, -LTL, /tmp/LTL1979428191212290456.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]

its-ltl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL9158627329418032372.gal -t CGAL -LTL /tmp/LTL1979428191212290456.ltl -c -stutter-deadlock
Read 1 LTL properties
Checking formula 0 : !((X((F("((i76.i7.u530.Node30IsInserted<1)||(i58.i0.u221.Node44requestsent30<1))"))||(("((i31.i0.u522.Node21IsInserted<1)||(i6.i1.u353.Node71Request<1))")U((("((i31.i0.u522.Node21IsInserted<1)||(i6.i1.u353.Node71Request<1))")&&(G("((i40.i1.u386.Node78IsInserted<1)||(i46.i1.u335.Node67requestsent78<1))")))||(G("((i31.i0.u522.Node21IsInserted<1)||(i6.i1.u353.Node71Request<1))")))))))
Formula 0 simplified : !X(F"((i76.i7.u530.Node30IsInserted<1)||(i58.i0.u221.Node44requestsent30<1))" | ("((i31.i0.u522.Node21IsInserted<1)||(i6.i1.u353.Node71Request<1))" U (("((i31.i0.u522.Node21IsInserted<1)||(i6.i1.u353.Node71Request<1))" & G"((i40.i1.u386.Node78IsInserted<1)||(i46.i1.u335.Node67requestsent78<1))") | G"((i31.i0.u522.Node21IsInserted<1)||(i6.i1.u353.Node71Request<1))")))
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin7905808412614889096
[2021-05-17 15:47:20] [INFO ] Built C files in 1350ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin7905808412614889096
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/ltsmin7905808412614889096]
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/ltsmin7905808412614889096] 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/ltsmin7905808412614889096] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Treatment of property CANConstruction-PT-100-04 finished in 132333 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(G(F((p0||G(p1)))))], workingDir=/home/mcc/execution]
Support contains 2 out of 21202 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 21202/21202 places, 40800/40800 transitions.
Drop transitions removed 700 transitions
Trivial Post-agglo rules discarded 700 transitions
Performed 700 trivial Post agglomeration. Transition count delta: 700
Iterating post reduction 0 with 700 rules applied. Total rules applied 700 place count 21202 transition count 40100
Reduce places removed 700 places and 0 transitions.
Iterating post reduction 1 with 700 rules applied. Total rules applied 1400 place count 20502 transition count 40100
Performed 9998 Post agglomeration using F-continuation condition.Transition count delta: 9998
Deduced a syphon composed of 9998 places in 8 ms
Reduce places removed 9998 places and 0 transitions.
Iterating global reduction 2 with 19996 rules applied. Total rules applied 21396 place count 10504 transition count 30102
Applied a total of 21396 rules in 6333 ms. Remains 10504 /21202 variables (removed 10698) and now considering 30102/40800 (removed 10698) transitions.
// Phase 1: matrix 30102 rows 10504 cols
[2021-05-17 15:47:35] [INFO ] Computed 201 place invariants in 205 ms
[2021-05-17 15:47:36] [INFO ] Implicit Places using invariants in 1158 ms returned []
Implicit Place search using SMT only with invariants took 1159 ms to find 0 implicit places.
// Phase 1: matrix 30102 rows 10504 cols
[2021-05-17 15:47:36] [INFO ] Computed 201 place invariants in 201 ms
[2021-05-17 15:47:37] [INFO ] Dead Transitions using invariants and state equation in 1101 ms returned []
Finished structural reductions, in 1 iterations. Remains : 10504/21202 places, 30102/40800 transitions.
Stuttering acceptance computed with spot in 3616 ms :[(AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0))]
Running random walk in product with property : CANConstruction-PT-100-05 automaton TGBA [mat=[[{ cond=true, acceptance={} source=0 dest: 0}, { cond=(AND (NOT p1) (NOT p0)), acceptance={} source=0 dest: 1}], [{ cond=(AND (NOT p1) (NOT p0)), acceptance={0} source=1 dest: 1}, { cond=(AND p1 (NOT p0)), acceptance={} source=1 dest: 1}]], initial=0, aps=[p1:(LT s9336 1), p0:(LT s5884 1)], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, stutter-invariant], stateDesc=[null, null][true, true]]
Product exploration explored 100000 steps with 142 reset in 3875 ms.
Product exploration explored 100000 steps with 143 reset in 3722 ms.
Knowledge obtained : [p1, p0]
Stuttering acceptance computed with spot in 55 ms :[(AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0))]
Product exploration explored 100000 steps with 143 reset in 3725 ms.
Product exploration explored 100000 steps with 144 reset in 3773 ms.
[2021-05-17 15:48:03] [INFO ] Flatten gal took : 617 ms
[2021-05-17 15:48:04] [INFO ] Flatten gal took : 644 ms
[2021-05-17 15:48:06] [INFO ] Time to serialize gal into /tmp/LTL2876310433425610918.gal : 2202 ms
[2021-05-17 15:48:06] [INFO ] Time to serialize properties into /tmp/LTL2412898261128558756.ltl : 2 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL2876310433425610918.gal, -t, CGAL, -LTL, /tmp/LTL2412898261128558756.ltl, -c, -stutter-deadlock, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-ltl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL2876310433425610918.gal -t CGAL -LTL /tmp/LTL2412898261128558756.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 1 LTL properties
Checking formula 0 : !((G(F(("(Node53GiveAnswer34<1)")||(G("(Node88GiveAnswer20<1)"))))))
Formula 0 simplified : !GF("(Node53GiveAnswer34<1)" | G"(Node88GiveAnswer20<1)")
Detected timeout of ITS tools.
[2021-05-17 15:48:22] [INFO ] Flatten gal took : 610 ms
[2021-05-17 15:48:22] [INFO ] Applying decomposition
[2021-05-17 15:48:23] [INFO ] Flatten gal took : 861 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/graph12829129708292966087.txt, -o, /tmp/graph12829129708292966087.bin, -w, /tmp/graph12829129708292966087.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/graph12829129708292966087.bin, -l, -1, -v, -w, /tmp/graph12829129708292966087.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-17 15:48:24] [INFO ] Decomposing Gal with order
[2021-05-17 15:48:25] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-17 15:48:33] [INFO ] Removed a total of 29506 redundant transitions.
[2021-05-17 15:48:34] [INFO ] Flatten gal took : 7917 ms
[2021-05-17 15:48:44] [INFO ] Fuse similar labels procedure discarded/fused a total of 29398 labels/synchronizations in 9856 ms.
[2021-05-17 15:48:50] [INFO ] Time to serialize gal into /tmp/LTL11274148649167841660.gal : 382 ms
[2021-05-17 15:48:50] [INFO ] Time to serialize properties into /tmp/LTL609598685231620452.ltl : 136 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL11274148649167841660.gal, -t, CGAL, -LTL, /tmp/LTL609598685231620452.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]

its-ltl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL11274148649167841660.gal -t CGAL -LTL /tmp/LTL609598685231620452.ltl -c -stutter-deadlock
Read 1 LTL properties
Checking formula 0 : !((G(F(("(u35.Node53GiveAnswer34<1)")||(G("(u21.Node88GiveAnswer20<1)"))))))
Formula 0 simplified : !GF("(u35.Node53GiveAnswer34<1)" | G"(u21.Node88GiveAnswer20<1)")
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin15597117997596090725
[2021-05-17 15:49:05] [INFO ] Built C files in 213ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin15597117997596090725
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/ltsmin15597117997596090725]
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/ltsmin15597117997596090725] 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/ltsmin15597117997596090725] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Treatment of property CANConstruction-PT-100-05 finished in 97775 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(F((p0&&((p1 U (p2||G(p1))) U (((p1 U (p2||G(p1)))&&p3)||G(p4))))))], workingDir=/home/mcc/execution]
Support contains 4 out of 21202 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 21202/21202 places, 40800/40800 transitions.
Drop transitions removed 697 transitions
Trivial Post-agglo rules discarded 697 transitions
Performed 697 trivial Post agglomeration. Transition count delta: 697
Iterating post reduction 0 with 697 rules applied. Total rules applied 697 place count 21202 transition count 40103
Reduce places removed 697 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 698 rules applied. Total rules applied 1395 place count 20505 transition count 40102
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 1396 place count 20504 transition count 40102
Performed 9997 Post agglomeration using F-continuation condition.Transition count delta: 9997
Deduced a syphon composed of 9997 places in 25 ms
Reduce places removed 9997 places and 0 transitions.
Iterating global reduction 3 with 19994 rules applied. Total rules applied 21390 place count 10507 transition count 30105
Applied a total of 21390 rules in 8299 ms. Remains 10507 /21202 variables (removed 10695) and now considering 30105/40800 (removed 10695) transitions.
// Phase 1: matrix 30105 rows 10507 cols
[2021-05-17 15:49:15] [INFO ] Computed 201 place invariants in 225 ms
[2021-05-17 15:49:16] [INFO ] Implicit Places using invariants in 1392 ms returned []
Implicit Place search using SMT only with invariants took 1393 ms to find 0 implicit places.
// Phase 1: matrix 30105 rows 10507 cols
[2021-05-17 15:49:16] [INFO ] Computed 201 place invariants in 288 ms
[2021-05-17 15:49:17] [INFO ] Dead Transitions using invariants and state equation in 1040 ms returned []
Finished structural reductions, in 1 iterations. Remains : 10507/21202 places, 30105/40800 transitions.
Stuttering acceptance computed with spot in 3506 ms :[(OR (NOT p0) (AND (NOT p1) (NOT p2) (NOT p4)) (AND (NOT p3) (NOT p4))), (OR (AND (NOT p1) (NOT p2) (NOT p4)) (AND (NOT p3) (NOT p4))), (AND (NOT p1) (NOT p2) (NOT p4)), (OR (AND (NOT p0) (NOT p1) (NOT p2)) (AND (NOT p1) (NOT p2) (NOT p4))), (OR (AND (NOT p1) (NOT p2) (NOT p4)) (AND (NOT p3) (NOT p4)) (AND (NOT p0) (NOT p4)))]
Running random walk in product with property : CANConstruction-PT-100-07 automaton TGBA [mat=[[{ cond=(OR (NOT p0) (AND (NOT p4) (NOT p2) (NOT p1))), acceptance={0, 1} source=0 dest: 0}, { cond=(OR (AND p0 (NOT p4) (NOT p3) p2) (AND p0 (NOT p4) (NOT p3) p1)), acceptance={0, 1} source=0 dest: 1}, { cond=(OR (AND p0 p4 (NOT p3) p2) (AND p0 p4 (NOT p3) p1)), acceptance={1} source=0 dest: 1}, { cond=(AND p0 p4 p3 (NOT p2) p1), acceptance={} source=0 dest: 2}, { cond=(AND p0 (NOT p4) (NOT p2) p1), acceptance={0} source=0 dest: 3}, { cond=(AND p0 p4 (NOT p2) (NOT p1)), acceptance={1} source=0 dest: 4}], [{ cond=(AND (NOT p4) (NOT p2) (NOT p1)), acceptance={0, 1} source=1 dest: 0}, { cond=(OR (AND (NOT p4) (NOT p3) p2) (AND (NOT p4) (NOT p3) p1)), acceptance={0, 1} source=1 dest: 1}, { cond=(OR (AND p4 (NOT p3) p2) (AND p4 (NOT p3) p1)), acceptance={1} source=1 dest: 1}, { cond=(AND p4 p3 (NOT p2) p1), acceptance={} source=1 dest: 2}, { cond=(AND (NOT p4) (NOT p2) p1), acceptance={0} source=1 dest: 3}, { cond=(AND p4 (NOT p2) (NOT p1)), acceptance={1} source=1 dest: 4}], [{ cond=(AND (NOT p4) (NOT p2) (NOT p1)), acceptance={0, 1} source=2 dest: 0}, { cond=(AND p4 (NOT p2) p1), acceptance={} source=2 dest: 2}, { cond=(AND (NOT p4) (NOT p2) p1), acceptance={0} source=2 dest: 3}, { cond=(AND p4 (NOT p2) (NOT p1)), acceptance={1} source=2 dest: 4}], [{ cond=(OR (AND (NOT p0) (NOT p2) (NOT p1)) (AND (NOT p4) (NOT p2) (NOT p1))), acceptance={0, 1} source=3 dest: 0}, { cond=(AND p0 p4 (NOT p2) p1), acceptance={} source=3 dest: 2}, { cond=(OR (AND (NOT p0) (NOT p2) p1) (AND (NOT p4) (NOT p2) p1)), acceptance={0} source=3 dest: 3}, { cond=(AND p0 p4 (NOT p2) (NOT p1)), acceptance={1} source=3 dest: 4}], [{ cond=(OR (AND (NOT p0) (NOT p4)) (AND (NOT p4) (NOT p2) (NOT p1))), acceptance={0, 1} source=4 dest: 0}, { cond=(OR (AND p0 (NOT p4) (NOT p3) p2) (AND p0 (NOT p4) (NOT p3) p1)), acceptance={0, 1} source=4 dest: 1}, { cond=(OR (AND p0 p4 (NOT p3) p2) (AND p0 p4 (NOT p3) p1)), acceptance={1} source=4 dest: 1}, { cond=(AND p0 p4 p3 (NOT p2) p1), acceptance={} source=4 dest: 2}, { cond=(AND p0 (NOT p4) (NOT p2) p1), acceptance={0} source=4 dest: 3}, { cond=(OR (AND (NOT p0) p4) (AND p4 (NOT p2) (NOT p1))), acceptance={1} source=4 dest: 4}]], initial=0, aps=[p0:(GEQ s64 1), p4:(OR (LT s5515 1) (AND (LT s5644 1) (LT s5515 1))), p2:(AND (LT s5644 1) (LT s5515 1)), p1:(LT s5515 1), p3:(AND (OR (LT s5644 1) (LT s64 1)) (LT s5644 1) (LT s5445 1))], nbAcceptance=2, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, stutter-invariant], stateDesc=[null, null, null, null, null][true, true, true, true, true]]
Stuttering criterion allowed to conclude after 691 steps with 0 reset in 33 ms.
FORMULA CANConstruction-PT-100-07 FALSE TECHNIQUES STUTTER_TEST
Treatment of property CANConstruction-PT-100-07 finished in 14362 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(X(X((G(p0)||G(((F(p2) U G(p3))&&p1))))))], workingDir=/home/mcc/execution]
Support contains 5 out of 21202 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 21202/21202 places, 40800/40800 transitions.
Applied a total of 0 rules in 161 ms. Remains 21202 /21202 variables (removed 0) and now considering 40800/40800 (removed 0) transitions.
// Phase 1: matrix 40800 rows 21202 cols
[2021-05-17 15:49:21] [INFO ] Computed 201 place invariants in 461 ms
[2021-05-17 15:49:23] [INFO ] Implicit Places using invariants in 2726 ms returned []
Implicit Place search using SMT only with invariants took 2727 ms to find 0 implicit places.
// Phase 1: matrix 40800 rows 21202 cols
[2021-05-17 15:49:24] [INFO ] Computed 201 place invariants in 407 ms
[2021-05-17 15:49:26] [INFO ] Dead Transitions using invariants and state equation in 2628 ms returned []
Finished structural reductions, in 1 iterations. Remains : 21202/21202 places, 40800/40800 transitions.
Stuttering acceptance computed with spot in 9468 ms :[(OR (AND (NOT p0) (NOT p1)) (AND (NOT p0) (NOT p3))), (OR (AND (NOT p0) (NOT p1)) (AND (NOT p0) (NOT p3))), (OR (AND (NOT p0) (NOT p1)) (AND (NOT p0) (NOT p3))), true, (NOT p0), (NOT p2), (OR (NOT p1) (NOT p3)), (NOT p3), (AND (NOT p2) (NOT p0))]
Running random walk in product with property : CANConstruction-PT-100-08 automaton TGBA [mat=[[{ cond=true, acceptance={} source=0 dest: 1}], [{ cond=true, acceptance={} source=1 dest: 2}], [{ cond=(AND p0 p1), acceptance={} source=2 dest: 2}, { cond=(AND (NOT p0) (NOT p1)), acceptance={} source=2 dest: 3}, { cond=(AND p0 (NOT p1)), acceptance={} source=2 dest: 4}, { cond=(AND (NOT p0) p1 (NOT p3) (NOT p2)), acceptance={} source=2 dest: 5}, { cond=(AND (NOT p0) p1), acceptance={} source=2 dest: 6}, { cond=(AND (NOT p0) p1 (NOT p3)), acceptance={} source=2 dest: 7}, { cond=(AND p0 p1 (NOT p3) (NOT p2)), acceptance={} source=2 dest: 8}], [{ cond=true, acceptance={0} source=3 dest: 3}], [{ cond=(NOT p0), acceptance={} source=4 dest: 3}, { cond=p0, acceptance={} source=4 dest: 4}], [{ cond=(NOT p2), acceptance={0} source=5 dest: 5}], [{ cond=(NOT p1), acceptance={} source=6 dest: 3}, { cond=(AND p1 (NOT p3) (NOT p2)), acceptance={} source=6 dest: 5}, { cond=p1, acceptance={} source=6 dest: 6}, { cond=(AND p1 (NOT p3)), acceptance={} source=6 dest: 7}], [{ cond=(AND (NOT p3) (NOT p2)), acceptance={} source=7 dest: 5}, { cond=(NOT p3), acceptance={0} source=7 dest: 7}, { cond=p3, acceptance={} source=7 dest: 7}], [{ cond=(AND (NOT p0) (NOT p2)), acceptance={} source=8 dest: 5}, { cond=(AND p0 (NOT p2)), acceptance={} source=8 dest: 8}]], initial=0, aps=[p0:(GEQ s3157 1), p1:(AND (GEQ s753 1) (GEQ s902 1)), p3:(OR (LT s1028 1) (LT s13426 1)), p2:(OR (LT s753 1) (LT s902 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch], stateDesc=[null, null, null, null, null, null, null, null, null][false, false, false, false, false, false, false, false, false]]
Entered a terminal (fully accepting) state of product in 2 steps with 0 reset in 3 ms.
FORMULA CANConstruction-PT-100-08 FALSE TECHNIQUES STUTTER_TEST
Treatment of property CANConstruction-PT-100-08 finished in 15166 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(F((p0||X(F(p1)))))], workingDir=/home/mcc/execution]
Support contains 2 out of 21202 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 21202/21202 places, 40800/40800 transitions.
Applied a total of 0 rules in 131 ms. Remains 21202 /21202 variables (removed 0) and now considering 40800/40800 (removed 0) transitions.
// Phase 1: matrix 40800 rows 21202 cols
[2021-05-17 15:49:36] [INFO ] Computed 201 place invariants in 488 ms
[2021-05-17 15:49:38] [INFO ] Implicit Places using invariants in 2689 ms returned []
Implicit Place search using SMT only with invariants took 2690 ms to find 0 implicit places.
// Phase 1: matrix 40800 rows 21202 cols
[2021-05-17 15:49:39] [INFO ] Computed 201 place invariants in 488 ms
[2021-05-17 15:49:41] [INFO ] Dead Transitions using invariants and state equation in 2654 ms returned []
Finished structural reductions, in 1 iterations. Remains : 21202/21202 places, 40800/40800 transitions.
Stuttering acceptance computed with spot in 54 ms :[(AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1))]
Running random walk in product with property : CANConstruction-PT-100-09 automaton TGBA [mat=[[{ cond=(NOT p0), acceptance={} source=0 dest: 1}], [{ cond=(AND (NOT p0) (NOT p1)), acceptance={0} source=1 dest: 1}]], initial=0, aps=[p0:(AND (GEQ s17419 1) (GEQ s20961 1)), p1:(LT s17419 1)], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, deterministic, no-univ-branch, unambiguous, semi-deterministic, very-weak, weak, inherently-weak], stateDesc=[null, null][false, false]]
Product exploration timeout after 66460 steps with 33230 reset in 10001 ms.
Product exploration timeout after 66850 steps with 33425 reset in 10001 ms.
Knowledge obtained : [(NOT p0), p1]
Stuttering acceptance computed with spot in 51 ms :[(AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1))]
Product exploration timeout after 67580 steps with 33790 reset in 10001 ms.
Product exploration timeout after 68540 steps with 34270 reset in 10001 ms.
Applying partial POR strategy [false, true]
Stuttering acceptance computed with spot in 50 ms :[(AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1))]
Support contains 2 out of 21202 places. Attempting structural reductions.
Property had overlarge support with respect to TGBA, discarding it for now.
Starting structural reductions, iteration 0 : 21202/21202 places, 40800/40800 transitions.
Performed 500 Post agglomeration using F-continuation condition.Transition count delta: 0
Iterating post reduction 0 with 500 rules applied. Total rules applied 500 place count 21202 transition count 40800
Performed 100 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 1 with 100 Pre rules applied. Total rules applied 500 place count 21202 transition count 40800
Deduced a syphon composed of 600 places in 17 ms
Iterating global reduction 1 with 100 rules applied. Total rules applied 600 place count 21202 transition count 40800
Performed 10098 Post agglomeration using F-continuation condition.Transition count delta: -9898
Deduced a syphon composed of 10698 places in 15 ms
Iterating global reduction 1 with 10098 rules applied. Total rules applied 10698 place count 21202 transition count 50698
Discarding 600 places :
Symmetric choice reduction at 1 with 600 rule applications. Total rules 11298 place count 20602 transition count 50098
Deduced a syphon composed of 10098 places in 14 ms
Iterating global reduction 1 with 600 rules applied. Total rules applied 11898 place count 20602 transition count 50098
Deduced a syphon composed of 10098 places in 95 ms
Applied a total of 11898 rules in 7674 ms. Remains 20602 /21202 variables (removed 600) and now considering 50098/40800 (removed -9298) transitions.
// Phase 1: matrix 50098 rows 20602 cols
[2021-05-17 15:50:35] [INFO ] Computed 201 place invariants in 368 ms
[2021-05-17 15:50:36] [INFO ] Dead Transitions using invariants and state equation in 1712 ms returned []
Finished structural reductions, in 1 iterations. Remains : 20602/21202 places, 50098/40800 transitions.
Product exploration timeout after 6790 steps with 3395 reset in 10005 ms.
Product exploration timeout after 2880 steps with 1440 reset in 10012 ms.
[2021-05-17 15:50:58] [INFO ] Flatten gal took : 1344 ms
[2021-05-17 15:51:00] [INFO ] Flatten gal took : 1416 ms
[2021-05-17 15:51:08] [INFO ] Time to serialize gal into /tmp/LTL2326882750578614599.gal : 8436 ms
[2021-05-17 15:51:08] [INFO ] Time to serialize properties into /tmp/LTL11151388610796343859.ltl : 151 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL2326882750578614599.gal, -t, CGAL, -LTL, /tmp/LTL11151388610796343859.ltl, -c, -stutter-deadlock, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-ltl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL2326882750578614599.gal -t CGAL -LTL /tmp/LTL11151388610796343859.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 1 LTL properties
Checking formula 0 : !((F((X(F("(Node80GiveAnswer89<1)")))||("((Node80GiveAnswer89>=1)&&(Node98GiveAnswer77>=1))"))))
Formula 0 simplified : !F("((Node80GiveAnswer89>=1)&&(Node98GiveAnswer77>=1))" | XF"(Node80GiveAnswer89<1)")
Detected timeout of ITS tools.
[2021-05-17 15:51:25] [INFO ] Flatten gal took : 1174 ms
[2021-05-17 15:51:25] [INFO ] Applying decomposition
[2021-05-17 15:51:26] [INFO ] Flatten gal took : 1148 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/graph1223919186756687146.txt, -o, /tmp/graph1223919186756687146.bin, -w, /tmp/graph1223919186756687146.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/graph1223919186756687146.bin, -l, -1, -v, -w, /tmp/graph1223919186756687146.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-17 15:51:28] [INFO ] Decomposing Gal with order
[2021-05-17 15:51:31] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-17 15:51:37] [INFO ] Removed a total of 17276 redundant transitions.
[2021-05-17 15:51:38] [INFO ] Flatten gal took : 3338 ms
[2021-05-17 15:51:39] [INFO ] Fuse similar labels procedure discarded/fused a total of 412 labels/synchronizations in 535 ms.
[2021-05-17 15:51:41] [INFO ] Time to serialize gal into /tmp/LTL13607393907778106199.gal : 1786 ms
[2021-05-17 15:51:41] [INFO ] Time to serialize properties into /tmp/LTL15162360345054847730.ltl : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL13607393907778106199.gal, -t, CGAL, -LTL, /tmp/LTL15162360345054847730.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]

its-ltl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL13607393907778106199.gal -t CGAL -LTL /tmp/LTL15162360345054847730.ltl -c -stutter-deadlock
Read 1 LTL properties
Checking formula 0 : !((F((X(F("(i25.i1.u451.Node80GiveAnswer89<1)")))||("((i25.i1.u451.Node80GiveAnswer89>=1)&&(i92.i1.u389.Node98GiveAnswer77>=1))"))))
Formula 0 simplified : !F("((i25.i1.u451.Node80GiveAnswer89>=1)&&(i92.i1.u389.Node98GiveAnswer77>=1))" | XF"(i25.i1.u451.Node80GiveAnswer89<1)")
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin16366613767392505330
[2021-05-17 15:51:56] [INFO ] Built C files in 237ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin16366613767392505330
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/ltsmin16366613767392505330]
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/ltsmin16366613767392505330] 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/ltsmin16366613767392505330] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Treatment of property CANConstruction-PT-100-09 finished in 141572 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !((p0 U X(G(p1))))], workingDir=/home/mcc/execution]
Support contains 3 out of 21202 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 21202/21202 places, 40800/40800 transitions.
Applied a total of 0 rules in 128 ms. Remains 21202 /21202 variables (removed 0) and now considering 40800/40800 (removed 0) transitions.
// Phase 1: matrix 40800 rows 21202 cols
[2021-05-17 15:52:02] [INFO ] Computed 201 place invariants in 397 ms
[2021-05-17 15:52:03] [INFO ] Implicit Places using invariants in 1779 ms returned []
Implicit Place search using SMT only with invariants took 1780 ms to find 0 implicit places.
// Phase 1: matrix 40800 rows 21202 cols
[2021-05-17 15:52:04] [INFO ] Computed 201 place invariants in 392 ms
[2021-05-17 15:52:05] [INFO ] Dead Transitions using invariants and state equation in 1783 ms returned []
Finished structural reductions, in 1 iterations. Remains : 21202/21202 places, 40800/40800 transitions.
Stuttering acceptance computed with spot in 71 ms :[(NOT p1), (NOT p1), true]
Running random walk in product with property : CANConstruction-PT-100-10 automaton TGBA [mat=[[{ cond=p1, acceptance={} source=0 dest: 0}, { cond=(NOT p1), acceptance={} source=0 dest: 2}], [{ cond=(NOT p0), acceptance={} source=1 dest: 0}, { cond=(AND p0 (NOT p1)), acceptance={0} source=1 dest: 1}, { cond=(AND p0 p1), acceptance={} source=1 dest: 1}], [{ cond=true, acceptance={0} source=2 dest: 2}]], initial=1, aps=[p1:(AND (GEQ s1392 1) (GEQ s10508 1)), p0:(LT s5113 1)], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, complete, deterministic, no-univ-branch, unambiguous, semi-deterministic], stateDesc=[null, null, null][false, false, false]]
Stuttering criterion allowed to conclude after 1786 steps with 0 reset in 46 ms.
FORMULA CANConstruction-PT-100-10 FALSE TECHNIQUES STUTTER_TEST
Treatment of property CANConstruction-PT-100-10 finished in 8205 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(X((p0||F(p1)||X((F(!p1) U p2)))))], workingDir=/home/mcc/execution]
Support contains 5 out of 21202 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 21202/21202 places, 40800/40800 transitions.
Applied a total of 0 rules in 308 ms. Remains 21202 /21202 variables (removed 0) and now considering 40800/40800 (removed 0) transitions.
// Phase 1: matrix 40800 rows 21202 cols
[2021-05-17 15:52:06] [INFO ] Computed 201 place invariants in 396 ms
[2021-05-17 15:52:07] [INFO ] Implicit Places using invariants in 1778 ms returned []
Implicit Place search using SMT only with invariants took 1779 ms to find 0 implicit places.
// Phase 1: matrix 40800 rows 21202 cols
[2021-05-17 15:52:08] [INFO ] Computed 201 place invariants in 374 ms
[2021-05-17 15:52:09] [INFO ] Dead Transitions using invariants and state equation in 1768 ms returned []
Finished structural reductions, in 1 iterations. Remains : 21202/21202 places, 40800/40800 transitions.
Stuttering acceptance computed with spot in 70 ms :[(AND (NOT p0) (NOT p1) (NOT p2)), (AND (NOT p0) (NOT p1) (NOT p2)), (AND (NOT p1) (NOT p2))]
Running random walk in product with property : CANConstruction-PT-100-11 automaton TGBA [mat=[[{ cond=true, acceptance={} source=0 dest: 1}], [{ cond=(AND (NOT p0) (NOT p1)), acceptance={} source=1 dest: 2}], [{ cond=(AND (NOT p1) (NOT p2)), acceptance={0} source=2 dest: 2}]], initial=0, aps=[p0:(AND (GEQ s473 1) (GEQ s860 1)), p1:(GEQ s1857 1), p2:(AND (GEQ s314 1) (GEQ s20652 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, deterministic, no-univ-branch, unambiguous, semi-deterministic, very-weak, weak, inherently-weak], stateDesc=[null, null, null][false, false, false]]
Stuttering criterion allowed to conclude after 1867 steps with 0 reset in 48 ms.
FORMULA CANConstruction-PT-100-11 FALSE TECHNIQUES STUTTER_TEST
Treatment of property CANConstruction-PT-100-11 finished in 4063 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(X(X(F(p0))))], workingDir=/home/mcc/execution]
Support contains 2 out of 21202 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 21202/21202 places, 40800/40800 transitions.
Applied a total of 0 rules in 262 ms. Remains 21202 /21202 variables (removed 0) and now considering 40800/40800 (removed 0) transitions.
// Phase 1: matrix 40800 rows 21202 cols
[2021-05-17 15:52:10] [INFO ] Computed 201 place invariants in 374 ms
[2021-05-17 15:52:11] [INFO ] Implicit Places using invariants in 1755 ms returned []
Implicit Place search using SMT only with invariants took 1756 ms to find 0 implicit places.
// Phase 1: matrix 40800 rows 21202 cols
[2021-05-17 15:52:12] [INFO ] Computed 201 place invariants in 371 ms
[2021-05-17 15:52:13] [INFO ] Dead Transitions using invariants and state equation in 1759 ms returned []
Finished structural reductions, in 1 iterations. Remains : 21202/21202 places, 40800/40800 transitions.
Stuttering acceptance computed with spot in 5777 ms :[(NOT p0), (NOT p0), (NOT p0)]
Running random walk in product with property : CANConstruction-PT-100-12 automaton TGBA [mat=[[{ cond=(NOT p0), acceptance={0} source=0 dest: 0}], [{ cond=true, acceptance={} source=1 dest: 0}], [{ cond=true, acceptance={} source=2 dest: 1}]], initial=2, aps=[p0:(AND (GEQ s202 1) (GEQ s1341 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, deterministic, no-univ-branch, unambiguous, semi-deterministic, very-weak, weak, inherently-weak], stateDesc=[null, null, null][false, false, false]]
Stuttering criterion allowed to conclude after 3035 steps with 1 reset in 80 ms.
FORMULA CANConstruction-PT-100-12 FALSE TECHNIQUES STUTTER_TEST
Treatment of property CANConstruction-PT-100-12 finished in 9720 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(X((G(p1)&&p0)))], workingDir=/home/mcc/execution]
Support contains 4 out of 21202 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 21202/21202 places, 40800/40800 transitions.
Applied a total of 0 rules in 128 ms. Remains 21202 /21202 variables (removed 0) and now considering 40800/40800 (removed 0) transitions.
// Phase 1: matrix 40800 rows 21202 cols
[2021-05-17 15:52:20] [INFO ] Computed 201 place invariants in 395 ms
[2021-05-17 15:52:21] [INFO ] Implicit Places using invariants in 1778 ms returned []
Implicit Place search using SMT only with invariants took 1780 ms to find 0 implicit places.
// Phase 1: matrix 40800 rows 21202 cols
[2021-05-17 15:52:21] [INFO ] Computed 201 place invariants in 389 ms
[2021-05-17 15:52:23] [INFO ] Dead Transitions using invariants and state equation in 1770 ms returned []
Finished structural reductions, in 1 iterations. Remains : 21202/21202 places, 40800/40800 transitions.
Stuttering acceptance computed with spot in 84 ms :[true, (OR (NOT p1) (NOT p0)), (NOT p1), (OR (NOT p1) (NOT p0))]
Running random walk in product with property : CANConstruction-PT-100-13 automaton TGBA [mat=[[{ cond=true, acceptance={0} source=0 dest: 0}], [{ cond=true, acceptance={} source=1 dest: 3}], [{ cond=(NOT p1), acceptance={} source=2 dest: 0}, { cond=p1, acceptance={} source=2 dest: 2}], [{ cond=(OR (NOT p0) (NOT p1)), acceptance={} source=3 dest: 0}, { cond=(AND p0 p1), acceptance={} source=3 dest: 2}]], initial=1, aps=[p1:(AND (GEQ s412 1) (GEQ s627 1)), p0:(AND (GEQ s48 1) (GEQ s599 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, complete, deterministic, no-univ-branch, unambiguous, semi-deterministic, terminal, very-weak, weak, inherently-weak], stateDesc=[null, null, null, null][false, false, false, false]]
Entered a terminal (fully accepting) state of product in 1 steps with 0 reset in 2 ms.
FORMULA CANConstruction-PT-100-13 FALSE TECHNIQUES STUTTER_TEST
Treatment of property CANConstruction-PT-100-13 finished in 3959 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !((F(G(p0))&&G((X(G(p2))||p1))))], workingDir=/home/mcc/execution]
Support contains 6 out of 21202 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 21202/21202 places, 40800/40800 transitions.
Applied a total of 0 rules in 126 ms. Remains 21202 /21202 variables (removed 0) and now considering 40800/40800 (removed 0) transitions.
// Phase 1: matrix 40800 rows 21202 cols
[2021-05-17 15:52:24] [INFO ] Computed 201 place invariants in 538 ms
[2021-05-17 15:52:25] [INFO ] Implicit Places using invariants in 1922 ms returned []
Implicit Place search using SMT only with invariants took 1923 ms to find 0 implicit places.
// Phase 1: matrix 40800 rows 21202 cols
[2021-05-17 15:52:36] [INFO ] Computed 201 place invariants in 390 ms
[2021-05-17 15:52:37] [INFO ] Dead Transitions using invariants and state equation in 12187 ms returned []
Finished structural reductions, in 1 iterations. Remains : 21202/21202 places, 40800/40800 transitions.
Stuttering acceptance computed with spot in 91 ms :[(OR (NOT p0) (AND (NOT p1) (NOT p2))), (NOT p0), (NOT p2), true]
Running random walk in product with property : CANConstruction-PT-100-14 automaton TGBA [mat=[[{ cond=true, acceptance={} source=0 dest: 0}, { cond=(NOT p0), acceptance={} source=0 dest: 1}, { cond=(NOT p1), acceptance={} source=0 dest: 2}], [{ cond=(NOT p0), acceptance={0} source=1 dest: 1}, { cond=p0, acceptance={} source=1 dest: 1}], [{ cond=(AND p1 p2), acceptance={} source=2 dest: 2}, { cond=(NOT p2), acceptance={} source=2 dest: 3}], [{ cond=true, acceptance={0} source=3 dest: 3}]], initial=0, aps=[p0:(OR (AND (GEQ s585 1) (GEQ s1322 1)) (LT s202 1) (LT s15488 1)), p1:(OR (LT s585 1) (LT s1322 1)), p2:(AND (GEQ s216 1) (GEQ s17866 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch], stateDesc=[null, null, null, null][false, false, false, false]]
Entered a terminal (fully accepting) state of product in 1200 steps with 0 reset in 33 ms.
FORMULA CANConstruction-PT-100-14 FALSE TECHNIQUES STUTTER_TEST
Treatment of property CANConstruction-PT-100-14 finished in 14456 ms.
Using solver Z3 to compute partial order matrices.
Built C files in :
/tmp/ltsmin2748151345604715818
[2021-05-17 15:52:38] [INFO ] Too many transitions (40800) to apply POR reductions. Disabling POR matrices.
[2021-05-17 15:52:39] [INFO ] Built C files in 469ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin2748151345604715818
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/ltsmin2748151345604715818]
[2021-05-17 15:52:39] [INFO ] Applying decomposition
[2021-05-17 15:52:41] [INFO ] Flatten gal took : 1886 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/graph17864792977808918779.txt, -o, /tmp/graph17864792977808918779.bin, -w, /tmp/graph17864792977808918779.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/graph17864792977808918779.bin, -l, -1, -v, -w, /tmp/graph17864792977808918779.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-17 15:52:44] [INFO ] Decomposing Gal with order
[2021-05-17 15:52:47] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-17 15:52:56] [INFO ] Removed a total of 17442 redundant transitions.
[2021-05-17 15:52:56] [INFO ] Flatten gal took : 4208 ms
[2021-05-17 15:52:58] [INFO ] Fuse similar labels procedure discarded/fused a total of 513 labels/synchronizations in 871 ms.
[2021-05-17 15:52:58] [INFO ] Time to serialize gal into /tmp/LTLFireability17072532684334924640.gal : 337 ms
[2021-05-17 15:52:58] [INFO ] Time to serialize properties into /tmp/LTLFireability8243475824676504206.ltl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTLFireability17072532684334924640.gal, -t, CGAL, -LTL, /tmp/LTLFireability8243475824676504206.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]

its-ltl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTLFireability17072532684334924640.gal -t CGAL -LTL /tmp/LTLFireability8243475824676504206.ltl -c -stutter-deadlock
Read 3 LTL properties
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/ltsmin2748151345604715818] killed by timeout after 25 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/ltsmin2748151345604715818] killed by timeout after 25 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Checking formula 0 : !((X((F(!("((i72.u533.Node30IsInserted>=1)&&(i57.i1.u551.Node44requestsent30>=1))")))||((!("((i33.i0.u526.Node21IsInserted>=1)&&(i76.i1.u359.Node71Request>=1))"))U(((!("((i33.i0.u526.Node21IsInserted>=1)&&(i76.i1.u359.Node71Request>=1))"))&&(G(!("((i81.u583.Node78IsInserted>=1)&&(i74.i0.u340.Node67requestsent78>=1))"))))||(G(!("((i33.i0.u526.Node21IsInserted>=1)&&(i76.i1.u359.Node71Request>=1))"))))))))
Formula 0 simplified : !X(F!"((i72.u533.Node30IsInserted>=1)&&(i57.i1.u551.Node44requestsent30>=1))" | (!"((i33.i0.u526.Node21IsInserted>=1)&&(i76.i1.u359.Node71Request>=1))" U ((!"((i33.i0.u526.Node21IsInserted>=1)&&(i76.i1.u359.Node71Request>=1))" & G!"((i81.u583.Node78IsInserted>=1)&&(i74.i0.u340.Node67requestsent78>=1))") | G!"((i33.i0.u526.Node21IsInserted>=1)&&(i76.i1.u359.Node71Request>=1))")))
ITS-tools command line returned an error code 137
[2021-05-17 16:03:20] [INFO ] Flatten gal took : 2843 ms
[2021-05-17 16:03:20] [INFO ] Time to serialize gal into /tmp/LTLFireability1143693511760901581.gal : 458 ms
[2021-05-17 16:03:20] [INFO ] Time to serialize properties into /tmp/LTLFireability8853988182341560171.ltl : 3 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTLFireability1143693511760901581.gal, -t, CGAL, -LTL, /tmp/LTLFireability8853988182341560171.ltl, -c, -stutter-deadlock, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-ltl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTLFireability1143693511760901581.gal -t CGAL -LTL /tmp/LTLFireability8853988182341560171.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 3 LTL properties
Checking formula 0 : !((X((F(!("((Node30IsInserted>=1)&&(Node44requestsent30>=1))")))||((!("((Node21IsInserted>=1)&&(Node71Request>=1))"))U(((!("((Node21IsInserted>=1)&&(Node71Request>=1))"))&&(G(!("((Node78IsInserted>=1)&&(Node67requestsent78>=1))"))))||(G(!("((Node21IsInserted>=1)&&(Node71Request>=1))"))))))))
Formula 0 simplified : !X(F!"((Node30IsInserted>=1)&&(Node44requestsent30>=1))" | (!"((Node21IsInserted>=1)&&(Node71Request>=1))" U ((!"((Node21IsInserted>=1)&&(Node71Request>=1))" & G!"((Node78IsInserted>=1)&&(Node67requestsent78>=1))") | G!"((Node21IsInserted>=1)&&(Node71Request>=1))")))
Detected timeout of ITS tools.
[2021-05-17 16:27:14] [INFO ] Flatten gal took : 1977 ms
[2021-05-17 16:27:17] [INFO ] Input system was already deterministic with 40800 transitions.
[2021-05-17 16:27:17] [INFO ] Transformed 21202 places.
[2021-05-17 16:27:17] [INFO ] Transformed 40800 transitions.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/pinvar, /home/mcc/execution/gspn], workingDir=/home/mcc/execution]
P-invariant computation with GreatSPN timed out. Skipping.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/RGMEDD2, /home/mcc/execution/gspn, -META, -varord-only], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
[2021-05-17 16:28:08] [INFO ] Time to serialize gal into /tmp/LTLFireability11951456659947299566.gal : 96 ms
[2021-05-17 16:28:08] [INFO ] Time to serialize properties into /tmp/LTLFireability16013257889655495590.ltl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTLFireability11951456659947299566.gal, -t, CGAL, -LTL, /tmp/LTLFireability16013257889655495590.ltl, -c, -stutter-deadlock, --load-order, /home/mcc/execution/model.ord, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-ltl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTLFireability11951456659947299566.gal -t CGAL -LTL /tmp/LTLFireability16013257889655495590.ltl -c -stutter-deadlock --load-order /home/mcc/execution/model.ord --gen-order FOLLOW
Read 3 LTL properties
Successfully loaded order from file /home/mcc/execution/model.ord
Checking formula 0 : !((X((F(!("((Node30IsInserted>=1)&&(Node44requestsent30>=1))")))||((!("((Node21IsInserted>=1)&&(Node71Request>=1))"))U(((!("((Node21IsInserted>=1)&&(Node71Request>=1))"))&&(G(!("((Node78IsInserted>=1)&&(Node67requestsent78>=1))"))))||(G(!("((Node21IsInserted>=1)&&(Node71Request>=1))"))))))))
Formula 0 simplified : !X(F!"((Node30IsInserted>=1)&&(Node44requestsent30>=1))" | (!"((Node21IsInserted>=1)&&(Node71Request>=1))" U ((!"((Node21IsInserted>=1)&&(Node71Request>=1))" & G!"((Node78IsInserted>=1)&&(Node67requestsent78>=1))") | G!"((Node21IsInserted>=1)&&(Node71Request>=1))")))
ITS-tools command line returned an error code 137

BK_STOP 1621269567054

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

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CANConstruction-PT-100"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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

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