About the Execution of ITS-Tools for DoubleExponent-PT-010
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5658.684 | 3600000.00 | 5646676.00 | 7515.30 | TFF??T?FTF?????? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r136-tall-171631132900559.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool itstools
Input is DoubleExponent-PT-010, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r136-tall-171631132900559
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 524K
-rw-r--r-- 1 mcc users 5.9K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 61K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:42 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K May 18 16:42 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K May 19 07:08 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 19 15:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 19 07:17 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 19 18:15 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.9K May 14 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 65K May 14 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.2K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 48K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K May 19 07:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 19 15:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 4 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 169K May 18 16:42 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 DoubleExponent-PT-010-ReachabilityFireability-2024-00
FORMULA_NAME DoubleExponent-PT-010-ReachabilityFireability-2024-01
FORMULA_NAME DoubleExponent-PT-010-ReachabilityFireability-2024-02
FORMULA_NAME DoubleExponent-PT-010-ReachabilityFireability-2024-03
FORMULA_NAME DoubleExponent-PT-010-ReachabilityFireability-2024-04
FORMULA_NAME DoubleExponent-PT-010-ReachabilityFireability-2024-05
FORMULA_NAME DoubleExponent-PT-010-ReachabilityFireability-2024-06
FORMULA_NAME DoubleExponent-PT-010-ReachabilityFireability-2024-07
FORMULA_NAME DoubleExponent-PT-010-ReachabilityFireability-2024-08
FORMULA_NAME DoubleExponent-PT-010-ReachabilityFireability-2024-09
FORMULA_NAME DoubleExponent-PT-010-ReachabilityFireability-2024-10
FORMULA_NAME DoubleExponent-PT-010-ReachabilityFireability-2023-11
FORMULA_NAME DoubleExponent-PT-010-ReachabilityFireability-2023-12
FORMULA_NAME DoubleExponent-PT-010-ReachabilityFireability-2024-13
FORMULA_NAME DoubleExponent-PT-010-ReachabilityFireability-2023-14
FORMULA_NAME DoubleExponent-PT-010-ReachabilityFireability-2023-15
=== Now, execution of the tool begins
BK_START 1716392936139
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=ReachabilityFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DoubleExponent-PT-010
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
ReachabilityFireability PT
Running Version 202405141337
[2024-05-22 15:48:57] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityFireability, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2024-05-22 15:48:57] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-22 15:48:57] [INFO ] Load time of PNML (sax parser for PT used): 84 ms
[2024-05-22 15:48:57] [INFO ] Transformed 534 places.
[2024-05-22 15:48:57] [INFO ] Transformed 498 transitions.
[2024-05-22 15:48:57] [INFO ] Parsed PT model containing 534 places and 498 transitions and 1404 arcs in 178 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityFireability.xml in 12 ms.
Working with output stream class java.io.PrintStream
[2024-05-22 15:48:58] [INFO ] Flatten gal took : 193 ms
[2024-05-22 15:48:58] [INFO ] Flatten gal took : 115 ms
RANDOM walk for 40000 steps (1333 resets) in 2094 ms. (19 steps per ms) remains 16/16 properties
[2024-05-22 15:48:58] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality1794842672540808160.gal : 54 ms
[2024-05-22 15:48:58] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality6991657234813534324.prop : 20 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality1794842672540808160.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality6991657234813534324.prop' '--nowitness' '--gen-order' 'FOLLOW'
BEST_FIRST walk for 4001 steps (116 resets) in 280 ms. (14 steps per ms) remains 16/16 properties
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...328
BEST_FIRST walk for 4001 steps (113 resets) in 349 ms. (11 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4000 steps (114 resets) in 51 ms. (76 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4001 steps (116 resets) in 33 ms. (117 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4001 steps (111 resets) in 20 ms. (190 steps per ms) remains 16/16 properties
Loading property file /tmp/ReachabilityCardinality6991657234813534324.prop.
BEST_FIRST walk for 4002 steps (104 resets) in 50 ms. (78 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4000 steps (108 resets) in 26 ms. (148 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4001 steps (108 resets) in 39 ms. (100 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4003 steps (107 resets) in 33 ms. (117 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4001 steps (109 resets) in 47 ms. (83 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4001 steps (113 resets) in 24 ms. (160 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4001 steps (108 resets) in 34 ms. (114 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4000 steps (116 resets) in 25 ms. (153 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4000 steps (115 resets) in 23 ms. (166 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4001 steps (107 resets) in 37 ms. (105 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4000 steps (111 resets) in 15 ms. (250 steps per ms) remains 16/16 properties
SDD proceeding with computation,16 properties remain. new max is 4
SDD size :1 after 4
SDD proceeding with computation,16 properties remain. new max is 8
SDD size :4 after 7
SDD proceeding with computation,16 properties remain. new max is 16
SDD size :7 after 11
SDD proceeding with computation,16 properties remain. new max is 32
SDD size :11 after 12
SDD proceeding with computation,16 properties remain. new max is 64
SDD size :12 after 25
SDD proceeding with computation,16 properties remain. new max is 128
SDD size :25 after 32
SDD proceeding with computation,16 properties remain. new max is 256
SDD size :32 after 68
SDD proceeding with computation,16 properties remain. new max is 512
SDD size :68 after 138
SDD proceeding with computation,16 properties remain. new max is 1024
SDD size :138 after 514
SDD proceeding with computation,16 properties remain. new max is 2048
SDD size :514 after 2692
SDD proceeding with computation,16 properties remain. new max is 4096
SDD size :2692 after 28726
Invariant property DoubleExponent-PT-010-ReachabilityFireability-2024-09 does not hold.
FORMULA DoubleExponent-PT-010-ReachabilityFireability-2024-09 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING
Reachability property DoubleExponent-PT-010-ReachabilityFireability-2024-00 is true.
FORMULA DoubleExponent-PT-010-ReachabilityFireability-2024-00 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING
SDD proceeding with computation,14 properties remain. new max is 4096
SDD size :28726 after 284154
SDD proceeding with computation,14 properties remain. new max is 8192
SDD size :284154 after 566561
SDD proceeding with computation,14 properties remain. new max is 16384
SDD size :566561 after 1.1483e+06
SDD proceeding with computation,14 properties remain. new max is 32768
SDD size :1.1483e+06 after 2.39951e+06
SDD proceeding with computation,14 properties remain. new max is 65536
SDD size :2.39951e+06 after 2.05966e+08
Interrupted probabilistic random walk after 166536 steps, run timeout after 3001 ms. (steps per millisecond=55 ) properties seen :0 out of 16
Probabilistic random walk after 166536 steps, saw 83280 distinct states, run finished after 3012 ms. (steps per millisecond=55 ) properties seen :0
// Phase 1: matrix 498 rows 534 cols
[2024-05-22 15:49:02] [INFO ] Computed 54 invariants in 121 ms
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/150 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 14 unsolved
Problem DoubleExponent-PT-010-ReachabilityFireability-2024-01 is UNSAT
FORMULA DoubleExponent-PT-010-ReachabilityFireability-2024-01 FALSE TECHNIQUES SMT_REFINEMENT
Problem DoubleExponent-PT-010-ReachabilityFireability-2024-02 is UNSAT
FORMULA DoubleExponent-PT-010-ReachabilityFireability-2024-02 FALSE TECHNIQUES SMT_REFINEMENT
Problem DoubleExponent-PT-010-ReachabilityFireability-2024-05 is UNSAT
FORMULA DoubleExponent-PT-010-ReachabilityFireability-2024-05 TRUE TECHNIQUES SMT_REFINEMENT
Problem DoubleExponent-PT-010-ReachabilityFireability-2024-07 is UNSAT
FORMULA DoubleExponent-PT-010-ReachabilityFireability-2024-07 FALSE TECHNIQUES SMT_REFINEMENT
At refinement iteration 1 (OVERLAPS) 283/433 variables, 3/3 constraints. Problems are: Problem set: 4 solved, 10 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/433 variables, 0/3 constraints. Problems are: Problem set: 4 solved, 10 unsolved
At refinement iteration 3 (OVERLAPS) 101/534 variables, 51/54 constraints. Problems are: Problem set: 4 solved, 10 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/534 variables, 0/54 constraints. Problems are: Problem set: 4 solved, 10 unsolved
At refinement iteration 5 (OVERLAPS) 498/1032 variables, 534/588 constraints. Problems are: Problem set: 4 solved, 10 unsolved
SDD proceeding with computation,14 properties remain. new max is 131072
At refinement iteration 6 (INCLUDED_ONLY) 0/1032 variables, 0/588 constraints. Problems are: Problem set: 4 solved, 10 unsolved
SDD size :2.05966e+08 after 1.29093e+09
At refinement iteration 7 (OVERLAPS) 0/1032 variables, 0/588 constraints. Problems are: Problem set: 4 solved, 10 unsolved
No progress, stopping.
After SMT solving in domain Real declared 1032/1032 variables, and 588 constraints, problems are : Problem set: 4 solved, 10 unsolved in 1841 ms.
Refiners :[Positive P Invariants (semi-flows): 3/3 constraints, Generalized P Invariants (flows): 51/51 constraints, State Equation: 534/534 constraints, PredecessorRefiner: 14/14 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 4 solved, 10 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/39 variables, 0/0 constraints. Problems are: Problem set: 4 solved, 10 unsolved
At refinement iteration 1 (OVERLAPS) 346/385 variables, 1/1 constraints. Problems are: Problem set: 4 solved, 10 unsolved
[2024-05-22 15:49:04] [INFO ] Deduced a trap composed of 342 places in 169 ms of which 30 ms to minimize.
At refinement iteration 2 (INCLUDED_ONLY) 0/385 variables, 1/2 constraints. Problems are: Problem set: 4 solved, 10 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/385 variables, 0/2 constraints. Problems are: Problem set: 4 solved, 10 unsolved
At refinement iteration 4 (OVERLAPS) 10/395 variables, 2/4 constraints. Problems are: Problem set: 4 solved, 10 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/395 variables, 0/4 constraints. Problems are: Problem set: 4 solved, 10 unsolved
At refinement iteration 6 (OVERLAPS) 139/534 variables, 51/55 constraints. Problems are: Problem set: 4 solved, 10 unsolved
[2024-05-22 15:49:05] [INFO ] Deduced a trap composed of 23 places in 164 ms of which 4 ms to minimize.
[2024-05-22 15:49:05] [INFO ] Deduced a trap composed of 43 places in 167 ms of which 3 ms to minimize.
[2024-05-22 15:49:05] [INFO ] Deduced a trap composed of 16 places in 164 ms of which 4 ms to minimize.
[2024-05-22 15:49:05] [INFO ] Deduced a trap composed of 19 places in 137 ms of which 3 ms to minimize.
[2024-05-22 15:49:05] [INFO ] Deduced a trap composed of 18 places in 151 ms of which 3 ms to minimize.
[2024-05-22 15:49:06] [INFO ] Deduced a trap composed of 25 places in 163 ms of which 4 ms to minimize.
[2024-05-22 15:49:06] [INFO ] Deduced a trap composed of 31 places in 160 ms of which 3 ms to minimize.
[2024-05-22 15:49:06] [INFO ] Deduced a trap composed of 30 places in 149 ms of which 3 ms to minimize.
[2024-05-22 15:49:06] [INFO ] Deduced a trap composed of 42 places in 127 ms of which 2 ms to minimize.
[2024-05-22 15:49:06] [INFO ] Deduced a trap composed of 84 places in 152 ms of which 3 ms to minimize.
[2024-05-22 15:49:06] [INFO ] Deduced a trap composed of 91 places in 116 ms of which 2 ms to minimize.
[2024-05-22 15:49:06] [INFO ] Deduced a trap composed of 60 places in 113 ms of which 2 ms to minimize.
[2024-05-22 15:49:07] [INFO ] Deduced a trap composed of 48 places in 124 ms of which 3 ms to minimize.
[2024-05-22 15:49:07] [INFO ] Deduced a trap composed of 89 places in 128 ms of which 2 ms to minimize.
[2024-05-22 15:49:07] [INFO ] Deduced a trap composed of 107 places in 113 ms of which 2 ms to minimize.
[2024-05-22 15:49:07] [INFO ] Deduced a trap composed of 97 places in 111 ms of which 3 ms to minimize.
[2024-05-22 15:49:07] [INFO ] Deduced a trap composed of 55 places in 114 ms of which 2 ms to minimize.
[2024-05-22 15:49:07] [INFO ] Deduced a trap composed of 41 places in 119 ms of which 3 ms to minimize.
[2024-05-22 15:49:07] [INFO ] Deduced a trap composed of 139 places in 88 ms of which 1 ms to minimize.
[2024-05-22 15:49:07] [INFO ] Deduced a trap composed of 143 places in 90 ms of which 2 ms to minimize.
At refinement iteration 7 (INCLUDED_ONLY) 0/534 variables, 20/75 constraints. Problems are: Problem set: 4 solved, 10 unsolved
[2024-05-22 15:49:08] [INFO ] Deduced a trap composed of 143 places in 84 ms of which 2 ms to minimize.
[2024-05-22 15:49:08] [INFO ] Deduced a trap composed of 162 places in 91 ms of which 4 ms to minimize.
[2024-05-22 15:49:08] [INFO ] Deduced a trap composed of 108 places in 86 ms of which 2 ms to minimize.
[2024-05-22 15:49:08] [INFO ] Deduced a trap composed of 154 places in 88 ms of which 1 ms to minimize.
[2024-05-22 15:49:08] [INFO ] Deduced a trap composed of 106 places in 91 ms of which 1 ms to minimize.
[2024-05-22 15:49:08] [INFO ] Deduced a trap composed of 216 places in 145 ms of which 3 ms to minimize.
[2024-05-22 15:49:08] [INFO ] Deduced a trap composed of 242 places in 146 ms of which 3 ms to minimize.
[2024-05-22 15:49:08] [INFO ] Deduced a trap composed of 65 places in 144 ms of which 3 ms to minimize.
[2024-05-22 15:49:09] [INFO ] Deduced a trap composed of 232 places in 142 ms of which 3 ms to minimize.
[2024-05-22 15:49:09] [INFO ] Deduced a trap composed of 179 places in 144 ms of which 3 ms to minimize.
SMT process timed out in 7236ms, After SMT, problems are : Problem set: 4 solved, 10 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 39 out of 534 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 534/534 places, 498/498 transitions.
Graph (complete) has 906 edges and 534 vertex of which 530 are kept as prefixes of interest. Removing 4 places using SCC suffix rule.1 ms
Discarding 4 places :
Also discarding 0 output transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 89 transitions
Trivial Post-agglo rules discarded 89 transitions
Performed 89 trivial Post agglomeration. Transition count delta: 89
Iterating post reduction 0 with 89 rules applied. Total rules applied 90 place count 530 transition count 409
Reduce places removed 89 places and 0 transitions.
Performed 9 Post agglomeration using F-continuation condition.Transition count delta: 9
Iterating post reduction 1 with 98 rules applied. Total rules applied 188 place count 441 transition count 400
Reduce places removed 9 places and 0 transitions.
Iterating post reduction 2 with 9 rules applied. Total rules applied 197 place count 432 transition count 400
Performed 21 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 21 Pre rules applied. Total rules applied 197 place count 432 transition count 379
Deduced a syphon composed of 21 places in 4 ms
Reduce places removed 21 places and 0 transitions.
Iterating global reduction 3 with 42 rules applied. Total rules applied 239 place count 411 transition count 379
Performed 74 Post agglomeration using F-continuation condition.Transition count delta: 74
Deduced a syphon composed of 74 places in 4 ms
Reduce places removed 74 places and 0 transitions.
Iterating global reduction 3 with 148 rules applied. Total rules applied 387 place count 337 transition count 305
Performed 16 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 16 places in 3 ms
Reduce places removed 16 places and 0 transitions.
Iterating global reduction 3 with 32 rules applied. Total rules applied 419 place count 321 transition count 305
Free-agglomeration rule (complex) applied 37 times.
Iterating global reduction 3 with 37 rules applied. Total rules applied 456 place count 321 transition count 268
Reduce places removed 37 places and 0 transitions.
Iterating post reduction 3 with 37 rules applied. Total rules applied 493 place count 284 transition count 268
Partial Free-agglomeration rule applied 38 times.
Drop transitions (Partial Free agglomeration) removed 38 transitions
Iterating global reduction 4 with 38 rules applied. Total rules applied 531 place count 284 transition count 268
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 4 with 1 rules applied. Total rules applied 532 place count 283 transition count 267
Applied a total of 532 rules in 158 ms. Remains 283 /534 variables (removed 251) and now considering 267/498 (removed 231) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 166 ms. Remains : 283/534 places, 267/498 transitions.
SDD proceeding with computation,14 properties remain. new max is 262144
RANDOM walk for 40000 steps (3394 resets) in 384 ms. (103 steps per ms) remains 10/10 properties
SDD size :1.29093e+09 after 5.04652e+09
BEST_FIRST walk for 40001 steps (2357 resets) in 372 ms. (107 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40001 steps (2411 resets) in 487 ms. (81 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40002 steps (2385 resets) in 367 ms. (108 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40002 steps (2399 resets) in 276 ms. (144 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40001 steps (2340 resets) in 159 ms. (250 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40001 steps (2396 resets) in 187 ms. (212 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40002 steps (2371 resets) in 137 ms. (289 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40001 steps (2363 resets) in 170 ms. (233 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40000 steps (2387 resets) in 392 ms. (101 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40001 steps (2364 resets) in 176 ms. (225 steps per ms) remains 10/10 properties
Interrupted probabilistic random walk after 219658 steps, run timeout after 3001 ms. (steps per millisecond=73 ) properties seen :0 out of 10
Probabilistic random walk after 219658 steps, saw 109838 distinct states, run finished after 3001 ms. (steps per millisecond=73 ) properties seen :0
// Phase 1: matrix 267 rows 283 cols
[2024-05-22 15:49:13] [INFO ] Computed 51 invariants in 16 ms
[2024-05-22 15:49:13] [INFO ] State equation strengthened by 29 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/39 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 1 (OVERLAPS) 194/233 variables, 36/36 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/233 variables, 0/36 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 3 (OVERLAPS) 4/237 variables, 2/38 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/237 variables, 0/38 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 5 (OVERLAPS) 30/267 variables, 13/51 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/267 variables, 0/51 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 7 (OVERLAPS) 267/534 variables, 267/318 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/534 variables, 29/347 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/534 variables, 0/347 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 10 (OVERLAPS) 16/550 variables, 16/363 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/550 variables, 0/363 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 12 (OVERLAPS) 0/550 variables, 0/363 constraints. Problems are: Problem set: 0 solved, 10 unsolved
No progress, stopping.
After SMT solving in domain Real declared 550/550 variables, and 363 constraints, problems are : Problem set: 0 solved, 10 unsolved in 1050 ms.
Refiners :[Positive P Invariants (semi-flows): 2/2 constraints, Generalized P Invariants (flows): 49/49 constraints, State Equation: 283/283 constraints, ReadFeed: 29/29 constraints, PredecessorRefiner: 10/10 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 10 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/39 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 1 (OVERLAPS) 194/233 variables, 36/36 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-22 15:49:14] [INFO ] Deduced a trap composed of 7 places in 47 ms of which 1 ms to minimize.
At refinement iteration 2 (INCLUDED_ONLY) 0/233 variables, 1/37 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/233 variables, 0/37 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 4 (OVERLAPS) 4/237 variables, 2/39 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/237 variables, 0/39 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 6 (OVERLAPS) 30/267 variables, 13/52 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-22 15:49:15] [INFO ] Deduced a trap composed of 17 places in 74 ms of which 1 ms to minimize.
[2024-05-22 15:49:15] [INFO ] Deduced a trap composed of 13 places in 59 ms of which 4 ms to minimize.
[2024-05-22 15:49:15] [INFO ] Deduced a trap composed of 9 places in 56 ms of which 1 ms to minimize.
[2024-05-22 15:49:15] [INFO ] Deduced a trap composed of 11 places in 51 ms of which 1 ms to minimize.
[2024-05-22 15:49:15] [INFO ] Deduced a trap composed of 17 places in 51 ms of which 1 ms to minimize.
[2024-05-22 15:49:15] [INFO ] Deduced a trap composed of 17 places in 51 ms of which 1 ms to minimize.
[2024-05-22 15:49:15] [INFO ] Deduced a trap composed of 13 places in 52 ms of which 2 ms to minimize.
[2024-05-22 15:49:15] [INFO ] Deduced a trap composed of 14 places in 53 ms of which 2 ms to minimize.
[2024-05-22 15:49:15] [INFO ] Deduced a trap composed of 13 places in 53 ms of which 1 ms to minimize.
[2024-05-22 15:49:15] [INFO ] Deduced a trap composed of 12 places in 48 ms of which 1 ms to minimize.
At refinement iteration 7 (INCLUDED_ONLY) 0/267 variables, 10/62 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/267 variables, 0/62 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 9 (OVERLAPS) 267/534 variables, 267/329 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/534 variables, 29/358 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/534 variables, 6/364 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/534 variables, 0/364 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 13 (OVERLAPS) 16/550 variables, 16/380 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/550 variables, 4/384 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-22 15:49:17] [INFO ] Deduced a trap composed of 13 places in 74 ms of which 2 ms to minimize.
[2024-05-22 15:49:17] [INFO ] Deduced a trap composed of 8 places in 73 ms of which 2 ms to minimize.
[2024-05-22 15:49:17] [INFO ] Deduced a trap composed of 23 places in 86 ms of which 1 ms to minimize.
[2024-05-22 15:49:17] [INFO ] Deduced a trap composed of 27 places in 67 ms of which 1 ms to minimize.
[2024-05-22 15:49:17] [INFO ] Deduced a trap composed of 6 places in 74 ms of which 1 ms to minimize.
[2024-05-22 15:49:17] [INFO ] Deduced a trap composed of 19 places in 68 ms of which 2 ms to minimize.
[2024-05-22 15:49:17] [INFO ] Deduced a trap composed of 18 places in 91 ms of which 1 ms to minimize.
[2024-05-22 15:49:17] [INFO ] Deduced a trap composed of 15 places in 84 ms of which 15 ms to minimize.
[2024-05-22 15:49:18] [INFO ] Deduced a trap composed of 13 places in 80 ms of which 2 ms to minimize.
[2024-05-22 15:49:18] [INFO ] Deduced a trap composed of 27 places in 57 ms of which 1 ms to minimize.
[2024-05-22 15:49:18] [INFO ] Deduced a trap composed of 26 places in 55 ms of which 1 ms to minimize.
[2024-05-22 15:49:18] [INFO ] Deduced a trap composed of 30 places in 52 ms of which 1 ms to minimize.
[2024-05-22 15:49:18] [INFO ] Deduced a trap composed of 34 places in 57 ms of which 2 ms to minimize.
[2024-05-22 15:49:18] [INFO ] Deduced a trap composed of 33 places in 42 ms of which 1 ms to minimize.
[2024-05-22 15:49:18] [INFO ] Deduced a trap composed of 41 places in 48 ms of which 2 ms to minimize.
[2024-05-22 15:49:18] [INFO ] Deduced a trap composed of 40 places in 43 ms of which 1 ms to minimize.
[2024-05-22 15:49:18] [INFO ] Deduced a trap composed of 38 places in 61 ms of which 1 ms to minimize.
[2024-05-22 15:49:18] [INFO ] Deduced a trap composed of 39 places in 56 ms of which 1 ms to minimize.
[2024-05-22 15:49:19] [INFO ] Deduced a trap composed of 38 places in 61 ms of which 1 ms to minimize.
[2024-05-22 15:49:19] [INFO ] Deduced a trap composed of 41 places in 44 ms of which 0 ms to minimize.
At refinement iteration 15 (INCLUDED_ONLY) 0/550 variables, 20/404 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/550 variables, 0/404 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 17 (OVERLAPS) 0/550 variables, 0/404 constraints. Problems are: Problem set: 0 solved, 10 unsolved
No progress, stopping.
After SMT solving in domain Int declared 550/550 variables, and 404 constraints, problems are : Problem set: 0 solved, 10 unsolved in 6674 ms.
Refiners :[Positive P Invariants (semi-flows): 2/2 constraints, Generalized P Invariants (flows): 49/49 constraints, State Equation: 283/283 constraints, ReadFeed: 29/29 constraints, PredecessorRefiner: 10/10 constraints, Known Traps: 31/31 constraints]
After SMT, in 7765ms problems are : Problem set: 0 solved, 10 unsolved
SDD proceeding with computation,14 properties remain. new max is 524288
SDD size :5.04652e+09 after 1.68186e+10
Parikh walk visited 0 properties in 30004 ms.
Support contains 39 out of 283 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 283/283 places, 267/267 transitions.
Applied a total of 0 rules in 31 ms. Remains 283 /283 variables (removed 0) and now considering 267/267 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 32 ms. Remains : 283/283 places, 267/267 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 283/283 places, 267/267 transitions.
Applied a total of 0 rules in 15 ms. Remains 283 /283 variables (removed 0) and now considering 267/267 (removed 0) transitions.
[2024-05-22 15:49:51] [INFO ] Invariant cache hit.
[2024-05-22 15:49:51] [INFO ] Implicit Places using invariants in 188 ms returned [236]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 211 ms to find 1 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 282/283 places, 267/267 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 281 transition count 266
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 281 transition count 266
Applied a total of 2 rules in 28 ms. Remains 281 /282 variables (removed 1) and now considering 266/267 (removed 1) transitions.
// Phase 1: matrix 266 rows 281 cols
[2024-05-22 15:49:51] [INFO ] Computed 50 invariants in 16 ms
[2024-05-22 15:49:51] [INFO ] Implicit Places using invariants in 172 ms returned []
[2024-05-22 15:49:51] [INFO ] Invariant cache hit.
[2024-05-22 15:49:51] [INFO ] State equation strengthened by 29 read => feed constraints.
[2024-05-22 15:49:52] [INFO ] Implicit Places using invariants and state equation in 969 ms returned [56, 63, 86, 92, 114, 123, 154, 179, 184, 227, 272, 278]
[2024-05-22 15:49:52] [INFO ] Actually due to overlaps returned [63, 227, 56, 154, 179, 184]
Discarding 6 places :
Implicit Place search using SMT with State Equation took 1143 ms to find 6 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 2 : 275/283 places, 266/267 transitions.
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 1 place count 275 transition count 265
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 2 place count 274 transition count 265
Partial Free-agglomeration rule applied 2 times.
Drop transitions (Partial Free agglomeration) removed 2 transitions
Iterating global reduction 1 with 2 rules applied. Total rules applied 4 place count 274 transition count 265
Applied a total of 4 rules in 26 ms. Remains 274 /275 variables (removed 1) and now considering 265/266 (removed 1) transitions.
// Phase 1: matrix 265 rows 274 cols
[2024-05-22 15:49:52] [INFO ] Computed 44 invariants in 16 ms
[2024-05-22 15:49:52] [INFO ] Implicit Places using invariants in 162 ms returned []
[2024-05-22 15:49:52] [INFO ] Invariant cache hit.
[2024-05-22 15:49:53] [INFO ] State equation strengthened by 29 read => feed constraints.
[2024-05-22 15:49:53] [INFO ] Implicit Places using invariants and state equation in 1049 ms returned [83, 89, 111, 120, 265, 271]
[2024-05-22 15:49:54] [INFO ] Actually due to overlaps returned [89, 83, 265, 271]
Discarding 4 places :
Implicit Place search using SMT with State Equation took 1219 ms to find 4 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 3 : 270/283 places, 265/267 transitions.
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 1 place count 270 transition count 264
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 2 place count 269 transition count 264
Partial Free-agglomeration rule applied 2 times.
Drop transitions (Partial Free agglomeration) removed 2 transitions
Iterating global reduction 1 with 2 rules applied. Total rules applied 4 place count 269 transition count 264
Applied a total of 4 rules in 24 ms. Remains 269 /270 variables (removed 1) and now considering 264/265 (removed 1) transitions.
// Phase 1: matrix 264 rows 269 cols
[2024-05-22 15:49:54] [INFO ] Computed 40 invariants in 35 ms
[2024-05-22 15:49:54] [INFO ] Implicit Places using invariants in 175 ms returned []
[2024-05-22 15:49:54] [INFO ] Invariant cache hit.
[2024-05-22 15:49:54] [INFO ] State equation strengthened by 29 read => feed constraints.
[2024-05-22 15:49:55] [INFO ] Implicit Places using invariants and state equation in 1153 ms returned [109, 118]
Discarding 2 places :
Implicit Place search using SMT with State Equation took 1331 ms to find 2 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 4 : 267/283 places, 264/267 transitions.
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 1 place count 267 transition count 263
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 2 place count 266 transition count 263
Applied a total of 2 rules in 19 ms. Remains 266 /267 variables (removed 1) and now considering 263/264 (removed 1) transitions.
// Phase 1: matrix 263 rows 266 cols
[2024-05-22 15:49:55] [INFO ] Computed 38 invariants in 9 ms
[2024-05-22 15:49:55] [INFO ] Implicit Places using invariants in 127 ms returned []
[2024-05-22 15:49:55] [INFO ] Invariant cache hit.
[2024-05-22 15:49:55] [INFO ] State equation strengthened by 29 read => feed constraints.
[2024-05-22 15:49:56] [INFO ] Implicit Places using invariants and state equation in 819 ms returned []
Implicit Place search using SMT with State Equation took 948 ms to find 0 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 5 : 266/283 places, 263/267 transitions.
Finished structural reductions in REACHABILITY mode , in 5 iterations and 4967 ms. Remains : 266/283 places, 263/267 transitions.
RANDOM walk for 40000 steps (3427 resets) in 325 ms. (122 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40001 steps (2392 resets) in 141 ms. (281 steps per ms) remains 10/10 properties
Reachability property DoubleExponent-PT-010-ReachabilityFireability-2024-08 is true.
FORMULA DoubleExponent-PT-010-ReachabilityFireability-2024-08 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING
SDD proceeding with computation,13 properties remain. new max is 524288
BEST_FIRST walk for 40003 steps (2388 resets) in 314 ms. (126 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40001 steps (2375 resets) in 183 ms. (217 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40002 steps (2391 resets) in 154 ms. (258 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40002 steps (2381 resets) in 139 ms. (285 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40000 steps (2398 resets) in 162 ms. (245 steps per ms) remains 10/10 properties
SDD size :1.68186e+10 after 4.93792e+10
BEST_FIRST walk for 40000 steps (2356 resets) in 162 ms. (245 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40000 steps (2369 resets) in 138 ms. (287 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40002 steps (2373 resets) in 158 ms. (251 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40002 steps (2391 resets) in 147 ms. (270 steps per ms) remains 10/10 properties
Interrupted probabilistic random walk after 223744 steps, run timeout after 3001 ms. (steps per millisecond=74 ) properties seen :0 out of 10
Probabilistic random walk after 223744 steps, saw 111911 distinct states, run finished after 3001 ms. (steps per millisecond=74 ) properties seen :0
[2024-05-22 15:50:00] [INFO ] Invariant cache hit.
[2024-05-22 15:50:00] [INFO ] State equation strengthened by 29 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/37 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 1 (OVERLAPS) 188/225 variables, 29/29 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/225 variables, 0/29 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 3 (OVERLAPS) 4/229 variables, 2/31 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/229 variables, 0/31 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 5 (OVERLAPS) 18/247 variables, 7/38 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/247 variables, 0/38 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 7 (OVERLAPS) 262/509 variables, 247/285 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/509 variables, 28/313 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/509 variables, 0/313 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 10 (OVERLAPS) 20/529 variables, 19/332 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/529 variables, 1/333 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/529 variables, 0/333 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 13 (OVERLAPS) 0/529 variables, 0/333 constraints. Problems are: Problem set: 0 solved, 9 unsolved
No progress, stopping.
After SMT solving in domain Real declared 529/529 variables, and 333 constraints, problems are : Problem set: 0 solved, 9 unsolved in 963 ms.
Refiners :[Positive P Invariants (semi-flows): 2/2 constraints, Generalized P Invariants (flows): 36/36 constraints, State Equation: 266/266 constraints, ReadFeed: 29/29 constraints, PredecessorRefiner: 9/9 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 9 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/37 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 1 (OVERLAPS) 188/225 variables, 29/29 constraints. Problems are: Problem set: 0 solved, 9 unsolved
[2024-05-22 15:50:01] [INFO ] Deduced a trap composed of 8 places in 48 ms of which 1 ms to minimize.
At refinement iteration 2 (INCLUDED_ONLY) 0/225 variables, 1/30 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/225 variables, 0/30 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 4 (OVERLAPS) 4/229 variables, 2/32 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/229 variables, 0/32 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 6 (OVERLAPS) 18/247 variables, 7/39 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/247 variables, 0/39 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 8 (OVERLAPS) 262/509 variables, 247/286 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/509 variables, 28/314 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/509 variables, 6/320 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/509 variables, 0/320 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 12 (OVERLAPS) 20/529 variables, 19/339 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/529 variables, 1/340 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/529 variables, 3/343 constraints. Problems are: Problem set: 0 solved, 9 unsolved
[2024-05-22 15:50:03] [INFO ] Deduced a trap composed of 12 places in 69 ms of which 2 ms to minimize.
[2024-05-22 15:50:03] [INFO ] Deduced a trap composed of 9 places in 67 ms of which 1 ms to minimize.
[2024-05-22 15:50:03] [INFO ] Deduced a trap composed of 11 places in 68 ms of which 1 ms to minimize.
[2024-05-22 15:50:03] [INFO ] Deduced a trap composed of 23 places in 68 ms of which 2 ms to minimize.
[2024-05-22 15:50:03] [INFO ] Deduced a trap composed of 11 places in 67 ms of which 1 ms to minimize.
[2024-05-22 15:50:03] [INFO ] Deduced a trap composed of 6 places in 67 ms of which 2 ms to minimize.
[2024-05-22 15:50:03] [INFO ] Deduced a trap composed of 36 places in 47 ms of which 1 ms to minimize.
[2024-05-22 15:50:03] [INFO ] Deduced a trap composed of 40 places in 56 ms of which 1 ms to minimize.
[2024-05-22 15:50:03] [INFO ] Deduced a trap composed of 34 places in 53 ms of which 1 ms to minimize.
[2024-05-22 15:50:03] [INFO ] Deduced a trap composed of 41 places in 53 ms of which 1 ms to minimize.
[2024-05-22 15:50:03] [INFO ] Deduced a trap composed of 30 places in 53 ms of which 1 ms to minimize.
[2024-05-22 15:50:04] [INFO ] Deduced a trap composed of 39 places in 52 ms of which 1 ms to minimize.
At refinement iteration 15 (INCLUDED_ONLY) 0/529 variables, 12/355 constraints. Problems are: Problem set: 0 solved, 9 unsolved
[2024-05-22 15:50:04] [INFO ] Deduced a trap composed of 52 places in 43 ms of which 1 ms to minimize.
At refinement iteration 16 (INCLUDED_ONLY) 0/529 variables, 1/356 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/529 variables, 0/356 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 18 (OVERLAPS) 0/529 variables, 0/356 constraints. Problems are: Problem set: 0 solved, 9 unsolved
No progress, stopping.
After SMT solving in domain Int declared 529/529 variables, and 356 constraints, problems are : Problem set: 0 solved, 9 unsolved in 4590 ms.
Refiners :[Positive P Invariants (semi-flows): 2/2 constraints, Generalized P Invariants (flows): 36/36 constraints, State Equation: 266/266 constraints, ReadFeed: 29/29 constraints, PredecessorRefiner: 9/9 constraints, Known Traps: 14/14 constraints]
After SMT, in 5571ms problems are : Problem set: 0 solved, 9 unsolved
SDD proceeding with computation,13 properties remain. new max is 1048576
SDD size :4.93792e+10 after 8.56607e+10
Parikh walk visited 0 properties in 30000 ms.
Support contains 37 out of 266 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 266/266 places, 263/263 transitions.
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 266 transition count 261
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 4 place count 264 transition count 261
Partial Free-agglomeration rule applied 1 times.
Drop transitions (Partial Free agglomeration) removed 1 transitions
Iterating global reduction 1 with 1 rules applied. Total rules applied 5 place count 264 transition count 261
Applied a total of 5 rules in 44 ms. Remains 264 /266 variables (removed 2) and now considering 261/263 (removed 2) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 44 ms. Remains : 264/266 places, 261/263 transitions.
RANDOM walk for 40000 steps (3415 resets) in 175 ms. (227 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40000 steps (2407 resets) in 133 ms. (298 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40000 steps (2413 resets) in 157 ms. (253 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40002 steps (2401 resets) in 113 ms. (350 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (2401 resets) in 156 ms. (254 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40002 steps (2382 resets) in 115 ms. (344 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40003 steps (2358 resets) in 149 ms. (266 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40001 steps (2392 resets) in 153 ms. (259 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40001 steps (2377 resets) in 112 ms. (353 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40002 steps (2412 resets) in 99 ms. (400 steps per ms) remains 9/9 properties
Interrupted probabilistic random walk after 228862 steps, run timeout after 3001 ms. (steps per millisecond=76 ) properties seen :0 out of 9
Probabilistic random walk after 228862 steps, saw 114470 distinct states, run finished after 3001 ms. (steps per millisecond=76 ) properties seen :0
// Phase 1: matrix 261 rows 264 cols
[2024-05-22 15:50:39] [INFO ] Computed 38 invariants in 10 ms
[2024-05-22 15:50:39] [INFO ] State equation strengthened by 29 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/37 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 1 (OVERLAPS) 184/221 variables, 28/28 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/221 variables, 0/28 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 3 (OVERLAPS) 4/225 variables, 2/30 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/225 variables, 0/30 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 5 (OVERLAPS) 21/246 variables, 8/38 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/246 variables, 0/38 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 7 (OVERLAPS) 260/506 variables, 246/284 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/506 variables, 28/312 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/506 variables, 0/312 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 10 (OVERLAPS) 19/525 variables, 18/330 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/525 variables, 1/331 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/525 variables, 0/331 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 13 (OVERLAPS) 0/525 variables, 0/331 constraints. Problems are: Problem set: 0 solved, 9 unsolved
No progress, stopping.
After SMT solving in domain Real declared 525/525 variables, and 331 constraints, problems are : Problem set: 0 solved, 9 unsolved in 849 ms.
Refiners :[Positive P Invariants (semi-flows): 2/2 constraints, Generalized P Invariants (flows): 36/36 constraints, State Equation: 264/264 constraints, ReadFeed: 29/29 constraints, PredecessorRefiner: 9/9 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 9 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/37 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 1 (OVERLAPS) 184/221 variables, 28/28 constraints. Problems are: Problem set: 0 solved, 9 unsolved
[2024-05-22 15:50:40] [INFO ] Deduced a trap composed of 8 places in 43 ms of which 0 ms to minimize.
At refinement iteration 2 (INCLUDED_ONLY) 0/221 variables, 1/29 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/221 variables, 0/29 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 4 (OVERLAPS) 4/225 variables, 2/31 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/225 variables, 0/31 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 6 (OVERLAPS) 21/246 variables, 8/39 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/246 variables, 0/39 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 8 (OVERLAPS) 260/506 variables, 246/285 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/506 variables, 28/313 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/506 variables, 6/319 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/506 variables, 0/319 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 12 (OVERLAPS) 19/525 variables, 18/337 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/525 variables, 1/338 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/525 variables, 3/341 constraints. Problems are: Problem set: 0 solved, 9 unsolved
[2024-05-22 15:50:42] [INFO ] Deduced a trap composed of 13 places in 98 ms of which 1 ms to minimize.
[2024-05-22 15:50:42] [INFO ] Deduced a trap composed of 12 places in 72 ms of which 2 ms to minimize.
[2024-05-22 15:50:42] [INFO ] Deduced a trap composed of 13 places in 65 ms of which 1 ms to minimize.
[2024-05-22 15:50:42] [INFO ] Deduced a trap composed of 17 places in 51 ms of which 1 ms to minimize.
[2024-05-22 15:50:42] [INFO ] Deduced a trap composed of 19 places in 59 ms of which 1 ms to minimize.
[2024-05-22 15:50:42] [INFO ] Deduced a trap composed of 29 places in 56 ms of which 1 ms to minimize.
[2024-05-22 15:50:42] [INFO ] Deduced a trap composed of 23 places in 56 ms of which 1 ms to minimize.
[2024-05-22 15:50:42] [INFO ] Deduced a trap composed of 33 places in 52 ms of which 1 ms to minimize.
[2024-05-22 15:50:42] [INFO ] Deduced a trap composed of 35 places in 52 ms of which 2 ms to minimize.
[2024-05-22 15:50:42] [INFO ] Deduced a trap composed of 27 places in 58 ms of which 1 ms to minimize.
[2024-05-22 15:50:43] [INFO ] Deduced a trap composed of 25 places in 59 ms of which 1 ms to minimize.
[2024-05-22 15:50:43] [INFO ] Deduced a trap composed of 40 places in 54 ms of which 2 ms to minimize.
[2024-05-22 15:50:43] [INFO ] Deduced a trap composed of 31 places in 54 ms of which 1 ms to minimize.
[2024-05-22 15:50:43] [INFO ] Deduced a trap composed of 38 places in 60 ms of which 1 ms to minimize.
[2024-05-22 15:50:43] [INFO ] Deduced a trap composed of 39 places in 48 ms of which 1 ms to minimize.
[2024-05-22 15:50:43] [INFO ] Deduced a trap composed of 37 places in 49 ms of which 1 ms to minimize.
[2024-05-22 15:50:43] [INFO ] Deduced a trap composed of 40 places in 48 ms of which 1 ms to minimize.
[2024-05-22 15:50:44] [INFO ] Deduced a trap composed of 15 places in 67 ms of which 1 ms to minimize.
[2024-05-22 15:50:44] [INFO ] Deduced a trap composed of 19 places in 58 ms of which 1 ms to minimize.
[2024-05-22 15:50:44] [INFO ] Deduced a trap composed of 22 places in 59 ms of which 1 ms to minimize.
At refinement iteration 15 (INCLUDED_ONLY) 0/525 variables, 20/361 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/525 variables, 0/361 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 17 (OVERLAPS) 0/525 variables, 0/361 constraints. Problems are: Problem set: 0 solved, 9 unsolved
No progress, stopping.
After SMT solving in domain Int declared 525/525 variables, and 361 constraints, problems are : Problem set: 0 solved, 9 unsolved in 4983 ms.
Refiners :[Positive P Invariants (semi-flows): 2/2 constraints, Generalized P Invariants (flows): 36/36 constraints, State Equation: 264/264 constraints, ReadFeed: 29/29 constraints, PredecessorRefiner: 9/9 constraints, Known Traps: 21/21 constraints]
After SMT, in 5855ms problems are : Problem set: 0 solved, 9 unsolved
Parikh walk visited 0 properties in 30002 ms.
Support contains 37 out of 264 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 264/264 places, 261/261 transitions.
Applied a total of 0 rules in 9 ms. Remains 264 /264 variables (removed 0) and now considering 261/261 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 10 ms. Remains : 264/264 places, 261/261 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 264/264 places, 261/261 transitions.
Applied a total of 0 rules in 5 ms. Remains 264 /264 variables (removed 0) and now considering 261/261 (removed 0) transitions.
[2024-05-22 15:51:15] [INFO ] Invariant cache hit.
[2024-05-22 15:51:15] [INFO ] Implicit Places using invariants in 303 ms returned []
[2024-05-22 15:51:15] [INFO ] Invariant cache hit.
[2024-05-22 15:51:17] [INFO ] State equation strengthened by 29 read => feed constraints.
[2024-05-22 15:51:29] [INFO ] Implicit Places using invariants and state equation in 13984 ms returned []
Implicit Place search using SMT with State Equation took 14297 ms to find 0 implicit places.
[2024-05-22 15:51:29] [INFO ] Redundant transitions in 17 ms returned []
Running 260 sub problems to find dead transitions.
[2024-05-22 15:51:29] [INFO ] Invariant cache hit.
[2024-05-22 15:51:29] [INFO ] State equation strengthened by 29 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/263 variables, 35/35 constraints. Problems are: Problem set: 0 solved, 260 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/263 variables, 0/35 constraints. Problems are: Problem set: 0 solved, 260 unsolved
At refinement iteration 2 (OVERLAPS) 1/264 variables, 2/37 constraints. Problems are: Problem set: 0 solved, 260 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/264 variables, 1/38 constraints. Problems are: Problem set: 0 solved, 260 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/264 variables, 0/38 constraints. Problems are: Problem set: 0 solved, 260 unsolved
At refinement iteration 5 (OVERLAPS) 261/525 variables, 264/302 constraints. Problems are: Problem set: 0 solved, 260 unsolved
SDD proceeding with computation,13 properties remain. new max is 2097152
SDD size :8.56607e+10 after 1.59766e+11
All remaining problems are real, not stopping.
At refinement iteration 6 (INCLUDED_ONLY) 0/525 variables, 29/331 constraints. Problems are: Problem set: 0 solved, 260 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/525 variables, 0/331 constraints. Problems are: Problem set: 0 solved, 260 unsolved
At refinement iteration 8 (OVERLAPS) 0/525 variables, 0/331 constraints. Problems are: Problem set: 0 solved, 260 unsolved
No progress, stopping.
After SMT solving in domain Real declared 525/525 variables, and 331 constraints, problems are : Problem set: 0 solved, 260 unsolved in 18444 ms.
Refiners :[Positive P Invariants (semi-flows): 2/2 constraints, Generalized P Invariants (flows): 36/36 constraints, State Equation: 264/264 constraints, ReadFeed: 29/29 constraints, PredecessorRefiner: 260/260 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 260 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/263 variables, 35/35 constraints. Problems are: Problem set: 0 solved, 260 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/263 variables, 0/35 constraints. Problems are: Problem set: 0 solved, 260 unsolved
At refinement iteration 2 (OVERLAPS) 1/264 variables, 2/37 constraints. Problems are: Problem set: 0 solved, 260 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/264 variables, 1/38 constraints. Problems are: Problem set: 0 solved, 260 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/264 variables, 0/38 constraints. Problems are: Problem set: 0 solved, 260 unsolved
At refinement iteration 5 (OVERLAPS) 261/525 variables, 264/302 constraints. Problems are: Problem set: 0 solved, 260 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/525 variables, 29/331 constraints. Problems are: Problem set: 0 solved, 260 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/525 variables, 260/591 constraints. Problems are: Problem set: 0 solved, 260 unsolved
[2024-05-22 15:52:01] [INFO ] Deduced a trap composed of 11 places in 72 ms of which 1 ms to minimize.
At refinement iteration 8 (INCLUDED_ONLY) 0/525 variables, 1/592 constraints. Problems are: Problem set: 0 solved, 260 unsolved
[2024-05-22 15:52:11] [INFO ] Deduced a trap composed of 23 places in 59 ms of which 1 ms to minimize.
At refinement iteration 9 (INCLUDED_ONLY) 0/525 variables, 1/593 constraints. Problems are: Problem set: 0 solved, 260 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 525/525 variables, and 593 constraints, problems are : Problem set: 0 solved, 260 unsolved in 30032 ms.
Refiners :[Positive P Invariants (semi-flows): 2/2 constraints, Generalized P Invariants (flows): 36/36 constraints, State Equation: 264/264 constraints, ReadFeed: 29/29 constraints, PredecessorRefiner: 260/260 constraints, Known Traps: 2/2 constraints]
After SMT, in 48649ms problems are : Problem set: 0 solved, 260 unsolved
Search for dead transitions found 0 dead transitions in 48652ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 63011 ms. Remains : 264/264 places, 261/261 transitions.
Attempting over-approximation, by ignoring read arcs.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 264 transition count 259
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 4 place count 262 transition count 259
Performed 15 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 15 Pre rules applied. Total rules applied 4 place count 262 transition count 244
Deduced a syphon composed of 15 places in 0 ms
Reduce places removed 15 places and 0 transitions.
Iterating global reduction 2 with 30 rules applied. Total rules applied 34 place count 247 transition count 244
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 38 place count 243 transition count 240
Iterating global reduction 2 with 4 rules applied. Total rules applied 42 place count 243 transition count 240
Applied a total of 42 rules in 30 ms. Remains 243 /264 variables (removed 21) and now considering 240/261 (removed 21) transitions.
Running SMT prover for 9 properties.
// Phase 1: matrix 240 rows 243 cols
[2024-05-22 15:52:18] [INFO ] Computed 38 invariants in 16 ms
[2024-05-22 15:52:18] [INFO ] [Real]Absence check using 2 positive place invariants in 1 ms returned sat
[2024-05-22 15:52:18] [INFO ] [Real]Absence check using 2 positive and 36 generalized place invariants in 28 ms returned sat
[2024-05-22 15:52:18] [INFO ] After 157ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:9
[2024-05-22 15:52:18] [INFO ] [Nat]Absence check using 2 positive place invariants in 1 ms returned sat
[2024-05-22 15:52:18] [INFO ] [Nat]Absence check using 2 positive and 36 generalized place invariants in 20 ms returned sat
[2024-05-22 15:52:19] [INFO ] After 402ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :9
TRAPS : Iteration 0
[2024-05-22 15:52:19] [INFO ] Deduced a trap composed of 10 places in 63 ms of which 1 ms to minimize.
[2024-05-22 15:52:19] [INFO ] Deduced a trap composed of 8 places in 66 ms of which 1 ms to minimize.
[2024-05-22 15:52:19] [INFO ] Deduced a trap composed of 27 places in 61 ms of which 2 ms to minimize.
[2024-05-22 15:52:19] [INFO ] Deduced a trap composed of 22 places in 62 ms of which 1 ms to minimize.
[2024-05-22 15:52:19] [INFO ] Deduced a trap composed of 10 places in 61 ms of which 2 ms to minimize.
[2024-05-22 15:52:19] [INFO ] Deduced a trap composed of 14 places in 60 ms of which 2 ms to minimize.
[2024-05-22 15:52:19] [INFO ] Deduced a trap composed of 24 places in 58 ms of which 2 ms to minimize.
[2024-05-22 15:52:20] [INFO ] Deduced a trap composed of 6 places in 60 ms of which 1 ms to minimize.
[2024-05-22 15:52:20] [INFO ] Deduced a trap composed of 30 places in 55 ms of which 1 ms to minimize.
[2024-05-22 15:52:20] [INFO ] Deduced a trap composed of 38 places in 61 ms of which 1 ms to minimize.
[2024-05-22 15:52:20] [INFO ] Deduced a trap composed of 21 places in 63 ms of which 1 ms to minimize.
[2024-05-22 15:52:20] [INFO ] Deduced a trap composed of 35 places in 48 ms of which 1 ms to minimize.
[2024-05-22 15:52:20] [INFO ] Deduced a trap composed of 33 places in 46 ms of which 1 ms to minimize.
[2024-05-22 15:52:20] [INFO ] Trap strengthening (SAT) tested/added 14/13 trap constraints in 1003 ms
TRAPS : Iteration 1
[2024-05-22 15:52:20] [INFO ] Deduced a trap composed of 31 places in 58 ms of which 1 ms to minimize.
[2024-05-22 15:52:20] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 85 ms
TRAPS : Iteration 2
[2024-05-22 15:52:21] [INFO ] After 2562ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :9
[2024-05-22 15:52:21] [INFO ] After 2917ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :9
[2024-05-22 15:52:21] [INFO ] Flatten gal took : 20 ms
[2024-05-22 15:52:21] [INFO ] Flatten gal took : 17 ms
[2024-05-22 15:52:21] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality10894037715497664407.gal : 4 ms
[2024-05-22 15:52:21] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality16113105358964210595.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality10894037715497664407.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality16113105358964210595.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...330
Loading property file /tmp/ReachabilityCardinality16113105358964210595.prop.
SDD proceeding with computation,9 properties remain. new max is 4
SDD size :1 after 3
SDD proceeding with computation,9 properties remain. new max is 8
SDD size :3 after 4
SDD proceeding with computation,9 properties remain. new max is 16
SDD size :4 after 8
SDD proceeding with computation,9 properties remain. new max is 32
SDD size :8 after 13
SDD proceeding with computation,9 properties remain. new max is 64
SDD size :13 after 31
SDD proceeding with computation,9 properties remain. new max is 128
SDD size :31 after 65
SDD proceeding with computation,9 properties remain. new max is 256
SDD size :65 after 196
SDD proceeding with computation,9 properties remain. new max is 512
SDD size :196 after 870
SDD proceeding with computation,9 properties remain. new max is 1024
SDD size :870 after 6544
SDD proceeding with computation,9 properties remain. new max is 2048
SDD size :6544 after 141662
SDD proceeding with computation,9 properties remain. new max is 4096
SDD size :141662 after 936311
SDD proceeding with computation,9 properties remain. new max is 8192
SDD size :936311 after 2.52434e+06
SDD proceeding with computation,9 properties remain. new max is 16384
SDD size :2.52434e+06 after 5.69853e+06
Detected timeout of ITS tools.
[2024-05-22 15:52:36] [INFO ] Flatten gal took : 16 ms
[2024-05-22 15:52:36] [INFO ] Applying decomposition
[2024-05-22 15:52:36] [INFO ] Flatten gal took : 14 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/convert-linux64' '-i' '/tmp/graph17070074279207886458.txt' '-o' '/tmp/graph17070074279207886458.bin' '-w' '/tmp/graph17070074279207886458.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph17070074279207886458.bin' '-l' '-1' '-v' '-w' '/tmp/graph17070074279207886458.weights' '-q' '0' '-e' '0.001'
[2024-05-22 15:52:36] [INFO ] Decomposing Gal with order
[2024-05-22 15:52:36] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-22 15:52:36] [INFO ] Removed a total of 135 redundant transitions.
[2024-05-22 15:52:37] [INFO ] Flatten gal took : 59 ms
[2024-05-22 15:52:37] [INFO ] Fuse similar labels procedure discarded/fused a total of 28 labels/synchronizations in 41 ms.
[2024-05-22 15:52:37] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality11228698602281378825.gal : 7 ms
[2024-05-22 15:52:37] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality14058863473008253275.prop : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality11228698602281378825.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality14058863473008253275.prop' '--nowitness'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...309
Loading property file /tmp/ReachabilityCardinality14058863473008253275.prop.
SDD proceeding with computation,9 properties remain. new max is 4
SDD size :1 after 20
SDD proceeding with computation,9 properties remain. new max is 8
SDD size :20 after 32
SDD proceeding with computation,9 properties remain. new max is 16
SDD size :32 after 135
Detected timeout of ITS tools.
Over-approximation ignoring read arcs solved 0 properties in 33669 ms.
ITS runner timed out or was interrupted.
ITS tools runner thread asked to quit. Dying gracefully.
[2024-05-22 15:52:52] [INFO ] Flatten gal took : 37 ms
[2024-05-22 15:52:52] [INFO ] Applying decomposition
[2024-05-22 15:52:52] [INFO ] Flatten gal took : 23 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/convert-linux64' '-i' '/tmp/graph15403084969799765659.txt' '-o' '/tmp/graph15403084969799765659.bin' '-w' '/tmp/graph15403084969799765659.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph15403084969799765659.bin' '-l' '-1' '-v' '-w' '/tmp/graph15403084969799765659.weights' '-q' '0' '-e' '0.001'
[2024-05-22 15:52:52] [INFO ] Decomposing Gal with order
[2024-05-22 15:52:52] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-22 15:52:52] [INFO ] Removed a total of 140 redundant transitions.
[2024-05-22 15:52:52] [INFO ] Flatten gal took : 90 ms
[2024-05-22 15:52:52] [INFO ] Fuse similar labels procedure discarded/fused a total of 8 labels/synchronizations in 14 ms.
[2024-05-22 15:52:52] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality5828287216456329469.gal : 27 ms
[2024-05-22 15:52:52] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality9048126971032074917.prop : 15 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality5828287216456329469.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality9048126971032074917.prop' '--nowitness'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...307
Loading property file /tmp/ReachabilityCardinality9048126971032074917.prop.
SDD proceeding with computation,9 properties remain. new max is 4
SDD size :1 after 1
SDD proceeding with computation,9 properties remain. new max is 8
SDD size :1 after 29
SDD proceeding with computation,9 properties remain. new max is 16
SDD size :29 after 3729
SDD proceeding with computation,9 properties remain. new max is 32
SDD size :3729 after 16309
Detected timeout of ITS tools.
[2024-05-22 16:22:53] [INFO ] Flatten gal took : 13 ms
Using solver Z3 to compute partial order matrices.
Built C files in :
/tmp/ltsmin17077071094572140549
[2024-05-22 16:22:53] [INFO ] Applying decomposition
[2024-05-22 16:22:53] [INFO ] Computing symmetric may disable matrix : 261 transitions.
[2024-05-22 16:22:53] [INFO ] Computation of Complete disable matrix. took 2 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2024-05-22 16:22:53] [INFO ] Computing symmetric may enable matrix : 261 transitions.
[2024-05-22 16:22:53] [INFO ] Computation of Complete enable matrix. took 0 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2024-05-22 16:22:53] [INFO ] Flatten gal took : 17 ms
[2024-05-22 16:22:53] [INFO ] Computing Do-Not-Accords matrix : 261 transitions.
[2024-05-22 16:22:53] [INFO ] Computation of Completed DNA matrix. took 10 ms. Total solver calls (SAT/UNSAT): 0(0/0)
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/convert-linux64' '-i' '/tmp/graph2535851217674758712.txt' '-o' '/tmp/graph2535851217674758712.bin' '-w' '/tmp/graph2535851217674758712.weights'
[2024-05-22 16:22:53] [INFO ] Built C files in 67ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin17077071094572140549
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph2535851217674758712.bin' '-l' '-1' '-v' '-w' '/tmp/graph2535851217674758712.weights' '-q' '0' '-e' '0.001'
Running compilation step : cd /tmp/ltsmin17077071094572140549;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202405141337/bin/limit_time.pl' '80' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202405141337/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
[2024-05-22 16:22:53] [INFO ] Decomposing Gal with order
[2024-05-22 16:22:53] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-22 16:22:53] [INFO ] Removed a total of 107 redundant transitions.
[2024-05-22 16:22:53] [INFO ] Flatten gal took : 20 ms
[2024-05-22 16:22:53] [INFO ] Fuse similar labels procedure discarded/fused a total of 70 labels/synchronizations in 6 ms.
[2024-05-22 16:22:53] [INFO ] Time to serialize gal into /tmp/ReachabilityFireability16008463034405327037.gal : 3 ms
[2024-05-22 16:22:53] [INFO ] Time to serialize properties into /tmp/ReachabilityFireability2621732616724694431.prop : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityFireability16008463034405327037.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityFireability2621732616724694431.prop' '--nowitness'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...308
Loading property file /tmp/ReachabilityFireability2621732616724694431.prop.
SDD proceeding with computation,9 properties remain. new max is 4
SDD size :1 after 1
SDD proceeding with computation,9 properties remain. new max is 8
SDD size :1 after 1
SDD proceeding with computation,9 properties remain. new max is 16
SDD size :1 after 26
SDD proceeding with computation,9 properties remain. new max is 32
SDD size :133 after 137
SDD proceeding with computation,9 properties remain. new max is 64
SDD size :1562 after 1615
SDD proceeding with computation,9 properties remain. new max is 128
SDD size :1615 after 1742
Compilation finished in 777 ms.
Running link step : cd /tmp/ltsmin17077071094572140549;'gcc' '-shared' '-o' 'gal.so' 'model.o'
Link finished in 45 ms.
Running LTSmin : cd /tmp/ltsmin17077071094572140549;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202405141337/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT010ReachabilityFireability202403==true'
SDD proceeding with computation,9 properties remain. new max is 256
SDD size :60151 after 60185
SDD proceeding with computation,9 properties remain. new max is 512
SDD size :60185 after 60427
SDD proceeding with computation,9 properties remain. new max is 1024
SDD size :118765 after 118981
WARNING : LTSmin timed out (>44 s) on command cd /tmp/ltsmin17077071094572140549;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202405141337/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT010ReachabilityFireability202403==true'
Running LTSmin : cd /tmp/ltsmin17077071094572140549;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202405141337/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT010ReachabilityFireability202404==true'
SDD proceeding with computation,9 properties remain. new max is 2048
SDD size :177445 after 177759
WARNING : LTSmin timed out (>44 s) on command cd /tmp/ltsmin17077071094572140549;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202405141337/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT010ReachabilityFireability202404==true'
Running LTSmin : cd /tmp/ltsmin17077071094572140549;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202405141337/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT010ReachabilityFireability202406==true'
WARNING : LTSmin timed out (>44 s) on command cd /tmp/ltsmin17077071094572140549;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202405141337/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT010ReachabilityFireability202406==true'
Running LTSmin : cd /tmp/ltsmin17077071094572140549;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202405141337/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT010ReachabilityFireability202410==true'
WARNING : LTSmin timed out (>44 s) on command cd /tmp/ltsmin17077071094572140549;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202405141337/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT010ReachabilityFireability202410==true'
Running LTSmin : cd /tmp/ltsmin17077071094572140549;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202405141337/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT010ReachabilityFireability202311==true'
WARNING : LTSmin timed out (>44 s) on command cd /tmp/ltsmin17077071094572140549;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202405141337/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT010ReachabilityFireability202311==true'
Running LTSmin : cd /tmp/ltsmin17077071094572140549;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202405141337/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT010ReachabilityFireability202312==true'
WARNING : LTSmin timed out (>44 s) on command cd /tmp/ltsmin17077071094572140549;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202405141337/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT010ReachabilityFireability202312==true'
Running LTSmin : cd /tmp/ltsmin17077071094572140549;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202405141337/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT010ReachabilityFireability202413==true'
WARNING : LTSmin timed out (>44 s) on command cd /tmp/ltsmin17077071094572140549;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202405141337/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT010ReachabilityFireability202413==true'
Running LTSmin : cd /tmp/ltsmin17077071094572140549;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202405141337/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT010ReachabilityFireability202314==true'
SDD proceeding with computation,9 properties remain. new max is 4096
SDD size :295429 after 295597
WARNING : LTSmin timed out (>44 s) on command cd /tmp/ltsmin17077071094572140549;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202405141337/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT010ReachabilityFireability202314==true'
Running LTSmin : cd /tmp/ltsmin17077071094572140549;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202405141337/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT010ReachabilityFireability202315==true'
WARNING : LTSmin timed out (>44 s) on command cd /tmp/ltsmin17077071094572140549;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202405141337/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT010ReachabilityFireability202315==true'
Retrying LTSmin with larger timeout 3200 s
Running LTSmin : cd /tmp/ltsmin17077071094572140549;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202405141337/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT010ReachabilityFireability202403==true'
pins2lts-mc-linux64, 0.000: Registering PINS so language module
pins2lts-mc-linux64( 0/ 8), 0.004: Loading model from ./gal.so
pins2lts-mc-linux64( 1/ 8), 0.003: library has no initializer
pins2lts-mc-linux64( 1/ 8), 0.003: loading model GAL
pins2lts-mc-linux64( 3/ 8), 0.001: library has no initializer
pins2lts-mc-linux64( 3/ 8), 0.001: loading model GAL
pins2lts-mc-linux64( 4/ 8), 0.003: library has no initializer
pins2lts-mc-linux64( 4/ 8), 0.003: loading model GAL
pins2lts-mc-linux64( 5/ 8), 0.002: library has no initializer
pins2lts-mc-linux64( 5/ 8), 0.002: loading model GAL
pins2lts-mc-linux64( 6/ 8), 0.002: library has no initializer
pins2lts-mc-linux64( 6/ 8), 0.002: loading model GAL
pins2lts-mc-linux64( 0/ 8), 0.005: library has no initializer
pins2lts-mc-linux64( 0/ 8), 0.005: loading model GAL
pins2lts-mc-linux64( 7/ 8), 0.002: library has no initializer
pins2lts-mc-linux64( 7/ 8), 0.002: loading model GAL
pins2lts-mc-linux64( 2/ 8), 0.003: library has no initializer
pins2lts-mc-linux64( 2/ 8), 0.003: loading model GAL
pins2lts-mc-linux64( 7/ 8), 0.008: completed loading model GAL
pins2lts-mc-linux64( 2/ 8), 0.012: completed loading model GAL
pins2lts-mc-linux64( 0/ 8), 0.025: completed loading model GAL
pins2lts-mc-linux64( 0/ 8), 0.025: Initializing POR dependencies: labels 270, guards 261
pins2lts-mc-linux64( 4/ 8), 0.029: completed loading model GAL
pins2lts-mc-linux64( 1/ 8), 0.037: completed loading model GAL
pins2lts-mc-linux64( 5/ 8), 0.042: completed loading model GAL
pins2lts-mc-linux64( 6/ 8), 0.045: completed loading model GAL
pins2lts-mc-linux64( 3/ 8), 0.045: completed loading model GAL
pins2lts-mc-linux64( 0/ 8), 0.650: Forcing use of the an ignoring proviso (closed-set)
pins2lts-mc-linux64( 1/ 8), 0.665: "DoubleExponentPT010ReachabilityFireability202403==true" is not a file, parsing as formula...
pins2lts-mc-linux64( 5/ 8), 0.663: "DoubleExponentPT010ReachabilityFireability202403==true" is not a file, parsing as formula...
pins2lts-mc-linux64( 0/ 8), 0.666: "DoubleExponentPT010ReachabilityFireability202403==true" is not a file, parsing as formula...
pins2lts-mc-linux64( 7/ 8), 0.663: "DoubleExponentPT010ReachabilityFireability202403==true" is not a file, parsing as formula...
pins2lts-mc-linux64( 2/ 8), 0.664: "DoubleExponentPT010ReachabilityFireability202403==true" is not a file, parsing as formula...
pins2lts-mc-linux64( 6/ 8), 0.664: "DoubleExponentPT010ReachabilityFireability202403==true" is not a file, parsing as formula...
pins2lts-mc-linux64( 4/ 8), 0.665: "DoubleExponentPT010ReachabilityFireability202403==true" is not a file, parsing as formula...
pins2lts-mc-linux64( 0/ 8), 0.667: There are 270 state labels and 1 edge labels
pins2lts-mc-linux64( 0/ 8), 0.667: State length is 264, there are 261 groups
pins2lts-mc-linux64( 0/ 8), 0.667: Running bfs using 8 cores
pins2lts-mc-linux64( 0/ 8), 0.667: Using a non-indexing tree table with 2^27 elements
pins2lts-mc-linux64( 0/ 8), 0.667: Successor permutation: none
pins2lts-mc-linux64( 0/ 8), 0.667: Visible groups: 0 / 261, labels: 1 / 270
pins2lts-mc-linux64( 0/ 8), 0.667: POR cycle proviso: closed-set
pins2lts-mc-linux64( 0/ 8), 0.667: Global bits: 0, count bits: 0, local bits: 0
pins2lts-mc-linux64( 3/ 8), 0.664: "DoubleExponentPT010ReachabilityFireability202403==true" is not a file, parsing as formula...
pins2lts-mc-linux64( 0/ 8), 0.722: ~54 levels ~960 states ~1024 transitions
pins2lts-mc-linux64( 0/ 8), 0.754: ~73 levels ~1920 states ~1960 transitions
pins2lts-mc-linux64( 2/ 8), 0.802: ~104 levels ~3840 states ~3952 transitions
pins2lts-mc-linux64( 0/ 8), 0.955: ~162 levels ~7680 states ~7968 transitions
pins2lts-mc-linux64( 2/ 8), 1.120: ~214 levels ~15360 states ~15744 transitions
pins2lts-mc-linux64( 2/ 8), 1.301: ~471 levels ~30720 states ~31000 transitions
pins2lts-mc-linux64( 2/ 8), 1.608: ~619 levels ~61440 states ~60928 transitions
pins2lts-mc-linux64( 2/ 8), 2.243: ~1705 levels ~122880 states ~121544 transitions
pins2lts-mc-linux64( 0/ 8), 3.350: ~1782 levels ~245760 states ~247776 transitions
pins2lts-mc-linux64( 0/ 8), 5.264: ~4385 levels ~491520 states ~491504 transitions
pins2lts-mc-linux64( 0/ 8), 8.519: ~8636 levels ~983040 states ~984024 transitions
pins2lts-mc-linux64( 0/ 8), 13.170: ~10767 levels ~1966080 states ~1994464 transitions
pins2lts-mc-linux64( 0/ 8), 21.859: ~10804 levels ~3932160 states ~3993888 transitions
pins2lts-mc-linux64( 1/ 8), 38.295: ~12390 levels ~7864320 states ~7835400 transitions
pins2lts-mc-linux64( 1/ 8), 71.988: ~16754 levels ~15728640 states ~15664744 transitions
pins2lts-mc-linux64( 2/ 8), 139.529: Error: tree leafs table full! Change -s/--ratio.
pins2lts-mc-linux64( 0/ 8), 139.617:
pins2lts-mc-linux64( 0/ 8), 139.617: mean standard work distribution: 4.2% (states) 3.9% (transitions)
pins2lts-mc-linux64( 0/ 8), 139.617:
pins2lts-mc-linux64( 0/ 8), 139.617: Explored 29609500 states 29670018 transitions, fanout: 1.002
pins2lts-mc-linux64( 0/ 8), 139.617: Total exploration time 138.940 sec (138.870 sec minimum, 138.900 sec on average)
pins2lts-mc-linux64( 0/ 8), 139.617: States per second: 213110, Transitions per second: 213546
pins2lts-mc-linux64( 0/ 8), 139.617: Ignoring proviso: 1
pins2lts-mc-linux64( 0/ 8), 139.617:
pins2lts-mc-linux64( 0/ 8), 139.617: Queue width: 8B, total height: 120458, memory: 0.92MB
pins2lts-mc-linux64( 0/ 8), 139.617: Tree memory: 482.4MB, 17.0 B/state, compr.: 1.6%
pins2lts-mc-linux64( 0/ 8), 139.617: Tree fill ratio (roots/leafs): 22.0%/99.0%
pins2lts-mc-linux64( 0/ 8), 139.617: Stored 274 string chucks using 0MB
pins2lts-mc-linux64( 0/ 8), 139.617: Total memory used for chunk indexing: 0MB
pins2lts-mc-linux64( 0/ 8), 139.617: Est. total memory use: 483.3MB (~1024.9MB paged-in)
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Unexpected exception when executing ltsmin :cd /tmp/ltsmin17077071094572140549;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202405141337/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT010ReachabilityFireability202403==true'
255
java.lang.RuntimeException: Unexpected exception when executing ltsmin :cd /tmp/ltsmin17077071094572140549;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202405141337/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT010ReachabilityFireability202403==true'
255
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner.checkProperty(LTSminRunner.java:241)
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.checkProperties(LTSminRunner.java:176)
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:121)
at java.base/java.lang.Thread.run(Thread.java:840)
SDD proceeding with computation,9 properties remain. new max is 8192
SDD size :414777 after 415131
SDD proceeding with computation,9 properties remain. new max is 16384
SDD size :475752 after 475752
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ ReachabilityFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution ReachabilityFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination ReachabilityFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
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="DoubleExponent-PT-010"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool itstools"
echo " Input is DoubleExponent-PT-010, 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 r136-tall-171631132900559"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DoubleExponent-PT-010.tgz
mv DoubleExponent-PT-010 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 '
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 ;