fond
Model Checking Contest 2022
12th edition, Bergen, Norway, June 21, 2022
Execution of r046-smll-165252115900204
Last Updated
Jun 22, 2022

About the Execution of 2021-gold for DES-PT-60b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
3278.128 820597.00 1490828.00 2483.70 FTTTTFTFTFTFTTTT normal

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2022-input.r046-smll-165252115900204.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2022-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool gold2021
Input is DES-PT-60b, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r046-smll-165252115900204
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 540K
-rw-r--r-- 1 mcc users 7.0K Apr 29 15:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 77K Apr 29 15:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Apr 29 15:56 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Apr 29 15:56 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 10 09:33 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.6K May 10 09:33 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K May 9 07:24 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 9 07:24 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 9 07:24 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 9 07:24 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.0K Apr 29 15:57 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 81K Apr 29 15:57 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Apr 29 15:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 63K Apr 29 15:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K May 9 07:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K May 9 07:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 10 09:33 equiv_col
-rw-r--r-- 1 mcc users 4 May 10 09:33 instance
-rw-r--r-- 1 mcc users 6 May 10 09:33 iscolored
-rw-r--r-- 1 mcc users 139K May 10 09:33 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1655077275229

Running Version 0
[2022-06-12 23:41:17] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityFireability, -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]
[2022-06-12 23:41:17] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-06-12 23:41:18] [INFO ] Load time of PNML (sax parser for PT used): 133 ms
[2022-06-12 23:41:18] [INFO ] Transformed 519 places.
[2022-06-12 23:41:18] [INFO ] Transformed 470 transitions.
[2022-06-12 23:41:18] [INFO ] Found NUPN structural information;
[2022-06-12 23:41:18] [INFO ] Parsed PT model containing 519 places and 470 transitions in 200 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityFireability.xml in 17 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 10000 steps, including 85 resets, run finished after 85 ms. (steps per millisecond=117 ) properties (out of 16) seen :5
FORMULA DES-PT-60b-ReachabilityFireability-13 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DES-PT-60b-ReachabilityFireability-12 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DES-PT-60b-ReachabilityFireability-10 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DES-PT-60b-ReachabilityFireability-07 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DES-PT-60b-ReachabilityFireability-00 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 14 resets, run finished after 55 ms. (steps per millisecond=181 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 12 resets, run finished after 22 ms. (steps per millisecond=454 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 11 resets, run finished after 59 ms. (steps per millisecond=169 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 13 resets, run finished after 47 ms. (steps per millisecond=212 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 13 resets, run finished after 28 ms. (steps per millisecond=357 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 11 resets, run finished after 25 ms. (steps per millisecond=400 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 12 resets, run finished after 14 ms. (steps per millisecond=714 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 16 resets, run finished after 12 ms. (steps per millisecond=833 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 9 resets, run finished after 60 ms. (steps per millisecond=166 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 12 resets, run finished after 42 ms. (steps per millisecond=238 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 11 resets, run finished after 15 ms. (steps per millisecond=666 ) properties (out of 11) seen :0
Running SMT prover for 11 properties.
// Phase 1: matrix 470 rows 519 cols
[2022-06-12 23:41:18] [INFO ] Computed 65 place invariants in 74 ms
[2022-06-12 23:41:19] [INFO ] [Real]Absence check using 39 positive place invariants in 37 ms returned sat
[2022-06-12 23:41:19] [INFO ] [Real]Absence check using 39 positive and 26 generalized place invariants in 53 ms returned sat
[2022-06-12 23:41:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 23:41:20] [INFO ] [Real]Absence check using state equation in 1770 ms returned sat
[2022-06-12 23:41:20] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 23:41:21] [INFO ] [Nat]Absence check using 39 positive place invariants in 34 ms returned sat
[2022-06-12 23:41:21] [INFO ] [Nat]Absence check using 39 positive and 26 generalized place invariants in 66 ms returned sat
[2022-06-12 23:41:21] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 23:41:23] [INFO ] [Nat]Absence check using state equation in 1803 ms returned sat
[2022-06-12 23:41:23] [INFO ] Computed and/alt/rep : 464/1033/464 causal constraints (skipped 5 transitions) in 61 ms.
[2022-06-12 23:41:26] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ... while checking expression at index 0
[2022-06-12 23:41:26] [INFO ] [Real]Absence check using 39 positive place invariants in 36 ms returned sat
[2022-06-12 23:41:26] [INFO ] [Real]Absence check using 39 positive and 26 generalized place invariants in 53 ms returned sat
[2022-06-12 23:41:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 23:41:26] [INFO ] [Real]Absence check using state equation in 443 ms returned sat
[2022-06-12 23:41:26] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 23:41:26] [INFO ] [Nat]Absence check using 39 positive place invariants in 26 ms returned sat
[2022-06-12 23:41:27] [INFO ] [Nat]Absence check using 39 positive and 26 generalized place invariants in 258 ms returned sat
[2022-06-12 23:41:27] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 23:41:27] [INFO ] [Nat]Absence check using state equation in 735 ms returned sat
[2022-06-12 23:41:28] [INFO ] Deduced a trap composed of 16 places in 251 ms of which 8 ms to minimize.
[2022-06-12 23:41:28] [INFO ] Deduced a trap composed of 14 places in 204 ms of which 1 ms to minimize.
[2022-06-12 23:41:28] [INFO ] Deduced a trap composed of 12 places in 234 ms of which 1 ms to minimize.
[2022-06-12 23:41:29] [INFO ] Deduced a trap composed of 15 places in 156 ms of which 2 ms to minimize.
[2022-06-12 23:41:29] [INFO ] Deduced a trap composed of 24 places in 161 ms of which 2 ms to minimize.
[2022-06-12 23:41:29] [INFO ] Deduced a trap composed of 35 places in 122 ms of which 1 ms to minimize.
[2022-06-12 23:41:29] [INFO ] Trap strengthening (SAT) tested/added 7/6 trap constraints in 1567 ms
[2022-06-12 23:41:29] [INFO ] Computed and/alt/rep : 464/1033/464 causal constraints (skipped 5 transitions) in 40 ms.
[2022-06-12 23:41:31] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 1
[2022-06-12 23:41:31] [INFO ] [Real]Absence check using 39 positive place invariants in 29 ms returned sat
[2022-06-12 23:41:31] [INFO ] [Real]Absence check using 39 positive and 26 generalized place invariants in 77 ms returned sat
[2022-06-12 23:41:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 23:41:36] [INFO ] [Real]Absence check using state equation in 4774 ms returned unknown
[2022-06-12 23:41:36] [INFO ] [Real]Absence check using 39 positive place invariants in 27 ms returned sat
[2022-06-12 23:41:36] [INFO ] [Real]Absence check using 39 positive and 26 generalized place invariants in 83 ms returned sat
[2022-06-12 23:41:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 23:41:41] [INFO ] [Real]Absence check using state equation in 4775 ms returned unknown
[2022-06-12 23:41:41] [INFO ] [Real]Absence check using 39 positive place invariants in 15 ms returned unsat
[2022-06-12 23:41:42] [INFO ] [Real]Absence check using 39 positive place invariants in 27 ms returned sat
[2022-06-12 23:41:42] [INFO ] [Real]Absence check using 39 positive and 26 generalized place invariants in 92 ms returned sat
[2022-06-12 23:41:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 23:41:46] [INFO ] [Real]Absence check using state equation in 4769 ms returned unknown
[2022-06-12 23:41:47] [INFO ] [Real]Absence check using 39 positive place invariants in 25 ms returned sat
[2022-06-12 23:41:47] [INFO ] [Real]Absence check using 39 positive and 26 generalized place invariants in 34 ms returned sat
[2022-06-12 23:41:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 23:41:47] [INFO ] [Real]Absence check using state equation in 296 ms returned sat
[2022-06-12 23:41:47] [INFO ] Deduced a trap composed of 9 places in 236 ms of which 1 ms to minimize.
[2022-06-12 23:41:47] [INFO ] Deduced a trap composed of 62 places in 221 ms of which 1 ms to minimize.
[2022-06-12 23:41:48] [INFO ] Deduced a trap composed of 53 places in 196 ms of which 1 ms to minimize.
[2022-06-12 23:41:48] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 758 ms
[2022-06-12 23:41:48] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 23:41:48] [INFO ] [Nat]Absence check using 39 positive place invariants in 28 ms returned sat
[2022-06-12 23:41:48] [INFO ] [Nat]Absence check using 39 positive and 26 generalized place invariants in 33 ms returned sat
[2022-06-12 23:41:48] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 23:41:48] [INFO ] [Nat]Absence check using state equation in 320 ms returned sat
[2022-06-12 23:41:48] [INFO ] Deduced a trap composed of 12 places in 249 ms of which 1 ms to minimize.
[2022-06-12 23:41:49] [INFO ] Deduced a trap composed of 15 places in 205 ms of which 1 ms to minimize.
[2022-06-12 23:41:49] [INFO ] Deduced a trap composed of 22 places in 153 ms of which 1 ms to minimize.
[2022-06-12 23:41:49] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 708 ms
[2022-06-12 23:41:49] [INFO ] Computed and/alt/rep : 464/1033/464 causal constraints (skipped 5 transitions) in 44 ms.
[2022-06-12 23:41:52] [INFO ] Deduced a trap composed of 31 places in 117 ms of which 1 ms to minimize.
[2022-06-12 23:41:52] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 187 ms
[2022-06-12 23:41:52] [INFO ] Added : 275 causal constraints over 56 iterations in 3480 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 11 ms.
[2022-06-12 23:41:53] [INFO ] [Real]Absence check using 39 positive place invariants in 21 ms returned unsat
[2022-06-12 23:41:53] [INFO ] [Real]Absence check using 39 positive place invariants in 29 ms returned sat
[2022-06-12 23:41:53] [INFO ] [Real]Absence check using 39 positive and 26 generalized place invariants in 68 ms returned sat
[2022-06-12 23:41:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 23:41:55] [INFO ] [Real]Absence check using state equation in 2258 ms returned sat
[2022-06-12 23:41:55] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 23:41:55] [INFO ] [Nat]Absence check using 39 positive place invariants in 28 ms returned sat
[2022-06-12 23:41:56] [INFO ] [Nat]Absence check using 39 positive and 26 generalized place invariants in 955 ms returned sat
[2022-06-12 23:41:56] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 23:42:00] [INFO ] [Nat]Absence check using state equation in 3913 ms returned unknown
[2022-06-12 23:42:00] [INFO ] [Real]Absence check using 39 positive place invariants in 25 ms returned sat
[2022-06-12 23:42:00] [INFO ] [Real]Absence check using 39 positive and 26 generalized place invariants in 48 ms returned sat
[2022-06-12 23:42:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 23:42:01] [INFO ] [Real]Absence check using state equation in 861 ms returned sat
[2022-06-12 23:42:01] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 23:42:01] [INFO ] [Nat]Absence check using 39 positive place invariants in 27 ms returned sat
[2022-06-12 23:42:03] [INFO ] [Nat]Absence check using 39 positive and 26 generalized place invariants in 1404 ms returned sat
[2022-06-12 23:42:03] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 23:42:06] [INFO ] [Nat]Absence check using state equation in 3460 ms returned unknown
[2022-06-12 23:42:06] [INFO ] [Real]Absence check using 39 positive place invariants in 24 ms returned sat
[2022-06-12 23:42:06] [INFO ] [Real]Absence check using 39 positive and 26 generalized place invariants in 61 ms returned sat
[2022-06-12 23:42:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 23:42:08] [INFO ] [Real]Absence check using state equation in 1916 ms returned sat
[2022-06-12 23:42:08] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 23:42:08] [INFO ] [Nat]Absence check using 39 positive place invariants in 24 ms returned sat
[2022-06-12 23:42:09] [INFO ] [Nat]Absence check using 39 positive and 26 generalized place invariants in 781 ms returned sat
[2022-06-12 23:42:09] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 23:42:10] [INFO ] [Nat]Absence check using state equation in 988 ms returned sat
[2022-06-12 23:42:10] [INFO ] Deduced a trap composed of 28 places in 166 ms of which 0 ms to minimize.
[2022-06-12 23:42:10] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 221 ms
[2022-06-12 23:42:10] [INFO ] Computed and/alt/rep : 464/1033/464 causal constraints (skipped 5 transitions) in 29 ms.
[2022-06-12 23:42:13] [INFO ] Added : 255 causal constraints over 51 iterations in 2891 ms. Result :unknown
FORMULA DES-PT-60b-ReachabilityFireability-09 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA DES-PT-60b-ReachabilityFireability-05 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Fused 11 Parikh solutions to 3 different solutions.
Incomplete Parikh walk after 236600 steps, including 2543 resets, run finished after 860 ms. (steps per millisecond=275 ) properties (out of 9) seen :0 could not realise parikh vector
Incomplete Parikh walk after 652300 steps, including 6469 resets, run finished after 1775 ms. (steps per millisecond=367 ) properties (out of 9) seen :1 could not realise parikh vector
FORMULA DES-PT-60b-ReachabilityFireability-01 TRUE TECHNIQUES TOPOLOGICAL PARIKH_WALK
Support contains 127 out of 519 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 519/519 places, 470/470 transitions.
Graph (complete) has 1218 edges and 519 vertex of which 510 are kept as prefixes of interest. Removing 9 places using SCC suffix rule.11 ms
Discarding 9 places :
Also discarding 3 output transitions
Drop transitions removed 3 transitions
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Drop transitions removed 6 transitions
Trivial Post-agglo rules discarded 6 transitions
Performed 6 trivial Post agglomeration. Transition count delta: 6
Iterating post reduction 0 with 7 rules applied. Total rules applied 8 place count 510 transition count 460
Reduce places removed 6 places and 0 transitions.
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Iterating post reduction 1 with 10 rules applied. Total rules applied 18 place count 504 transition count 456
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 2 with 4 rules applied. Total rules applied 22 place count 500 transition count 456
Performed 7 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 7 Pre rules applied. Total rules applied 22 place count 500 transition count 449
Deduced a syphon composed of 7 places in 3 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 3 with 14 rules applied. Total rules applied 36 place count 493 transition count 449
Discarding 17 places :
Symmetric choice reduction at 3 with 17 rule applications. Total rules 53 place count 476 transition count 432
Iterating global reduction 3 with 17 rules applied. Total rules applied 70 place count 476 transition count 432
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 1 Pre rules applied. Total rules applied 70 place count 476 transition count 431
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 72 place count 475 transition count 431
Discarding 7 places :
Symmetric choice reduction at 3 with 7 rule applications. Total rules 79 place count 468 transition count 424
Iterating global reduction 3 with 7 rules applied. Total rules applied 86 place count 468 transition count 424
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 3 with 6 rules applied. Total rules applied 92 place count 468 transition count 418
Performed 31 Post agglomeration using F-continuation condition.Transition count delta: 31
Deduced a syphon composed of 31 places in 15 ms
Reduce places removed 31 places and 0 transitions.
Iterating global reduction 4 with 62 rules applied. Total rules applied 154 place count 437 transition count 387
Free-agglomeration rule applied 1 times.
Iterating global reduction 4 with 1 rules applied. Total rules applied 155 place count 437 transition count 386
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 4 with 1 rules applied. Total rules applied 156 place count 436 transition count 386
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 5 with 2 rules applied. Total rules applied 158 place count 436 transition count 384
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 5 with 2 rules applied. Total rules applied 160 place count 434 transition count 384
Partial Free-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 6 with 1 rules applied. Total rules applied 161 place count 434 transition count 384
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 6 with 1 rules applied. Total rules applied 162 place count 433 transition count 383
Applied a total of 162 rules in 520 ms. Remains 433 /519 variables (removed 86) and now considering 383/470 (removed 87) transitions.
Finished structural reductions, in 1 iterations. Remains : 433/519 places, 383/470 transitions.
[2022-06-12 23:42:17] [INFO ] Flatten gal took : 190 ms
[2022-06-12 23:42:17] [INFO ] Flatten gal took : 80 ms
[2022-06-12 23:42:17] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality8357329796013369161.gal : 49 ms
[2022-06-12 23:42:17] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality14822862205125826478.prop : 9 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality8357329796013369161.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality14822862205125826478.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality8357329796013369161.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality14822862205125826478.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality14822862205125826478.prop.
SDD proceeding with computation,8 properties remain. new max is 4
SDD size :1 after 2
SDD proceeding with computation,8 properties remain. new max is 8
SDD size :2 after 8
SDD proceeding with computation,8 properties remain. new max is 16
SDD size :8 after 17
SDD proceeding with computation,8 properties remain. new max is 32
SDD size :17 after 67
SDD proceeding with computation,8 properties remain. new max is 64
SDD size :67 after 149
SDD proceeding with computation,8 properties remain. new max is 128
SDD size :149 after 377
SDD proceeding with computation,8 properties remain. new max is 256
SDD size :377 after 30823
SDD proceeding with computation,8 properties remain. new max is 512
SDD size :30823 after 31155
SDD proceeding with computation,8 properties remain. new max is 1024
SDD size :31155 after 350771
SDD proceeding with computation,8 properties remain. new max is 2048
SDD size :350771 after 1.13736e+06
SDD proceeding with computation,8 properties remain. new max is 4096
SDD size :1.13736e+06 after 4.4598e+08
SDD proceeding with computation,8 properties remain. new max is 8192
SDD size :4.4598e+08 after 4.51725e+08
SDD proceeding with computation,8 properties remain. new max is 16384
SDD size :4.51725e+08 after 1.62518e+10
SDD proceeding with computation,8 properties remain. new max is 32768
SDD size :1.62518e+10 after 2.52777e+10
Detected timeout of ITS tools.
[2022-06-12 23:42:33] [INFO ] Flatten gal took : 51 ms
[2022-06-12 23:42:33] [INFO ] Applying decomposition
[2022-06-12 23:42:33] [INFO ] Flatten gal took : 78 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/graph16876962074868788906.txt, -o, /tmp/graph16876962074868788906.bin, -w, /tmp/graph16876962074868788906.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/graph16876962074868788906.bin, -l, -1, -v, -w, /tmp/graph16876962074868788906.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-06-12 23:42:33] [INFO ] Decomposing Gal with order
[2022-06-12 23:42:33] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-12 23:42:33] [INFO ] Removed a total of 25 redundant transitions.
[2022-06-12 23:42:33] [INFO ] Flatten gal took : 91 ms
[2022-06-12 23:42:33] [INFO ] Fuse similar labels procedure discarded/fused a total of 15 labels/synchronizations in 12 ms.
[2022-06-12 23:42:33] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality17916268036242407001.gal : 11 ms
[2022-06-12 23:42:33] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality12326022369150242796.prop : 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-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality17916268036242407001.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality12326022369150242796.prop, --nowitness], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality17916268036242407001.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality12326022369150242796.prop --nowitness
Loading property file /tmp/ReachabilityCardinality12326022369150242796.prop.
SDD proceeding with computation,8 properties remain. new max is 4
SDD size :1 after 1
SDD proceeding with computation,8 properties remain. new max is 8
SDD size :1 after 1
SDD proceeding with computation,8 properties remain. new max is 16
SDD size :1 after 4
SDD proceeding with computation,8 properties remain. new max is 32
SDD size :4 after 1350
SDD proceeding with computation,8 properties remain. new max is 64
SDD size :197264 after 200288
SDD proceeding with computation,8 properties remain. new max is 128
SDD size :200288 after 1.28404e+10
SDD proceeding with computation,8 properties remain. new max is 256
SDD size :1.28404e+10 after 4.84815e+13
SDD proceeding with computation,8 properties remain. new max is 512
SDD size :4.84815e+13 after 1.01483e+14
Reachability property DES-PT-60b-ReachabilityFireability-06 is true.
FORMULA DES-PT-60b-ReachabilityFireability-06 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
SDD proceeding with computation,7 properties remain. new max is 512
SDD size :1.01483e+14 after 1.60759e+14
SDD proceeding with computation,7 properties remain. new max is 1024
SDD size :1.60759e+14 after 2.02598e+14
SDD proceeding with computation,7 properties remain. new max is 2048
SDD size :2.02598e+14 after 2.97266e+14
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin12906438632802231407
[2022-06-12 23:42:48] [INFO ] Built C files in 73ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin12906438632802231407
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/ltsmin12906438632802231407]
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/ltsmin12906438632802231407] 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/ltsmin12906438632802231407] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Incomplete random walk after 1000000 steps, including 12395 resets, run finished after 2785 ms. (steps per millisecond=359 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 1000001 steps, including 1783 resets, run finished after 807 ms. (steps per millisecond=1239 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 1000001 steps, including 1519 resets, run finished after 3188 ms. (steps per millisecond=313 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 1000001 steps, including 1694 resets, run finished after 2882 ms. (steps per millisecond=346 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 1000000 steps, including 2115 resets, run finished after 955 ms. (steps per millisecond=1047 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 1000001 steps, including 1765 resets, run finished after 2317 ms. (steps per millisecond=431 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 1000000 steps, including 2125 resets, run finished after 2112 ms. (steps per millisecond=473 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 1000001 steps, including 1766 resets, run finished after 967 ms. (steps per millisecond=1034 ) properties (out of 7) seen :0
Interrupted probabilistic random walk after 9720320 steps, run timeout after 30001 ms. (steps per millisecond=323 ) properties seen :{}
Probabilistic random walk after 9720320 steps, saw 1305526 distinct states, run finished after 30007 ms. (steps per millisecond=323 ) properties seen :{}
Running SMT prover for 7 properties.
// Phase 1: matrix 383 rows 433 cols
[2022-06-12 23:43:35] [INFO ] Computed 60 place invariants in 25 ms
[2022-06-12 23:43:35] [INFO ] [Real]Absence check using 36 positive place invariants in 17 ms returned sat
[2022-06-12 23:43:35] [INFO ] [Real]Absence check using 36 positive and 24 generalized place invariants in 23 ms returned sat
[2022-06-12 23:43:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 23:43:36] [INFO ] [Real]Absence check using state equation in 316 ms returned sat
[2022-06-12 23:43:36] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 23:43:36] [INFO ] [Nat]Absence check using 36 positive place invariants in 16 ms returned sat
[2022-06-12 23:43:36] [INFO ] [Nat]Absence check using 36 positive and 24 generalized place invariants in 86 ms returned sat
[2022-06-12 23:43:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 23:43:37] [INFO ] [Nat]Absence check using state equation in 1249 ms returned sat
[2022-06-12 23:43:37] [INFO ] State equation strengthened by 1 read => feed constraints.
[2022-06-12 23:43:37] [INFO ] [Nat]Added 1 Read/Feed constraints in 3 ms returned sat
[2022-06-12 23:43:37] [INFO ] Deduced a trap composed of 6 places in 154 ms of which 1 ms to minimize.
[2022-06-12 23:43:37] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 207 ms
[2022-06-12 23:43:37] [INFO ] Computed and/alt/rep : 376/923/376 causal constraints (skipped 5 transitions) in 30 ms.
[2022-06-12 23:43:40] [INFO ] Added : 287 causal constraints over 58 iterations in 2604 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 14 ms.
[2022-06-12 23:43:40] [INFO ] [Real]Absence check using 36 positive place invariants in 17 ms returned sat
[2022-06-12 23:43:40] [INFO ] [Real]Absence check using 36 positive and 24 generalized place invariants in 23 ms returned sat
[2022-06-12 23:43:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 23:43:41] [INFO ] [Real]Absence check using state equation in 689 ms returned sat
[2022-06-12 23:43:41] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 23:43:41] [INFO ] [Nat]Absence check using 36 positive place invariants in 17 ms returned sat
[2022-06-12 23:43:41] [INFO ] [Nat]Absence check using 36 positive and 24 generalized place invariants in 50 ms returned sat
[2022-06-12 23:43:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 23:43:42] [INFO ] [Nat]Absence check using state equation in 643 ms returned sat
[2022-06-12 23:43:42] [INFO ] [Nat]Added 1 Read/Feed constraints in 5 ms returned sat
[2022-06-12 23:43:42] [INFO ] Deduced a trap composed of 6 places in 69 ms of which 1 ms to minimize.
[2022-06-12 23:43:42] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 116 ms
[2022-06-12 23:43:42] [INFO ] Computed and/alt/rep : 376/923/376 causal constraints (skipped 5 transitions) in 30 ms.
[2022-06-12 23:43:44] [INFO ] Deduced a trap composed of 16 places in 45 ms of which 0 ms to minimize.
[2022-06-12 23:43:44] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 104 ms
[2022-06-12 23:43:44] [INFO ] Added : 209 causal constraints over 43 iterations in 2002 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 11 ms.
[2022-06-12 23:43:44] [INFO ] [Real]Absence check using 36 positive place invariants in 17 ms returned sat
[2022-06-12 23:43:44] [INFO ] [Real]Absence check using 36 positive and 24 generalized place invariants in 22 ms returned sat
[2022-06-12 23:43:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 23:43:45] [INFO ] [Real]Absence check using state equation in 557 ms returned sat
[2022-06-12 23:43:45] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 23:43:45] [INFO ] [Nat]Absence check using 36 positive place invariants in 17 ms returned sat
[2022-06-12 23:43:45] [INFO ] [Nat]Absence check using 36 positive and 24 generalized place invariants in 130 ms returned sat
[2022-06-12 23:43:45] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 23:43:46] [INFO ] [Nat]Absence check using state equation in 1359 ms returned sat
[2022-06-12 23:43:46] [INFO ] [Nat]Added 1 Read/Feed constraints in 4 ms returned sat
[2022-06-12 23:43:46] [INFO ] Deduced a trap composed of 20 places in 145 ms of which 2 ms to minimize.
[2022-06-12 23:43:47] [INFO ] Deduced a trap composed of 24 places in 92 ms of which 0 ms to minimize.
[2022-06-12 23:43:47] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 893 ms
[2022-06-12 23:43:47] [INFO ] Computed and/alt/rep : 376/923/376 causal constraints (skipped 5 transitions) in 23 ms.
[2022-06-12 23:43:49] [INFO ] Added : 242 causal constraints over 49 iterations in 2004 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 10 ms.
[2022-06-12 23:43:49] [INFO ] [Real]Absence check using 36 positive place invariants in 15 ms returned sat
[2022-06-12 23:43:49] [INFO ] [Real]Absence check using 36 positive and 24 generalized place invariants in 20 ms returned sat
[2022-06-12 23:43:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 23:43:49] [INFO ] [Real]Absence check using state equation in 327 ms returned sat
[2022-06-12 23:43:50] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 23:43:50] [INFO ] [Nat]Absence check using 36 positive place invariants in 13 ms returned sat
[2022-06-12 23:43:50] [INFO ] [Nat]Absence check using 36 positive and 24 generalized place invariants in 81 ms returned sat
[2022-06-12 23:43:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 23:43:53] [INFO ] [Nat]Absence check using state equation in 3819 ms returned sat
[2022-06-12 23:43:53] [INFO ] [Nat]Added 1 Read/Feed constraints in 6 ms returned sat
[2022-06-12 23:43:54] [INFO ] Computed and/alt/rep : 376/923/376 causal constraints (skipped 5 transitions) in 27 ms.
[2022-06-12 23:43:55] [INFO ] Deduced a trap composed of 19 places in 39 ms of which 1 ms to minimize.
[2022-06-12 23:43:55] [INFO ] Deduced a trap composed of 15 places in 52 ms of which 0 ms to minimize.
[2022-06-12 23:43:55] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 187 ms
[2022-06-12 23:43:55] [INFO ] Added : 175 causal constraints over 35 iterations in 1939 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 8 ms.
[2022-06-12 23:43:56] [INFO ] [Real]Absence check using 36 positive place invariants in 17 ms returned sat
[2022-06-12 23:43:56] [INFO ] [Real]Absence check using 36 positive and 24 generalized place invariants in 24 ms returned sat
[2022-06-12 23:43:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 23:43:56] [INFO ] [Real]Absence check using state equation in 440 ms returned sat
[2022-06-12 23:43:56] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 23:43:56] [INFO ] [Nat]Absence check using 36 positive place invariants in 17 ms returned sat
[2022-06-12 23:43:56] [INFO ] [Nat]Absence check using 36 positive and 24 generalized place invariants in 97 ms returned sat
[2022-06-12 23:43:56] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 23:43:57] [INFO ] [Nat]Absence check using state equation in 1090 ms returned sat
[2022-06-12 23:43:57] [INFO ] [Nat]Added 1 Read/Feed constraints in 7 ms returned sat
[2022-06-12 23:43:57] [INFO ] Computed and/alt/rep : 376/923/376 causal constraints (skipped 5 transitions) in 27 ms.
[2022-06-12 23:44:00] [INFO ] Added : 295 causal constraints over 60 iterations in 2693 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 10 ms.
[2022-06-12 23:44:00] [INFO ] [Real]Absence check using 36 positive place invariants in 16 ms returned sat
[2022-06-12 23:44:00] [INFO ] [Real]Absence check using 36 positive and 24 generalized place invariants in 22 ms returned sat
[2022-06-12 23:44:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 23:44:00] [INFO ] [Real]Absence check using state equation in 269 ms returned sat
[2022-06-12 23:44:00] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 23:44:01] [INFO ] [Nat]Absence check using 36 positive place invariants in 17 ms returned sat
[2022-06-12 23:44:01] [INFO ] [Nat]Absence check using 36 positive and 24 generalized place invariants in 157 ms returned sat
[2022-06-12 23:44:01] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 23:44:01] [INFO ] [Nat]Absence check using state equation in 520 ms returned sat
[2022-06-12 23:44:01] [INFO ] [Nat]Added 1 Read/Feed constraints in 2 ms returned sat
[2022-06-12 23:44:01] [INFO ] Deduced a trap composed of 13 places in 45 ms of which 1 ms to minimize.
[2022-06-12 23:44:01] [INFO ] Deduced a trap composed of 14 places in 44 ms of which 1 ms to minimize.
[2022-06-12 23:44:01] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 154 ms
[2022-06-12 23:44:01] [INFO ] Computed and/alt/rep : 376/923/376 causal constraints (skipped 5 transitions) in 26 ms.
[2022-06-12 23:44:03] [INFO ] Added : 230 causal constraints over 47 iterations in 1754 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 5 ms.
[2022-06-12 23:44:03] [INFO ] [Real]Absence check using 36 positive place invariants in 15 ms returned sat
[2022-06-12 23:44:03] [INFO ] [Real]Absence check using 36 positive and 24 generalized place invariants in 22 ms returned sat
[2022-06-12 23:44:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 23:44:04] [INFO ] [Real]Absence check using state equation in 272 ms returned sat
[2022-06-12 23:44:04] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 23:44:04] [INFO ] [Nat]Absence check using 36 positive place invariants in 15 ms returned sat
[2022-06-12 23:44:04] [INFO ] [Nat]Absence check using 36 positive and 24 generalized place invariants in 97 ms returned sat
[2022-06-12 23:44:04] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 23:44:05] [INFO ] [Nat]Absence check using state equation in 984 ms returned sat
[2022-06-12 23:44:05] [INFO ] [Nat]Added 1 Read/Feed constraints in 4 ms returned sat
[2022-06-12 23:44:05] [INFO ] Deduced a trap composed of 13 places in 88 ms of which 0 ms to minimize.
[2022-06-12 23:44:05] [INFO ] Deduced a trap composed of 15 places in 61 ms of which 0 ms to minimize.
[2022-06-12 23:44:05] [INFO ] Deduced a trap composed of 25 places in 61 ms of which 0 ms to minimize.
[2022-06-12 23:44:05] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 304 ms
[2022-06-12 23:44:05] [INFO ] Computed and/alt/rep : 376/923/376 causal constraints (skipped 5 transitions) in 23 ms.
[2022-06-12 23:44:08] [INFO ] Deduced a trap composed of 14 places in 136 ms of which 0 ms to minimize.
[2022-06-12 23:44:08] [INFO ] Deduced a trap composed of 7 places in 136 ms of which 1 ms to minimize.
[2022-06-12 23:44:08] [INFO ] Deduced a trap composed of 44 places in 131 ms of which 1 ms to minimize.
[2022-06-12 23:44:08] [INFO ] Deduced a trap composed of 31 places in 137 ms of which 1 ms to minimize.
[2022-06-12 23:44:08] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 726 ms
[2022-06-12 23:44:08] [INFO ] Added : 291 causal constraints over 59 iterations in 3091 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 8 ms.
Incomplete Parikh walk after 396300 steps, including 5684 resets, run finished after 1008 ms. (steps per millisecond=393 ) properties (out of 7) seen :0 could not realise parikh vector
Incomplete Parikh walk after 214800 steps, including 3202 resets, run finished after 513 ms. (steps per millisecond=418 ) properties (out of 7) seen :0 could not realise parikh vector
Incomplete Parikh walk after 362900 steps, including 4464 resets, run finished after 867 ms. (steps per millisecond=418 ) properties (out of 7) seen :0 could not realise parikh vector
Incomplete Parikh walk after 135100 steps, including 1863 resets, run finished after 325 ms. (steps per millisecond=415 ) properties (out of 7) seen :0 could not realise parikh vector
Incomplete Parikh walk after 510400 steps, including 7492 resets, run finished after 1208 ms. (steps per millisecond=422 ) properties (out of 7) seen :0 could not realise parikh vector
Incomplete Parikh walk after 299000 steps, including 4489 resets, run finished after 716 ms. (steps per millisecond=417 ) properties (out of 7) seen :0 could not realise parikh vector
Incomplete Parikh walk after 546200 steps, including 6853 resets, run finished after 1311 ms. (steps per millisecond=416 ) properties (out of 7) seen :0 could not realise parikh vector
Support contains 111 out of 433 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 433/433 places, 383/383 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 432 transition count 382
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 432 transition count 382
Performed 6 Post agglomeration using F-continuation condition.Transition count delta: 6
Deduced a syphon composed of 6 places in 1 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 0 with 12 rules applied. Total rules applied 14 place count 426 transition count 376
Free-agglomeration rule applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 15 place count 426 transition count 375
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 16 place count 425 transition count 375
Applied a total of 16 rules in 80 ms. Remains 425 /433 variables (removed 8) and now considering 375/383 (removed 8) transitions.
Finished structural reductions, in 1 iterations. Remains : 425/433 places, 375/383 transitions.
[2022-06-12 23:44:14] [INFO ] Flatten gal took : 34 ms
[2022-06-12 23:44:14] [INFO ] Flatten gal took : 32 ms
[2022-06-12 23:44:14] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality3472105435689130251.gal : 5 ms
[2022-06-12 23:44:14] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality1424440421417877306.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality3472105435689130251.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality1424440421417877306.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality3472105435689130251.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality1424440421417877306.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality1424440421417877306.prop.
SDD proceeding with computation,7 properties remain. new max is 4
SDD size :1 after 2
SDD proceeding with computation,7 properties remain. new max is 8
SDD size :2 after 8
SDD proceeding with computation,7 properties remain. new max is 16
SDD size :8 after 17
SDD proceeding with computation,7 properties remain. new max is 32
SDD size :17 after 41
SDD proceeding with computation,7 properties remain. new max is 64
SDD size :41 after 103
SDD proceeding with computation,7 properties remain. new max is 128
SDD size :103 after 119
SDD proceeding with computation,7 properties remain. new max is 256
SDD size :119 after 25474
SDD proceeding with computation,7 properties remain. new max is 512
SDD size :25474 after 26040
SDD proceeding with computation,7 properties remain. new max is 1024
SDD size :26040 after 271849
SDD proceeding with computation,7 properties remain. new max is 2048
SDD size :271849 after 378826
Detected timeout of ITS tools.
[2022-06-12 23:44:29] [INFO ] Flatten gal took : 34 ms
[2022-06-12 23:44:29] [INFO ] Applying decomposition
[2022-06-12 23:44:29] [INFO ] Flatten gal took : 33 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/graph5489518606501035111.txt, -o, /tmp/graph5489518606501035111.bin, -w, /tmp/graph5489518606501035111.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/graph5489518606501035111.bin, -l, -1, -v, -w, /tmp/graph5489518606501035111.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-06-12 23:44:30] [INFO ] Decomposing Gal with order
[2022-06-12 23:44:30] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-12 23:44:30] [INFO ] Removed a total of 24 redundant transitions.
[2022-06-12 23:44:30] [INFO ] Flatten gal took : 51 ms
[2022-06-12 23:44:30] [INFO ] Fuse similar labels procedure discarded/fused a total of 15 labels/synchronizations in 5 ms.
[2022-06-12 23:44:30] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality15089147358997639403.gal : 7 ms
[2022-06-12 23:44:30] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality7132822157106268413.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality15089147358997639403.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality7132822157106268413.prop, --nowitness], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality15089147358997639403.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality7132822157106268413.prop --nowitness
Loading property file /tmp/ReachabilityCardinality7132822157106268413.prop.
SDD proceeding with computation,7 properties remain. new max is 4
SDD size :1 after 1
SDD proceeding with computation,7 properties remain. new max is 8
SDD size :1 after 1
SDD proceeding with computation,7 properties remain. new max is 16
SDD size :1 after 6
SDD proceeding with computation,7 properties remain. new max is 32
SDD size :6 after 69
SDD proceeding with computation,7 properties remain. new max is 64
SDD size :87446 after 168131
SDD proceeding with computation,7 properties remain. new max is 128
SDD size :168131 after 5.32104e+09
SDD proceeding with computation,7 properties remain. new max is 256
SDD size :5.32104e+09 after 4.14287e+13
SDD proceeding with computation,7 properties remain. new max is 512
SDD size :4.14287e+13 after 7.68965e+13
SDD proceeding with computation,7 properties remain. new max is 1024
SDD size :7.68965e+13 after 1.18037e+14
SDD proceeding with computation,7 properties remain. new max is 2048
SDD size :1.18037e+14 after 1.76809e+14
SDD proceeding with computation,7 properties remain. new max is 4096
SDD size :1.76809e+14 after 2.76722e+14
Reachability property DES-PT-60b-ReachabilityFireability-14 is true.
FORMULA DES-PT-60b-ReachabilityFireability-14 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin9098513128075378686
[2022-06-12 23:44:45] [INFO ] Built C files in 9ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin9098513128075378686
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/ltsmin9098513128075378686]
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/ltsmin9098513128075378686] 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/ltsmin9098513128075378686] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Incomplete random walk after 1000000 steps, including 13092 resets, run finished after 2199 ms. (steps per millisecond=454 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 1000000 steps, including 1879 resets, run finished after 852 ms. (steps per millisecond=1173 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 1000001 steps, including 1594 resets, run finished after 3240 ms. (steps per millisecond=308 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 1000001 steps, including 1798 resets, run finished after 2883 ms. (steps per millisecond=346 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 1000001 steps, including 2301 resets, run finished after 935 ms. (steps per millisecond=1069 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 1000001 steps, including 1898 resets, run finished after 2324 ms. (steps per millisecond=430 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 1000001 steps, including 1859 resets, run finished after 949 ms. (steps per millisecond=1053 ) properties (out of 6) seen :0
Interrupted probabilistic random walk after 9620658 steps, run timeout after 30001 ms. (steps per millisecond=320 ) properties seen :{}
Probabilistic random walk after 9620658 steps, saw 1448422 distinct states, run finished after 30001 ms. (steps per millisecond=320 ) properties seen :{}
Running SMT prover for 6 properties.
// Phase 1: matrix 375 rows 425 cols
[2022-06-12 23:45:29] [INFO ] Computed 60 place invariants in 8 ms
[2022-06-12 23:45:29] [INFO ] [Real]Absence check using 36 positive place invariants in 16 ms returned sat
[2022-06-12 23:45:29] [INFO ] [Real]Absence check using 36 positive and 24 generalized place invariants in 22 ms returned sat
[2022-06-12 23:45:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 23:45:29] [INFO ] [Real]Absence check using state equation in 209 ms returned sat
[2022-06-12 23:45:29] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 23:45:29] [INFO ] [Nat]Absence check using 36 positive place invariants in 13 ms returned sat
[2022-06-12 23:45:30] [INFO ] [Nat]Absence check using 36 positive and 24 generalized place invariants in 59 ms returned sat
[2022-06-12 23:45:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 23:45:30] [INFO ] [Nat]Absence check using state equation in 429 ms returned sat
[2022-06-12 23:45:30] [INFO ] State equation strengthened by 1 read => feed constraints.
[2022-06-12 23:45:30] [INFO ] [Nat]Added 1 Read/Feed constraints in 5 ms returned sat
[2022-06-12 23:45:30] [INFO ] Computed and/alt/rep : 368/918/368 causal constraints (skipped 5 transitions) in 27 ms.
[2022-06-12 23:45:32] [INFO ] Added : 276 causal constraints over 56 iterations in 2414 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 6 ms.
[2022-06-12 23:45:33] [INFO ] [Real]Absence check using 36 positive place invariants in 13 ms returned sat
[2022-06-12 23:45:33] [INFO ] [Real]Absence check using 36 positive and 24 generalized place invariants in 20 ms returned sat
[2022-06-12 23:45:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 23:45:33] [INFO ] [Real]Absence check using state equation in 714 ms returned sat
[2022-06-12 23:45:33] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 23:45:33] [INFO ] [Nat]Absence check using 36 positive place invariants in 17 ms returned sat
[2022-06-12 23:45:33] [INFO ] [Nat]Absence check using 36 positive and 24 generalized place invariants in 44 ms returned sat
[2022-06-12 23:45:33] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 23:45:34] [INFO ] [Nat]Absence check using state equation in 839 ms returned sat
[2022-06-12 23:45:34] [INFO ] [Nat]Added 1 Read/Feed constraints in 10 ms returned sat
[2022-06-12 23:45:34] [INFO ] Computed and/alt/rep : 368/918/368 causal constraints (skipped 5 transitions) in 25 ms.
[2022-06-12 23:45:36] [INFO ] Added : 214 causal constraints over 43 iterations in 1701 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 9 ms.
[2022-06-12 23:45:36] [INFO ] [Real]Absence check using 36 positive place invariants in 16 ms returned sat
[2022-06-12 23:45:36] [INFO ] [Real]Absence check using 36 positive and 24 generalized place invariants in 22 ms returned sat
[2022-06-12 23:45:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 23:45:37] [INFO ] [Real]Absence check using state equation in 615 ms returned sat
[2022-06-12 23:45:37] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 23:45:37] [INFO ] [Nat]Absence check using 36 positive place invariants in 16 ms returned sat
[2022-06-12 23:45:37] [INFO ] [Nat]Absence check using 36 positive and 24 generalized place invariants in 145 ms returned sat
[2022-06-12 23:45:37] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 23:45:38] [INFO ] [Nat]Absence check using state equation in 1343 ms returned sat
[2022-06-12 23:45:38] [INFO ] [Nat]Added 1 Read/Feed constraints in 3 ms returned sat
[2022-06-12 23:45:38] [INFO ] Deduced a trap composed of 27 places in 79 ms of which 0 ms to minimize.
[2022-06-12 23:45:38] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 136 ms
[2022-06-12 23:45:39] [INFO ] Computed and/alt/rep : 368/918/368 causal constraints (skipped 5 transitions) in 27 ms.
[2022-06-12 23:45:40] [INFO ] Added : 235 causal constraints over 48 iterations in 1888 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 12 ms.
[2022-06-12 23:45:41] [INFO ] [Real]Absence check using 36 positive place invariants in 15 ms returned sat
[2022-06-12 23:45:41] [INFO ] [Real]Absence check using 36 positive and 24 generalized place invariants in 20 ms returned sat
[2022-06-12 23:45:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 23:45:41] [INFO ] [Real]Absence check using state equation in 207 ms returned sat
[2022-06-12 23:45:41] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 23:45:41] [INFO ] [Nat]Absence check using 36 positive place invariants in 15 ms returned sat
[2022-06-12 23:45:41] [INFO ] [Nat]Absence check using 36 positive and 24 generalized place invariants in 123 ms returned sat
[2022-06-12 23:45:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 23:45:42] [INFO ] [Nat]Absence check using state equation in 1036 ms returned sat
[2022-06-12 23:45:42] [INFO ] [Nat]Added 1 Read/Feed constraints in 9 ms returned sat
[2022-06-12 23:45:42] [INFO ] Deduced a trap composed of 13 places in 102 ms of which 5 ms to minimize.
[2022-06-12 23:45:42] [INFO ] Deduced a trap composed of 24 places in 98 ms of which 1 ms to minimize.
[2022-06-12 23:45:42] [INFO ] Deduced a trap composed of 16 places in 21 ms of which 1 ms to minimize.
[2022-06-12 23:45:42] [INFO ] Deduced a trap composed of 13 places in 20 ms of which 1 ms to minimize.
[2022-06-12 23:45:42] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 377 ms
[2022-06-12 23:45:42] [INFO ] Computed and/alt/rep : 368/918/368 causal constraints (skipped 5 transitions) in 24 ms.
[2022-06-12 23:45:44] [INFO ] Added : 169 causal constraints over 34 iterations in 1634 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 4 ms.
[2022-06-12 23:45:44] [INFO ] [Real]Absence check using 36 positive place invariants in 16 ms returned sat
[2022-06-12 23:45:44] [INFO ] [Real]Absence check using 36 positive and 24 generalized place invariants in 23 ms returned sat
[2022-06-12 23:45:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 23:45:45] [INFO ] [Real]Absence check using state equation in 526 ms returned sat
[2022-06-12 23:45:45] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 23:45:45] [INFO ] [Nat]Absence check using 36 positive place invariants in 17 ms returned sat
[2022-06-12 23:45:45] [INFO ] [Nat]Absence check using 36 positive and 24 generalized place invariants in 105 ms returned sat
[2022-06-12 23:45:45] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 23:45:47] [INFO ] [Nat]Absence check using state equation in 1907 ms returned sat
[2022-06-12 23:45:47] [INFO ] [Nat]Added 1 Read/Feed constraints in 12 ms returned sat
[2022-06-12 23:45:47] [INFO ] Computed and/alt/rep : 368/918/368 causal constraints (skipped 5 transitions) in 25 ms.
[2022-06-12 23:45:50] [INFO ] Deduced a trap composed of 17 places in 39 ms of which 0 ms to minimize.
[2022-06-12 23:45:50] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 104 ms
[2022-06-12 23:45:50] [INFO ] Added : 281 causal constraints over 57 iterations in 3081 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 15 ms.
[2022-06-12 23:45:50] [INFO ] [Real]Absence check using 36 positive place invariants in 14 ms returned sat
[2022-06-12 23:45:50] [INFO ] [Real]Absence check using 36 positive and 24 generalized place invariants in 21 ms returned sat
[2022-06-12 23:45:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 23:45:50] [INFO ] [Real]Absence check using state equation in 388 ms returned sat
[2022-06-12 23:45:50] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 23:45:51] [INFO ] [Nat]Absence check using 36 positive place invariants in 14 ms returned sat
[2022-06-12 23:45:51] [INFO ] [Nat]Absence check using 36 positive and 24 generalized place invariants in 106 ms returned sat
[2022-06-12 23:45:51] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 23:45:51] [INFO ] [Nat]Absence check using state equation in 850 ms returned sat
[2022-06-12 23:45:51] [INFO ] [Nat]Added 1 Read/Feed constraints in 3 ms returned sat
[2022-06-12 23:45:52] [INFO ] Deduced a trap composed of 26 places in 159 ms of which 1 ms to minimize.
[2022-06-12 23:45:52] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 203 ms
[2022-06-12 23:45:52] [INFO ] Computed and/alt/rep : 368/918/368 causal constraints (skipped 5 transitions) in 23 ms.
[2022-06-12 23:45:55] [INFO ] Deduced a trap composed of 6 places in 121 ms of which 1 ms to minimize.
[2022-06-12 23:45:55] [INFO ] Deduced a trap composed of 22 places in 84 ms of which 1 ms to minimize.
[2022-06-12 23:45:55] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 351 ms
[2022-06-12 23:45:55] [INFO ] Added : 338 causal constraints over 68 iterations in 3456 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 11 ms.
Incomplete Parikh walk after 362800 steps, including 5262 resets, run finished after 878 ms. (steps per millisecond=413 ) properties (out of 6) seen :0 could not realise parikh vector
Incomplete Parikh walk after 254500 steps, including 3670 resets, run finished after 617 ms. (steps per millisecond=412 ) properties (out of 6) seen :0 could not realise parikh vector
Incomplete Parikh walk after 365700 steps, including 5071 resets, run finished after 895 ms. (steps per millisecond=408 ) properties (out of 6) seen :0 could not realise parikh vector
Incomplete Parikh walk after 127600 steps, including 1921 resets, run finished after 312 ms. (steps per millisecond=408 ) properties (out of 6) seen :0 could not realise parikh vector
Incomplete Parikh walk after 475900 steps, including 7488 resets, run finished after 1141 ms. (steps per millisecond=417 ) properties (out of 6) seen :0 could not realise parikh vector
Incomplete Parikh walk after 510300 steps, including 6608 resets, run finished after 1258 ms. (steps per millisecond=405 ) properties (out of 6) seen :0 could not realise parikh vector
Support contains 94 out of 425 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 425/425 places, 375/375 transitions.
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 425 transition count 374
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 424 transition count 374
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 2 with 8 rules applied. Total rules applied 10 place count 420 transition count 370
Free-agglomeration rule applied 3 times.
Iterating global reduction 2 with 3 rules applied. Total rules applied 13 place count 420 transition count 367
Reduce places removed 3 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 4 rules applied. Total rules applied 17 place count 417 transition count 366
Applied a total of 17 rules in 51 ms. Remains 417 /425 variables (removed 8) and now considering 366/375 (removed 9) transitions.
Finished structural reductions, in 1 iterations. Remains : 417/425 places, 366/375 transitions.
[2022-06-12 23:46:00] [INFO ] Flatten gal took : 26 ms
[2022-06-12 23:46:00] [INFO ] Flatten gal took : 24 ms
[2022-06-12 23:46:00] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality14550074579336558649.gal : 3 ms
[2022-06-12 23:46:00] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality17169085589711538219.prop : 7 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality14550074579336558649.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality17169085589711538219.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality14550074579336558649.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality17169085589711538219.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality17169085589711538219.prop.
SDD proceeding with computation,6 properties remain. new max is 4
SDD size :1 after 2
SDD proceeding with computation,6 properties remain. new max is 8
SDD size :2 after 8
SDD proceeding with computation,6 properties remain. new max is 16
SDD size :8 after 17
SDD proceeding with computation,6 properties remain. new max is 32
SDD size :17 after 35
SDD proceeding with computation,6 properties remain. new max is 64
SDD size :35 after 41
SDD proceeding with computation,6 properties remain. new max is 128
SDD size :41 after 103
SDD proceeding with computation,6 properties remain. new max is 256
SDD size :103 after 17408
SDD proceeding with computation,6 properties remain. new max is 512
SDD size :17408 after 17874
SDD proceeding with computation,6 properties remain. new max is 1024
SDD size :17874 after 126523
SDD proceeding with computation,6 properties remain. new max is 2048
SDD size :126523 after 216370
SDD proceeding with computation,6 properties remain. new max is 4096
SDD size :216370 after 8.43882e+07
SDD proceeding with computation,6 properties remain. new max is 8192
SDD size :8.43882e+07 after 2.49486e+08
SDD proceeding with computation,6 properties remain. new max is 16384
SDD size :2.49486e+08 after 3.25005e+09
Detected timeout of ITS tools.
[2022-06-12 23:46:15] [INFO ] Flatten gal took : 22 ms
[2022-06-12 23:46:15] [INFO ] Applying decomposition
[2022-06-12 23:46:16] [INFO ] Flatten gal took : 32 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/graph15599451804144361403.txt, -o, /tmp/graph15599451804144361403.bin, -w, /tmp/graph15599451804144361403.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/graph15599451804144361403.bin, -l, -1, -v, -w, /tmp/graph15599451804144361403.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-06-12 23:46:16] [INFO ] Decomposing Gal with order
[2022-06-12 23:46:16] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-12 23:46:16] [INFO ] Removed a total of 23 redundant transitions.
[2022-06-12 23:46:16] [INFO ] Flatten gal took : 35 ms
[2022-06-12 23:46:16] [INFO ] Fuse similar labels procedure discarded/fused a total of 10 labels/synchronizations in 2 ms.
[2022-06-12 23:46:16] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality10295022350177650551.gal : 6 ms
[2022-06-12 23:46:16] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality15981442274505913618.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality10295022350177650551.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality15981442274505913618.prop, --nowitness], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality10295022350177650551.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality15981442274505913618.prop --nowitness
Loading property file /tmp/ReachabilityCardinality15981442274505913618.prop.
SDD proceeding with computation,6 properties remain. new max is 4
SDD size :1 after 1
SDD proceeding with computation,6 properties remain. new max is 8
SDD size :1 after 6
SDD proceeding with computation,6 properties remain. new max is 16
SDD size :6 after 48
SDD proceeding with computation,6 properties remain. new max is 32
SDD size :48 after 35672
SDD proceeding with computation,6 properties remain. new max is 64
SDD size :35672 after 2.26219e+08
SDD proceeding with computation,6 properties remain. new max is 128
SDD size :2.16215e+09 after 2.16338e+09
SDD proceeding with computation,6 properties remain. new max is 256
SDD size :2.16338e+09 after 1.90187e+13
SDD proceeding with computation,6 properties remain. new max is 512
SDD size :1.90187e+13 after 3.58793e+13
SDD proceeding with computation,6 properties remain. new max is 1024
SDD size :3.58793e+13 after 5.69551e+13
SDD proceeding with computation,6 properties remain. new max is 2048
SDD size :5.69551e+13 after 8.87869e+13
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin13712925791164431936
[2022-06-12 23:46:31] [INFO ] Built C files in 8ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin13712925791164431936
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/ltsmin13712925791164431936]
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/ltsmin13712925791164431936] 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/ltsmin13712925791164431936] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Incomplete random walk after 1000000 steps, including 13533 resets, run finished after 2216 ms. (steps per millisecond=451 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 1000001 steps, including 2006 resets, run finished after 866 ms. (steps per millisecond=1154 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 1000001 steps, including 1728 resets, run finished after 3265 ms. (steps per millisecond=306 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 1000001 steps, including 1880 resets, run finished after 2916 ms. (steps per millisecond=342 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 1000001 steps, including 2407 resets, run finished after 939 ms. (steps per millisecond=1064 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 1000000 steps, including 1975 resets, run finished after 2357 ms. (steps per millisecond=424 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 1000001 steps, including 1949 resets, run finished after 954 ms. (steps per millisecond=1048 ) properties (out of 6) seen :0
Interrupted probabilistic random walk after 9661008 steps, run timeout after 30001 ms. (steps per millisecond=322 ) properties seen :{}
Probabilistic random walk after 9661008 steps, saw 1493271 distinct states, run finished after 30006 ms. (steps per millisecond=321 ) properties seen :{}
Running SMT prover for 6 properties.
// Phase 1: matrix 366 rows 417 cols
[2022-06-12 23:47:15] [INFO ] Computed 60 place invariants in 11 ms
[2022-06-12 23:47:15] [INFO ] [Real]Absence check using 36 positive place invariants in 14 ms returned sat
[2022-06-12 23:47:15] [INFO ] [Real]Absence check using 36 positive and 24 generalized place invariants in 24 ms returned sat
[2022-06-12 23:47:15] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 23:47:16] [INFO ] [Real]Absence check using state equation in 197 ms returned sat
[2022-06-12 23:47:16] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 23:47:16] [INFO ] [Nat]Absence check using 36 positive place invariants in 17 ms returned sat
[2022-06-12 23:47:16] [INFO ] [Nat]Absence check using 36 positive and 24 generalized place invariants in 590 ms returned sat
[2022-06-12 23:47:16] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 23:47:17] [INFO ] [Nat]Absence check using state equation in 1126 ms returned sat
[2022-06-12 23:47:17] [INFO ] State equation strengthened by 1 read => feed constraints.
[2022-06-12 23:47:17] [INFO ] [Nat]Added 1 Read/Feed constraints in 1 ms returned sat
[2022-06-12 23:47:17] [INFO ] Deduced a trap composed of 11 places in 61 ms of which 1 ms to minimize.
[2022-06-12 23:47:18] [INFO ] Deduced a trap composed of 10 places in 61 ms of which 1 ms to minimize.
[2022-06-12 23:47:18] [INFO ] Deduced a trap composed of 14 places in 59 ms of which 1 ms to minimize.
[2022-06-12 23:47:18] [INFO ] Deduced a trap composed of 17 places in 59 ms of which 1 ms to minimize.
[2022-06-12 23:47:18] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 418 ms
[2022-06-12 23:47:18] [INFO ] Computed and/alt/rep : 359/907/359 causal constraints (skipped 5 transitions) in 25 ms.
[2022-06-12 23:47:20] [INFO ] Added : 236 causal constraints over 48 iterations in 1730 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 9 ms.
[2022-06-12 23:47:20] [INFO ] [Real]Absence check using 36 positive place invariants in 17 ms returned sat
[2022-06-12 23:47:20] [INFO ] [Real]Absence check using 36 positive and 24 generalized place invariants in 26 ms returned sat
[2022-06-12 23:47:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 23:47:20] [INFO ] [Real]Absence check using state equation in 516 ms returned sat
[2022-06-12 23:47:20] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 23:47:20] [INFO ] [Nat]Absence check using 36 positive place invariants in 16 ms returned sat
[2022-06-12 23:47:21] [INFO ] [Nat]Absence check using 36 positive and 24 generalized place invariants in 372 ms returned sat
[2022-06-12 23:47:21] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 23:47:22] [INFO ] [Nat]Absence check using state equation in 1132 ms returned sat
[2022-06-12 23:47:22] [INFO ] [Nat]Added 1 Read/Feed constraints in 4 ms returned sat
[2022-06-12 23:47:22] [INFO ] Deduced a trap composed of 17 places in 62 ms of which 1 ms to minimize.
[2022-06-12 23:47:22] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 107 ms
[2022-06-12 23:47:22] [INFO ] Computed and/alt/rep : 359/907/359 causal constraints (skipped 5 transitions) in 24 ms.
[2022-06-12 23:47:24] [INFO ] Added : 186 causal constraints over 38 iterations in 1643 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 14 ms.
[2022-06-12 23:47:24] [INFO ] [Real]Absence check using 36 positive place invariants in 13 ms returned sat
[2022-06-12 23:47:24] [INFO ] [Real]Absence check using 36 positive and 24 generalized place invariants in 21 ms returned sat
[2022-06-12 23:47:24] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 23:47:24] [INFO ] [Real]Absence check using state equation in 437 ms returned sat
[2022-06-12 23:47:24] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 23:47:24] [INFO ] [Nat]Absence check using 36 positive place invariants in 18 ms returned sat
[2022-06-12 23:47:25] [INFO ] [Nat]Absence check using 36 positive and 24 generalized place invariants in 272 ms returned sat
[2022-06-12 23:47:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 23:47:29] [INFO ] [Nat]Absence check using state equation in 4955 ms returned sat
[2022-06-12 23:47:29] [INFO ] [Nat]Added 1 Read/Feed constraints in 7 ms returned sat
[2022-06-12 23:47:30] [INFO ] Deduced a trap composed of 17 places in 111 ms of which 0 ms to minimize.
[2022-06-12 23:47:30] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 260 ms
[2022-06-12 23:47:30] [INFO ] Computed and/alt/rep : 359/907/359 causal constraints (skipped 5 transitions) in 26 ms.
[2022-06-12 23:47:32] [INFO ] Added : 235 causal constraints over 48 iterations in 2444 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 9 ms.
[2022-06-12 23:47:32] [INFO ] [Real]Absence check using 36 positive place invariants in 14 ms returned sat
[2022-06-12 23:47:32] [INFO ] [Real]Absence check using 36 positive and 24 generalized place invariants in 23 ms returned sat
[2022-06-12 23:47:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 23:47:33] [INFO ] [Real]Absence check using state equation in 199 ms returned sat
[2022-06-12 23:47:33] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 23:47:33] [INFO ] [Nat]Absence check using 36 positive place invariants in 15 ms returned sat
[2022-06-12 23:47:33] [INFO ] [Nat]Absence check using 36 positive and 24 generalized place invariants in 86 ms returned sat
[2022-06-12 23:47:33] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 23:47:33] [INFO ] [Nat]Absence check using state equation in 495 ms returned sat
[2022-06-12 23:47:33] [INFO ] [Nat]Added 1 Read/Feed constraints in 1 ms returned sat
[2022-06-12 23:47:33] [INFO ] Deduced a trap composed of 10 places in 50 ms of which 1 ms to minimize.
[2022-06-12 23:47:33] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 92 ms
[2022-06-12 23:47:33] [INFO ] Computed and/alt/rep : 359/907/359 causal constraints (skipped 5 transitions) in 23 ms.
[2022-06-12 23:47:35] [INFO ] Deduced a trap composed of 17 places in 97 ms of which 7 ms to minimize.
[2022-06-12 23:47:35] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 158 ms
[2022-06-12 23:47:35] [INFO ] Added : 156 causal constraints over 32 iterations in 1333 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 6 ms.
[2022-06-12 23:47:35] [INFO ] [Real]Absence check using 36 positive place invariants in 17 ms returned sat
[2022-06-12 23:47:35] [INFO ] [Real]Absence check using 36 positive and 24 generalized place invariants in 24 ms returned sat
[2022-06-12 23:47:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 23:47:35] [INFO ] [Real]Absence check using state equation in 386 ms returned sat
[2022-06-12 23:47:35] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 23:47:35] [INFO ] [Nat]Absence check using 36 positive place invariants in 17 ms returned sat
[2022-06-12 23:47:36] [INFO ] [Nat]Absence check using 36 positive and 24 generalized place invariants in 221 ms returned sat
[2022-06-12 23:47:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 23:47:37] [INFO ] [Nat]Absence check using state equation in 1043 ms returned sat
[2022-06-12 23:47:37] [INFO ] [Nat]Added 1 Read/Feed constraints in 8 ms returned sat
[2022-06-12 23:47:37] [INFO ] Computed and/alt/rep : 359/907/359 causal constraints (skipped 5 transitions) in 26 ms.
[2022-06-12 23:47:39] [INFO ] Deduced a trap composed of 7 places in 93 ms of which 1 ms to minimize.
[2022-06-12 23:47:39] [INFO ] Deduced a trap composed of 10 places in 64 ms of which 1 ms to minimize.
[2022-06-12 23:47:39] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 276 ms
[2022-06-12 23:47:39] [INFO ] Added : 315 causal constraints over 63 iterations in 2814 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 10 ms.
[2022-06-12 23:47:40] [INFO ] [Real]Absence check using 36 positive place invariants in 15 ms returned sat
[2022-06-12 23:47:40] [INFO ] [Real]Absence check using 36 positive and 24 generalized place invariants in 22 ms returned sat
[2022-06-12 23:47:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 23:47:40] [INFO ] [Real]Absence check using state equation in 368 ms returned sat
[2022-06-12 23:47:40] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 23:47:40] [INFO ] [Nat]Absence check using 36 positive place invariants in 15 ms returned sat
[2022-06-12 23:47:40] [INFO ] [Nat]Absence check using 36 positive and 24 generalized place invariants in 351 ms returned sat
[2022-06-12 23:47:40] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 23:47:47] [INFO ] [Nat]Absence check using state equation in 6493 ms returned unknown
Incomplete Parikh walk after 349300 steps, including 5098 resets, run finished after 870 ms. (steps per millisecond=401 ) properties (out of 6) seen :0 could not realise parikh vector
Incomplete Parikh walk after 193900 steps, including 2524 resets, run finished after 476 ms. (steps per millisecond=407 ) properties (out of 6) seen :0 could not realise parikh vector
Incomplete Parikh walk after 343000 steps, including 4667 resets, run finished after 840 ms. (steps per millisecond=408 ) properties (out of 6) seen :0 could not realise parikh vector
Incomplete Parikh walk after 117500 steps, including 1870 resets, run finished after 282 ms. (steps per millisecond=416 ) properties (out of 6) seen :0 could not realise parikh vector
Incomplete Parikh walk after 464600 steps, including 6080 resets, run finished after 1123 ms. (steps per millisecond=413 ) properties (out of 6) seen :0 could not realise parikh vector
Support contains 94 out of 417 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 417/417 places, 366/366 transitions.
Applied a total of 0 rules in 15 ms. Remains 417 /417 variables (removed 0) and now considering 366/366 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 417/417 places, 366/366 transitions.
Starting structural reductions, iteration 0 : 417/417 places, 366/366 transitions.
Applied a total of 0 rules in 13 ms. Remains 417 /417 variables (removed 0) and now considering 366/366 (removed 0) transitions.
// Phase 1: matrix 366 rows 417 cols
[2022-06-12 23:47:50] [INFO ] Computed 60 place invariants in 4 ms
[2022-06-12 23:47:51] [INFO ] Implicit Places using invariants in 322 ms returned [267]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 326 ms to find 1 implicit places.
[2022-06-12 23:47:51] [INFO ] Redundant transitions in 29 ms returned []
// Phase 1: matrix 366 rows 416 cols
[2022-06-12 23:47:51] [INFO ] Computed 59 place invariants in 19 ms
[2022-06-12 23:47:51] [INFO ] Dead Transitions using invariants and state equation in 319 ms returned []
Starting structural reductions, iteration 1 : 416/417 places, 366/366 transitions.
Applied a total of 0 rules in 14 ms. Remains 416 /416 variables (removed 0) and now considering 366/366 (removed 0) transitions.
[2022-06-12 23:47:51] [INFO ] Redundant transitions in 7 ms returned []
// Phase 1: matrix 366 rows 416 cols
[2022-06-12 23:47:51] [INFO ] Computed 59 place invariants in 4 ms
[2022-06-12 23:47:52] [INFO ] Dead Transitions using invariants and state equation in 324 ms returned []
Finished structural reductions, in 2 iterations. Remains : 416/417 places, 366/366 transitions.
[2022-06-12 23:47:52] [INFO ] Flatten gal took : 19 ms
[2022-06-12 23:47:52] [INFO ] Flatten gal took : 18 ms
[2022-06-12 23:47:52] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality12496919595050479935.gal : 2 ms
[2022-06-12 23:47:52] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality358100566318472482.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality12496919595050479935.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality358100566318472482.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality12496919595050479935.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality358100566318472482.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality358100566318472482.prop.
SDD proceeding with computation,6 properties remain. new max is 4
SDD size :1 after 2
SDD proceeding with computation,6 properties remain. new max is 8
SDD size :2 after 8
SDD proceeding with computation,6 properties remain. new max is 16
SDD size :8 after 17
SDD proceeding with computation,6 properties remain. new max is 32
SDD size :17 after 35
SDD proceeding with computation,6 properties remain. new max is 64
SDD size :35 after 41
SDD proceeding with computation,6 properties remain. new max is 128
SDD size :41 after 109
SDD proceeding with computation,6 properties remain. new max is 256
SDD size :109 after 17408
SDD proceeding with computation,6 properties remain. new max is 512
SDD size :17408 after 17874
SDD proceeding with computation,6 properties remain. new max is 1024
SDD size :17874 after 126535
SDD proceeding with computation,6 properties remain. new max is 2048
SDD size :126535 after 216371
Detected timeout of ITS tools.
[2022-06-12 23:48:12] [INFO ] Flatten gal took : 19 ms
[2022-06-12 23:48:12] [INFO ] Applying decomposition
[2022-06-12 23:48:12] [INFO ] Flatten gal took : 17 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/graph4369901094261478240.txt, -o, /tmp/graph4369901094261478240.bin, -w, /tmp/graph4369901094261478240.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/graph4369901094261478240.bin, -l, -1, -v, -w, /tmp/graph4369901094261478240.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-06-12 23:48:12] [INFO ] Decomposing Gal with order
[2022-06-12 23:48:12] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-12 23:48:12] [INFO ] Removed a total of 23 redundant transitions.
[2022-06-12 23:48:12] [INFO ] Flatten gal took : 31 ms
[2022-06-12 23:48:12] [INFO ] Fuse similar labels procedure discarded/fused a total of 12 labels/synchronizations in 3 ms.
[2022-06-12 23:48:12] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality8074721919617776437.gal : 4 ms
[2022-06-12 23:48:12] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality2500190706062296443.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality8074721919617776437.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality2500190706062296443.prop, --nowitness], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality8074721919617776437.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality2500190706062296443.prop --nowitness
Loading property file /tmp/ReachabilityCardinality2500190706062296443.prop.
SDD proceeding with computation,6 properties remain. new max is 4
SDD size :1 after 1
SDD proceeding with computation,6 properties remain. new max is 8
SDD size :1 after 6
SDD proceeding with computation,6 properties remain. new max is 16
SDD size :6 after 30
SDD proceeding with computation,6 properties remain. new max is 32
SDD size :30 after 35672
SDD proceeding with computation,6 properties remain. new max is 64
SDD size :35672 after 1.2719e+08
SDD proceeding with computation,6 properties remain. new max is 128
SDD size :1.2719e+08 after 2.16215e+09
SDD proceeding with computation,6 properties remain. new max is 256
SDD size :2.16215e+09 after 1.90187e+13
SDD proceeding with computation,6 properties remain. new max is 512
SDD size :1.90187e+13 after 3.58793e+13
SDD proceeding with computation,6 properties remain. new max is 1024
SDD size :3.58793e+13 after 5.69551e+13
SDD proceeding with computation,6 properties remain. new max is 2048
SDD size :5.69551e+13 after 8.87869e+13
Reachability property DES-PT-60b-ReachabilityFireability-08 is true.
FORMULA DES-PT-60b-ReachabilityFireability-08 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin1261652491962645595
[2022-06-12 23:48:32] [INFO ] Built C files in 8ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin1261652491962645595
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/ltsmin1261652491962645595]
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/ltsmin1261652491962645595] killed by timeout after 2 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin1261652491962645595] killed by timeout after 2 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Incomplete random walk after 1000000 steps, including 13523 resets, run finished after 2154 ms. (steps per millisecond=464 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 1000000 steps, including 2021 resets, run finished after 833 ms. (steps per millisecond=1200 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 1000001 steps, including 1699 resets, run finished after 3216 ms. (steps per millisecond=310 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 1000000 steps, including 1866 resets, run finished after 2874 ms. (steps per millisecond=347 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 1000000 steps, including 1973 resets, run finished after 2330 ms. (steps per millisecond=429 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 1000001 steps, including 1941 resets, run finished after 937 ms. (steps per millisecond=1067 ) properties (out of 5) seen :0
Interrupted probabilistic random walk after 9745168 steps, run timeout after 30001 ms. (steps per millisecond=324 ) properties seen :{}
Probabilistic random walk after 9745168 steps, saw 1505682 distinct states, run finished after 30001 ms. (steps per millisecond=324 ) properties seen :{}
Running SMT prover for 5 properties.
// Phase 1: matrix 366 rows 416 cols
[2022-06-12 23:49:16] [INFO ] Computed 59 place invariants in 4 ms
[2022-06-12 23:49:16] [INFO ] [Real]Absence check using 35 positive place invariants in 14 ms returned sat
[2022-06-12 23:49:16] [INFO ] [Real]Absence check using 35 positive and 24 generalized place invariants in 22 ms returned sat
[2022-06-12 23:49:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 23:49:17] [INFO ] [Real]Absence check using state equation in 378 ms returned sat
[2022-06-12 23:49:17] [INFO ] Computed and/alt/rep : 359/907/359 causal constraints (skipped 5 transitions) in 26 ms.
[2022-06-12 23:49:17] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 23:49:17] [INFO ] [Nat]Absence check using 35 positive place invariants in 16 ms returned sat
[2022-06-12 23:49:17] [INFO ] [Nat]Absence check using 35 positive and 24 generalized place invariants in 399 ms returned sat
[2022-06-12 23:49:17] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 23:49:18] [INFO ] [Nat]Absence check using state equation in 1181 ms returned sat
[2022-06-12 23:49:18] [INFO ] Computed and/alt/rep : 359/907/359 causal constraints (skipped 5 transitions) in 35 ms.
[2022-06-12 23:49:20] [INFO ] Added : 235 causal constraints over 48 iterations in 1733 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 7 ms.
[2022-06-12 23:49:20] [INFO ] [Real]Absence check using 35 positive place invariants in 16 ms returned sat
[2022-06-12 23:49:20] [INFO ] [Real]Absence check using 35 positive and 24 generalized place invariants in 24 ms returned sat
[2022-06-12 23:49:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 23:49:21] [INFO ] [Real]Absence check using state equation in 346 ms returned sat
[2022-06-12 23:49:21] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 23:49:21] [INFO ] [Nat]Absence check using 35 positive place invariants in 18 ms returned sat
[2022-06-12 23:49:21] [INFO ] [Nat]Absence check using 35 positive and 24 generalized place invariants in 382 ms returned sat
[2022-06-12 23:49:21] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 23:49:23] [INFO ] [Nat]Absence check using state equation in 2212 ms returned sat
[2022-06-12 23:49:23] [INFO ] Deduced a trap composed of 6 places in 74 ms of which 2 ms to minimize.
[2022-06-12 23:49:24] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 155 ms
[2022-06-12 23:49:24] [INFO ] Computed and/alt/rep : 359/907/359 causal constraints (skipped 5 transitions) in 24 ms.
[2022-06-12 23:49:26] [INFO ] Added : 188 causal constraints over 38 iterations in 2213 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 30 ms.
[2022-06-12 23:49:26] [INFO ] [Real]Absence check using 35 positive place invariants in 16 ms returned sat
[2022-06-12 23:49:26] [INFO ] [Real]Absence check using 35 positive and 24 generalized place invariants in 22 ms returned sat
[2022-06-12 23:49:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 23:49:27] [INFO ] [Real]Absence check using state equation in 642 ms returned sat
[2022-06-12 23:49:27] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 23:49:27] [INFO ] [Nat]Absence check using 35 positive place invariants in 17 ms returned sat
[2022-06-12 23:49:27] [INFO ] [Nat]Absence check using 35 positive and 24 generalized place invariants in 313 ms returned sat
[2022-06-12 23:49:27] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 23:49:29] [INFO ] [Nat]Absence check using state equation in 2343 ms returned sat
[2022-06-12 23:49:29] [INFO ] Deduced a trap composed of 18 places in 82 ms of which 1 ms to minimize.
[2022-06-12 23:49:29] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 128 ms
[2022-06-12 23:49:29] [INFO ] Computed and/alt/rep : 359/907/359 causal constraints (skipped 5 transitions) in 26 ms.
[2022-06-12 23:49:32] [INFO ] Added : 281 causal constraints over 57 iterations in 2260 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 10 ms.
[2022-06-12 23:49:32] [INFO ] [Real]Absence check using 35 positive place invariants in 17 ms returned sat
[2022-06-12 23:49:32] [INFO ] [Real]Absence check using 35 positive and 24 generalized place invariants in 22 ms returned sat
[2022-06-12 23:49:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 23:49:32] [INFO ] [Real]Absence check using state equation in 303 ms returned sat
[2022-06-12 23:49:32] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 23:49:32] [INFO ] [Nat]Absence check using 35 positive place invariants in 16 ms returned sat
[2022-06-12 23:49:33] [INFO ] [Nat]Absence check using 35 positive and 24 generalized place invariants in 299 ms returned sat
[2022-06-12 23:49:33] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 23:49:34] [INFO ] [Nat]Absence check using state equation in 1076 ms returned sat
[2022-06-12 23:49:34] [INFO ] Deduced a trap composed of 34 places in 110 ms of which 1 ms to minimize.
[2022-06-12 23:49:34] [INFO ] Deduced a trap composed of 16 places in 48 ms of which 0 ms to minimize.
[2022-06-12 23:49:34] [INFO ] Deduced a trap composed of 10 places in 51 ms of which 1 ms to minimize.
[2022-06-12 23:49:34] [INFO ] Deduced a trap composed of 8 places in 51 ms of which 1 ms to minimize.
[2022-06-12 23:49:34] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 476 ms
[2022-06-12 23:49:34] [INFO ] Computed and/alt/rep : 359/907/359 causal constraints (skipped 5 transitions) in 29 ms.
[2022-06-12 23:49:36] [INFO ] Deduced a trap composed of 6 places in 121 ms of which 1 ms to minimize.
[2022-06-12 23:49:36] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 181 ms
[2022-06-12 23:49:36] [INFO ] Added : 263 causal constraints over 53 iterations in 2333 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 9 ms.
[2022-06-12 23:49:37] [INFO ] [Real]Absence check using 35 positive place invariants in 15 ms returned sat
[2022-06-12 23:49:37] [INFO ] [Real]Absence check using 35 positive and 24 generalized place invariants in 22 ms returned sat
[2022-06-12 23:49:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 23:49:37] [INFO ] [Real]Absence check using state equation in 327 ms returned sat
[2022-06-12 23:49:37] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 23:49:37] [INFO ] [Nat]Absence check using 35 positive place invariants in 15 ms returned sat
[2022-06-12 23:49:37] [INFO ] [Nat]Absence check using 35 positive and 24 generalized place invariants in 266 ms returned sat
[2022-06-12 23:49:37] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 23:49:38] [INFO ] [Nat]Absence check using state equation in 729 ms returned sat
[2022-06-12 23:49:38] [INFO ] Deduced a trap composed of 12 places in 66 ms of which 1 ms to minimize.
[2022-06-12 23:49:38] [INFO ] Deduced a trap composed of 12 places in 87 ms of which 21 ms to minimize.
[2022-06-12 23:49:38] [INFO ] Deduced a trap composed of 20 places in 60 ms of which 0 ms to minimize.
[2022-06-12 23:49:38] [INFO ] Deduced a trap composed of 18 places in 65 ms of which 1 ms to minimize.
[2022-06-12 23:49:38] [INFO ] Deduced a trap composed of 14 places in 60 ms of which 1 ms to minimize.
[2022-06-12 23:49:38] [INFO ] Trap strengthening (SAT) tested/added 6/5 trap constraints in 472 ms
[2022-06-12 23:49:38] [INFO ] Computed and/alt/rep : 359/907/359 causal constraints (skipped 5 transitions) in 28 ms.
[2022-06-12 23:49:41] [INFO ] Added : 273 causal constraints over 56 iterations in 2222 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 8 ms.
Incomplete Parikh walk after 352300 steps, including 4729 resets, run finished after 825 ms. (steps per millisecond=427 ) properties (out of 5) seen :0 could not realise parikh vector
Incomplete Parikh walk after 188500 steps, including 2671 resets, run finished after 441 ms. (steps per millisecond=427 ) properties (out of 5) seen :0 could not realise parikh vector
Incomplete Parikh walk after 499000 steps, including 7053 resets, run finished after 1175 ms. (steps per millisecond=424 ) properties (out of 5) seen :0 could not realise parikh vector
Incomplete Parikh walk after 443100 steps, including 6004 resets, run finished after 1022 ms. (steps per millisecond=433 ) properties (out of 5) seen :0 could not realise parikh vector
Incomplete Parikh walk after 469500 steps, including 6880 resets, run finished after 1081 ms. (steps per millisecond=434 ) properties (out of 5) seen :0 could not realise parikh vector
Support contains 94 out of 416 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 416/416 places, 366/366 transitions.
Applied a total of 0 rules in 15 ms. Remains 416 /416 variables (removed 0) and now considering 366/366 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 416/416 places, 366/366 transitions.
Starting structural reductions, iteration 0 : 416/416 places, 366/366 transitions.
Applied a total of 0 rules in 13 ms. Remains 416 /416 variables (removed 0) and now considering 366/366 (removed 0) transitions.
// Phase 1: matrix 366 rows 416 cols
[2022-06-12 23:49:45] [INFO ] Computed 59 place invariants in 4 ms
[2022-06-12 23:49:46] [INFO ] Implicit Places using invariants in 307 ms returned []
// Phase 1: matrix 366 rows 416 cols
[2022-06-12 23:49:46] [INFO ] Computed 59 place invariants in 5 ms
[2022-06-12 23:49:46] [INFO ] Implicit Places using invariants and state equation in 681 ms returned []
Implicit Place search using SMT with State Equation took 990 ms to find 0 implicit places.
[2022-06-12 23:49:46] [INFO ] Redundant transitions in 6 ms returned []
// Phase 1: matrix 366 rows 416 cols
[2022-06-12 23:49:46] [INFO ] Computed 59 place invariants in 4 ms
[2022-06-12 23:49:47] [INFO ] Dead Transitions using invariants and state equation in 330 ms returned []
Finished structural reductions, in 1 iterations. Remains : 416/416 places, 366/366 transitions.
Incomplete random walk after 100000 steps, including 1364 resets, run finished after 340 ms. (steps per millisecond=294 ) properties (out of 5) seen :0
Running SMT prover for 5 properties.
// Phase 1: matrix 366 rows 416 cols
[2022-06-12 23:49:47] [INFO ] Computed 59 place invariants in 4 ms
[2022-06-12 23:49:47] [INFO ] [Real]Absence check using 35 positive place invariants in 16 ms returned sat
[2022-06-12 23:49:47] [INFO ] [Real]Absence check using 35 positive and 24 generalized place invariants in 23 ms returned sat
[2022-06-12 23:49:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 23:49:47] [INFO ] [Real]Absence check using state equation in 375 ms returned sat
[2022-06-12 23:49:48] [INFO ] Computed and/alt/rep : 359/907/359 causal constraints (skipped 5 transitions) in 28 ms.
[2022-06-12 23:49:48] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 23:49:48] [INFO ] [Nat]Absence check using 35 positive place invariants in 17 ms returned sat
[2022-06-12 23:49:48] [INFO ] [Nat]Absence check using 35 positive and 24 generalized place invariants in 397 ms returned sat
[2022-06-12 23:49:48] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 23:49:49] [INFO ] [Nat]Absence check using state equation in 1183 ms returned sat
[2022-06-12 23:49:49] [INFO ] Computed and/alt/rep : 359/907/359 causal constraints (skipped 5 transitions) in 28 ms.
[2022-06-12 23:49:51] [INFO ] Added : 235 causal constraints over 48 iterations in 1771 ms. Result :sat
[2022-06-12 23:49:51] [INFO ] [Real]Absence check using 35 positive place invariants in 15 ms returned sat
[2022-06-12 23:49:51] [INFO ] [Real]Absence check using 35 positive and 24 generalized place invariants in 24 ms returned sat
[2022-06-12 23:49:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 23:49:52] [INFO ] [Real]Absence check using state equation in 344 ms returned sat
[2022-06-12 23:49:52] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 23:49:52] [INFO ] [Nat]Absence check using 35 positive place invariants in 17 ms returned sat
[2022-06-12 23:49:52] [INFO ] [Nat]Absence check using 35 positive and 24 generalized place invariants in 382 ms returned sat
[2022-06-12 23:49:52] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 23:49:54] [INFO ] [Nat]Absence check using state equation in 2196 ms returned sat
[2022-06-12 23:49:54] [INFO ] Deduced a trap composed of 6 places in 167 ms of which 1 ms to minimize.
[2022-06-12 23:49:54] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 249 ms
[2022-06-12 23:49:54] [INFO ] Computed and/alt/rep : 359/907/359 causal constraints (skipped 5 transitions) in 26 ms.
[2022-06-12 23:49:57] [INFO ] Added : 188 causal constraints over 38 iterations in 2249 ms. Result :sat
[2022-06-12 23:49:57] [INFO ] [Real]Absence check using 35 positive place invariants in 16 ms returned sat
[2022-06-12 23:49:57] [INFO ] [Real]Absence check using 35 positive and 24 generalized place invariants in 23 ms returned sat
[2022-06-12 23:49:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 23:49:57] [INFO ] [Real]Absence check using state equation in 660 ms returned sat
[2022-06-12 23:49:58] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 23:49:58] [INFO ] [Nat]Absence check using 35 positive place invariants in 17 ms returned sat
[2022-06-12 23:49:58] [INFO ] [Nat]Absence check using 35 positive and 24 generalized place invariants in 304 ms returned sat
[2022-06-12 23:49:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 23:50:00] [INFO ] [Nat]Absence check using state equation in 2346 ms returned sat
[2022-06-12 23:50:00] [INFO ] Deduced a trap composed of 18 places in 84 ms of which 1 ms to minimize.
[2022-06-12 23:50:00] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 132 ms
[2022-06-12 23:50:00] [INFO ] Computed and/alt/rep : 359/907/359 causal constraints (skipped 5 transitions) in 25 ms.
[2022-06-12 23:50:03] [INFO ] Added : 281 causal constraints over 57 iterations in 2295 ms. Result :sat
[2022-06-12 23:50:03] [INFO ] [Real]Absence check using 35 positive place invariants in 18 ms returned sat
[2022-06-12 23:50:03] [INFO ] [Real]Absence check using 35 positive and 24 generalized place invariants in 24 ms returned sat
[2022-06-12 23:50:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 23:50:03] [INFO ] [Real]Absence check using state equation in 301 ms returned sat
[2022-06-12 23:50:03] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 23:50:03] [INFO ] [Nat]Absence check using 35 positive place invariants in 17 ms returned sat
[2022-06-12 23:50:03] [INFO ] [Nat]Absence check using 35 positive and 24 generalized place invariants in 303 ms returned sat
[2022-06-12 23:50:03] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 23:50:05] [INFO ] [Nat]Absence check using state equation in 1079 ms returned sat
[2022-06-12 23:50:05] [INFO ] Deduced a trap composed of 34 places in 105 ms of which 0 ms to minimize.
[2022-06-12 23:50:05] [INFO ] Deduced a trap composed of 16 places in 46 ms of which 0 ms to minimize.
[2022-06-12 23:50:05] [INFO ] Deduced a trap composed of 10 places in 50 ms of which 0 ms to minimize.
[2022-06-12 23:50:05] [INFO ] Deduced a trap composed of 8 places in 54 ms of which 0 ms to minimize.
[2022-06-12 23:50:05] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 477 ms
[2022-06-12 23:50:05] [INFO ] Computed and/alt/rep : 359/907/359 causal constraints (skipped 5 transitions) in 25 ms.
[2022-06-12 23:50:07] [INFO ] Deduced a trap composed of 6 places in 115 ms of which 0 ms to minimize.
[2022-06-12 23:50:07] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 173 ms
[2022-06-12 23:50:07] [INFO ] Added : 263 causal constraints over 53 iterations in 2307 ms. Result :sat
[2022-06-12 23:50:07] [INFO ] [Real]Absence check using 35 positive place invariants in 15 ms returned sat
[2022-06-12 23:50:07] [INFO ] [Real]Absence check using 35 positive and 24 generalized place invariants in 23 ms returned sat
[2022-06-12 23:50:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 23:50:08] [INFO ] [Real]Absence check using state equation in 308 ms returned sat
[2022-06-12 23:50:08] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 23:50:08] [INFO ] [Nat]Absence check using 35 positive place invariants in 15 ms returned sat
[2022-06-12 23:50:08] [INFO ] [Nat]Absence check using 35 positive and 24 generalized place invariants in 268 ms returned sat
[2022-06-12 23:50:08] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 23:50:09] [INFO ] [Nat]Absence check using state equation in 737 ms returned sat
[2022-06-12 23:50:09] [INFO ] Deduced a trap composed of 12 places in 66 ms of which 1 ms to minimize.
[2022-06-12 23:50:09] [INFO ] Deduced a trap composed of 12 places in 64 ms of which 0 ms to minimize.
[2022-06-12 23:50:09] [INFO ] Deduced a trap composed of 20 places in 64 ms of which 0 ms to minimize.
[2022-06-12 23:50:09] [INFO ] Deduced a trap composed of 18 places in 64 ms of which 1 ms to minimize.
[2022-06-12 23:50:09] [INFO ] Deduced a trap composed of 14 places in 59 ms of which 1 ms to minimize.
[2022-06-12 23:50:09] [INFO ] Trap strengthening (SAT) tested/added 6/5 trap constraints in 450 ms
[2022-06-12 23:50:09] [INFO ] Computed and/alt/rep : 359/907/359 causal constraints (skipped 5 transitions) in 23 ms.
[2022-06-12 23:50:12] [INFO ] Added : 273 causal constraints over 56 iterations in 2246 ms. Result :sat
[2022-06-12 23:50:12] [INFO ] Flatten gal took : 18 ms
[2022-06-12 23:50:12] [INFO ] Flatten gal took : 19 ms
[2022-06-12 23:50:12] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality1475459106872217738.gal : 2 ms
[2022-06-12 23:50:12] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality17311010825363920605.prop : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality1475459106872217738.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality17311010825363920605.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality1475459106872217738.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality17311010825363920605.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality17311010825363920605.prop.
SDD proceeding with computation,5 properties remain. new max is 4
SDD size :1 after 2
SDD proceeding with computation,5 properties remain. new max is 8
SDD size :2 after 8
SDD proceeding with computation,5 properties remain. new max is 16
SDD size :8 after 17
SDD proceeding with computation,5 properties remain. new max is 32
SDD size :17 after 35
SDD proceeding with computation,5 properties remain. new max is 64
SDD size :35 after 41
SDD proceeding with computation,5 properties remain. new max is 128
SDD size :41 after 109
SDD proceeding with computation,5 properties remain. new max is 256
SDD size :109 after 17408
SDD proceeding with computation,5 properties remain. new max is 512
SDD size :17408 after 17874
SDD proceeding with computation,5 properties remain. new max is 1024
SDD size :17874 after 126535
SDD proceeding with computation,5 properties remain. new max is 2048
SDD size :126535 after 216371
Detected timeout of ITS tools.
[2022-06-12 23:50:37] [INFO ] Flatten gal took : 16 ms
[2022-06-12 23:50:37] [INFO ] Applying decomposition
[2022-06-12 23:50:37] [INFO ] Flatten gal took : 17 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/graph12302253895540987121.txt, -o, /tmp/graph12302253895540987121.bin, -w, /tmp/graph12302253895540987121.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/graph12302253895540987121.bin, -l, -1, -v, -w, /tmp/graph12302253895540987121.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-06-12 23:50:37] [INFO ] Decomposing Gal with order
[2022-06-12 23:50:37] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-12 23:50:37] [INFO ] Removed a total of 23 redundant transitions.
[2022-06-12 23:50:37] [INFO ] Flatten gal took : 29 ms
[2022-06-12 23:50:37] [INFO ] Fuse similar labels procedure discarded/fused a total of 14 labels/synchronizations in 2 ms.
[2022-06-12 23:50:37] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality4836725803649231561.gal : 4 ms
[2022-06-12 23:50:37] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality2632651143180335413.prop : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality4836725803649231561.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality2632651143180335413.prop, --nowitness], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality4836725803649231561.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality2632651143180335413.prop --nowitness
Loading property file /tmp/ReachabilityCardinality2632651143180335413.prop.
SDD proceeding with computation,5 properties remain. new max is 4
SDD size :1 after 1
SDD proceeding with computation,5 properties remain. new max is 8
SDD size :1 after 1
SDD proceeding with computation,5 properties remain. new max is 16
SDD size :1 after 6
SDD proceeding with computation,5 properties remain. new max is 32
SDD size :6 after 48
SDD proceeding with computation,5 properties remain. new max is 64
SDD size :42806 after 49263
SDD proceeding with computation,5 properties remain. new max is 128
SDD size :49263 after 2.16215e+09
SDD proceeding with computation,5 properties remain. new max is 256
SDD size :2.16215e+09 after 1.5022e+13
SDD proceeding with computation,5 properties remain. new max is 512
SDD size :1.5022e+13 after 2.76675e+13
SDD proceeding with computation,5 properties remain. new max is 1024
SDD size :2.76675e+13 after 4.24205e+13
SDD proceeding with computation,5 properties remain. new max is 2048
SDD size :4.24205e+13 after 6.34963e+13
SDD proceeding with computation,5 properties remain. new max is 4096
SDD size :6.34963e+13 after 9.93251e+13
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin14948395220635947698
[2022-06-12 23:51:02] [INFO ] Built C files in 7ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin14948395220635947698
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/ltsmin14948395220635947698]
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/ltsmin14948395220635947698] killed by timeout after 2 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin14948395220635947698] killed by timeout after 2 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Applied a total of 0 rules in 14 ms. Remains 416 /416 variables (removed 0) and now considering 366/366 (removed 0) transitions.
Running SMT prover for 5 properties.
// Phase 1: matrix 366 rows 416 cols
[2022-06-12 23:51:04] [INFO ] Computed 59 place invariants in 4 ms
[2022-06-12 23:51:04] [INFO ] [Real]Absence check using 35 positive place invariants in 15 ms returned sat
[2022-06-12 23:51:04] [INFO ] [Real]Absence check using 35 positive and 24 generalized place invariants in 25 ms returned sat
[2022-06-12 23:51:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 23:51:04] [INFO ] [Real]Absence check using state equation in 386 ms returned sat
[2022-06-12 23:51:04] [INFO ] Computed and/alt/rep : 359/907/359 causal constraints (skipped 5 transitions) in 26 ms.
[2022-06-12 23:51:05] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 23:51:05] [INFO ] [Nat]Absence check using 35 positive place invariants in 16 ms returned sat
[2022-06-12 23:51:05] [INFO ] [Nat]Absence check using 35 positive and 24 generalized place invariants in 394 ms returned sat
[2022-06-12 23:51:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 23:51:06] [INFO ] [Nat]Absence check using state equation in 1193 ms returned sat
[2022-06-12 23:51:06] [INFO ] Computed and/alt/rep : 359/907/359 causal constraints (skipped 5 transitions) in 25 ms.
[2022-06-12 23:51:08] [INFO ] Added : 235 causal constraints over 48 iterations in 1744 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 7 ms.
[2022-06-12 23:51:08] [INFO ] [Real]Absence check using 35 positive place invariants in 16 ms returned sat
[2022-06-12 23:51:08] [INFO ] [Real]Absence check using 35 positive and 24 generalized place invariants in 27 ms returned sat
[2022-06-12 23:51:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 23:51:08] [INFO ] [Real]Absence check using state equation in 358 ms returned sat
[2022-06-12 23:51:08] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 23:51:09] [INFO ] [Nat]Absence check using 35 positive place invariants in 17 ms returned sat
[2022-06-12 23:51:09] [INFO ] [Nat]Absence check using 35 positive and 24 generalized place invariants in 383 ms returned sat
[2022-06-12 23:51:09] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 23:51:11] [INFO ] [Nat]Absence check using state equation in 2194 ms returned sat
[2022-06-12 23:51:11] [INFO ] Deduced a trap composed of 6 places in 75 ms of which 0 ms to minimize.
[2022-06-12 23:51:11] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 155 ms
[2022-06-12 23:51:11] [INFO ] Computed and/alt/rep : 359/907/359 causal constraints (skipped 5 transitions) in 23 ms.
[2022-06-12 23:51:14] [INFO ] Added : 188 causal constraints over 38 iterations in 2246 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 29 ms.
[2022-06-12 23:51:14] [INFO ] [Real]Absence check using 35 positive place invariants in 17 ms returned sat
[2022-06-12 23:51:14] [INFO ] [Real]Absence check using 35 positive and 24 generalized place invariants in 23 ms returned sat
[2022-06-12 23:51:14] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 23:51:14] [INFO ] [Real]Absence check using state equation in 657 ms returned sat
[2022-06-12 23:51:14] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 23:51:14] [INFO ] [Nat]Absence check using 35 positive place invariants in 16 ms returned sat
[2022-06-12 23:51:15] [INFO ] [Nat]Absence check using 35 positive and 24 generalized place invariants in 301 ms returned sat
[2022-06-12 23:51:15] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 23:51:17] [INFO ] [Nat]Absence check using state equation in 2338 ms returned sat
[2022-06-12 23:51:17] [INFO ] Deduced a trap composed of 18 places in 87 ms of which 0 ms to minimize.
[2022-06-12 23:51:17] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 135 ms
[2022-06-12 23:51:17] [INFO ] Computed and/alt/rep : 359/907/359 causal constraints (skipped 5 transitions) in 23 ms.
[2022-06-12 23:51:20] [INFO ] Added : 281 causal constraints over 57 iterations in 2313 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 10 ms.
[2022-06-12 23:51:20] [INFO ] [Real]Absence check using 35 positive place invariants in 18 ms returned sat
[2022-06-12 23:51:20] [INFO ] [Real]Absence check using 35 positive and 24 generalized place invariants in 24 ms returned sat
[2022-06-12 23:51:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 23:51:20] [INFO ] [Real]Absence check using state equation in 308 ms returned sat
[2022-06-12 23:51:20] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 23:51:20] [INFO ] [Nat]Absence check using 35 positive place invariants in 19 ms returned sat
[2022-06-12 23:51:20] [INFO ] [Nat]Absence check using 35 positive and 24 generalized place invariants in 302 ms returned sat
[2022-06-12 23:51:20] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 23:51:21] [INFO ] [Nat]Absence check using state equation in 1070 ms returned sat
[2022-06-12 23:51:22] [INFO ] Deduced a trap composed of 34 places in 110 ms of which 1 ms to minimize.
[2022-06-12 23:51:22] [INFO ] Deduced a trap composed of 16 places in 46 ms of which 1 ms to minimize.
[2022-06-12 23:51:22] [INFO ] Deduced a trap composed of 10 places in 50 ms of which 0 ms to minimize.
[2022-06-12 23:51:22] [INFO ] Deduced a trap composed of 8 places in 49 ms of which 1 ms to minimize.
[2022-06-12 23:51:22] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 472 ms
[2022-06-12 23:51:22] [INFO ] Computed and/alt/rep : 359/907/359 causal constraints (skipped 5 transitions) in 27 ms.
[2022-06-12 23:51:24] [INFO ] Deduced a trap composed of 6 places in 116 ms of which 1 ms to minimize.
[2022-06-12 23:51:24] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 175 ms
[2022-06-12 23:51:24] [INFO ] Added : 263 causal constraints over 53 iterations in 2327 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 9 ms.
[2022-06-12 23:51:24] [INFO ] [Real]Absence check using 35 positive place invariants in 15 ms returned sat
[2022-06-12 23:51:24] [INFO ] [Real]Absence check using 35 positive and 24 generalized place invariants in 22 ms returned sat
[2022-06-12 23:51:24] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 23:51:25] [INFO ] [Real]Absence check using state equation in 327 ms returned sat
[2022-06-12 23:51:25] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 23:51:25] [INFO ] [Nat]Absence check using 35 positive place invariants in 16 ms returned sat
[2022-06-12 23:51:25] [INFO ] [Nat]Absence check using 35 positive and 24 generalized place invariants in 266 ms returned sat
[2022-06-12 23:51:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 23:51:26] [INFO ] [Nat]Absence check using state equation in 730 ms returned sat
[2022-06-12 23:51:26] [INFO ] Deduced a trap composed of 12 places in 67 ms of which 0 ms to minimize.
[2022-06-12 23:51:26] [INFO ] Deduced a trap composed of 12 places in 64 ms of which 1 ms to minimize.
[2022-06-12 23:51:26] [INFO ] Deduced a trap composed of 20 places in 62 ms of which 0 ms to minimize.
[2022-06-12 23:51:26] [INFO ] Deduced a trap composed of 18 places in 63 ms of which 1 ms to minimize.
[2022-06-12 23:51:26] [INFO ] Deduced a trap composed of 14 places in 59 ms of which 1 ms to minimize.
[2022-06-12 23:51:26] [INFO ] Trap strengthening (SAT) tested/added 6/5 trap constraints in 459 ms
[2022-06-12 23:51:26] [INFO ] Computed and/alt/rep : 359/907/359 causal constraints (skipped 5 transitions) in 20 ms.
[2022-06-12 23:51:29] [INFO ] Added : 273 causal constraints over 56 iterations in 2271 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 9 ms.
[2022-06-12 23:51:29] [INFO ] Flatten gal took : 16 ms
Using solver Z3 to compute partial order matrices.
[2022-06-12 23:51:29] [INFO ] Flatten gal took : 16 ms
Built C files in :
/tmp/ltsmin14742157240963828713
[2022-06-12 23:51:29] [INFO ] Computing symmetric may disable matrix : 366 transitions.
[2022-06-12 23:51:29] [INFO ] Computation of Complete disable matrix. took 4 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2022-06-12 23:51:29] [INFO ] Applying decomposition
[2022-06-12 23:51:29] [INFO ] Computing symmetric may enable matrix : 366 transitions.
[2022-06-12 23:51:29] [INFO ] Computation of Complete enable matrix. took 3 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2022-06-12 23:51:29] [INFO ] Flatten gal took : 20 ms
[2022-06-12 23:51:29] [INFO ] Input system was already deterministic with 366 transitions.
[2022-06-12 23:51:29] [INFO ] Computing Do-Not-Accords matrix : 366 transitions.
[2022-06-12 23:51:29] [INFO ] Computation of Completed DNA matrix. took 36 ms. Total solver calls (SAT/UNSAT): 0(0/0)
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph17354668971071199874.txt, -o, /tmp/graph17354668971071199874.bin, -w, /tmp/graph17354668971071199874.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/graph17354668971071199874.bin, -l, -1, -v, -w, /tmp/graph17354668971071199874.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-06-12 23:51:29] [INFO ] Decomposing Gal with order
[2022-06-12 23:51:29] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-12 23:51:29] [INFO ] Built C files in 129ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin14742157240963828713
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/ltsmin14742157240963828713]
[2022-06-12 23:51:29] [INFO ] Removed a total of 23 redundant transitions.
[2022-06-12 23:51:29] [INFO ] Flatten gal took : 53 ms
[2022-06-12 23:51:29] [INFO ] Fuse similar labels procedure discarded/fused a total of 12 labels/synchronizations in 3 ms.
[2022-06-12 23:51:29] [INFO ] Time to serialize gal into /tmp/ReachabilityFireability3672721376825364164.gal : 80 ms
[2022-06-12 23:51:29] [INFO ] Time to serialize properties into /tmp/ReachabilityFireability7035623554587763172.prop : 8 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityFireability3672721376825364164.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityFireability7035623554587763172.prop, --nowitness], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityFireability3672721376825364164.gal -t CGAL -reachable-file /tmp/ReachabilityFireability7035623554587763172.prop --nowitness
[2022-06-12 23:51:29] [INFO ] Ran tautology test, simplified 0 / 5 in 376 ms.
Loading property file /tmp/ReachabilityFireability7035623554587763172.prop.
[2022-06-12 23:51:29] [INFO ] BMC solution for property DES-PT-60b-ReachabilityFireability-02(UNSAT) depth K=0 took 22 ms
[2022-06-12 23:51:29] [INFO ] BMC solution for property DES-PT-60b-ReachabilityFireability-03(UNSAT) depth K=0 took 2 ms
[2022-06-12 23:51:29] [INFO ] BMC solution for property DES-PT-60b-ReachabilityFireability-04(UNSAT) depth K=0 took 1 ms
[2022-06-12 23:51:29] [INFO ] BMC solution for property DES-PT-60b-ReachabilityFireability-11(UNSAT) depth K=0 took 1 ms
[2022-06-12 23:51:29] [INFO ] BMC solution for property DES-PT-60b-ReachabilityFireability-15(UNSAT) depth K=0 took 1 ms
[2022-06-12 23:51:29] [INFO ] BMC solution for property DES-PT-60b-ReachabilityFireability-02(UNSAT) depth K=1 took 2 ms
[2022-06-12 23:51:29] [INFO ] BMC solution for property DES-PT-60b-ReachabilityFireability-03(UNSAT) depth K=1 took 4 ms
[2022-06-12 23:51:29] [INFO ] BMC solution for property DES-PT-60b-ReachabilityFireability-04(UNSAT) depth K=1 took 5 ms
[2022-06-12 23:51:29] [INFO ] BMC solution for property DES-PT-60b-ReachabilityFireability-11(UNSAT) depth K=1 took 3 ms
[2022-06-12 23:51:29] [INFO ] BMC solution for property DES-PT-60b-ReachabilityFireability-15(UNSAT) depth K=1 took 1 ms
SDD proceeding with computation,5 properties remain. new max is 4
SDD size :1 after 1
SDD proceeding with computation,5 properties remain. new max is 8
SDD size :1 after 6
SDD proceeding with computation,5 properties remain. new max is 16
SDD size :6 after 30
SDD proceeding with computation,5 properties remain. new max is 32
SDD size :30 after 35672
SDD proceeding with computation,5 properties remain. new max is 64
SDD size :35672 after 2.08588e+08
SDD proceeding with computation,5 properties remain. new max is 128
SDD size :2.16215e+09 after 2.43022e+09
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 366 rows 416 cols
[2022-06-12 23:51:29] [INFO ] Computed 59 place invariants in 4 ms
inv : p248 + p366 + p370 + p373 + p374 = 1
inv : p248 + p253 + p254 + p255 + p258 + p259 + p260 + p261 = 1
inv : p248 + p366 + p375 + p377 + p385 + p387 + p388 + p389 + p411 + p412 = 1
inv : p248 + p366 + p375 + p377 + p385 + p387 + p388 + p389 + p391 + p393 + p395 + p396 + p399 + p412 - p425 + p443 + p457 - p469 = 1
inv : p248 + p366 + p375 + p377 + p385 + p387 + p388 + p389 + p391 + p393 + p395 + p401 + p412 - p428 + p443 + p459 - p469 = 1
inv : p248 + p366 + p375 + p377 + p385 + p387 + p438 + p439 + p440 = 1
inv : p248 + p366 + p375 + p377 + p378 + p379 + p380 + p383 + p384 = 1
inv : p248 + p307 + p308 + p309 + p311 = 1
inv : p248 + p307 + p308 + p312 + p347 + p349 + p350 + p351 + p356 + p357 + p361 + p362 = 1
inv : p248 + p307 + p363 + p364 + p365 = 1
inv : p248 + p366 + p375 + p377 + p385 + p387 + p441 + p443 = 1
inv : p248 + p366 + p375 + p377 + p385 + p387 + p417 + p418 + p419 + p420 + p422 = 1
inv : p248 + p366 + p375 + p377 + p385 + p387 + p388 + p389 + p391 + p393 + p395 + p396 + p397 + p412 - p422 + p443 + p455 - p469 = 1
inv : p248 + p366 + p511 + p514 + p517 + p518 = 1
inv : p248 + p366 + p375 + p377 + p385 + p387 + p417 + p418 + p426 + p428 = 1
inv : p248 + p366 + p375 + p377 + p385 + p464 + p465 + p472 + p473 = 1
inv : p248 + p366 + p375 + p377 + p385 + p387 + p388 + p389 + p391 + p407 + p412 - p437 + p443 + p465 - p469 = 1
inv : p494 + p495 - p496 - p497 = 0
inv : p248 + p366 + p375 + p377 + p385 + p451 + p460 + p461 + p472 + p473 = 1
inv : -p3 + 59*p5 + p7 + 2*p8 + 3*p9 + 4*p10 + 5*p11 + 6*p12 + 7*p13 + 8*p14 + 9*p15 + 10*p16 + 11*p17 + 12*p18 + 13*p19 + 14*p20 + 15*p21 + 16*p22 + 17*p23 + 18*p24 + 19*p25 + 20*p26 + 21*p27 + 22*p28 + 23*p29 + 24*p30 + 25*p31 + 26*p32 + 27*p33 + 28*p34 + 29*p35 + 30*p36 + 31*p37 + 32*p38 + 33*p39 + 34*p40 + 35*p41 + 36*p42 + 37*p43 + 38*p44 + 39*p45 + 40*p46 + 41*p47 + 42*p48 + 43*p49 + 44*p50 + 45*p51 + 46*p52 + 47*p53 + 48*p54 + 49*p55 + 50*p56 + 51*p57 + 52*p58 + 53*p59 + 54*p60 + 55*p61 + 56*p62 + 57*p63 + 58*p64 - 60*p65 - p67 - 2*p68 - 3*p69 - 4*p70 - 5*p71 - 6*p72 - 7*p73 - 8*p74 - 9*p75 - 10*p76 - 11*p77 - 12*p78 - 13*p79 - 14*p80 - 15*p81 - 16*p82 - 17*p83 - 18*p84 - 19*p85 - 20*p86 - 21*p87 - 22*p88 - 23*p89 - 24*p90 - 25*p91 - 26*p92 - 27*p93 - 28*p94 - 29*p95 - 30*p96 - 31*p97 - 32*p98 - 33*p99 - 34*p100 - 35*p101 - 36*p102 - 37*p103 - 38*p104 - 39*p105 - 40*p106 - 41*p107 - 42*p108 - 43*p109 - 44*p110 - 45*p111 - 46*p112 - 47*p113 - 48*p114 - 49*p115 - 50*p116 - 51*p117 - 52*p118 - 53*p119 - 54*p120 - 55*p121 - 56*p122 - 57*p123 - 58*p124 - 59*p125 + 3*p248 + 3*p366 - p370 - p372 + 2*p375 + 2*p377 + p378 + p379 + p381 + p385 - p412 - p443 + p469 + p472 - p476 - p479 - p482 - p490 - p494 + p511 + p516 = 2
inv : p248 + p366 + p375 + p377 + p385 + p387 + p432 + p434 = 1
inv : p248 + p366 + p375 + p377 + p385 + p468 + p469 + p472 + p473 = 1
inv : p248 + p366 + p375 + p377 + p385 + p387 + p388 + p389 + p391 + p393 + p405 + p412 - p434 + p443 + p463 - p469 = 1
inv : p248 + p366 + p370 + p371 + p372 = 1
inv : p248 + p366 + p375 + p377 + p385 + p451 + p454 + p455 + p472 + p473 = 1
inv : 2*p3 - 118*p5 - 2*p7 - 4*p8 - 6*p9 - 8*p10 - 10*p11 - 12*p12 - 14*p13 - 16*p14 - 18*p15 - 20*p16 - 22*p17 - 24*p18 - 26*p19 - 28*p20 - 30*p21 - 32*p22 - 34*p23 - 36*p24 - 38*p25 - 40*p26 - 42*p27 - 44*p28 - 46*p29 - 48*p30 - 50*p31 - 52*p32 - 54*p33 - 56*p34 - 58*p35 - 60*p36 - 62*p37 - 64*p38 - 66*p39 - 68*p40 - 70*p41 - 72*p42 - 74*p43 - 76*p44 - 78*p45 - 80*p46 - 82*p47 - 84*p48 - 86*p49 - 88*p50 - 90*p51 - 92*p52 - 94*p53 - 96*p54 - 98*p55 - 100*p56 - 102*p57 - 104*p58 - 106*p59 - 108*p60 - 110*p61 - 112*p62 - 114*p63 - 116*p64 + 120*p65 + 2*p67 + 4*p68 + 6*p69 + 8*p70 + 10*p71 + 12*p72 + 14*p73 + 16*p74 + 18*p75 + 20*p76 + 22*p77 + 24*p78 + 26*p79 + 28*p80 + 30*p81 + 32*p82 + 34*p83 + 36*p84 + 38*p85 + 40*p86 + 42*p87 + 44*p88 + 46*p89 + 48*p90 + 50*p91 + 52*p92 + 54*p93 + 56*p94 + 58*p95 + 60*p96 + 62*p97 + 64*p98 + 66*p99 + 68*p100 + 70*p101 + 72*p102 + 74*p103 + 76*p104 + 78*p105 + 80*p106 + 82*p107 + 84*p108 + 86*p109 + 88*p110 + 90*p111 + 92*p112 + 94*p113 + 96*p114 + 98*p115 + 100*p116 + 102*p117 + 104*p118 + 106*p119 + 108*p120 + 110*p121 + 112*p122 + 114*p123 + 116*p124 + 118*p125 - 2*p248 - 2*p366 + 2*p370 + p372 + p374 + p380 + p384 + p479 + p482 + p492 + p496 + p500 + p503 + p506 - 2*p511 - p516 - p518 = 0
inv : p248 + p366 + p375 + p377 + p385 + p387 + p388 + p389 + p391 + p393 + p403 + p412 - p431 + p443 + p461 - p469 = 1
inv : p341 + p342 - p343 - p344 = 0
inv : p408 - p412 + p437 - p443 - p465 + p469 = 0
inv : p248 + p366 + p375 + p498 + p499 + p500 + p501 + p503 + p504 + p506 + p507 + p508 + p510 = 1
inv : p248 + p366 + p375 + p377 + p385 + p474 + p475 + p476 = 1
inv : p3 - 59*p5 - p7 - 2*p8 - 3*p9 - 4*p10 - 5*p11 - 6*p12 - 7*p13 - 8*p14 - 9*p15 - 10*p16 - 11*p17 - 12*p18 - 13*p19 - 14*p20 - 15*p21 - 16*p22 - 17*p23 - 18*p24 - 19*p25 - 20*p26 - 21*p27 - 22*p28 - 23*p29 - 24*p30 - 25*p31 - 26*p32 - 27*p33 - 28*p34 - 29*p35 - 30*p36 - 31*p37 - 32*p38 - 33*p39 - 34*p40 - 35*p41 - 36*p42 - 37*p43 - 38*p44 - 39*p45 - 40*p46 - 41*p47 - 42*p48 - 43*p49 - 44*p50 - 45*p51 - 46*p52 - 47*p53 - 48*p54 - 49*p55 - 50*p56 - 51*p57 - 52*p58 - 53*p59 - 54*p60 - 55*p61 - 56*p62 - 57*p63 - 58*p64 + 60*p65 + p67 + 2*p68 + 3*p69 + 4*p70 + 5*p71 + 6*p72 + 7*p73 + 8*p74 + 9*p75 + 10*p76 + 11*p77 + 12*p78 + 13*p79 + 14*p80 + 15*p81 + 16*p82 + 17*p83 + 18*p84 + 19*p85 + 20*p86 + 21*p87 + 22*p88 + 23*p89 + 24*p90 + 25*p91 + 26*p92 + 27*p93 + 28*p94 + 29*p95 + 30*p96 + 31*p97 + 32*p98 + 33*p99 + 34*p100 + 35*p101 + 36*p102 + 37*p103 + 38*p104 + 39*p105 + 40*p106 + 41*p107 + 42*p108 + 43*p109 + 44*p110 + 45*p111 + 46*p112 + 47*p113 + 48*p114 + 49*p115 + 50*p116 + 51*p117 + 52*p118 + 53*p119 + 54*p120 + 55*p121 + 56*p122 + 57*p123 + 58*p124 + 59*p125 - 2*p248 - 2*p366 + p370 + p372 - p375 - p377 + p380 + p382 - p385 + p412 + p443 - p469 - p472 + p476 + p479 + p482 + p490 + p494 - p511 - p516 = -1
inv : p248 + p366 + p375 + p377 + p385 + p462 + p463 + p472 + p473 = 1
inv : -2*p3 + 118*p5 + 2*p7 + 4*p8 + 6*p9 + 8*p10 + 10*p11 + 12*p12 + 14*p13 + 16*p14 + 18*p15 + 20*p16 + 22*p17 + 24*p18 + 26*p19 + 28*p20 + 30*p21 + 32*p22 + 34*p23 + 36*p24 + 38*p25 + 40*p26 + 42*p27 + 44*p28 + 46*p29 + 48*p30 + 50*p31 + 52*p32 + 54*p33 + 56*p34 + 58*p35 + 60*p36 + 62*p37 + 64*p38 + 66*p39 + 68*p40 + 70*p41 + 72*p42 + 74*p43 + 76*p44 + 78*p45 + 80*p46 + 82*p47 + 84*p48 + 86*p49 + 88*p50 + 90*p51 + 92*p52 + 94*p53 + 96*p54 + 98*p55 + 100*p56 + 102*p57 + 104*p58 + 106*p59 + 108*p60 + 110*p61 + 112*p62 + 114*p63 + 116*p64 - 120*p65 - 2*p67 - 4*p68 - 6*p69 - 8*p70 - 10*p71 - 12*p72 - 14*p73 - 16*p74 - 18*p75 - 20*p76 - 22*p77 - 24*p78 - 26*p79 - 28*p80 - 30*p81 - 32*p82 - 34*p83 - 36*p84 - 38*p85 - 40*p86 - 42*p87 - 44*p88 - 46*p89 - 48*p90 - 50*p91 - 52*p92 - 54*p93 - 56*p94 - 58*p95 - 60*p96 - 62*p97 - 64*p98 - 66*p99 - 68*p100 - 70*p101 - 72*p102 - 74*p103 - 76*p104 - 78*p105 - 80*p106 - 82*p107 - 84*p108 - 86*p109 - 88*p110 - 90*p111 - 92*p112 - 94*p113 - 96*p114 - 98*p115 - 100*p116 - 102*p117 - 104*p118 - 106*p119 - 108*p120 - 110*p121 - 112*p122 - 114*p123 - 116*p124 - 118*p125 + 2*p248 + 2*p366 - 2*p370 - p372 - p374 - p380 - p384 - p479 - p482 - p490 - p491 + p493 - p496 - p500 - p503 - p506 + 2*p511 + p516 + p518 = 0
inv : p248 + p366 + p375 + p377 + p385 + p387 + p417 + p418 + p419 + p423 + p425 = 1
inv : p404 - p412 + p431 - p443 - p461 + p469 = 0
inv : p398 - p412 + p422 - p443 - p455 + p469 = 0
inv : p3 - 59*p5 - p7 - 2*p8 - 3*p9 - 4*p10 - 5*p11 - 6*p12 - 7*p13 - 8*p14 - 9*p15 - 10*p16 - 11*p17 - 12*p18 - 13*p19 - 14*p20 - 15*p21 - 16*p22 - 17*p23 - 18*p24 - 19*p25 - 20*p26 - 21*p27 - 22*p28 - 23*p29 - 24*p30 - 25*p31 - 26*p32 - 27*p33 - 28*p34 - 29*p35 - 30*p36 - 31*p37 - 32*p38 - 33*p39 - 34*p40 - 35*p41 - 36*p42 - 37*p43 - 38*p44 - 39*p45 - 40*p46 - 41*p47 - 42*p48 - 43*p49 - 44*p50 - 45*p51 - 46*p52 - 47*p53 - 48*p54 - 49*p55 - 50*p56 - 51*p57 - 52*p58 - 53*p59 - 54*p60 - 55*p61 - 56*p62 - 57*p63 - 58*p64 + 60*p65 + p67 + 2*p68 + 3*p69 + 4*p70 + 5*p71 + 6*p72 + 7*p73 + 8*p74 + 9*p75 + 10*p76 + 11*p77 + 12*p78 + 13*p79 + 14*p80 + 15*p81 + 16*p82 + 17*p83 + 18*p84 + 19*p85 + 20*p86 + 21*p87 + 22*p88 + 23*p89 + 24*p90 + 25*p91 + 26*p92 + 27*p93 + 28*p94 + 29*p95 + 30*p96 + 31*p97 + 32*p98 + 33*p99 + 34*p100 + 35*p101 + 36*p102 + 37*p103 + 38*p104 + 39*p105 + 40*p106 + 41*p107 + 42*p108 + 43*p109 + 44*p110 + 45*p111 + 46*p112 + 47*p113 + 48*p114 + 49*p115 + 50*p116 + 51*p117 + 52*p118 + 53*p119 + 54*p120 + 55*p121 + 56*p122 + 57*p123 + 58*p124 + 59*p125 + p248 + p286 + p289 + p300 + p301 + p370 + p374 + p375 + p380 + p384 + p477 + p479 + p482 + p490 + p491 + p496 + p497 + p500 + p501 + p503 + p504 + p506 + p507 + p508 + p510 - p511 - p516 = 2
inv : p406 - p412 + p434 - p443 - p463 + p469 = 0
inv : p248 + p366 + p511 + p514 + p515 + p516 = 1
inv : p248 + p366 + p375 + p377 + p385 + p451 + p456 + p457 + p472 + p473 = 1
inv : p248 + p307 + p308 + p312 + p313 + p326 + p339 + p340 + p343 + p344 = 1
inv : -p3 + 59*p5 + p7 + 2*p8 + 3*p9 + 4*p10 + 5*p11 + 6*p12 + 7*p13 + 8*p14 + 9*p15 + 10*p16 + 11*p17 + 12*p18 + 13*p19 + 14*p20 + 15*p21 + 16*p22 + 17*p23 + 18*p24 + 19*p25 + 20*p26 + 21*p27 + 22*p28 + 23*p29 + 24*p30 + 25*p31 + 26*p32 + 27*p33 + 28*p34 + 29*p35 + 30*p36 + 31*p37 + 32*p38 + 33*p39 + 34*p40 + 35*p41 + 36*p42 + 37*p43 + 38*p44 + 39*p45 + 40*p46 + 41*p47 + 42*p48 + 43*p49 + 44*p50 + 45*p51 + 46*p52 + 47*p53 + 48*p54 + 49*p55 + 50*p56 + 51*p57 + 52*p58 + 53*p59 + 54*p60 + 55*p61 + 56*p62 + 57*p63 + 58*p64 - 60*p65 - p67 - 2*p68 - 3*p69 - 4*p70 - 5*p71 - 6*p72 - 7*p73 - 8*p74 - 9*p75 - 10*p76 - 11*p77 - 12*p78 - 13*p79 - 14*p80 - 15*p81 - 16*p82 - 17*p83 - 18*p84 - 19*p85 - 20*p86 - 21*p87 - 22*p88 - 23*p89 - 24*p90 - 25*p91 - 26*p92 - 27*p93 - 28*p94 - 29*p95 - 30*p96 - 31*p97 - 32*p98 - 33*p99 - 34*p100 - 35*p101 - 36*p102 - 37*p103 - 38*p104 - 39*p105 - 40*p106 - 41*p107 - 42*p108 - 43*p109 - 44*p110 - 45*p111 - 46*p112 - 47*p113 - 48*p114 - 49*p115 - 50*p116 - 51*p117 - 52*p118 - 53*p119 - 54*p120 - 55*p121 - 56*p122 - 57*p123 - 58*p124 - 59*p125 + p288 + p290 + p293 - p300 - p301 - p370 - p374 - p375 - p380 - p384 - p477 - p479 - p482 - p490 - p491 - p496 - p497 - p500 - p501 - p503 - p504 - p506 - p507 - p508 - p510 + p511 + p516 = -1
inv : p248 + p307 + p308 + p312 + p347 + p349 + p350 + p351 + p356 + p357 + p359 + p360 = 1
inv : p248 + p366 + p375 + p377 + p385 + p387 + p388 + p389 + p391 + p409 + p412 - p440 + p443 + p467 - p469 = 1
inv : p248 + p253 + p269 + p270 + p271 + p276 + p281 + p282 + p283 = 1
inv : p410 - p412 + p440 - p443 - p467 + p469 = 0
inv : p248 + p366 + p375 + p477 + p479 + p480 + p482 + p483 + p486 + p487 + p488 + p489 + p490 + p491 + p496 + p497 = 1
inv : -58*p3 - 118*p5 - 2*p7 - 4*p8 - 6*p9 - 8*p10 - 10*p11 - 12*p12 - 14*p13 - 16*p14 - 18*p15 - 20*p16 - 22*p17 - 24*p18 - 26*p19 - 28*p20 - 30*p21 - 32*p22 - 34*p23 - 36*p24 - 38*p25 - 40*p26 - 42*p27 - 44*p28 - 46*p29 - 48*p30 - 50*p31 - 52*p32 - 54*p33 - 56*p34 - 58*p35 - 60*p36 - 62*p37 - 64*p38 - 66*p39 - 68*p40 - 70*p41 - 72*p42 - 74*p43 - 76*p44 - 78*p45 - 80*p46 - 82*p47 - 84*p48 - 86*p49 - 88*p50 - 90*p51 - 92*p52 - 94*p53 - 96*p54 - 98*p55 - 100*p56 - 102*p57 - 104*p58 - 106*p59 - 108*p60 - 110*p61 - 112*p62 - 114*p63 - 116*p64 + 60*p65 + p67 + 2*p68 + 3*p69 + 4*p70 + 5*p71 + 6*p72 + 7*p73 + 8*p74 + 9*p75 + 10*p76 + 11*p77 + 12*p78 + 13*p79 + 14*p80 + 15*p81 + 16*p82 + 17*p83 + 18*p84 + 19*p85 + 20*p86 + 21*p87 + 22*p88 + 23*p89 + 24*p90 + 25*p91 + 26*p92 + 27*p93 + 28*p94 + 29*p95 + 30*p96 + 31*p97 + 32*p98 + 33*p99 + 34*p100 + 35*p101 + 36*p102 + 37*p103 + 38*p104 + 39*p105 + 40*p106 + 41*p107 + 42*p108 + 43*p109 + 44*p110 + 45*p111 + 46*p112 + 47*p113 + 48*p114 + 49*p115 + 50*p116 + 51*p117 + 52*p118 + 53*p119 + 54*p120 + 55*p121 + 56*p122 + 57*p123 + 58*p124 + 59*p125 + 60*p187 + p189 + 2*p190 + 3*p191 + 4*p192 + 5*p193 + 6*p194 + 7*p195 + 8*p196 + 9*p197 + 10*p198 + 11*p199 + 12*p200 + 13*p201 + 14*p202 + 15*p203 + 16*p204 + 17*p205 + 18*p206 + 19*p207 + 20*p208 + 21*p209 + 22*p210 + 23*p211 + 24*p212 + 25*p213 + 26*p214 + 27*p215 + 28*p216 + 29*p217 + 30*p218 + 31*p219 + 32*p220 + 33*p221 + 34*p222 + 35*p223 + 36*p224 + 37*p225 + 38*p226 + 39*p227 + 40*p228 + 41*p229 + 42*p230 + 43*p231 + 44*p232 + 45*p233 + 46*p234 + 47*p235 + 48*p236 + 49*p237 + 50*p238 + 51*p239 + 52*p240 + 53*p241 + 54*p242 + 55*p243 + 56*p244 + 57*p245 + 58*p246 + 59*p247 + 2*p248 + p270 + p300 + p301 + 3*p307 + 3*p308 + p309 + 2*p312 + p313 + p326 + p340 + p341 + p350 + p361 - p366 + 2*p370 + p372 + p374 + p380 + p384 - p471 + p473 + p476 + p479 + p482 + p490 + p494 + p500 + p501 + p503 + p504 + p506 + p507 + p508 + p510 - p511 - p516 = 4
inv : p470 + p471 - p472 - p473 = 0
inv : p402 - p412 + p428 - p443 - p459 + p469 = 0
inv : p248 + p366 + p375 + p377 + p385 + p466 + p467 + p472 + p473 = 1
inv : p400 - p412 + p425 - p443 - p457 + p469 = 0
inv : p248 + p253 + p254 + p262 + p265 + p267 + p268 = 1
inv : p248 + p307 + p308 + p312 + p313 + p326 + p337 + p338 + p343 + p344 = 1
inv : p248 + p366 + p375 + p377 + p385 + p387 + p417 + p429 + p430 + p431 = 1
inv : p248 + p366 + p375 + p377 + p385 + p451 + p458 + p459 + p472 + p473 = 1
inv : p248 + p294 + p300 + p301 = 1
inv : p248 + p366 + p375 + p377 + p385 + p387 + p435 + p437 = 1
Total of 59 invariants.
[2022-06-12 23:51:29] [INFO ] Computed 59 place invariants in 7 ms
[2022-06-12 23:51:29] [INFO ] BMC solution for property DES-PT-60b-ReachabilityFireability-02(UNSAT) depth K=2 took 193 ms
[2022-06-12 23:51:29] [INFO ] BMC solution for property DES-PT-60b-ReachabilityFireability-03(UNSAT) depth K=2 took 130 ms
[2022-06-12 23:51:30] [INFO ] BMC solution for property DES-PT-60b-ReachabilityFireability-04(UNSAT) depth K=2 took 125 ms
[2022-06-12 23:51:30] [INFO ] BMC solution for property DES-PT-60b-ReachabilityFireability-11(UNSAT) depth K=2 took 139 ms
SDD proceeding with computation,5 properties remain. new max is 256
SDD size :2.43022e+09 after 1.90189e+13
[2022-06-12 23:51:30] [INFO ] BMC solution for property DES-PT-60b-ReachabilityFireability-15(UNSAT) depth K=2 took 132 ms
SDD proceeding with computation,5 properties remain. new max is 512
SDD size :1.90189e+13 after 3.58795e+13
SDD proceeding with computation,5 properties remain. new max is 1024
SDD size :3.58795e+13 after 5.69553e+13
SDD proceeding with computation,5 properties remain. new max is 2048
SDD size :5.69553e+13 after 8.87872e+13
[2022-06-12 23:51:30] [INFO ] Proved 416 variables to be positive in 1170 ms
[2022-06-12 23:51:30] [INFO ] BMC solution for property DES-PT-60b-ReachabilityFireability-02(UNSAT) depth K=3 took 608 ms
[2022-06-12 23:51:31] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDES-PT-60b-ReachabilityFireability-02
[2022-06-12 23:51:31] [INFO ] KInduction solution for property DES-PT-60b-ReachabilityFireability-02(SAT) depth K=0 took 249 ms
[2022-06-12 23:51:31] [INFO ] BMC solution for property DES-PT-60b-ReachabilityFireability-03(UNSAT) depth K=3 took 286 ms
[2022-06-12 23:51:31] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDES-PT-60b-ReachabilityFireability-03
[2022-06-12 23:51:31] [INFO ] KInduction solution for property DES-PT-60b-ReachabilityFireability-03(SAT) depth K=0 took 105 ms
[2022-06-12 23:51:31] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDES-PT-60b-ReachabilityFireability-04
[2022-06-12 23:51:31] [INFO ] KInduction solution for property DES-PT-60b-ReachabilityFireability-04(SAT) depth K=0 took 177 ms
[2022-06-12 23:51:31] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDES-PT-60b-ReachabilityFireability-11
[2022-06-12 23:51:31] [INFO ] KInduction solution for property DES-PT-60b-ReachabilityFireability-11(SAT) depth K=0 took 111 ms
[2022-06-12 23:51:31] [INFO ] BMC solution for property DES-PT-60b-ReachabilityFireability-04(UNSAT) depth K=3 took 414 ms
[2022-06-12 23:51:31] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDES-PT-60b-ReachabilityFireability-15
[2022-06-12 23:51:31] [INFO ] KInduction solution for property DES-PT-60b-ReachabilityFireability-15(SAT) depth K=0 took 96 ms
[2022-06-12 23:51:31] [INFO ] BMC solution for property DES-PT-60b-ReachabilityFireability-11(UNSAT) depth K=3 took 293 ms
[2022-06-12 23:51:32] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDES-PT-60b-ReachabilityFireability-02
[2022-06-12 23:51:32] [INFO ] KInduction solution for property DES-PT-60b-ReachabilityFireability-02(SAT) depth K=1 took 490 ms
[2022-06-12 23:51:32] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDES-PT-60b-ReachabilityFireability-03
[2022-06-12 23:51:32] [INFO ] KInduction solution for property DES-PT-60b-ReachabilityFireability-03(SAT) depth K=1 took 311 ms
[2022-06-12 23:51:32] [INFO ] BMC solution for property DES-PT-60b-ReachabilityFireability-15(UNSAT) depth K=3 took 605 ms
[2022-06-12 23:51:32] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDES-PT-60b-ReachabilityFireability-04
[2022-06-12 23:51:32] [INFO ] KInduction solution for property DES-PT-60b-ReachabilityFireability-04(SAT) depth K=1 took 200 ms
[2022-06-12 23:51:32] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDES-PT-60b-ReachabilityFireability-11
[2022-06-12 23:51:32] [INFO ] KInduction solution for property DES-PT-60b-ReachabilityFireability-11(SAT) depth K=1 took 277 ms
Compilation finished in 3876 ms.
Running link step : CommandLine [args=[gcc, -shared, -o, gal.so, model.o], workingDir=/tmp/ltsmin14742157240963828713]
[2022-06-12 23:51:33] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDES-PT-60b-ReachabilityFireability-15
[2022-06-12 23:51:33] [INFO ] KInduction solution for property DES-PT-60b-ReachabilityFireability-15(SAT) depth K=1 took 263 ms
Link finished in 66 ms.
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/pins2lts-mc-linux64, ./gal.so, --threads=8, -p, --pins-guards, --when, -i, DESPT60bReachabilityFireability02==true], workingDir=/tmp/ltsmin14742157240963828713]
[2022-06-12 23:51:35] [INFO ] BMC solution for property DES-PT-60b-ReachabilityFireability-02(UNSAT) depth K=4 took 3132 ms
[2022-06-12 23:51:58] [INFO ] BMC solution for property DES-PT-60b-ReachabilityFireability-03(UNSAT) depth K=4 took 22618 ms
SDD proceeding with computation,5 properties remain. new max is 4096
SDD size :2.53874e+17 after 2.75109e+17
[2022-06-12 23:52:25] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDES-PT-60b-ReachabilityFireability-02
[2022-06-12 23:52:25] [INFO ] KInduction solution for property DES-PT-60b-ReachabilityFireability-02(SAT) depth K=2 took 52432 ms
[2022-06-12 23:52:30] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDES-PT-60b-ReachabilityFireability-03
[2022-06-12 23:52:30] [INFO ] KInduction solution for property DES-PT-60b-ReachabilityFireability-03(SAT) depth K=2 took 4574 ms
[2022-06-12 23:52:33] [INFO ] BMC solution for property DES-PT-60b-ReachabilityFireability-04(UNSAT) depth K=4 took 34873 ms
Reachability property DES-PT-60b-ReachabilityFireability-15 is true.
FORMULA DES-PT-60b-ReachabilityFireability-15 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
[2022-06-12 23:52:51] [INFO ] BMC solution for property DES-PT-60b-ReachabilityFireability-11(UNSAT) depth K=4 took 18282 ms
Reachability property DES-PT-60b-ReachabilityFireability-04 is true.
FORMULA DES-PT-60b-ReachabilityFireability-04 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
Reachability property DES-PT-60b-ReachabilityFireability-03 is true.
FORMULA DES-PT-60b-ReachabilityFireability-03 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
Reachability property DES-PT-60b-ReachabilityFireability-02 is true.
FORMULA DES-PT-60b-ReachabilityFireability-02 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
SDD proceeding with computation,1 properties remain. new max is 4096
SDD size :9.12646e+17 after 9.33882e+17
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
petri\_inst\_inst\_mod\_flat,1.22453e+18,73.9871,575300,40140,11978,1.69404e+06,56009,642,901015,616,484895,0
Total reachable state count : 1224528418836207210

