About the Execution of ITS-Tools for DoubleExponent-PT-100
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16238.256 | 3600000.00 | 3955923.00 | 86412.60 | FFF??FFFF?T?F??F | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r083-tall-162048875400444.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is DoubleExponent-PT-100, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r083-tall-162048875400444
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.1M
-rw-r--r-- 1 mcc users 14K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 128K May 5 16:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 12K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 102K May 5 16:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Mar 28 16:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 28 16:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Mar 28 16:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 16:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Mar 23 10:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 23 10:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 22 18:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 9.4K Mar 22 18:03 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 22 09:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 22 09:11 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 4 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 1.8M May 5 16:51 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME DoubleExponent-PT-100-00
FORMULA_NAME DoubleExponent-PT-100-01
FORMULA_NAME DoubleExponent-PT-100-02
FORMULA_NAME DoubleExponent-PT-100-03
FORMULA_NAME DoubleExponent-PT-100-04
FORMULA_NAME DoubleExponent-PT-100-05
FORMULA_NAME DoubleExponent-PT-100-06
FORMULA_NAME DoubleExponent-PT-100-07
FORMULA_NAME DoubleExponent-PT-100-08
FORMULA_NAME DoubleExponent-PT-100-09
FORMULA_NAME DoubleExponent-PT-100-10
FORMULA_NAME DoubleExponent-PT-100-11
FORMULA_NAME DoubleExponent-PT-100-12
FORMULA_NAME DoubleExponent-PT-100-13
FORMULA_NAME DoubleExponent-PT-100-14
FORMULA_NAME DoubleExponent-PT-100-15
=== Now, execution of the tool begins
BK_START 1620596951195
Running Version 0
[2021-05-09 21:49:12] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLCardinality, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2021-05-09 21:49:12] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-09 21:49:13] [INFO ] Load time of PNML (sax parser for PT used): 212 ms
[2021-05-09 21:49:13] [INFO ] Transformed 5304 places.
[2021-05-09 21:49:13] [INFO ] Transformed 4998 transitions.
[2021-05-09 21:49:13] [INFO ] Parsed PT model containing 5304 places and 4998 transitions in 293 ms.
Parsed 16 properties from file /home/mcc/execution/LTLCardinality.xml in 13 ms.
Working with output stream class java.io.PrintStream
[2021-05-09 21:49:13] [INFO ] Initial state test concluded for 2 properties.
FORMULA DoubleExponent-PT-100-10 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Support contains 56 out of 5304 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 5304/5304 places, 4998/4998 transitions.
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 0 with 4 rules applied. Total rules applied 4 place count 5300 transition count 4998
Applied a total of 4 rules in 1195 ms. Remains 5300 /5304 variables (removed 4) and now considering 4998/4998 (removed 0) transitions.
// Phase 1: matrix 4998 rows 5300 cols
[2021-05-09 21:49:15] [INFO ] Invariants computation overflowed in 206 ms
[2021-05-09 21:49:17] [INFO ] Implicit Places using invariants in 2482 ms returned []
// Phase 1: matrix 4998 rows 5300 cols
[2021-05-09 21:49:17] [INFO ] Invariants computation overflowed in 97 ms
[2021-05-09 21:49:18] [INFO ] Implicit Places using invariants and state equation in 897 ms returned []
Implicit Place search using SMT with State Equation took 3404 ms to find 0 implicit places.
// Phase 1: matrix 4998 rows 5300 cols
[2021-05-09 21:49:18] [INFO ] Invariants computation overflowed in 126 ms
[2021-05-09 21:49:21] [INFO ] Dead Transitions using invariants and state equation in 3051 ms returned []
Finished structural reductions, in 1 iterations. Remains : 5300/5304 places, 4998/4998 transitions.
[2021-05-09 21:49:22] [INFO ] Initial state reduction rules for LTL removed 2 formulas.
[2021-05-09 21:49:22] [INFO ] Flatten gal took : 332 ms
FORMULA DoubleExponent-PT-100-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DoubleExponent-PT-100-06 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-09 21:49:22] [INFO ] Flatten gal took : 201 ms
[2021-05-09 21:49:22] [INFO ] Input system was already deterministic with 4998 transitions.
Incomplete random walk after 100000 steps, including 3342 resets, run finished after 691 ms. (steps per millisecond=144 ) properties (out of 28) seen :0
Running SMT prover for 28 properties.
// Phase 1: matrix 4998 rows 5300 cols
[2021-05-09 21:49:23] [INFO ] Invariants computation overflowed in 90 ms
[2021-05-09 21:49:26] [INFO ] SMT Verify possible in real domain returnedunsat :0 sat :0 real:28
[2021-05-09 21:49:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-09 21:51:06] [INFO ] [Nat]Absence check using state equation in 96176 ms returned unsat :0 sat :27
Attempting to minimize the solution found.
Minimization took 2 ms.
[2021-05-09 21:51:06] [INFO ] SMT Verify possible in nat domain returned unsat :0 sat :27
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(X((F(p0)&&(G(p1)||X(X(F(p2)))))))], workingDir=/home/mcc/execution]
Support contains 6 out of 5300 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 5300/5300 places, 4998/4998 transitions.
Applied a total of 0 rules in 880 ms. Remains 5300 /5300 variables (removed 0) and now considering 4998/4998 (removed 0) transitions.
// Phase 1: matrix 4998 rows 5300 cols
[2021-05-09 21:51:07] [INFO ] Invariants computation overflowed in 89 ms
[2021-05-09 21:51:09] [INFO ] Implicit Places using invariants in 2009 ms returned []
// Phase 1: matrix 4998 rows 5300 cols
[2021-05-09 21:51:09] [INFO ] Invariants computation overflowed in 90 ms
[2021-05-09 21:51:10] [INFO ] Implicit Places using invariants and state equation in 1035 ms returned []
Implicit Place search using SMT with State Equation took 3045 ms to find 0 implicit places.
// Phase 1: matrix 4998 rows 5300 cols
[2021-05-09 21:51:10] [INFO ] Invariants computation overflowed in 96 ms
[2021-05-09 21:51:13] [INFO ] Dead Transitions using invariants and state equation in 2982 ms returned []
Finished structural reductions, in 1 iterations. Remains : 5300/5300 places, 4998/4998 transitions.
Stuttering acceptance computed with spot in 311 ms :[(OR (NOT p0) (AND (NOT p1) (NOT p2))), (OR (NOT p0) (AND (NOT p1) (NOT p2))), (NOT p0), (NOT p2), (AND (NOT p2) (NOT p1)), (NOT p2), (AND (NOT p2) (NOT p1))]
Running random walk in product with property : DoubleExponent-PT-100-00 automaton TGBA [mat=[[{ cond=true, acceptance={} source=0 dest: 1}], [{ cond=(NOT p0), acceptance={} source=1 dest: 2}, { cond=(NOT p1), acceptance={} source=1 dest: 3}, { cond=p1, acceptance={} source=1 dest: 4}], [{ cond=(NOT p0), acceptance={0} source=2 dest: 2}], [{ cond=true, acceptance={} source=3 dest: 5}], [{ cond=(NOT p1), acceptance={} source=4 dest: 5}, { cond=p1, acceptance={} source=4 dest: 6}], [{ cond=(NOT p2), acceptance={0} source=5 dest: 5}], [{ cond=(AND (NOT p1) (NOT p2)), acceptance={} source=6 dest: 5}, { cond=(AND p1 (NOT p2)), acceptance={} source=6 dest: 6}]], initial=0, aps=[p0:(LEQ s2944 s3788), p1:(AND (LEQ 3 s2395) (LEQ s3656 s3821)), p2:(LEQ 1 s1739)], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, very-weak, weak, inherently-weak], stateDesc=[null, null, null, null, null, null, null][false, false, false, false, false, false, false]]
Stuttering criterion allowed to conclude after 35 steps with 0 reset in 3 ms.
FORMULA DoubleExponent-PT-100-00 FALSE TECHNIQUES STUTTER_TEST
Treatment of property DoubleExponent-PT-100-00 finished in 7694 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(G((F(p0)&&F(G(p1)))))], workingDir=/home/mcc/execution]
Support contains 3 out of 5300 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 5300/5300 places, 4998/4998 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 1198 transitions
Trivial Post-agglo rules discarded 1198 transitions
Performed 1198 trivial Post agglomeration. Transition count delta: 1198
Iterating post reduction 0 with 1198 rules applied. Total rules applied 1198 place count 5299 transition count 3799
Reduce places removed 1198 places and 0 transitions.
Iterating post reduction 1 with 1198 rules applied. Total rules applied 2396 place count 4101 transition count 3799
Performed 200 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 200 Pre rules applied. Total rules applied 2396 place count 4101 transition count 3599
Deduced a syphon composed of 200 places in 199 ms
Reduce places removed 200 places and 0 transitions.
Iterating global reduction 2 with 400 rules applied. Total rules applied 2796 place count 3901 transition count 3599
Performed 902 Post agglomeration using F-continuation condition.Transition count delta: 902
Deduced a syphon composed of 902 places in 87 ms
Reduce places removed 902 places and 0 transitions.
Iterating global reduction 2 with 1804 rules applied. Total rules applied 4600 place count 2999 transition count 2697
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 101 places in 85 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 2 with 202 rules applied. Total rules applied 4802 place count 2898 transition count 2697
Performed 97 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 97 places in 48 ms
Reduce places removed 97 places and 0 transitions.
Iterating global reduction 2 with 194 rules applied. Total rules applied 4996 place count 2801 transition count 2697
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 4997 place count 2800 transition count 2696
Applied a total of 4997 rules in 1767 ms. Remains 2800 /5300 variables (removed 2500) and now considering 2696/4998 (removed 2302) transitions.
// Phase 1: matrix 2696 rows 2800 cols
[2021-05-09 21:51:15] [INFO ] Invariants computation overflowed in 43 ms
[2021-05-09 21:51:17] [INFO ] Implicit Places using invariants in 1471 ms returned []
// Phase 1: matrix 2696 rows 2800 cols
[2021-05-09 21:51:17] [INFO ] Invariants computation overflowed in 65 ms
[2021-05-09 21:51:19] [INFO ] Implicit Places using invariants and state equation in 2164 ms returned []
Implicit Place search using SMT with State Equation took 3636 ms to find 0 implicit places.
[2021-05-09 21:51:19] [INFO ] Redundant transitions in 218 ms returned []
// Phase 1: matrix 2696 rows 2800 cols
[2021-05-09 21:51:19] [INFO ] Invariants computation overflowed in 43 ms
[2021-05-09 21:51:20] [INFO ] Dead Transitions using invariants and state equation in 1331 ms returned []
Finished structural reductions, in 1 iterations. Remains : 2800/5300 places, 2696/4998 transitions.
Stuttering acceptance computed with spot in 77 ms :[(OR (NOT p0) (NOT p1)), (NOT p0), (NOT p1)]
Running random walk in product with property : DoubleExponent-PT-100-01 automaton TGBA [mat=[[{ cond=true, acceptance={} source=0 dest: 0}, { cond=(NOT p0), acceptance={} source=0 dest: 1}, { cond=(NOT p1), acceptance={} source=0 dest: 2}], [{ cond=(NOT p0), acceptance={0} source=1 dest: 1}], [{ cond=(NOT p1), acceptance={0} source=2 dest: 2}, { cond=p1, acceptance={} source=2 dest: 2}]], initial=0, aps=[p0:(GT s2726 s1212), p1:(OR (LEQ s2726 s1212) (LEQ 2 s182))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, stutter-invariant], stateDesc=[null, null, null][true, true, true]]
Stuttering criterion allowed to conclude after 8 steps with 0 reset in 1 ms.
FORMULA DoubleExponent-PT-100-01 FALSE TECHNIQUES STUTTER_TEST
Treatment of property DoubleExponent-PT-100-01 finished in 7116 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !((G(p0)||(p1 U p2)||F(p3)))], workingDir=/home/mcc/execution]
Support contains 5 out of 5300 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 5300/5300 places, 4998/4998 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 1195 transitions
Trivial Post-agglo rules discarded 1195 transitions
Performed 1195 trivial Post agglomeration. Transition count delta: 1195
Iterating post reduction 0 with 1195 rules applied. Total rules applied 1195 place count 5299 transition count 3802
Reduce places removed 1195 places and 0 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 1 with 1197 rules applied. Total rules applied 2392 place count 4104 transition count 3800
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 2394 place count 4102 transition count 3800
Performed 201 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 201 Pre rules applied. Total rules applied 2394 place count 4102 transition count 3599
Deduced a syphon composed of 201 places in 184 ms
Reduce places removed 201 places and 0 transitions.
Iterating global reduction 3 with 402 rules applied. Total rules applied 2796 place count 3901 transition count 3599
Performed 897 Post agglomeration using F-continuation condition.Transition count delta: 897
Deduced a syphon composed of 897 places in 67 ms
Reduce places removed 897 places and 0 transitions.
Iterating global reduction 3 with 1794 rules applied. Total rules applied 4590 place count 3004 transition count 2702
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 101 places in 54 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 3 with 202 rules applied. Total rules applied 4792 place count 2903 transition count 2702
Performed 97 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 97 places in 56 ms
Reduce places removed 97 places and 0 transitions.
Iterating global reduction 3 with 194 rules applied. Total rules applied 4986 place count 2806 transition count 2702
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 3 with 1 rules applied. Total rules applied 4987 place count 2805 transition count 2701
Applied a total of 4987 rules in 1474 ms. Remains 2805 /5300 variables (removed 2495) and now considering 2701/4998 (removed 2297) transitions.
// Phase 1: matrix 2701 rows 2805 cols
[2021-05-09 21:51:22] [INFO ] Invariants computation overflowed in 46 ms
[2021-05-09 21:51:23] [INFO ] Implicit Places using invariants in 1451 ms returned []
// Phase 1: matrix 2701 rows 2805 cols
[2021-05-09 21:51:24] [INFO ] Invariants computation overflowed in 46 ms
[2021-05-09 21:51:26] [INFO ] Implicit Places using invariants and state equation in 2144 ms returned []
Implicit Place search using SMT with State Equation took 3596 ms to find 0 implicit places.
[2021-05-09 21:51:26] [INFO ] Redundant transitions in 130 ms returned []
// Phase 1: matrix 2701 rows 2805 cols
[2021-05-09 21:51:26] [INFO ] Invariants computation overflowed in 46 ms
[2021-05-09 21:51:27] [INFO ] Dead Transitions using invariants and state equation in 1296 ms returned []
Finished structural reductions, in 1 iterations. Remains : 2805/5300 places, 2701/4998 transitions.
Stuttering acceptance computed with spot in 103 ms :[(NOT p3), (AND (NOT p2) (NOT p3)), (AND (NOT p0) (NOT p2) (NOT p3)), (AND (NOT p3) (NOT p0))]
Running random walk in product with property : DoubleExponent-PT-100-02 automaton TGBA [mat=[[{ cond=(NOT p3), acceptance={0} source=0 dest: 0}], [{ cond=(AND (NOT p2) (NOT p1) (NOT p3)), acceptance={0} source=1 dest: 0}, { cond=(AND (NOT p2) p1 (NOT p3)), acceptance={0} source=1 dest: 1}], [{ cond=(AND (NOT p0) (NOT p2) (NOT p1) (NOT p3)), acceptance={} source=2 dest: 0}, { cond=(AND (NOT p0) (NOT p2) p1 (NOT p3)), acceptance={} source=2 dest: 1}, { cond=(AND p0 (NOT p2) p1 (NOT p3)), acceptance={} source=2 dest: 2}, { cond=(AND p0 (NOT p2) (NOT p1) (NOT p3)), acceptance={} source=2 dest: 3}], [{ cond=(AND (NOT p0) (NOT p3)), acceptance={} source=3 dest: 0}, { cond=(AND p0 (NOT p3)), acceptance={} source=3 dest: 3}]], initial=2, aps=[p3:(LEQ 1 s1864), p2:(LEQ 3 s589), p1:(LEQ 1 s1782), p0:(GT s2737 s266)], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, deterministic, no-univ-branch, unambiguous, semi-deterministic, stutter-invariant, very-weak, weak, inherently-weak], stateDesc=[null, null, null, null][true, true, true, true]]
Stuttering criterion allowed to conclude after 9 steps with 0 reset in 1 ms.
FORMULA DoubleExponent-PT-100-02 FALSE TECHNIQUES STUTTER_TEST
Treatment of property DoubleExponent-PT-100-02 finished in 6677 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(X(X(X((p0||G(F(p1)))))))], workingDir=/home/mcc/execution]
Support contains 4 out of 5300 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 5300/5300 places, 4998/4998 transitions.
Applied a total of 0 rules in 842 ms. Remains 5300 /5300 variables (removed 0) and now considering 4998/4998 (removed 0) transitions.
// Phase 1: matrix 4998 rows 5300 cols
[2021-05-09 21:51:28] [INFO ] Invariants computation overflowed in 92 ms
[2021-05-09 21:51:30] [INFO ] Implicit Places using invariants in 1991 ms returned []
// Phase 1: matrix 4998 rows 5300 cols
[2021-05-09 21:51:30] [INFO ] Invariants computation overflowed in 92 ms
[2021-05-09 21:51:31] [INFO ] Implicit Places using invariants and state equation in 967 ms returned []
Implicit Place search using SMT with State Equation took 2959 ms to find 0 implicit places.
// Phase 1: matrix 4998 rows 5300 cols
[2021-05-09 21:51:31] [INFO ] Invariants computation overflowed in 92 ms
[2021-05-09 21:51:34] [INFO ] Dead Transitions using invariants and state equation in 2933 ms returned []
Finished structural reductions, in 1 iterations. Remains : 5300/5300 places, 4998/4998 transitions.
Stuttering acceptance computed with spot in 151 ms :[(AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (NOT p1), (NOT p1)]
Running random walk in product with property : DoubleExponent-PT-100-03 automaton TGBA [mat=[[{ cond=true, acceptance={} source=0 dest: 1}], [{ cond=true, acceptance={} source=1 dest: 2}], [{ cond=true, acceptance={} source=2 dest: 3}], [{ cond=(AND (NOT p0) (NOT p1)), acceptance={} source=3 dest: 4}, { cond=(NOT p0), acceptance={} source=3 dest: 5}], [{ cond=(NOT p1), acceptance={0} source=4 dest: 4}], [{ cond=(NOT p1), acceptance={} source=5 dest: 4}, { cond=true, acceptance={} source=5 dest: 5}]], initial=0, aps=[p0:(LEQ s1444 s4497), p1:(LEQ s2811 s738)], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, very-weak, weak, inherently-weak], stateDesc=[null, null, null, null, null, null][false, false, false, false, false, false]]
Product exploration explored 100000 steps with 25000 reset in 1517 ms.
Product exploration explored 100000 steps with 25000 reset in 1433 ms.
Graph (complete) has 9091 edges and 5300 vertex of which 5298 are kept as prefixes of interest. Removing 2 places using SCC suffix rule.12 ms
Knowledge obtained : [p0, p1]
Stuttering acceptance computed with spot in 146 ms :[(AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (NOT p1), (NOT p1)]
Product exploration explored 100000 steps with 25000 reset in 1704 ms.
Product exploration explored 100000 steps with 25000 reset in 1688 ms.
Applying partial POR strategy [false, false, false, true, true, true]
Stuttering acceptance computed with spot in 135 ms :[(AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (NOT p1), (NOT p1)]
Support contains 4 out of 5300 places. Attempting structural reductions.
Property had overlarge support with respect to TGBA, discarding it for now.
Starting structural reductions, iteration 0 : 5300/5300 places, 4998/4998 transitions.
Performed 1198 Post agglomeration using F-continuation condition.Transition count delta: 0
Iterating post reduction 0 with 1198 rules applied. Total rules applied 1198 place count 5300 transition count 4998
Performed 199 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 1 with 199 Pre rules applied. Total rules applied 1198 place count 5300 transition count 5196
Deduced a syphon composed of 1397 places in 245 ms
Iterating global reduction 1 with 199 rules applied. Total rules applied 1397 place count 5300 transition count 5196
Discarding 2 places :
Symmetric choice reduction at 1 with 2 rule applications. Total rules 1399 place count 5298 transition count 5194
Deduced a syphon composed of 1395 places in 218 ms
Iterating global reduction 1 with 2 rules applied. Total rules applied 1401 place count 5298 transition count 5194
Performed 900 Post agglomeration using F-continuation condition.Transition count delta: -202
Deduced a syphon composed of 2295 places in 166 ms
Iterating global reduction 1 with 900 rules applied. Total rules applied 2301 place count 5298 transition count 5396
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 2302 place count 5297 transition count 5395
Deduced a syphon composed of 2294 places in 135 ms
Iterating global reduction 1 with 1 rules applied. Total rules applied 2303 place count 5297 transition count 5395
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: -659
Deduced a syphon composed of 2395 places in 148 ms
Iterating global reduction 1 with 101 rules applied. Total rules applied 2404 place count 5297 transition count 6054
Discarding 101 places :
Symmetric choice reduction at 1 with 101 rule applications. Total rules 2505 place count 5196 transition count 5852
Deduced a syphon composed of 2294 places in 153 ms
Iterating global reduction 1 with 101 rules applied. Total rules applied 2606 place count 5196 transition count 5852
Performed 97 Post agglomeration using F-continuation condition.Transition count delta: -614
Deduced a syphon composed of 2391 places in 145 ms
Iterating global reduction 1 with 97 rules applied. Total rules applied 2703 place count 5196 transition count 6466
Discarding 97 places :
Symmetric choice reduction at 1 with 97 rule applications. Total rules 2800 place count 5099 transition count 6272
Deduced a syphon composed of 2294 places in 128 ms
Iterating global reduction 1 with 97 rules applied. Total rules applied 2897 place count 5099 transition count 6272
Deduced a syphon composed of 2294 places in 130 ms
Applied a total of 2897 rules in 4630 ms. Remains 5099 /5300 variables (removed 201) and now considering 6272/4998 (removed -1274) transitions.
[2021-05-09 21:51:46] [INFO ] Redundant transitions in 292 ms returned []
// Phase 1: matrix 6272 rows 5099 cols
[2021-05-09 21:51:46] [INFO ] Invariants computation overflowed in 202 ms
[2021-05-09 21:51:50] [INFO ] Dead Transitions using invariants and state equation in 3580 ms returned []
Finished structural reductions, in 1 iterations. Remains : 5099/5300 places, 6272/4998 transitions.
Product exploration explored 100000 steps with 25000 reset in 8677 ms.
Product exploration explored 100000 steps with 25000 reset in 8554 ms.
[2021-05-09 21:52:08] [INFO ] Flatten gal took : 164 ms
[2021-05-09 21:52:08] [INFO ] Flatten gal took : 154 ms
[2021-05-09 21:52:09] [INFO ] Time to serialize gal into /tmp/LTL4118390027340974269.gal : 76 ms
[2021-05-09 21:52:09] [INFO ] Time to serialize properties into /tmp/LTL15492982046534331399.ltl : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL4118390027340974269.gal, -t, CGAL, -LTL, /tmp/LTL15492982046534331399.ltl, -c, -stutter-deadlock, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL4118390027340974269.gal -t CGAL -LTL /tmp/LTL15492982046534331399.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 1 LTL properties
Checking formula 0 : !((X(X(X(("(p2299<=p5046)")||(G(F("(p3529<=p1663)"))))))))
Formula 0 simplified : !XXX("(p2299<=p5046)" | GF"(p3529<=p1663)")
Detected timeout of ITS tools.
[2021-05-09 21:52:24] [INFO ] Flatten gal took : 146 ms
[2021-05-09 21:52:24] [INFO ] Applying decomposition
[2021-05-09 21:52:24] [INFO ] Flatten gal took : 152 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph14413061497897736406.txt, -o, /tmp/graph14413061497897736406.bin, -w, /tmp/graph14413061497897736406.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph14413061497897736406.bin, -l, -1, -v, -w, /tmp/graph14413061497897736406.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-09 21:52:24] [INFO ] Decomposing Gal with order
[2021-05-09 21:52:25] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-09 21:52:26] [INFO ] Removed a total of 1434 redundant transitions.
[2021-05-09 21:52:26] [INFO ] Flatten gal took : 415 ms
[2021-05-09 21:52:26] [INFO ] Fuse similar labels procedure discarded/fused a total of 62 labels/synchronizations in 161 ms.
[2021-05-09 21:52:27] [INFO ] Time to serialize gal into /tmp/LTL10707820000353768363.gal : 45 ms
[2021-05-09 21:52:27] [INFO ] Time to serialize properties into /tmp/LTL4765410445394853450.ltl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL10707820000353768363.gal, -t, CGAL, -LTL, /tmp/LTL4765410445394853450.ltl, -c, -stutter-deadlock, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL10707820000353768363.gal -t CGAL -LTL /tmp/LTL4765410445394853450.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 1 LTL properties
Checking formula 0 : !((X(X(X(("(gu1917.p2299<=gu1917.p5046)")||(G(F("(gu315.p3529<=gu315.p1663)"))))))))
Formula 0 simplified : !XXX("(gu1917.p2299<=gu1917.p5046)" | GF"(gu315.p3529<=gu315.p1663)")
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin18105887444404700834
[2021-05-09 21:52:42] [INFO ] Built C files in 64ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin18105887444404700834
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin18105887444404700834]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin18105887444404700834] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin18105887444404700834] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Treatment of property DoubleExponent-PT-100-03 finished in 76070 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !((G(p0)&&F(p1)))], workingDir=/home/mcc/execution]
Support contains 4 out of 5300 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 5300/5300 places, 4998/4998 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 1197 transitions
Trivial Post-agglo rules discarded 1197 transitions
Performed 1197 trivial Post agglomeration. Transition count delta: 1197
Iterating post reduction 0 with 1197 rules applied. Total rules applied 1197 place count 5299 transition count 3800
Reduce places removed 1197 places and 0 transitions.
Iterating post reduction 1 with 1197 rules applied. Total rules applied 2394 place count 4102 transition count 3800
Performed 199 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 199 Pre rules applied. Total rules applied 2394 place count 4102 transition count 3601
Deduced a syphon composed of 199 places in 184 ms
Reduce places removed 199 places and 0 transitions.
Iterating global reduction 2 with 398 rules applied. Total rules applied 2792 place count 3903 transition count 3601
Performed 902 Post agglomeration using F-continuation condition.Transition count delta: 902
Deduced a syphon composed of 902 places in 64 ms
Reduce places removed 902 places and 0 transitions.
Iterating global reduction 2 with 1804 rules applied. Total rules applied 4596 place count 3001 transition count 2699
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 101 places in 57 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 2 with 202 rules applied. Total rules applied 4798 place count 2900 transition count 2699
Performed 96 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 96 places in 54 ms
Reduce places removed 96 places and 0 transitions.
Iterating global reduction 2 with 192 rules applied. Total rules applied 4990 place count 2804 transition count 2699
Partial Post-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 2 with 2 rules applied. Total rules applied 4992 place count 2804 transition count 2699
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 4993 place count 2803 transition count 2698
Applied a total of 4993 rules in 1432 ms. Remains 2803 /5300 variables (removed 2497) and now considering 2698/4998 (removed 2300) transitions.
// Phase 1: matrix 2698 rows 2803 cols
[2021-05-09 21:52:45] [INFO ] Invariants computation overflowed in 62 ms
[2021-05-09 21:52:46] [INFO ] Implicit Places using invariants in 1480 ms returned []
// Phase 1: matrix 2698 rows 2803 cols
[2021-05-09 21:52:46] [INFO ] Invariants computation overflowed in 39 ms
[2021-05-09 21:52:49] [INFO ] Implicit Places using invariants and state equation in 2363 ms returned []
Implicit Place search using SMT with State Equation took 3845 ms to find 0 implicit places.
[2021-05-09 21:52:49] [INFO ] Redundant transitions in 58 ms returned []
// Phase 1: matrix 2698 rows 2803 cols
[2021-05-09 21:52:49] [INFO ] Invariants computation overflowed in 42 ms
[2021-05-09 21:52:50] [INFO ] Dead Transitions using invariants and state equation in 1527 ms returned []
Finished structural reductions, in 1 iterations. Remains : 2803/5300 places, 2698/4998 transitions.
Stuttering acceptance computed with spot in 58 ms :[(NOT p0), true, (OR (NOT p1) (NOT p0))]
Running random walk in product with property : DoubleExponent-PT-100-04 automaton TGBA [mat=[[{ cond=p0, acceptance={} source=0 dest: 0}, { cond=(NOT p0), acceptance={} source=0 dest: 1}], [{ cond=true, acceptance={0} source=1 dest: 1}], [{ cond=(AND p0 p1), acceptance={0} source=2 dest: 0}, { cond=(NOT p0), acceptance={0} source=2 dest: 1}, { cond=(AND p0 (NOT p1)), acceptance={0} source=2 dest: 2}]], initial=2, aps=[p0:(LEQ s1955 s2706), p1:(LEQ s2263 s1488)], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, complete, deterministic, no-univ-branch, unambiguous, semi-deterministic, stutter-invariant, very-weak, weak, inherently-weak], stateDesc=[null, null, null][true, true, true]]
Product exploration explored 100000 steps with 13916 reset in 236 ms.
Product exploration explored 100000 steps with 13838 reset in 320 ms.
Graph (complete) has 8876 edges and 2803 vertex of which 2801 are kept as prefixes of interest. Removing 2 places using SCC suffix rule.5 ms
Knowledge obtained : [p0, p1]
Stuttering acceptance computed with spot in 56 ms :[(NOT p0), true, (OR (NOT p1) (NOT p0))]
Product exploration explored 100000 steps with 13866 reset in 280 ms.
Product exploration explored 100000 steps with 13871 reset in 297 ms.
[2021-05-09 21:52:52] [INFO ] Flatten gal took : 141 ms
[2021-05-09 21:52:52] [INFO ] Flatten gal took : 104 ms
[2021-05-09 21:52:52] [INFO ] Time to serialize gal into /tmp/LTL9046972655499758660.gal : 10 ms
[2021-05-09 21:52:52] [INFO ] Time to serialize properties into /tmp/LTL9534773820355214499.ltl : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL9046972655499758660.gal, -t, CGAL, -LTL, /tmp/LTL9534773820355214499.ltl, -c, -stutter-deadlock, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL9046972655499758660.gal -t CGAL -LTL /tmp/LTL9534773820355214499.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 1 LTL properties
Checking formula 0 : !(((G("(p4325<=p837)"))&&(F("(p4849<=p3540)"))))
Formula 0 simplified : !(G"(p4325<=p837)" & F"(p4849<=p3540)")
Detected timeout of ITS tools.
[2021-05-09 21:53:07] [INFO ] Flatten gal took : 99 ms
[2021-05-09 21:53:07] [INFO ] Applying decomposition
[2021-05-09 21:53:07] [INFO ] Flatten gal took : 89 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph14325420023209410090.txt, -o, /tmp/graph14325420023209410090.bin, -w, /tmp/graph14325420023209410090.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph14325420023209410090.bin, -l, -1, -v, -w, /tmp/graph14325420023209410090.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-09 21:53:07] [INFO ] Decomposing Gal with order
[2021-05-09 21:53:08] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-09 21:53:08] [INFO ] Removed a total of 2207 redundant transitions.
[2021-05-09 21:53:08] [INFO ] Flatten gal took : 197 ms
[2021-05-09 21:53:08] [INFO ] Fuse similar labels procedure discarded/fused a total of 68 labels/synchronizations in 136 ms.
[2021-05-09 21:53:09] [INFO ] Time to serialize gal into /tmp/LTL6917255379250964418.gal : 16 ms
[2021-05-09 21:53:09] [INFO ] Time to serialize properties into /tmp/LTL11286329675376809108.ltl : 16 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL6917255379250964418.gal, -t, CGAL, -LTL, /tmp/LTL11286329675376809108.ltl, -c, -stutter-deadlock, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL6917255379250964418.gal -t CGAL -LTL /tmp/LTL11286329675376809108.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 1 LTL properties
Checking formula 0 : !(((G("(gu764.p4325<=gu764.p837)"))&&(F("(gu887.p4849<=gu887.p3540)"))))
Formula 0 simplified : !(G"(gu764.p4325<=gu764.p837)" & F"(gu887.p4849<=gu887.p3540)")
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin11935518997839100757
[2021-05-09 21:53:24] [INFO ] Built C files in 32ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin11935518997839100757
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin11935518997839100757]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin11935518997839100757] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin11935518997839100757] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Treatment of property DoubleExponent-PT-100-04 finished in 41378 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(G((F(G(p0))&&F(p1))))], workingDir=/home/mcc/execution]
Support contains 2 out of 5300 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 5300/5300 places, 4998/4998 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 1199 transitions
Trivial Post-agglo rules discarded 1199 transitions
Performed 1199 trivial Post agglomeration. Transition count delta: 1199
Iterating post reduction 0 with 1199 rules applied. Total rules applied 1199 place count 5299 transition count 3798
Reduce places removed 1199 places and 0 transitions.
Iterating post reduction 1 with 1199 rules applied. Total rules applied 2398 place count 4100 transition count 3798
Performed 200 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 200 Pre rules applied. Total rules applied 2398 place count 4100 transition count 3598
Deduced a syphon composed of 200 places in 185 ms
Reduce places removed 200 places and 0 transitions.
Iterating global reduction 2 with 400 rules applied. Total rules applied 2798 place count 3900 transition count 3598
Performed 903 Post agglomeration using F-continuation condition.Transition count delta: 903
Deduced a syphon composed of 903 places in 64 ms
Reduce places removed 903 places and 0 transitions.
Iterating global reduction 2 with 1806 rules applied. Total rules applied 4604 place count 2997 transition count 2695
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 101 places in 57 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 2 with 202 rules applied. Total rules applied 4806 place count 2896 transition count 2695
Performed 97 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 97 places in 54 ms
Reduce places removed 97 places and 0 transitions.
Iterating global reduction 2 with 194 rules applied. Total rules applied 5000 place count 2799 transition count 2695
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 5001 place count 2798 transition count 2694
Applied a total of 5001 rules in 1262 ms. Remains 2798 /5300 variables (removed 2502) and now considering 2694/4998 (removed 2304) transitions.
// Phase 1: matrix 2694 rows 2798 cols
[2021-05-09 21:53:26] [INFO ] Invariants computation overflowed in 40 ms
[2021-05-09 21:53:27] [INFO ] Implicit Places using invariants in 1453 ms returned []
// Phase 1: matrix 2694 rows 2798 cols
[2021-05-09 21:53:27] [INFO ] Invariants computation overflowed in 71 ms
[2021-05-09 21:53:30] [INFO ] Implicit Places using invariants and state equation in 2197 ms returned []
Implicit Place search using SMT with State Equation took 3651 ms to find 0 implicit places.
[2021-05-09 21:53:30] [INFO ] Redundant transitions in 58 ms returned []
// Phase 1: matrix 2694 rows 2798 cols
[2021-05-09 21:53:30] [INFO ] Invariants computation overflowed in 42 ms
[2021-05-09 21:53:31] [INFO ] Dead Transitions using invariants and state equation in 1523 ms returned []
Finished structural reductions, in 1 iterations. Remains : 2798/5300 places, 2694/4998 transitions.
Stuttering acceptance computed with spot in 78 ms :[(OR (NOT p0) (NOT p1)), (NOT p0), (NOT p1)]
Running random walk in product with property : DoubleExponent-PT-100-05 automaton TGBA [mat=[[{ cond=true, acceptance={} source=0 dest: 0}, { cond=(NOT p0), acceptance={} source=0 dest: 1}, { cond=(NOT p1), acceptance={} source=0 dest: 2}], [{ cond=(NOT p0), acceptance={0} source=1 dest: 1}, { cond=p0, acceptance={} source=1 dest: 1}], [{ cond=(NOT p1), acceptance={0} source=2 dest: 2}]], initial=0, aps=[p0:(LEQ 3 s1558), p1:(GT 2 s66)], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, stutter-invariant], stateDesc=[null, null, null][true, true, true]]
Stuttering criterion allowed to conclude after 5 steps with 0 reset in 0 ms.
FORMULA DoubleExponent-PT-100-05 FALSE TECHNIQUES STUTTER_TEST
Treatment of property DoubleExponent-PT-100-05 finished in 6690 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(F(G(p0)))], workingDir=/home/mcc/execution]
Support contains 7 out of 5300 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 5300/5300 places, 4998/4998 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 1194 transitions
Trivial Post-agglo rules discarded 1194 transitions
Performed 1194 trivial Post agglomeration. Transition count delta: 1194
Iterating post reduction 0 with 1194 rules applied. Total rules applied 1194 place count 5299 transition count 3803
Reduce places removed 1194 places and 0 transitions.
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Iterating post reduction 1 with 1197 rules applied. Total rules applied 2391 place count 4105 transition count 3800
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 2 with 3 rules applied. Total rules applied 2394 place count 4102 transition count 3800
Performed 199 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 199 Pre rules applied. Total rules applied 2394 place count 4102 transition count 3601
Deduced a syphon composed of 199 places in 184 ms
Reduce places removed 199 places and 0 transitions.
Iterating global reduction 3 with 398 rules applied. Total rules applied 2792 place count 3903 transition count 3601
Performed 901 Post agglomeration using F-continuation condition.Transition count delta: 901
Deduced a syphon composed of 901 places in 94 ms
Reduce places removed 901 places and 0 transitions.
Iterating global reduction 3 with 1802 rules applied. Total rules applied 4594 place count 3002 transition count 2700
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 101 places in 53 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 3 with 202 rules applied. Total rules applied 4796 place count 2901 transition count 2700
Performed 95 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 95 places in 49 ms
Reduce places removed 95 places and 0 transitions.
Iterating global reduction 3 with 190 rules applied. Total rules applied 4986 place count 2806 transition count 2700
Partial Post-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 3 with 1 rules applied. Total rules applied 4987 place count 2806 transition count 2700
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 3 with 1 rules applied. Total rules applied 4988 place count 2805 transition count 2699
Applied a total of 4988 rules in 1438 ms. Remains 2805 /5300 variables (removed 2495) and now considering 2699/4998 (removed 2299) transitions.
// Phase 1: matrix 2699 rows 2805 cols
[2021-05-09 21:53:33] [INFO ] Invariants computation overflowed in 50 ms
[2021-05-09 21:53:34] [INFO ] Implicit Places using invariants in 1458 ms returned []
// Phase 1: matrix 2699 rows 2805 cols
[2021-05-09 21:53:34] [INFO ] Invariants computation overflowed in 51 ms
[2021-05-09 21:53:36] [INFO ] Implicit Places using invariants and state equation in 2128 ms returned []
Implicit Place search using SMT with State Equation took 3588 ms to find 0 implicit places.
[2021-05-09 21:53:36] [INFO ] Redundant transitions in 58 ms returned []
// Phase 1: matrix 2699 rows 2805 cols
[2021-05-09 21:53:37] [INFO ] Invariants computation overflowed in 67 ms
[2021-05-09 21:53:38] [INFO ] Dead Transitions using invariants and state equation in 1317 ms returned []
Finished structural reductions, in 1 iterations. Remains : 2805/5300 places, 2699/4998 transitions.
Stuttering acceptance computed with spot in 24 ms :[(NOT p0)]
Running random walk in product with property : DoubleExponent-PT-100-07 automaton TGBA [mat=[[{ cond=(NOT p0), acceptance={0} source=0 dest: 0}, { cond=p0, acceptance={} source=0 dest: 0}]], initial=0, aps=[p0:(AND (GT 3 s238) (OR (GT s736 s2673) (AND (GT s1324 s1548) (GT s1525 s1653))))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, complete, deterministic, no-univ-branch, unambiguous, semi-deterministic, stutter-invariant], stateDesc=[null][true]]
Stuttering criterion allowed to conclude after 4 steps with 0 reset in 0 ms.
FORMULA DoubleExponent-PT-100-07 FALSE TECHNIQUES STUTTER_TEST
Treatment of property DoubleExponent-PT-100-07 finished in 6501 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(X(F(p0)))], workingDir=/home/mcc/execution]
Support contains 4 out of 5300 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 5300/5300 places, 4998/4998 transitions.
Applied a total of 0 rules in 824 ms. Remains 5300 /5300 variables (removed 0) and now considering 4998/4998 (removed 0) transitions.
// Phase 1: matrix 4998 rows 5300 cols
[2021-05-09 21:53:39] [INFO ] Invariants computation overflowed in 118 ms
[2021-05-09 21:53:41] [INFO ] Implicit Places using invariants in 2116 ms returned []
// Phase 1: matrix 4998 rows 5300 cols
[2021-05-09 21:53:41] [INFO ] Invariants computation overflowed in 113 ms
[2021-05-09 21:53:42] [INFO ] Implicit Places using invariants and state equation in 1251 ms returned []
Implicit Place search using SMT with State Equation took 3369 ms to find 0 implicit places.
// Phase 1: matrix 4998 rows 5300 cols
[2021-05-09 21:53:42] [INFO ] Invariants computation overflowed in 96 ms
[2021-05-09 21:53:45] [INFO ] Dead Transitions using invariants and state equation in 3115 ms returned []
Finished structural reductions, in 1 iterations. Remains : 5300/5300 places, 4998/4998 transitions.
Stuttering acceptance computed with spot in 48 ms :[(NOT p0), (NOT p0)]
Running random walk in product with property : DoubleExponent-PT-100-09 automaton TGBA [mat=[[{ cond=true, acceptance={} source=0 dest: 1}], [{ cond=(NOT p0), acceptance={0} source=1 dest: 1}]], initial=0, aps=[p0:(AND (LEQ s4521 s4134) (LEQ s4818 s2278))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, deterministic, no-univ-branch, unambiguous, semi-deterministic, very-weak, weak, inherently-weak], stateDesc=[null, null][false, false]]
Product exploration explored 100000 steps with 50000 reset in 3411 ms.
Product exploration explored 100000 steps with 50000 reset in 3460 ms.
Graph (complete) has 9091 edges and 5300 vertex of which 5298 are kept as prefixes of interest. Removing 2 places using SCC suffix rule.6 ms
Knowledge obtained : [p0]
Stuttering acceptance computed with spot in 45 ms :[(NOT p0), (NOT p0)]
Product exploration explored 100000 steps with 50000 reset in 3306 ms.
Product exploration explored 100000 steps with 50000 reset in 3351 ms.
Applying partial POR strategy [false, true]
Stuttering acceptance computed with spot in 47 ms :[(NOT p0), (NOT p0)]
Support contains 4 out of 5300 places. Attempting structural reductions.
Property had overlarge support with respect to TGBA, discarding it for now.
Starting structural reductions, iteration 0 : 5300/5300 places, 4998/4998 transitions.
Performed 1197 Post agglomeration using F-continuation condition.Transition count delta: 0
Iterating post reduction 0 with 1197 rules applied. Total rules applied 1197 place count 5300 transition count 4998
Performed 200 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 1 with 200 Pre rules applied. Total rules applied 1197 place count 5300 transition count 5197
Deduced a syphon composed of 1397 places in 236 ms
Iterating global reduction 1 with 200 rules applied. Total rules applied 1397 place count 5300 transition count 5197
Discarding 2 places :
Symmetric choice reduction at 1 with 2 rule applications. Total rules 1399 place count 5298 transition count 5195
Deduced a syphon composed of 1395 places in 220 ms
Iterating global reduction 1 with 2 rules applied. Total rules applied 1401 place count 5298 transition count 5195
Performed 901 Post agglomeration using F-continuation condition.Transition count delta: -200
Deduced a syphon composed of 2296 places in 147 ms
Iterating global reduction 1 with 901 rules applied. Total rules applied 2302 place count 5298 transition count 5395
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 2303 place count 5297 transition count 5394
Deduced a syphon composed of 2295 places in 138 ms
Iterating global reduction 1 with 1 rules applied. Total rules applied 2304 place count 5297 transition count 5394
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: -664
Deduced a syphon composed of 2396 places in 140 ms
Iterating global reduction 1 with 101 rules applied. Total rules applied 2405 place count 5297 transition count 6058
Discarding 101 places :
Symmetric choice reduction at 1 with 101 rule applications. Total rules 2506 place count 5196 transition count 5856
Deduced a syphon composed of 2295 places in 131 ms
Iterating global reduction 1 with 101 rules applied. Total rules applied 2607 place count 5196 transition count 5856
Performed 98 Post agglomeration using F-continuation condition.Transition count delta: -624
Deduced a syphon composed of 2393 places in 172 ms
Iterating global reduction 1 with 98 rules applied. Total rules applied 2705 place count 5196 transition count 6480
Discarding 98 places :
Symmetric choice reduction at 1 with 98 rule applications. Total rules 2803 place count 5098 transition count 6284
Deduced a syphon composed of 2295 places in 140 ms
Iterating global reduction 1 with 98 rules applied. Total rules applied 2901 place count 5098 transition count 6284
Deduced a syphon composed of 2295 places in 135 ms
Applied a total of 2901 rules in 4016 ms. Remains 5098 /5300 variables (removed 202) and now considering 6284/4998 (removed -1286) transitions.
[2021-05-09 21:54:04] [INFO ] Redundant transitions in 298 ms returned []
// Phase 1: matrix 6284 rows 5098 cols
[2021-05-09 21:54:04] [INFO ] Invariants computation overflowed in 153 ms
[2021-05-09 21:54:07] [INFO ] Dead Transitions using invariants and state equation in 3673 ms returned []
Finished structural reductions, in 1 iterations. Remains : 5098/5300 places, 6284/4998 transitions.
Product exploration timeout after 58980 steps with 29490 reset in 10001 ms.
Product exploration timeout after 59240 steps with 29620 reset in 10002 ms.
[2021-05-09 21:54:28] [INFO ] Flatten gal took : 138 ms
[2021-05-09 21:54:29] [INFO ] Flatten gal took : 147 ms
[2021-05-09 21:54:29] [INFO ] Time to serialize gal into /tmp/LTL11491316405819886155.gal : 13 ms
[2021-05-09 21:54:29] [INFO ] Time to serialize properties into /tmp/LTL15716160015601697161.ltl : 33 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL11491316405819886155.gal, -t, CGAL, -LTL, /tmp/LTL15716160015601697161.ltl, -c, -stutter-deadlock, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL11491316405819886155.gal -t CGAL -LTL /tmp/LTL15716160015601697161.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 1 LTL properties
Checking formula 0 : !((X(F("((p5068<=p472)&&(p565<=p3049))"))))
Formula 0 simplified : !XF"((p5068<=p472)&&(p565<=p3049))"
Detected timeout of ITS tools.
[2021-05-09 21:54:44] [INFO ] Flatten gal took : 138 ms
[2021-05-09 21:54:44] [INFO ] Applying decomposition
[2021-05-09 21:54:44] [INFO ] Flatten gal took : 143 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph14504835222359868429.txt, -o, /tmp/graph14504835222359868429.bin, -w, /tmp/graph14504835222359868429.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph14504835222359868429.bin, -l, -1, -v, -w, /tmp/graph14504835222359868429.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-09 21:54:44] [INFO ] Decomposing Gal with order
[2021-05-09 21:54:45] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-09 21:54:46] [INFO ] Removed a total of 1445 redundant transitions.
[2021-05-09 21:54:46] [INFO ] Flatten gal took : 266 ms
[2021-05-09 21:54:46] [INFO ] Fuse similar labels procedure discarded/fused a total of 104 labels/synchronizations in 212 ms.
[2021-05-09 21:54:47] [INFO ] Time to serialize gal into /tmp/LTL12675080171233319461.gal : 39 ms
[2021-05-09 21:54:47] [INFO ] Time to serialize properties into /tmp/LTL8774908768962397825.ltl : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL12675080171233319461.gal, -t, CGAL, -LTL, /tmp/LTL8774908768962397825.ltl, -c, -stutter-deadlock, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL12675080171233319461.gal -t CGAL -LTL /tmp/LTL8774908768962397825.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 1 LTL properties
Checking formula 0 : !((X(F("((gu1932.p5068<=gu1932.p472)&&(gu978.p565<=gu978.p3049))"))))
Formula 0 simplified : !XF"((gu1932.p5068<=gu1932.p472)&&(gu978.p565<=gu978.p3049))"
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin12820933947226947456
[2021-05-09 21:55:02] [INFO ] Built C files in 52ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin12820933947226947456
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin12820933947226947456]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin12820933947226947456] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin12820933947226947456] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Treatment of property DoubleExponent-PT-100-09 finished in 85543 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(X(F(p0)))], workingDir=/home/mcc/execution]
Support contains 1 out of 5300 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 5300/5300 places, 4998/4998 transitions.
Applied a total of 0 rules in 855 ms. Remains 5300 /5300 variables (removed 0) and now considering 4998/4998 (removed 0) transitions.
// Phase 1: matrix 4998 rows 5300 cols
[2021-05-09 21:55:04] [INFO ] Invariants computation overflowed in 96 ms
[2021-05-09 21:55:06] [INFO ] Implicit Places using invariants in 2059 ms returned []
// Phase 1: matrix 4998 rows 5300 cols
[2021-05-09 21:55:06] [INFO ] Invariants computation overflowed in 109 ms
[2021-05-09 21:55:07] [INFO ] Implicit Places using invariants and state equation in 1031 ms returned []
Implicit Place search using SMT with State Equation took 3111 ms to find 0 implicit places.
// Phase 1: matrix 4998 rows 5300 cols
[2021-05-09 21:55:07] [INFO ] Invariants computation overflowed in 103 ms
[2021-05-09 21:55:11] [INFO ] Dead Transitions using invariants and state equation in 3300 ms returned []
Finished structural reductions, in 1 iterations. Remains : 5300/5300 places, 4998/4998 transitions.
Stuttering acceptance computed with spot in 56 ms :[(NOT p0), (NOT p0)]
Running random walk in product with property : DoubleExponent-PT-100-11 automaton TGBA [mat=[[{ cond=true, acceptance={} source=0 dest: 1}], [{ cond=(NOT p0), acceptance={0} source=1 dest: 1}]], initial=0, aps=[p0:(GT 1 s4743)], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, deterministic, no-univ-branch, unambiguous, semi-deterministic, very-weak, weak, inherently-weak], stateDesc=[null, null][false, false]]
Product exploration explored 100000 steps with 50000 reset in 3291 ms.
Product exploration explored 100000 steps with 50000 reset in 3302 ms.
Graph (complete) has 9091 edges and 5300 vertex of which 5298 are kept as prefixes of interest. Removing 2 places using SCC suffix rule.7 ms
Knowledge obtained : [p0]
Stuttering acceptance computed with spot in 45 ms :[(NOT p0), (NOT p0)]
Product exploration explored 100000 steps with 50000 reset in 3292 ms.
Product exploration explored 100000 steps with 50000 reset in 3296 ms.
Applying partial POR strategy [false, true]
Stuttering acceptance computed with spot in 51 ms :[(NOT p0), (NOT p0)]
Support contains 1 out of 5300 places. Attempting structural reductions.
Property had overlarge support with respect to TGBA, discarding it for now.
Starting structural reductions, iteration 0 : 5300/5300 places, 4998/4998 transitions.
Performed 1199 Post agglomeration using F-continuation condition.Transition count delta: 0
Iterating post reduction 0 with 1199 rules applied. Total rules applied 1199 place count 5300 transition count 4998
Performed 201 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 1 with 201 Pre rules applied. Total rules applied 1199 place count 5300 transition count 5198
Deduced a syphon composed of 1400 places in 244 ms
Iterating global reduction 1 with 201 rules applied. Total rules applied 1400 place count 5300 transition count 5198
Discarding 2 places :
Symmetric choice reduction at 1 with 2 rule applications. Total rules 1402 place count 5298 transition count 5196
Deduced a syphon composed of 1398 places in 213 ms
Iterating global reduction 1 with 2 rules applied. Total rules applied 1404 place count 5298 transition count 5196
Performed 902 Post agglomeration using F-continuation condition.Transition count delta: -200
Deduced a syphon composed of 2300 places in 152 ms
Iterating global reduction 1 with 902 rules applied. Total rules applied 2306 place count 5298 transition count 5396
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 2307 place count 5297 transition count 5395
Deduced a syphon composed of 2299 places in 179 ms
Iterating global reduction 1 with 1 rules applied. Total rules applied 2308 place count 5297 transition count 5395
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: -664
Deduced a syphon composed of 2400 places in 139 ms
Iterating global reduction 1 with 101 rules applied. Total rules applied 2409 place count 5297 transition count 6059
Discarding 101 places :
Symmetric choice reduction at 1 with 101 rule applications. Total rules 2510 place count 5196 transition count 5857
Deduced a syphon composed of 2299 places in 131 ms
Iterating global reduction 1 with 101 rules applied. Total rules applied 2611 place count 5196 transition count 5857
Performed 98 Post agglomeration using F-continuation condition.Transition count delta: -625
Deduced a syphon composed of 2397 places in 141 ms
Iterating global reduction 1 with 98 rules applied. Total rules applied 2709 place count 5196 transition count 6482
Discarding 98 places :
Symmetric choice reduction at 1 with 98 rule applications. Total rules 2807 place count 5098 transition count 6286
Deduced a syphon composed of 2299 places in 129 ms
Iterating global reduction 1 with 98 rules applied. Total rules applied 2905 place count 5098 transition count 6286
Deduced a syphon composed of 2299 places in 139 ms
Applied a total of 2905 rules in 4146 ms. Remains 5098 /5300 variables (removed 202) and now considering 6286/4998 (removed -1288) transitions.
[2021-05-09 21:55:29] [INFO ] Redundant transitions in 293 ms returned []
// Phase 1: matrix 6286 rows 5098 cols
[2021-05-09 21:55:29] [INFO ] Invariants computation overflowed in 97 ms
[2021-05-09 21:55:33] [INFO ] Dead Transitions using invariants and state equation in 3512 ms returned []
Finished structural reductions, in 1 iterations. Remains : 5098/5300 places, 6286/4998 transitions.
Product exploration timeout after 58200 steps with 29100 reset in 10002 ms.
Product exploration timeout after 58160 steps with 29080 reset in 10001 ms.
[2021-05-09 21:55:54] [INFO ] Flatten gal took : 149 ms
[2021-05-09 21:55:54] [INFO ] Flatten gal took : 140 ms
[2021-05-09 21:55:54] [INFO ] Time to serialize gal into /tmp/LTL9943988748236702938.gal : 21 ms
[2021-05-09 21:55:54] [INFO ] Time to serialize properties into /tmp/LTL10918850610160032670.ltl : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL9943988748236702938.gal, -t, CGAL, -LTL, /tmp/LTL10918850610160032670.ltl, -c, -stutter-deadlock, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL9943988748236702938.gal -t CGAL -LTL /tmp/LTL10918850610160032670.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 1 LTL properties
Checking formula 0 : !((X(F("(p5269<1)"))))
Formula 0 simplified : !XF"(p5269<1)"
Detected timeout of ITS tools.
[2021-05-09 21:56:09] [INFO ] Flatten gal took : 167 ms
[2021-05-09 21:56:09] [INFO ] Applying decomposition
[2021-05-09 21:56:09] [INFO ] Flatten gal took : 139 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph17148863583237884489.txt, -o, /tmp/graph17148863583237884489.bin, -w, /tmp/graph17148863583237884489.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph17148863583237884489.bin, -l, -1, -v, -w, /tmp/graph17148863583237884489.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-09 21:56:09] [INFO ] Decomposing Gal with order
[2021-05-09 21:56:10] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-09 21:56:11] [INFO ] Removed a total of 1425 redundant transitions.
[2021-05-09 21:56:11] [INFO ] Flatten gal took : 269 ms
[2021-05-09 21:56:11] [INFO ] Fuse similar labels procedure discarded/fused a total of 46 labels/synchronizations in 49 ms.
[2021-05-09 21:56:11] [INFO ] Time to serialize gal into /tmp/LTL13860016784708232497.gal : 58 ms
[2021-05-09 21:56:11] [INFO ] Time to serialize properties into /tmp/LTL8428196657374084458.ltl : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL13860016784708232497.gal, -t, CGAL, -LTL, /tmp/LTL8428196657374084458.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL13860016784708232497.gal -t CGAL -LTL /tmp/LTL8428196657374084458.ltl -c -stutter-deadlock
Read 1 LTL properties
Checking formula 0 : !((X(F("(i28.i0.u2017.p5269<1)"))))
Formula 0 simplified : !XF"(i28.i0.u2017.p5269<1)"
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin10975687558000086909
[2021-05-09 21:56:26] [INFO ] Built C files in 47ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin10975687558000086909
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin10975687558000086909]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin10975687558000086909] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin10975687558000086909] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Treatment of property DoubleExponent-PT-100-11 finished in 83671 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !((((p0 U p1) U X(p2))&&F(p3)))], workingDir=/home/mcc/execution]
Support contains 6 out of 5300 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 5300/5300 places, 4998/4998 transitions.
Applied a total of 0 rules in 833 ms. Remains 5300 /5300 variables (removed 0) and now considering 4998/4998 (removed 0) transitions.
// Phase 1: matrix 4998 rows 5300 cols
[2021-05-09 21:56:28] [INFO ] Invariants computation overflowed in 96 ms
[2021-05-09 21:56:30] [INFO ] Implicit Places using invariants in 2040 ms returned []
// Phase 1: matrix 4998 rows 5300 cols
[2021-05-09 21:56:30] [INFO ] Invariants computation overflowed in 95 ms
[2021-05-09 21:56:31] [INFO ] Implicit Places using invariants and state equation in 1276 ms returned []
Implicit Place search using SMT with State Equation took 3320 ms to find 0 implicit places.
// Phase 1: matrix 4998 rows 5300 cols
[2021-05-09 21:56:31] [INFO ] Invariants computation overflowed in 100 ms
[2021-05-09 21:56:34] [INFO ] Dead Transitions using invariants and state equation in 2984 ms returned []
Finished structural reductions, in 1 iterations. Remains : 5300/5300 places, 4998/4998 transitions.
Stuttering acceptance computed with spot in 183 ms :[(OR (NOT p2) (NOT p3)), (NOT p2), (NOT p3), (NOT p2), (AND (NOT p1) (NOT p2)), true, (NOT p1)]
Running random walk in product with property : DoubleExponent-PT-100-12 automaton TGBA [mat=[[{ cond=(AND (NOT p1) (NOT p0)), acceptance={} source=0 dest: 1}, { cond=(NOT p3), acceptance={} source=0 dest: 2}, { cond=(OR p1 p0), acceptance={} source=0 dest: 3}, { cond=(AND (NOT p1) p0), acceptance={} source=0 dest: 4}], [{ cond=(NOT p2), acceptance={} source=1 dest: 5}], [{ cond=(NOT p3), acceptance={} source=2 dest: 2}], [{ cond=(AND (NOT p1) (NOT p0) (NOT p2)), acceptance={} source=3 dest: 1}, { cond=(OR (AND p1 (NOT p2)) (AND p0 (NOT p2))), acceptance={} source=3 dest: 3}, { cond=(AND (NOT p1) p0 (NOT p2)), acceptance={} source=3 dest: 4}], [{ cond=(AND (NOT p1) (NOT p0) (NOT p2)), acceptance={} source=4 dest: 5}, { cond=(AND (NOT p1) p0 (NOT p2)), acceptance={} source=4 dest: 6}], [{ cond=true, acceptance={} source=5 dest: 5}], [{ cond=(AND (NOT p1) (NOT p0)), acceptance={} source=6 dest: 5}, { cond=(AND (NOT p1) p0), acceptance={} source=6 dest: 6}]], initial=0, aps=[p1:(LEQ s4169 s4778), p0:(LEQ 1 s2992), p3:(LEQ 1 s1272), p2:(LEQ s3788 s3406)], nbAcceptance=0, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, very-weak, weak, inherently-weak], stateDesc=[null, null, null, null, null, null, null][false, false, false, false, false, false, false]]
Stuttering criterion allowed to conclude after 22 steps with 0 reset in 0 ms.
FORMULA DoubleExponent-PT-100-12 FALSE TECHNIQUES STUTTER_TEST
Treatment of property DoubleExponent-PT-100-12 finished in 7739 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(G((p0||G(p1))))], workingDir=/home/mcc/execution]
Support contains 3 out of 5300 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 5300/5300 places, 4998/4998 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 1196 transitions
Trivial Post-agglo rules discarded 1196 transitions
Performed 1196 trivial Post agglomeration. Transition count delta: 1196
Iterating post reduction 0 with 1196 rules applied. Total rules applied 1196 place count 5299 transition count 3801
Reduce places removed 1196 places and 0 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 1 with 1198 rules applied. Total rules applied 2394 place count 4103 transition count 3799
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 2396 place count 4101 transition count 3799
Performed 200 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 200 Pre rules applied. Total rules applied 2396 place count 4101 transition count 3599
Deduced a syphon composed of 200 places in 186 ms
Reduce places removed 200 places and 0 transitions.
Iterating global reduction 3 with 400 rules applied. Total rules applied 2796 place count 3901 transition count 3599
Performed 901 Post agglomeration using F-continuation condition.Transition count delta: 901
Deduced a syphon composed of 901 places in 69 ms
Reduce places removed 901 places and 0 transitions.
Iterating global reduction 3 with 1802 rules applied. Total rules applied 4598 place count 3000 transition count 2698
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 101 places in 54 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 3 with 202 rules applied. Total rules applied 4800 place count 2899 transition count 2698
Performed 97 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 97 places in 49 ms
Reduce places removed 97 places and 0 transitions.
Iterating global reduction 3 with 194 rules applied. Total rules applied 4994 place count 2802 transition count 2698
Partial Post-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 3 with 2 rules applied. Total rules applied 4996 place count 2802 transition count 2698
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 3 with 1 rules applied. Total rules applied 4997 place count 2801 transition count 2697
Applied a total of 4997 rules in 1451 ms. Remains 2801 /5300 variables (removed 2499) and now considering 2697/4998 (removed 2301) transitions.
// Phase 1: matrix 2697 rows 2801 cols
[2021-05-09 21:56:36] [INFO ] Invariants computation overflowed in 44 ms
[2021-05-09 21:56:38] [INFO ] Implicit Places using invariants in 1637 ms returned []
// Phase 1: matrix 2697 rows 2801 cols
[2021-05-09 21:56:38] [INFO ] Invariants computation overflowed in 41 ms
[2021-05-09 21:56:40] [INFO ] Implicit Places using invariants and state equation in 2292 ms returned []
Implicit Place search using SMT with State Equation took 3931 ms to find 0 implicit places.
[2021-05-09 21:56:40] [INFO ] Redundant transitions in 60 ms returned []
// Phase 1: matrix 2697 rows 2801 cols
[2021-05-09 21:56:40] [INFO ] Invariants computation overflowed in 42 ms
[2021-05-09 21:56:42] [INFO ] Dead Transitions using invariants and state equation in 1545 ms returned []
Finished structural reductions, in 1 iterations. Remains : 2801/5300 places, 2697/4998 transitions.
Stuttering acceptance computed with spot in 60 ms :[(NOT p1), (AND (NOT p1) (NOT p0)), true]
Running random walk in product with property : DoubleExponent-PT-100-13 automaton TGBA [mat=[[{ cond=p1, acceptance={} source=0 dest: 0}, { cond=(NOT p1), acceptance={} source=0 dest: 2}], [{ cond=(AND (NOT p0) p1), acceptance={} source=1 dest: 0}, { cond=p0, acceptance={} source=1 dest: 1}, { cond=(AND (NOT p0) (NOT p1)), acceptance={} source=1 dest: 2}], [{ cond=true, acceptance={0} source=2 dest: 2}]], initial=1, aps=[p1:(LEQ s1991 s392), p0:(GT 1 s2688)], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, complete, deterministic, no-univ-branch, unambiguous, semi-deterministic, stutter-invariant, terminal, very-weak, weak, inherently-weak], stateDesc=[null, null, null][true, true, true]]
Product exploration explored 100000 steps with 13838 reset in 243 ms.
Product exploration explored 100000 steps with 13830 reset in 264 ms.
Graph (complete) has 8873 edges and 2801 vertex of which 2799 are kept as prefixes of interest. Removing 2 places using SCC suffix rule.3 ms
Knowledge obtained : [p1, p0]
Stuttering acceptance computed with spot in 51 ms :[(NOT p1), (AND (NOT p1) (NOT p0)), true]
Product exploration explored 100000 steps with 13823 reset in 206 ms.
Product exploration explored 100000 steps with 13902 reset in 221 ms.
[2021-05-09 21:56:43] [INFO ] Flatten gal took : 89 ms
[2021-05-09 21:56:43] [INFO ] Flatten gal took : 92 ms
[2021-05-09 21:56:43] [INFO ] Time to serialize gal into /tmp/LTL13832750063483763135.gal : 9 ms
[2021-05-09 21:56:43] [INFO ] Time to serialize properties into /tmp/LTL931571646761944870.ltl : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL13832750063483763135.gal, -t, CGAL, -LTL, /tmp/LTL931571646761944870.ltl, -c, -stutter-deadlock, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL13832750063483763135.gal -t CGAL -LTL /tmp/LTL931571646761944870.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 1 LTL properties
Checking formula 0 : !((G(("(p803<1)")||(G("(p4390<=p1654)")))))
Formula 0 simplified : !G("(p803<1)" | G"(p4390<=p1654)")
Detected timeout of ITS tools.
[2021-05-09 21:56:59] [INFO ] Flatten gal took : 137 ms
[2021-05-09 21:56:59] [INFO ] Applying decomposition
[2021-05-09 21:56:59] [INFO ] Flatten gal took : 105 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph11736600658855457811.txt, -o, /tmp/graph11736600658855457811.bin, -w, /tmp/graph11736600658855457811.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph11736600658855457811.bin, -l, -1, -v, -w, /tmp/graph11736600658855457811.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-09 21:56:59] [INFO ] Decomposing Gal with order
[2021-05-09 21:56:59] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-09 21:56:59] [INFO ] Removed a total of 2214 redundant transitions.
[2021-05-09 21:57:00] [INFO ] Flatten gal took : 182 ms
[2021-05-09 21:57:00] [INFO ] Fuse similar labels procedure discarded/fused a total of 90 labels/synchronizations in 59 ms.
[2021-05-09 21:57:00] [INFO ] Time to serialize gal into /tmp/LTL15725482044774010360.gal : 22 ms
[2021-05-09 21:57:00] [INFO ] Time to serialize properties into /tmp/LTL1937817236524546592.ltl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL15725482044774010360.gal, -t, CGAL, -LTL, /tmp/LTL1937817236524546592.ltl, -c, -stutter-deadlock, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL15725482044774010360.gal -t CGAL -LTL /tmp/LTL1937817236524546592.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 1 LTL properties
Checking formula 0 : !((G(("(gi3.gi1.gi1.gi3.gu1053.p803<1)")||(G("(gu785.p4390<=gu785.p1654)")))))
Formula 0 simplified : !G("(gi3.gi1.gi1.gi3.gu1053.p803<1)" | G"(gu785.p4390<=gu785.p1654)")
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin10965229546332013423
[2021-05-09 21:57:15] [INFO ] Built C files in 35ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin10965229546332013423
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin10965229546332013423]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin10965229546332013423] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin10965229546332013423] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Treatment of property DoubleExponent-PT-100-13 finished in 41330 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(X((p0||F(G((p1&&(p2||X((p0&&(p0 U (p3||G(p0))))))))))))], workingDir=/home/mcc/execution]
Support contains 4 out of 5300 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 5300/5300 places, 4998/4998 transitions.
Applied a total of 0 rules in 824 ms. Remains 5300 /5300 variables (removed 0) and now considering 4998/4998 (removed 0) transitions.
// Phase 1: matrix 4998 rows 5300 cols
[2021-05-09 21:57:17] [INFO ] Invariants computation overflowed in 121 ms
[2021-05-09 21:57:19] [INFO ] Implicit Places using invariants in 2091 ms returned []
// Phase 1: matrix 4998 rows 5300 cols
[2021-05-09 21:57:19] [INFO ] Invariants computation overflowed in 97 ms
[2021-05-09 21:57:20] [INFO ] Implicit Places using invariants and state equation in 1027 ms returned []
Implicit Place search using SMT with State Equation took 3120 ms to find 0 implicit places.
// Phase 1: matrix 4998 rows 5300 cols
[2021-05-09 21:57:20] [INFO ] Invariants computation overflowed in 97 ms
[2021-05-09 21:57:23] [INFO ] Dead Transitions using invariants and state equation in 2821 ms returned []
Finished structural reductions, in 1 iterations. Remains : 5300/5300 places, 4998/4998 transitions.
Stuttering acceptance computed with spot in 211 ms :[(OR (AND (NOT p0) (NOT p2)) (AND (NOT p0) (NOT p1))), (OR (NOT p1) (AND (NOT p0) (NOT p2))), (OR (NOT p1) (AND (NOT p0) (NOT p2))), (OR (NOT p1) (AND (NOT p0) (NOT p2))), (OR (AND (NOT p0) (NOT p2)) (AND (NOT p0) (NOT p1)))]
Running random walk in product with property : DoubleExponent-PT-100-14 automaton TGBA [mat=[[{ cond=(OR (AND (NOT p0) p2) (AND (NOT p0) (NOT p1))), acceptance={} source=0 dest: 1}, { cond=(AND (NOT p0) (NOT p2) p1), acceptance={} source=0 dest: 2}], [{ cond=(AND p2 p1), acceptance={} source=1 dest: 1}, { cond=(NOT p1), acceptance={0} source=1 dest: 1}, { cond=(AND (NOT p2) p1), acceptance={} source=1 dest: 2}], [{ cond=(AND p0 p2 p1 p3), acceptance={} source=2 dest: 1}, { cond=(OR (AND (NOT p0) p2) (NOT p1)), acceptance={0} source=2 dest: 1}, { cond=(AND (NOT p0) (NOT p2) p1), acceptance={0} source=2 dest: 2}, { cond=(AND p0 (NOT p2) p1), acceptance={} source=2 dest: 2}, { cond=(AND p0 p2 p1 (NOT p3)), acceptance={} source=2 dest: 3}], [{ cond=(OR (AND (NOT p0) p2 (NOT p3)) (NOT p1)), acceptance={0} source=3 dest: 1}, { cond=(AND p2 p1 p3), acceptance={} source=3 dest: 1}, { cond=(AND (NOT p0) (NOT p2) p1 (NOT p3)), acceptance={0} source=3 dest: 2}, { cond=(OR (AND p0 (NOT p2) p1) (AND (NOT p2) p1 p3)), acceptance={} source=3 dest: 2}, { cond=(AND p0 p2 p1 (NOT p3)), acceptance={} source=3 dest: 3}], [{ cond=true, acceptance={} source=4 dest: 0}]], initial=4, aps=[p0:(GT s4577 s1370), p2:(GT 3 s4573), p1:(OR (GT s4577 s1370) (GT 3 s4573)), p3:(GT 1 s529)], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, deterministic, no-univ-branch, unambiguous, semi-deterministic], stateDesc=[null, null, null, null, null][false, false, false, false, false]]
Product exploration explored 100000 steps with 3325 reset in 295 ms.
Product exploration explored 100000 steps with 3306 reset in 344 ms.
Graph (complete) has 9091 edges and 5300 vertex of which 5298 are kept as prefixes of interest. Removing 2 places using SCC suffix rule.5 ms
Knowledge obtained : [(NOT p0), p2, p1, p3]
Stuttering acceptance computed with spot in 154 ms :[(OR (AND (NOT p0) (NOT p2)) (AND (NOT p0) (NOT p1))), (OR (NOT p1) (AND (NOT p0) (NOT p2))), (OR (NOT p1) (AND (NOT p0) (NOT p2))), (OR (NOT p1) (AND (NOT p0) (NOT p2))), (OR (AND (NOT p0) (NOT p2)) (AND (NOT p0) (NOT p1)))]
Product exploration explored 100000 steps with 3313 reset in 285 ms.
Product exploration explored 100000 steps with 3357 reset in 313 ms.
[2021-05-09 21:57:26] [INFO ] Flatten gal took : 138 ms
[2021-05-09 21:57:26] [INFO ] Flatten gal took : 147 ms
[2021-05-09 21:57:26] [INFO ] Time to serialize gal into /tmp/LTL10794119678068988679.gal : 11 ms
[2021-05-09 21:57:26] [INFO ] Time to serialize properties into /tmp/LTL1928292844831838208.ltl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL10794119678068988679.gal, -t, CGAL, -LTL, /tmp/LTL1928292844831838208.ltl, -c, -stutter-deadlock, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL10794119678068988679.gal -t CGAL -LTL /tmp/LTL1928292844831838208.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 1 LTL properties
Checking formula 0 : !((X(("(p5118>p2231)")||(F(G(("((p5118>p2231)||(p5114<3))")&&(("(p5114<3)")||(X(("(p5118>p2231)")&&(("(p5118>p2231)")U(("(p1475<1)")||(G("(p5118>p2231)")))))))))))))
Formula 0 simplified : !X("(p5118>p2231)" | FG("((p5118>p2231)||(p5114<3))" & ("(p5114<3)" | X("(p5118>p2231)" & ("(p5118>p2231)" U ("(p1475<1)" | G"(p5118>p2231)"))))))
Detected timeout of ITS tools.
[2021-05-09 21:57:42] [INFO ] Flatten gal took : 149 ms
[2021-05-09 21:57:42] [INFO ] Applying decomposition
[2021-05-09 21:57:42] [INFO ] Flatten gal took : 135 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph7981455847324271619.txt, -o, /tmp/graph7981455847324271619.bin, -w, /tmp/graph7981455847324271619.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph7981455847324271619.bin, -l, -1, -v, -w, /tmp/graph7981455847324271619.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-09 21:57:42] [INFO ] Decomposing Gal with order
[2021-05-09 21:57:42] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-09 21:57:43] [INFO ] Removed a total of 1417 redundant transitions.
[2021-05-09 21:57:43] [INFO ] Flatten gal took : 254 ms
[2021-05-09 21:57:44] [INFO ] Fuse similar labels procedure discarded/fused a total of 80 labels/synchronizations in 142 ms.
[2021-05-09 21:57:45] [INFO ] Time to serialize gal into /tmp/LTL11878174002398878298.gal : 108 ms
[2021-05-09 21:57:45] [INFO ] Time to serialize properties into /tmp/LTL17993077277150799170.ltl : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL11878174002398878298.gal, -t, CGAL, -LTL, /tmp/LTL17993077277150799170.ltl, -c, -stutter-deadlock, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL11878174002398878298.gal -t CGAL -LTL /tmp/LTL17993077277150799170.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 1 LTL properties
Checking formula 0 : !((X(("(gu1960.p5118>gu1960.p2231)")||(F(G(("((gu1960.p5118>gu1960.p2231)||(gi1.gi1.gi2.gi0.gu1959.p5114<3))")&&(("(gi1.gi1.gi2.gi0.gu1959.p5114<3)")||(X(("(gu1960.p5118>gu1960.p2231)")&&(("(gu1960.p5118>gu1960.p2231)")U(("(gi0.gi1.gi1.gi0.gi0.gu228.p1475<1)")||(G("(gu1960.p5118>gu1960.p2231)")))))))))))))
Formula 0 simplified : !X("(gu1960.p5118>gu1960.p2231)" | FG("((gu1960.p5118>gu1960.p2231)||(gi1.gi1.gi2.gi0.gu1959.p5114<3))" & ("(gi1.gi1.gi2.gi0.gu1959.p5114<3)" | X("(gu1960.p5118>gu1960.p2231)" & ("(gu1960.p5118>gu1960.p2231)" U ("(gi0.gi1.gi1.gi0.gi0.gu228.p1475<1)" | G"(gu1960.p5118>gu1960.p2231)"))))))
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin5203509864846946555
[2021-05-09 21:58:00] [INFO ] Built C files in 44ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin5203509864846946555
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin5203509864846946555]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin5203509864846946555] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin5203509864846946555] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Treatment of property DoubleExponent-PT-100-14 finished in 44739 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(G(F(p0)))], workingDir=/home/mcc/execution]
Support contains 1 out of 5300 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 5300/5300 places, 4998/4998 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 1197 transitions
Trivial Post-agglo rules discarded 1197 transitions
Performed 1197 trivial Post agglomeration. Transition count delta: 1197
Iterating post reduction 0 with 1197 rules applied. Total rules applied 1197 place count 5299 transition count 3800
Reduce places removed 1197 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 1198 rules applied. Total rules applied 2395 place count 4102 transition count 3799
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 2396 place count 4101 transition count 3799
Performed 200 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 200 Pre rules applied. Total rules applied 2396 place count 4101 transition count 3599
Deduced a syphon composed of 200 places in 201 ms
Reduce places removed 200 places and 0 transitions.
Iterating global reduction 3 with 400 rules applied. Total rules applied 2796 place count 3901 transition count 3599
Performed 903 Post agglomeration using F-continuation condition.Transition count delta: 903
Deduced a syphon composed of 903 places in 63 ms
Reduce places removed 903 places and 0 transitions.
Iterating global reduction 3 with 1806 rules applied. Total rules applied 4602 place count 2998 transition count 2696
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 101 places in 57 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 3 with 202 rules applied. Total rules applied 4804 place count 2897 transition count 2696
Performed 97 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 97 places in 52 ms
Reduce places removed 97 places and 0 transitions.
Iterating global reduction 3 with 194 rules applied. Total rules applied 4998 place count 2800 transition count 2696
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 3 with 1 rules applied. Total rules applied 4999 place count 2799 transition count 2695
Applied a total of 4999 rules in 1308 ms. Remains 2799 /5300 variables (removed 2501) and now considering 2695/4998 (removed 2303) transitions.
// Phase 1: matrix 2695 rows 2799 cols
[2021-05-09 21:58:02] [INFO ] Invariants computation overflowed in 44 ms
[2021-05-09 21:58:04] [INFO ] Implicit Places using invariants in 1567 ms returned []
// Phase 1: matrix 2695 rows 2799 cols
[2021-05-09 21:58:04] [INFO ] Invariants computation overflowed in 44 ms
[2021-05-09 21:58:06] [INFO ] Implicit Places using invariants and state equation in 2303 ms returned []
Implicit Place search using SMT with State Equation took 3871 ms to find 0 implicit places.
[2021-05-09 21:58:06] [INFO ] Redundant transitions in 58 ms returned []
// Phase 1: matrix 2695 rows 2799 cols
[2021-05-09 21:58:06] [INFO ] Invariants computation overflowed in 53 ms
[2021-05-09 21:58:08] [INFO ] Dead Transitions using invariants and state equation in 1602 ms returned []
Finished structural reductions, in 1 iterations. Remains : 2799/5300 places, 2695/4998 transitions.
Stuttering acceptance computed with spot in 55 ms :[(NOT p0), (NOT p0)]
Running random walk in product with property : DoubleExponent-PT-100-15 automaton TGBA [mat=[[{ cond=true, acceptance={} source=0 dest: 0}, { cond=(NOT p0), acceptance={} source=0 dest: 1}], [{ cond=(NOT p0), acceptance={0} source=1 dest: 1}]], initial=0, aps=[p0:(LEQ 1 s1717)], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, stutter-invariant, very-weak, weak, inherently-weak], stateDesc=[null, null][true, true]]
Stuttering criterion allowed to conclude after 5 steps with 0 reset in 0 ms.
FORMULA DoubleExponent-PT-100-15 FALSE TECHNIQUES STUTTER_TEST
Treatment of property DoubleExponent-PT-100-15 finished in 6966 ms.
Using solver Z3 to compute partial order matrices.
Built C files in :
/tmp/ltsmin208174365062419195
[2021-05-09 21:58:08] [INFO ] Too many transitions (4998) to apply POR reductions. Disabling POR matrices.
[2021-05-09 21:58:08] [INFO ] Applying decomposition
[2021-05-09 21:58:08] [INFO ] Built C files in 80ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin208174365062419195
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin208174365062419195]
[2021-05-09 21:58:08] [INFO ] Flatten gal took : 162 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph7583494194265228311.txt, -o, /tmp/graph7583494194265228311.bin, -w, /tmp/graph7583494194265228311.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph7583494194265228311.bin, -l, -1, -v, -w, /tmp/graph7583494194265228311.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-09 21:58:08] [INFO ] Decomposing Gal with order
[2021-05-09 21:58:09] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-09 21:58:10] [INFO ] Removed a total of 1409 redundant transitions.
[2021-05-09 21:58:10] [INFO ] Flatten gal took : 277 ms
[2021-05-09 21:58:10] [INFO ] Fuse similar labels procedure discarded/fused a total of 72 labels/synchronizations in 176 ms.
[2021-05-09 21:58:12] [INFO ] Time to serialize gal into /tmp/LTLCardinality5242242465036052822.gal : 40 ms
[2021-05-09 21:58:12] [INFO ] Time to serialize properties into /tmp/LTLCardinality16005304452834857387.ltl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTLCardinality5242242465036052822.gal, -t, CGAL, -LTL, /tmp/LTLCardinality16005304452834857387.ltl, -c, -stutter-deadlock, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTLCardinality5242242465036052822.gal -t CGAL -LTL /tmp/LTLCardinality16005304452834857387.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 6 LTL properties
Checking formula 0 : !((X(X(X(("(gi2.gu622.p2299<=gi2.gu622.p5046)")||(G(F("(gi3.gu321.p3529<=gi3.gu321.p1663)"))))))))
Formula 0 simplified : !XXX("(gi2.gu622.p2299<=gi2.gu622.p5046)" | GF"(gi3.gu321.p3529<=gi3.gu321.p1663)")
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin208174365062419195] killed by timeout after 27 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin208174365062419195] killed by timeout after 27 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Detected timeout of ITS tools.
[2021-05-09 22:21:20] [INFO ] Flatten gal took : 720 ms
[2021-05-09 22:21:20] [INFO ] Time to serialize gal into /tmp/LTLCardinality13226745267799095135.gal : 35 ms
[2021-05-09 22:21:20] [INFO ] Time to serialize properties into /tmp/LTLCardinality14870910532310824105.ltl : 7 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTLCardinality13226745267799095135.gal, -t, CGAL, -LTL, /tmp/LTLCardinality14870910532310824105.ltl, -c, -stutter-deadlock, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTLCardinality13226745267799095135.gal -t CGAL -LTL /tmp/LTLCardinality14870910532310824105.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 6 LTL properties
Checking formula 0 : !((X(X(X(("(p2299<=p5046)")||(G(F("(p3529<=p1663)"))))))))
Formula 0 simplified : !XXX("(p2299<=p5046)" | GF"(p3529<=p1663)")
Detected timeout of ITS tools.
[2021-05-09 22:44:19] [INFO ] Flatten gal took : 538 ms
[2021-05-09 22:44:23] [INFO ] Input system was already deterministic with 4998 transitions.
[2021-05-09 22:44:23] [INFO ] Transformed 5300 places.
[2021-05-09 22:44:24] [INFO ] Transformed 4998 transitions.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/pinvar, /home/mcc/execution/gspn], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/RGMEDD2, /home/mcc/execution/gspn, -META, -varord-only], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
[2021-05-09 22:44:26] [INFO ] Time to serialize gal into /tmp/LTLCardinality13575486932425688765.gal : 10 ms
[2021-05-09 22:44:26] [INFO ] Time to serialize properties into /tmp/LTLCardinality8803457298071004589.ltl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTLCardinality13575486932425688765.gal, -t, CGAL, -LTL, /tmp/LTLCardinality8803457298071004589.ltl, -c, -stutter-deadlock, --load-order, /home/mcc/execution/model.ord, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTLCardinality13575486932425688765.gal -t CGAL -LTL /tmp/LTLCardinality8803457298071004589.ltl -c -stutter-deadlock --load-order /home/mcc/execution/model.ord --gen-order FOLLOW
Read 6 LTL properties
Successfully loaded order from file /home/mcc/execution/model.ord
Checking formula 0 : !((X(X(X(("(p2299<=p5046)")||(G(F("(p3529<=p1663)"))))))))
Formula 0 simplified : !XXX("(p2299<=p5046)" | GF"(p3529<=p1663)")
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution LTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ cut -d . -f 9
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202104292328.jar
+ VERSION=0
+ echo 'Running Version 0'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination LTLCardinality -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DoubleExponent-PT-100"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is DoubleExponent-PT-100, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r083-tall-162048875400444"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DoubleExponent-PT-100.tgz
mv DoubleExponent-PT-100 execution
cd execution
if [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "UpperBounds" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] || [ "LTLCardinality" = "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 [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "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 "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.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 [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLCardinality"
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 ;