Verifying 5 reachability properties.
Reachability property DES-PT-60b-ReachabilityFireability-02 is true.

[2022-06-12 23:54:50] [INFO ] BMC solution for property DES-PT-60b-ReachabilityFireability-02(UNSAT) depth K=5 took 118670 ms
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DES-PT-60b-ReachabilityFireability-02,9.88344e+12,74.1682,574152,804,1009,1.69404e+06,56009,650,901015,622,484895,0
Reachability property DES-PT-60b-ReachabilityFireability-03 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DES-PT-60b-ReachabilityFireability-03,6.36149e+10,75.0764,574152,509,646,1.69404e+06,56009,875,901015,670,484895,205070
Reachability property DES-PT-60b-ReachabilityFireability-04 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DES-PT-60b-ReachabilityFireability-04,1.18115e+15,75.117,574152,1653,1426,1.69404e+06,56009,1046,901015,696,484895,209017
Invariant property DES-PT-60b-ReachabilityFireability-11 does not hold.
FORMULA DES-PT-60b-ReachabilityFireability-11 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DES-PT-60b-ReachabilityFireability-11,5.11544e+14,76.0813,574152,902,1305,1.69404e+06,56009,1127,901015,710,484895,358091
Reachability property DES-PT-60b-ReachabilityFireability-15 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DES-PT-60b-ReachabilityFireability-15,1.35352e+13,76.089,574152,614,1215,1.69404e+06,56009,1140,901015,717,484895,358091
[2022-06-12 23:54:54] [WARNING] Interrupting SMT solver.
WARNING : LTS min runner thread was asked to interrupt. Dying gracefully.
[2022-06-12 23:54:54] [WARNING] SMT solver unexpectedly returned 'unknown' answer, retrying.
java.lang.RuntimeException: SMT solver raised an exception or timeout :(error "Solver has unexpectedly terminated")
at fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver.checkSat(NextBMCSolver.java:299)
at fr.lip6.move.gal.gal2smt.bmc.KInductionSolver.verify(KInductionSolver.java:586)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd.runKInduction(Gal2SMTFrontEnd.java:306)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd.access$1(Gal2SMTFrontEnd.java:279)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd$2.run(Gal2SMTFrontEnd.java:171)
at java.base/java.lang.Thread.run(Thread.java:834)
java.lang.RuntimeException: SMT solver raised an exception or timeout :(error "Failed to check-sat")
at fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver.checkSat(NextBMCSolver.java:299)
at fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver.checkSat(NextBMCSolver.java:307)
at fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver.verifyAssertion(NextBMCSolver.java:454)
at fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver.verify(NextBMCSolver.java:437)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd.runBMC(Gal2SMTFrontEnd.java:385)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd.access$0(Gal2SMTFrontEnd.java:357)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd$1.run(Gal2SMTFrontEnd.java:164)
at java.base/java.lang.Thread.run(Thread.java:834)
[2022-06-12 23:54:54] [WARNING] Unexpected error occurred while running SMT. Was verifying DES-PT-60b-ReachabilityFireability-11 SMT depth 5
java.lang.RuntimeException: java.lang.RuntimeException: SMT solver raised an exception or timeout :(error "Failed to check-sat")
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd.runBMC(Gal2SMTFrontEnd.java:411)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd.access$0(Gal2SMTFrontEnd.java:357)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd$1.run(Gal2SMTFrontEnd.java:164)
at java.base/java.lang.Thread.run(Thread.java:834)
Caused by: java.lang.RuntimeException: SMT solver raised an exception or timeout :(error "Failed to check-sat")
at fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver.checkSat(NextBMCSolver.java:299)
at fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver.checkSat(NextBMCSolver.java:307)
at fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver.verifyAssertion(NextBMCSolver.java:454)
at fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver.verify(NextBMCSolver.java:437)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd.runBMC(Gal2SMTFrontEnd.java:385)
... 3 more
[2022-06-12 23:54:54] [INFO ] During BMC, SMT solver timed out at depth 5
[2022-06-12 23:54:54] [INFO ] BMC solving timed out (3600000 secs) at depth 5
[2022-06-12 23:54:54] [WARNING] Unexpected error occurred while running SMT. Was verifying DES-PT-60b-ReachabilityFireability-04 K-induction depth 2
Exception in thread "Thread-32" java.lang.RuntimeException: java.lang.RuntimeException: SMT solver raised an exception or timeout :(error "Solver has unexpectedly terminated")
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd.runKInduction(Gal2SMTFrontEnd.java:344)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd.access$1(Gal2SMTFrontEnd.java:279)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd$2.run(Gal2SMTFrontEnd.java:171)
at java.base/java.lang.Thread.run(Thread.java:834)
Caused by: java.lang.RuntimeException: SMT solver raised an exception or timeout :(error "Solver has unexpectedly terminated")
at fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver.checkSat(NextBMCSolver.java:299)
at fr.lip6.move.gal.gal2smt.bmc.KInductionSolver.verify(KInductionSolver.java:586)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd.runKInduction(Gal2SMTFrontEnd.java:306)
... 3 more
[2022-06-12 23:54:54] [INFO ] SMT solved 0/ 5 properties. Interrupting SMT analysis.

BK_STOP 1655078095826

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

+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ ReachabilityFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution ReachabilityFireability -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 ReachabilityFireability -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DES-PT-60b"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="gold2021"
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 gold2021"
echo " Input is DES-PT-60b, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r046-smll-165252115900204"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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