About the Execution of ITS-Tools for StigmergyCommit-PT-09b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16217.115 | 2982369.00 | 3791816.00 | 173733.00 | ?F??T???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/mcc2022-input.r294-smll-165463872600212.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2022-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is StigmergyCommit-PT-09b, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r294-smll-165463872600212
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 126M
-rw-r--r-- 1 mcc users 8.7K May 30 15:02 CTLCardinality.txt
-rw-r--r-- 1 mcc users 98K May 30 15:02 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K May 30 14:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K May 30 14:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 25 13:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 25 13:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 25 13:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 25 13:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 29 12:20 NewModel
-rw-r--r-- 1 mcc users 11K May 30 15:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 107K May 30 15:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.9K May 30 15:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 64K May 30 15:07 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 25 13:02 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 25 13:02 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 29 12:20 equiv_col
-rw-r--r-- 1 mcc users 4 May 29 12:20 instance
-rw-r--r-- 1 mcc users 6 May 29 12:20 iscolored
-rw-r--r-- 1 mcc users 126M May 29 12:20 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 StigmergyCommit-PT-09b-LTLFireability-00
FORMULA_NAME StigmergyCommit-PT-09b-LTLFireability-01
FORMULA_NAME StigmergyCommit-PT-09b-LTLFireability-02
FORMULA_NAME StigmergyCommit-PT-09b-LTLFireability-03
FORMULA_NAME StigmergyCommit-PT-09b-LTLFireability-04
FORMULA_NAME StigmergyCommit-PT-09b-LTLFireability-05
FORMULA_NAME StigmergyCommit-PT-09b-LTLFireability-06
FORMULA_NAME StigmergyCommit-PT-09b-LTLFireability-07
FORMULA_NAME StigmergyCommit-PT-09b-LTLFireability-08
FORMULA_NAME StigmergyCommit-PT-09b-LTLFireability-09
FORMULA_NAME StigmergyCommit-PT-09b-LTLFireability-10
FORMULA_NAME StigmergyCommit-PT-09b-LTLFireability-11
FORMULA_NAME StigmergyCommit-PT-09b-LTLFireability-12
FORMULA_NAME StigmergyCommit-PT-09b-LTLFireability-13
FORMULA_NAME StigmergyCommit-PT-09b-LTLFireability-14
FORMULA_NAME StigmergyCommit-PT-09b-LTLFireability-15
=== Now, execution of the tool begins
BK_START 1654812702140
Running Version 202205111006
[2022-06-09 22:11:44] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2022-06-09 22:11:44] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-06-09 22:11:51] [INFO ] Load time of PNML (sax parser for PT used): 7266 ms
[2022-06-09 22:11:52] [INFO ] Transformed 3049 places.
[2022-06-09 22:11:52] [INFO ] Transformed 122340 transitions.
[2022-06-09 22:11:52] [INFO ] Found NUPN structural information;
[2022-06-09 22:11:52] [INFO ] Parsed PT model containing 3049 places and 122340 transitions in 8132 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 50 ms.
Working with output stream class java.io.PrintStream
Initial state reduction rules removed 2 formulas.
FORMULA StigmergyCommit-PT-09b-LTLFireability-01 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA StigmergyCommit-PT-09b-LTLFireability-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Support contains 70 out of 3049 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 3049/3049 places, 122340/122340 transitions.
Discarding 243 places :
Symmetric choice reduction at 0 with 243 rule applications. Total rules 243 place count 2806 transition count 122097
Iterating global reduction 0 with 243 rules applied. Total rules applied 486 place count 2806 transition count 122097
Discarding 152 places :
Symmetric choice reduction at 0 with 152 rule applications. Total rules 638 place count 2654 transition count 121945
Iterating global reduction 0 with 152 rules applied. Total rules applied 790 place count 2654 transition count 121945
Discarding 90 places :
Symmetric choice reduction at 0 with 90 rule applications. Total rules 880 place count 2564 transition count 121855
Iterating global reduction 0 with 90 rules applied. Total rules applied 970 place count 2564 transition count 121855
Discarding 80 places :
Symmetric choice reduction at 0 with 80 rule applications. Total rules 1050 place count 2484 transition count 121775
Iterating global reduction 0 with 80 rules applied. Total rules applied 1130 place count 2484 transition count 121775
Discarding 70 places :
Symmetric choice reduction at 0 with 70 rule applications. Total rules 1200 place count 2414 transition count 121705
Iterating global reduction 0 with 70 rules applied. Total rules applied 1270 place count 2414 transition count 121705
Discarding 70 places :
Symmetric choice reduction at 0 with 70 rule applications. Total rules 1340 place count 2344 transition count 121635
Iterating global reduction 0 with 70 rules applied. Total rules applied 1410 place count 2344 transition count 121635
Discarding 70 places :
Symmetric choice reduction at 0 with 70 rule applications. Total rules 1480 place count 2274 transition count 121565
Iterating global reduction 0 with 70 rules applied. Total rules applied 1550 place count 2274 transition count 121565
Discarding 70 places :
Symmetric choice reduction at 0 with 70 rule applications. Total rules 1620 place count 2204 transition count 121495
Iterating global reduction 0 with 70 rules applied. Total rules applied 1690 place count 2204 transition count 121495
Discarding 60 places :
Symmetric choice reduction at 0 with 60 rule applications. Total rules 1750 place count 2144 transition count 121435
Iterating global reduction 0 with 60 rules applied. Total rules applied 1810 place count 2144 transition count 121435
Discarding 50 places :
Symmetric choice reduction at 0 with 50 rule applications. Total rules 1860 place count 2094 transition count 121385
Iterating global reduction 0 with 50 rules applied. Total rules applied 1910 place count 2094 transition count 121385
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 0 with 10 rules applied. Total rules applied 1920 place count 2094 transition count 121375
Discarding 20 places :
Symmetric choice reduction at 1 with 20 rule applications. Total rules 1940 place count 2074 transition count 121355
Iterating global reduction 1 with 20 rules applied. Total rules applied 1960 place count 2074 transition count 121355
Discarding 20 places :
Symmetric choice reduction at 1 with 20 rule applications. Total rules 1980 place count 2054 transition count 121335
Iterating global reduction 1 with 20 rules applied. Total rules applied 2000 place count 2054 transition count 121335
Discarding 10 places :
Symmetric choice reduction at 1 with 10 rule applications. Total rules 2010 place count 2044 transition count 121325
Iterating global reduction 1 with 10 rules applied. Total rules applied 2020 place count 2044 transition count 121325
Discarding 10 places :
Symmetric choice reduction at 1 with 10 rule applications. Total rules 2030 place count 2034 transition count 121315
Iterating global reduction 1 with 10 rules applied. Total rules applied 2040 place count 2034 transition count 121315
Discarding 10 places :
Symmetric choice reduction at 1 with 10 rule applications. Total rules 2050 place count 2024 transition count 121305
Iterating global reduction 1 with 10 rules applied. Total rules applied 2060 place count 2024 transition count 121305
Discarding 10 places :
Symmetric choice reduction at 1 with 10 rule applications. Total rules 2070 place count 2014 transition count 121295
Iterating global reduction 1 with 10 rules applied. Total rules applied 2080 place count 2014 transition count 121295
Discarding 10 places :
Symmetric choice reduction at 1 with 10 rule applications. Total rules 2090 place count 2004 transition count 121285
Iterating global reduction 1 with 10 rules applied. Total rules applied 2100 place count 2004 transition count 121285
Discarding 10 places :
Symmetric choice reduction at 1 with 10 rule applications. Total rules 2110 place count 1994 transition count 121275
Iterating global reduction 1 with 10 rules applied. Total rules applied 2120 place count 1994 transition count 121275
Discarding 10 places :
Symmetric choice reduction at 1 with 10 rule applications. Total rules 2130 place count 1984 transition count 121265
Iterating global reduction 1 with 10 rules applied. Total rules applied 2140 place count 1984 transition count 121265
Discarding 10 places :
Symmetric choice reduction at 1 with 10 rule applications. Total rules 2150 place count 1974 transition count 121255
Iterating global reduction 1 with 10 rules applied. Total rules applied 2160 place count 1974 transition count 121255
Discarding 10 places :
Symmetric choice reduction at 1 with 10 rule applications. Total rules 2170 place count 1964 transition count 121245
Iterating global reduction 1 with 10 rules applied. Total rules applied 2180 place count 1964 transition count 121245
Discarding 10 places :
Symmetric choice reduction at 1 with 10 rule applications. Total rules 2190 place count 1954 transition count 121235
Iterating global reduction 1 with 10 rules applied. Total rules applied 2200 place count 1954 transition count 121235
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 1 with 10 rules applied. Total rules applied 2210 place count 1954 transition count 121225
Applied a total of 2210 rules in 46110 ms. Remains 1954 /3049 variables (removed 1095) and now considering 121225/122340 (removed 1115) transitions.
// Phase 1: matrix 121225 rows 1954 cols
[2022-06-09 22:12:46] [INFO ] Computed 11 place invariants in 5508 ms
[2022-06-09 22:12:47] [INFO ] Implicit Places using invariants in 7551 ms returned []
Implicit Place search using SMT only with invariants took 7609 ms to find 0 implicit places.
// Phase 1: matrix 121225 rows 1954 cols
[2022-06-09 22:12:53] [INFO ] Computed 11 place invariants in 5640 ms
[2022-06-09 22:13:24] [INFO ] Performed 29444/121225 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2022-06-09 22:13:53] [INFO ] Dead Transitions using invariants and state equation in 65814 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 1954/3049 places, 121225/122340 transitions.
Finished structural reductions, in 1 iterations. Remains : 1954/3049 places, 121225/122340 transitions.
Support contains 70 out of 1954 places after structural reductions.
[2022-06-09 22:14:15] [INFO ] Flatten gal took : 18316 ms
[2022-06-09 22:14:32] [INFO ] Flatten gal took : 16626 ms
[2022-06-09 22:15:00] [INFO ] Input system was already deterministic with 121225 transitions.
Incomplete random walk after 10000 steps, including 57 resets, run finished after 1647 ms. (steps per millisecond=6 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=52 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 20 ms. (steps per millisecond=50 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=52 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=58 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=52 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=52 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=52 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=52 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 20 ms. (steps per millisecond=50 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 20 ms. (steps per millisecond=50 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 20 ms. (steps per millisecond=50 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 20 ms. (steps per millisecond=50 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 20 ms. (steps per millisecond=50 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=52 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 30) seen :0
Interrupted probabilistic random walk after 13048 steps, run timeout after 6002 ms. (steps per millisecond=2 ) properties seen :{}
Probabilistic random walk after 13048 steps, saw 9063 distinct states, run finished after 6003 ms. (steps per millisecond=2 ) properties seen :0
Running SMT prover for 30 properties.
// Phase 1: matrix 121225 rows 1954 cols
[2022-06-09 22:15:16] [INFO ] Computed 11 place invariants in 5923 ms
[2022-06-09 22:15:18] [INFO ] [Real]Absence check using 11 positive place invariants in 20 ms returned sat
[2022-06-09 22:15:41] [INFO ] After 22977ms SMT Verify possible using state equation in real domain returned unsat :0 sat :0 real:29
[2022-06-09 22:15:42] [INFO ] After 23213ms SMT Verify possible using trap constraints in real domain returned unsat :0 sat :0 real:29
[2022-06-09 22:15:42] [INFO ] After 25269ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:29
[2022-06-09 22:15:44] [INFO ] [Nat]Absence check using 11 positive place invariants in 30 ms returned sat
[2022-06-09 22:16:07] [INFO ] After 21454ms SMT Verify possible using state equation in natural domain returned unsat :1 sat :28
[2022-06-09 22:16:07] [INFO ] After 21460ms SMT Verify possible using trap constraints in natural domain returned unsat :1 sat :28
Attempting to minimize the solution found.
Minimization took 398 ms.
[2022-06-09 22:16:07] [INFO ] After 25429ms SMT Verify possible using all constraints in natural domain returned unsat :1 sat :28
Fused 30 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 70 out of 1954 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 1954/1954 places, 121225/121225 transitions.
Graph (trivial) has 1827 edges and 1954 vertex of which 170 / 1954 are part of one of the 30 SCC in 52 ms
Free SCC test removed 140 places
Drop transitions removed 190 transitions
Reduce isomorphic transitions removed 190 transitions.
Graph (complete) has 4246 edges and 1814 vertex of which 1804 are kept as prefixes of interest. Removing 10 places using SCC suffix rule.630 ms
Discarding 10 places :
Also discarding 0 output transitions
Drop transitions removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Drop transitions removed 1261 transitions
Trivial Post-agglo rules discarded 1261 transitions
Performed 1261 trivial Post agglomeration. Transition count delta: 1261
Iterating post reduction 0 with 1271 rules applied. Total rules applied 1273 place count 1804 transition count 119764
Reduce places removed 1261 places and 0 transitions.
Ensure Unique test removed 20 transitions
Reduce isomorphic transitions removed 20 transitions.
Drop transitions removed 10 transitions
Trivial Post-agglo rules discarded 10 transitions
Performed 10 trivial Post agglomeration. Transition count delta: 10
Iterating post reduction 1 with 1291 rules applied. Total rules applied 2564 place count 543 transition count 119734
Reduce places removed 10 places and 0 transitions.
Performed 48 Post agglomeration using F-continuation condition.Transition count delta: 48
Iterating post reduction 2 with 58 rules applied. Total rules applied 2622 place count 533 transition count 119686
Reduce places removed 48 places and 0 transitions.
Iterating post reduction 3 with 48 rules applied. Total rules applied 2670 place count 485 transition count 119686
Performed 103 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 103 Pre rules applied. Total rules applied 2670 place count 485 transition count 119583
Deduced a syphon composed of 103 places in 311 ms
Reduce places removed 103 places and 0 transitions.
Iterating global reduction 4 with 206 rules applied. Total rules applied 2876 place count 382 transition count 119583
Performed 35 Post agglomeration using F-continuation condition.
Performed 59 Post agglomeration using F-continuation condition.
Performed 71 Post agglomeration using F-continuation condition.Transition count delta: 71
Deduced a syphon composed of 71 places in 67 ms
Reduce places removed 71 places and 0 transitions.
Iterating global reduction 4 with 142 rules applied. Total rules applied 3018 place count 311 transition count 119512
Ensure Unique test removed 20 transitions
Reduce isomorphic transitions removed 20 transitions.
Iterating post reduction 4 with 20 rules applied. Total rules applied 3038 place count 311 transition count 119492
Discarding 41 places :
Symmetric choice reduction at 5 with 41 rule applications. Total rules 3079 place count 270 transition count 119432
Iterating global reduction 5 with 41 rules applied. Total rules applied 3120 place count 270 transition count 119432
Ensure Unique test removed 11 transitions
Reduce isomorphic transitions removed 11 transitions.
Iterating post reduction 5 with 11 rules applied. Total rules applied 3131 place count 270 transition count 119421
Discarding 30 places :
Symmetric choice reduction at 6 with 30 rule applications. Total rules 3161 place count 240 transition count 119391
Iterating global reduction 6 with 30 rules applied. Total rules applied 3191 place count 240 transition count 119391
Discarding 20 places :
Symmetric choice reduction at 6 with 20 rule applications. Total rules 3211 place count 220 transition count 119371
Iterating global reduction 6 with 20 rules applied. Total rules applied 3231 place count 220 transition count 119371
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 6 with 10 rules applied. Total rules applied 3241 place count 220 transition count 119361
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Deduced a syphon composed of 10 places in 45 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 7 with 20 rules applied. Total rules applied 3261 place count 210 transition count 119351
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -8
Deduced a syphon composed of 3 places in 46 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 7 with 6 rules applied. Total rules applied 3267 place count 207 transition count 119359
Free-agglomeration rule applied 13 times.
Iterating global reduction 7 with 13 rules applied. Total rules applied 3280 place count 207 transition count 119346
Reduce places removed 13 places and 0 transitions.
Iterating post reduction 7 with 13 rules applied. Total rules applied 3293 place count 194 transition count 119346
Discarding 10 places :
Symmetric choice reduction at 8 with 10 rule applications. Total rules 3303 place count 184 transition count 119336
Iterating global reduction 8 with 10 rules applied. Total rules applied 3313 place count 184 transition count 119336
Free-agglomeration rule (complex) applied 6 times.
Iterating global reduction 8 with 6 rules applied. Total rules applied 3319 place count 184 transition count 119330
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 8 with 6 rules applied. Total rules applied 3325 place count 178 transition count 119330
Partial Free-agglomeration rule applied 26 times.
Drop transitions removed 26 transitions
Iterating global reduction 9 with 26 rules applied. Total rules applied 3351 place count 178 transition count 119330
Applied a total of 3351 rules in 111064 ms. Remains 178 /1954 variables (removed 1776) and now considering 119330/121225 (removed 1895) transitions.
Finished structural reductions, in 1 iterations. Remains : 178/1954 places, 119330/121225 transitions.
Successfully simplified 1 atomic propositions for a total of 14 simplifications.
FORMULA StigmergyCommit-PT-09b-LTLFireability-04 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Computed a total of 410 stabilizing places and 430 stable transitions
Running Spot : cd /home/mcc/execution;'/home/mcc/BenchKit/bin//..//ltl2tgba' '--check=stutter' '--hoaf=tv' '-f' '!((F(X(p0))||G(p1)))'
Support contains 20 out of 1954 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 1954/1954 places, 121225/121225 transitions.
Applied a total of 0 rules in 2035 ms. Remains 1954 /1954 variables (removed 0) and now considering 121225/121225 (removed 0) transitions.
// Phase 1: matrix 121225 rows 1954 cols
[2022-06-09 22:18:09] [INFO ] Computed 11 place invariants in 5131 ms
[2022-06-09 22:18:39] [INFO ] Performed 1185/1954 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2022-06-09 22:18:57] [INFO ] Implicit Places using invariants in 53719 ms returned []
Implicit Place search using SMT only with invariants took 53725 ms to find 0 implicit places.
// Phase 1: matrix 121225 rows 1954 cols
[2022-06-09 22:19:02] [INFO ] Computed 11 place invariants in 4818 ms
[2022-06-09 22:19:32] [INFO ] Performed 23805/121225 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2022-06-09 22:20:02] [INFO ] Dead Transitions using invariants and state equation in 65013 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 1954/1954 places, 121225/121225 transitions.
Stuttering acceptance computed with spot in 445 ms :[(NOT p0), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1))]
Running random walk in product with property : StigmergyCommit-PT-09b-LTLFireability-00 automaton TGBA Formula[mat=[[{ cond=(NOT p0), acceptance={0} source=0 dest: 0}], [{ cond=(NOT p1), acceptance={} source=1 dest: 0}, { cond=p1, acceptance={} source=1 dest: 2}], [{ cond=(AND (NOT p1) (NOT p0)), acceptance={} source=2 dest: 0}, { cond=(AND p1 (NOT p0)), acceptance={} source=2 dest: 2}]], initial=1, aps=[p0:(AND (EQ s69 1) (EQ s262 1) (EQ s434 1) (EQ s627 1) (EQ s820 1) (EQ s992 1) (EQ s1206 1) (EQ s1420 1) (EQ s1613 1) (EQ s1764 1)), p1:(OR (EQ s163 0) (E...], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, deterministic, no-univ-branch, unambiguous, semi-deterministic, stutter-sensitive, very-weak, weak, inherently-weak], stateDesc=[null, null, null][false, false, false]]
Product exploration explored 100000 steps with 551 reset in 8482 ms.
Product exploration explored 100000 steps with 545 reset in 7457 ms.
Computed a total of 410 stabilizing places and 430 stable transitions
Computed a total of 410 stabilizing places and 430 stable transitions
Knowledge obtained : [(AND (NOT p0) p1), (X (AND p1 (NOT p0))), (X (NOT (AND (NOT p1) (NOT p0)))), (X (NOT p0)), (X (X (AND p1 (NOT p0)))), (X (X (NOT (AND (NOT p1) (NOT p0))))), (X (X (NOT p0)))]
False Knowledge obtained : []
Knowledge based reduction with 7 factoid took 283 ms. Reduced automaton from 3 states, 5 edges and 2 AP to 3 states, 4 edges and 2 AP.
Stuttering acceptance computed with spot in 112 ms :[(NOT p0), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1))]
Incomplete random walk after 10000 steps, including 55 resets, run finished after 1246 ms. (steps per millisecond=8 ) properties (out of 3) seen :0
Incomplete Best-First random walk after 10000 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=76 ) properties (out of 3) seen :0
Incomplete Best-First random walk after 10001 steps, including 3 resets, run finished after 81 ms. (steps per millisecond=123 ) properties (out of 3) seen :0
Incomplete Best-First random walk after 10001 steps, including 3 resets, run finished after 65 ms. (steps per millisecond=153 ) properties (out of 3) seen :0
Interrupted probabilistic random walk after 6417 steps, run timeout after 3001 ms. (steps per millisecond=2 ) properties seen :{}
Probabilistic random walk after 6417 steps, saw 5409 distinct states, run finished after 3001 ms. (steps per millisecond=2 ) properties seen :0
Running SMT prover for 3 properties.
// Phase 1: matrix 121225 rows 1954 cols
[2022-06-09 22:20:36] [INFO ] Computed 11 place invariants in 5547 ms
[2022-06-09 22:20:36] [INFO ] [Real]Absence check using 11 positive place invariants in 22 ms returned sat
[2022-06-09 22:21:01] [INFO ] After 24550ms SMT Verify possible using state equation in real domain returned unsat :0 sat :0 real:2
[2022-06-09 22:21:01] [INFO ] After 24813ms SMT Verify possible using trap constraints in real domain returned unsat :0 sat :0 real:2
[2022-06-09 22:21:01] [INFO ] After 25287ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:2
[2022-06-09 22:21:01] [INFO ] [Nat]Absence check using 11 positive place invariants in 18 ms returned sat
[2022-06-09 22:21:26] [INFO ] After 24540ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :2
[2022-06-09 22:21:26] [INFO ] After 24541ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :2
Attempting to minimize the solution found.
Minimization took 30 ms.
[2022-06-09 22:21:26] [INFO ] After 25050ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :2
Fused 3 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 20 out of 1954 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 1954/1954 places, 121225/121225 transitions.
Graph (trivial) has 1877 edges and 1954 vertex of which 170 / 1954 are part of one of the 30 SCC in 6 ms
Free SCC test removed 140 places
Drop transitions removed 190 transitions
Reduce isomorphic transitions removed 190 transitions.
Graph (complete) has 4246 edges and 1814 vertex of which 1804 are kept as prefixes of interest. Removing 10 places using SCC suffix rule.560 ms
Discarding 10 places :
Also discarding 0 output transitions
Drop transitions removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Drop transitions removed 1311 transitions
Trivial Post-agglo rules discarded 1311 transitions
Performed 1311 trivial Post agglomeration. Transition count delta: 1311
Iterating post reduction 0 with 1321 rules applied. Total rules applied 1323 place count 1804 transition count 119714
Reduce places removed 1311 places and 0 transitions.
Ensure Unique test removed 20 transitions
Reduce isomorphic transitions removed 20 transitions.
Drop transitions removed 10 transitions
Trivial Post-agglo rules discarded 10 transitions
Performed 10 trivial Post agglomeration. Transition count delta: 10
Iterating post reduction 1 with 1341 rules applied. Total rules applied 2664 place count 493 transition count 119684
Reduce places removed 10 places and 0 transitions.
Performed 48 Post agglomeration using F-continuation condition.Transition count delta: 48
Iterating post reduction 2 with 58 rules applied. Total rules applied 2722 place count 483 transition count 119636
Reduce places removed 48 places and 0 transitions.
Iterating post reduction 3 with 48 rules applied. Total rules applied 2770 place count 435 transition count 119636
Performed 103 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 103 Pre rules applied. Total rules applied 2770 place count 435 transition count 119533
Deduced a syphon composed of 103 places in 298 ms
Reduce places removed 103 places and 0 transitions.
Iterating global reduction 4 with 206 rules applied. Total rules applied 2976 place count 332 transition count 119533
Performed 35 Post agglomeration using F-continuation condition.
Performed 59 Post agglomeration using F-continuation condition.
Performed 71 Post agglomeration using F-continuation condition.Transition count delta: 71
Deduced a syphon composed of 71 places in 62 ms
Reduce places removed 71 places and 0 transitions.
Iterating global reduction 4 with 142 rules applied. Total rules applied 3118 place count 261 transition count 119462
Ensure Unique test removed 20 transitions
Reduce isomorphic transitions removed 20 transitions.
Iterating post reduction 4 with 20 rules applied. Total rules applied 3138 place count 261 transition count 119442
Discarding 53 places :
Symmetric choice reduction at 5 with 53 rule applications. Total rules 3191 place count 208 transition count 28552
Iterating global reduction 5 with 53 rules applied. Total rules applied 3244 place count 208 transition count 28552
Ensure Unique test removed 23 transitions
Reduce isomorphic transitions removed 23 transitions.
Iterating post reduction 5 with 23 rules applied. Total rules applied 3267 place count 208 transition count 28529
Discarding 30 places :
Symmetric choice reduction at 6 with 30 rule applications. Total rules 3297 place count 178 transition count 28499
Iterating global reduction 6 with 30 rules applied. Total rules applied 3327 place count 178 transition count 28499
Discarding 20 places :
Symmetric choice reduction at 6 with 20 rule applications. Total rules 3347 place count 158 transition count 28479
Iterating global reduction 6 with 20 rules applied. Total rules applied 3367 place count 158 transition count 28479
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 6 with 10 rules applied. Total rules applied 3377 place count 158 transition count 28469
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Deduced a syphon composed of 10 places in 12 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 7 with 20 rules applied. Total rules applied 3397 place count 148 transition count 28459
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -8
Deduced a syphon composed of 3 places in 12 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 7 with 6 rules applied. Total rules applied 3403 place count 145 transition count 28467
Free-agglomeration rule applied 10 times.
Iterating global reduction 7 with 10 rules applied. Total rules applied 3413 place count 145 transition count 28457
Reduce places removed 10 places and 0 transitions.
Iterating post reduction 7 with 10 rules applied. Total rules applied 3423 place count 135 transition count 28457
Discarding 10 places :
Symmetric choice reduction at 8 with 10 rule applications. Total rules 3433 place count 125 transition count 28447
Iterating global reduction 8 with 10 rules applied. Total rules applied 3443 place count 125 transition count 28447
Free-agglomeration rule (complex) applied 6 times.
Iterating global reduction 8 with 6 rules applied. Total rules applied 3449 place count 125 transition count 28441
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 8 with 6 rules applied. Total rules applied 3455 place count 119 transition count 28441
Partial Free-agglomeration rule applied 26 times.
Drop transitions removed 26 transitions
Iterating global reduction 9 with 26 rules applied. Total rules applied 3481 place count 119 transition count 28441
Applied a total of 3481 rules in 118119 ms. Remains 119 /1954 variables (removed 1835) and now considering 28441/121225 (removed 92784) transitions.
Finished structural reductions, in 1 iterations. Remains : 119/1954 places, 28441/121225 transitions.
Knowledge obtained : [(AND (NOT p0) p1), (X (AND p1 (NOT p0))), (X (NOT (AND (NOT p1) (NOT p0)))), (X (NOT p0)), (X (X (AND p1 (NOT p0)))), (X (X (NOT (AND (NOT p1) (NOT p0))))), (X (X (NOT p0)))]
False Knowledge obtained : []
Knowledge based reduction with 7 factoid took 322 ms. Reduced automaton from 3 states, 4 edges and 2 AP to 3 states, 4 edges and 2 AP.
Stuttering acceptance computed with spot in 141 ms :[(NOT p0), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1))]
Stuttering acceptance computed with spot in 108 ms :[(NOT p0), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1))]
Support contains 20 out of 1954 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 1954/1954 places, 121225/121225 transitions.
Applied a total of 0 rules in 5010 ms. Remains 1954 /1954 variables (removed 0) and now considering 121225/121225 (removed 0) transitions.
// Phase 1: matrix 121225 rows 1954 cols
[2022-06-09 22:23:37] [INFO ] Computed 11 place invariants in 6600 ms
[2022-06-09 22:24:07] [INFO ] Performed 1669/1954 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2022-06-09 22:24:11] [INFO ] Implicit Places using invariants in 40976 ms returned []
Implicit Place search using SMT only with invariants took 40984 ms to find 0 implicit places.
// Phase 1: matrix 121225 rows 1954 cols
[2022-06-09 22:24:18] [INFO ] Computed 11 place invariants in 6976 ms
[2022-06-09 22:24:48] [INFO ] Performed 26089/121225 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2022-06-09 22:25:18] [INFO ] Dead Transitions using invariants and state equation in 67145 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 1954/1954 places, 121225/121225 transitions.
Computed a total of 410 stabilizing places and 430 stable transitions
Computed a total of 410 stabilizing places and 430 stable transitions
Knowledge obtained : [(AND (NOT p0) p1), (X (AND p1 (NOT p0))), (X (NOT (AND (NOT p1) (NOT p0)))), (X (X (AND p1 (NOT p0)))), (X (X (NOT (AND (NOT p1) (NOT p0))))), (X (X (NOT p0)))]
False Knowledge obtained : []
Knowledge based reduction with 6 factoid took 330 ms. Reduced automaton from 3 states, 4 edges and 2 AP to 3 states, 4 edges and 2 AP.
Stuttering acceptance computed with spot in 140 ms :[(NOT p0), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1))]
Incomplete random walk after 10000 steps, including 56 resets, run finished after 1246 ms. (steps per millisecond=8 ) properties (out of 3) seen :0
Incomplete Best-First random walk after 10001 steps, including 6 resets, run finished after 166 ms. (steps per millisecond=60 ) properties (out of 3) seen :0
Incomplete Best-First random walk after 10001 steps, including 4 resets, run finished after 110 ms. (steps per millisecond=90 ) properties (out of 3) seen :0
Incomplete Best-First random walk after 10000 steps, including 4 resets, run finished after 103 ms. (steps per millisecond=97 ) properties (out of 3) seen :0
Interrupted probabilistic random walk after 4825 steps, run timeout after 3001 ms. (steps per millisecond=1 ) properties seen :{}
Probabilistic random walk after 4825 steps, saw 4299 distinct states, run finished after 3001 ms. (steps per millisecond=1 ) properties seen :0
Running SMT prover for 3 properties.
// Phase 1: matrix 121225 rows 1954 cols
[2022-06-09 22:25:37] [INFO ] Computed 11 place invariants in 6984 ms
[2022-06-09 22:25:37] [INFO ] [Real]Absence check using 11 positive place invariants in 30 ms returned sat
[2022-06-09 22:26:02] [INFO ] After 24419ms SMT Verify possible using state equation in real domain returned unsat :0 sat :0 real:2
[2022-06-09 22:26:02] [INFO ] After 24600ms SMT Verify possible using trap constraints in real domain returned unsat :0 sat :0 real:2
[2022-06-09 22:26:02] [INFO ] After 25204ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:2
[2022-06-09 22:26:03] [INFO ] [Nat]Absence check using 11 positive place invariants in 29 ms returned sat
[2022-06-09 22:26:27] [INFO ] After 24403ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :2
[2022-06-09 22:26:27] [INFO ] After 24405ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :2
Attempting to minimize the solution found.
Minimization took 21 ms.
[2022-06-09 22:26:27] [INFO ] After 25041ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :2
Fused 3 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 20 out of 1954 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 1954/1954 places, 121225/121225 transitions.
Graph (trivial) has 1877 edges and 1954 vertex of which 170 / 1954 are part of one of the 30 SCC in 6 ms
Free SCC test removed 140 places
Drop transitions removed 190 transitions
Reduce isomorphic transitions removed 190 transitions.
Graph (complete) has 4246 edges and 1814 vertex of which 1804 are kept as prefixes of interest. Removing 10 places using SCC suffix rule.580 ms
Discarding 10 places :
Also discarding 0 output transitions
Drop transitions removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Drop transitions removed 1311 transitions
Trivial Post-agglo rules discarded 1311 transitions
Performed 1311 trivial Post agglomeration. Transition count delta: 1311
Iterating post reduction 0 with 1321 rules applied. Total rules applied 1323 place count 1804 transition count 119714
Reduce places removed 1311 places and 0 transitions.
Ensure Unique test removed 20 transitions
Reduce isomorphic transitions removed 20 transitions.
Drop transitions removed 10 transitions
Trivial Post-agglo rules discarded 10 transitions
Performed 10 trivial Post agglomeration. Transition count delta: 10
Iterating post reduction 1 with 1341 rules applied. Total rules applied 2664 place count 493 transition count 119684
Reduce places removed 10 places and 0 transitions.
Performed 48 Post agglomeration using F-continuation condition.Transition count delta: 48
Iterating post reduction 2 with 58 rules applied. Total rules applied 2722 place count 483 transition count 119636
Reduce places removed 48 places and 0 transitions.
Iterating post reduction 3 with 48 rules applied. Total rules applied 2770 place count 435 transition count 119636
Performed 103 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 103 Pre rules applied. Total rules applied 2770 place count 435 transition count 119533
Deduced a syphon composed of 103 places in 308 ms
Reduce places removed 103 places and 0 transitions.
Iterating global reduction 4 with 206 rules applied. Total rules applied 2976 place count 332 transition count 119533
Performed 35 Post agglomeration using F-continuation condition.
Performed 59 Post agglomeration using F-continuation condition.
Performed 71 Post agglomeration using F-continuation condition.Transition count delta: 71
Deduced a syphon composed of 71 places in 68 ms
Reduce places removed 71 places and 0 transitions.
Iterating global reduction 4 with 142 rules applied. Total rules applied 3118 place count 261 transition count 119462
Ensure Unique test removed 20 transitions
Reduce isomorphic transitions removed 20 transitions.
Iterating post reduction 4 with 20 rules applied. Total rules applied 3138 place count 261 transition count 119442
Discarding 53 places :
Symmetric choice reduction at 5 with 53 rule applications. Total rules 3191 place count 208 transition count 28552
Iterating global reduction 5 with 53 rules applied. Total rules applied 3244 place count 208 transition count 28552
Ensure Unique test removed 23 transitions
Reduce isomorphic transitions removed 23 transitions.
Iterating post reduction 5 with 23 rules applied. Total rules applied 3267 place count 208 transition count 28529
Discarding 30 places :
Symmetric choice reduction at 6 with 30 rule applications. Total rules 3297 place count 178 transition count 28499
Iterating global reduction 6 with 30 rules applied. Total rules applied 3327 place count 178 transition count 28499
Discarding 20 places :
Symmetric choice reduction at 6 with 20 rule applications. Total rules 3347 place count 158 transition count 28479
Iterating global reduction 6 with 20 rules applied. Total rules applied 3367 place count 158 transition count 28479
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 6 with 10 rules applied. Total rules applied 3377 place count 158 transition count 28469
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Deduced a syphon composed of 10 places in 11 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 7 with 20 rules applied. Total rules applied 3397 place count 148 transition count 28459
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -8
Deduced a syphon composed of 3 places in 11 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 7 with 6 rules applied. Total rules applied 3403 place count 145 transition count 28467
Free-agglomeration rule applied 10 times.
Iterating global reduction 7 with 10 rules applied. Total rules applied 3413 place count 145 transition count 28457
Reduce places removed 10 places and 0 transitions.
Iterating post reduction 7 with 10 rules applied. Total rules applied 3423 place count 135 transition count 28457
Discarding 10 places :
Symmetric choice reduction at 8 with 10 rule applications. Total rules 3433 place count 125 transition count 28447
Iterating global reduction 8 with 10 rules applied. Total rules applied 3443 place count 125 transition count 28447
Free-agglomeration rule (complex) applied 6 times.
Iterating global reduction 8 with 6 rules applied. Total rules applied 3449 place count 125 transition count 28441
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 8 with 6 rules applied. Total rules applied 3455 place count 119 transition count 28441
Partial Free-agglomeration rule applied 26 times.
Drop transitions removed 26 transitions
Iterating global reduction 9 with 26 rules applied. Total rules applied 3481 place count 119 transition count 28441
Applied a total of 3481 rules in 118740 ms. Remains 119 /1954 variables (removed 1835) and now considering 28441/121225 (removed 92784) transitions.
Finished structural reductions, in 1 iterations. Remains : 119/1954 places, 28441/121225 transitions.
Knowledge obtained : [(AND (NOT p0) p1), (X (AND p1 (NOT p0))), (X (NOT (AND (NOT p1) (NOT p0)))), (X (X (AND p1 (NOT p0)))), (X (X (NOT (AND (NOT p1) (NOT p0))))), (X (X (NOT p0)))]
False Knowledge obtained : []
Knowledge based reduction with 6 factoid took 214 ms. Reduced automaton from 3 states, 4 edges and 2 AP to 3 states, 4 edges and 2 AP.
Stuttering acceptance computed with spot in 98 ms :[(NOT p0), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1))]
Stuttering acceptance computed with spot in 97 ms :[(NOT p0), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1))]
Stuttering acceptance computed with spot in 120 ms :[(NOT p0), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1))]
Product exploration explored 100000 steps with 553 reset in 7865 ms.
Product exploration explored 100000 steps with 548 reset in 7757 ms.
Applying partial POR strategy [true, false, true]
Stuttering acceptance computed with spot in 105 ms :[(NOT p0), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1))]
Support contains 20 out of 1954 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 1954/1954 places, 121225/121225 transitions.
Graph (trivial) has 1877 edges and 1954 vertex of which 170 / 1954 are part of one of the 30 SCC in 6 ms
Free SCC test removed 140 places
Ensure Unique test removed 160 transitions
Reduce isomorphic transitions removed 160 transitions.
Performed 1339 Post agglomeration using F-continuation condition.Transition count delta: 0
Iterating post reduction 0 with 1339 rules applied. Total rules applied 1340 place count 1814 transition count 121065
Ensure Unique test removed 20 transitions
Reduce isomorphic transitions removed 20 transitions.
Iterating post reduction 1 with 20 rules applied. Total rules applied 1360 place count 1814 transition count 121045
Performed 80 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 80 Pre rules applied. Total rules applied 1360 place count 1814 transition count 121055
Deduced a syphon composed of 1419 places in 115 ms
Iterating global reduction 2 with 80 rules applied. Total rules applied 1440 place count 1814 transition count 121055
Discarding 1206 places :
Symmetric choice reduction at 2 with 1206 rule applications. Total rules 2646 place count 608 transition count 119849
Deduced a syphon composed of 222 places in 282 ms
Iterating global reduction 2 with 1206 rules applied. Total rules applied 3852 place count 608 transition count 119849
Performed 47 Post agglomeration using F-continuation condition.
Performed 75 Post agglomeration using F-continuation condition.
Performed 94 Post agglomeration using F-continuation condition.
Performed 103 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 325 places in 69 ms
Iterating global reduction 2 with 103 rules applied. Total rules applied 3955 place count 608 transition count 119879
Discarding 166 places :
Symmetric choice reduction at 2 with 166 rule applications. Total rules 4121 place count 442 transition count 28866
Deduced a syphon composed of 212 places in 16 ms
Iterating global reduction 2 with 166 rules applied. Total rules applied 4287 place count 442 transition count 28866
Ensure Unique test removed 33 transitions
Reduce isomorphic transitions removed 33 transitions.
Iterating post reduction 2 with 33 rules applied. Total rules applied 4320 place count 442 transition count 28833
Discarding 73 places :
Symmetric choice reduction at 3 with 73 rule applications. Total rules 4393 place count 369 transition count 28750
Deduced a syphon composed of 169 places in 16 ms
Iterating global reduction 3 with 73 rules applied. Total rules applied 4466 place count 369 transition count 28750
Discarding 30 places :
Symmetric choice reduction at 3 with 30 rule applications. Total rules 4496 place count 339 transition count 28720
Deduced a syphon composed of 169 places in 17 ms
Iterating global reduction 3 with 30 rules applied. Total rules applied 4526 place count 339 transition count 28720
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 3 with 10 rules applied. Total rules applied 4536 place count 339 transition count 28710
Discarding 20 places :
Symmetric choice reduction at 4 with 20 rule applications. Total rules 4556 place count 319 transition count 28690
Deduced a syphon composed of 149 places in 16 ms
Iterating global reduction 4 with 20 rules applied. Total rules applied 4576 place count 319 transition count 28690
Performed 13 Post agglomeration using F-continuation condition.Transition count delta: -59
Deduced a syphon composed of 162 places in 17 ms
Iterating global reduction 4 with 13 rules applied. Total rules applied 4589 place count 319 transition count 28749
Discarding 23 places :
Symmetric choice reduction at 4 with 23 rule applications. Total rules 4612 place count 296 transition count 28703
Deduced a syphon composed of 139 places in 23 ms
Iterating global reduction 4 with 23 rules applied. Total rules applied 4635 place count 296 transition count 28703
Deduced a syphon composed of 139 places in 22 ms
Applied a total of 4635 rules in 133902 ms. Remains 296 /1954 variables (removed 1658) and now considering 28703/121225 (removed 92522) transitions.
[2022-06-09 22:30:57] [INFO ] Flow matrix only has 28693 transitions (discarded 10 similar events)
// Phase 1: matrix 28693 rows 296 cols
[2022-06-09 22:30:58] [INFO ] Computed 2 place invariants in 865 ms
[2022-06-09 22:31:19] [INFO ] Dead Transitions using invariants and state equation in 22577 ms found 0 transitions.
Starting structural reductions in SI_LTL mode, iteration 1 : 296/1954 places, 28703/121225 transitions.
Finished structural reductions, in 1 iterations. Remains : 296/1954 places, 28703/121225 transitions.
Product exploration explored 100000 steps with 3704 reset in 7698 ms.
Product exploration explored 100000 steps with 3723 reset in 6125 ms.
Built C files in :
/tmp/ltsmin6164729920740075449
[2022-06-09 22:31:37] [INFO ] Built C files in 3463ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin6164729920740075449
Running compilation step : cd /tmp/ltsmin6164729920740075449;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin6164729920740075449;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin6164729920740075449;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:94)
at java.base/java.lang.Thread.run(Thread.java:829)
Support contains 20 out of 1954 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 1954/1954 places, 121225/121225 transitions.
Applied a total of 0 rules in 2120 ms. Remains 1954 /1954 variables (removed 0) and now considering 121225/121225 (removed 0) transitions.
// Phase 1: matrix 121225 rows 1954 cols
[2022-06-09 22:31:48] [INFO ] Computed 11 place invariants in 5990 ms
[2022-06-09 22:32:19] [INFO ] Performed 1476/1954 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2022-06-09 22:32:26] [INFO ] Implicit Places using invariants in 43565 ms returned []
Implicit Place search using SMT only with invariants took 43569 ms to find 0 implicit places.
// Phase 1: matrix 121225 rows 1954 cols
[2022-06-09 22:32:32] [INFO ] Computed 11 place invariants in 6540 ms
[2022-06-09 22:33:03] [INFO ] Performed 22593/121225 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2022-06-09 22:33:32] [INFO ] Dead Transitions using invariants and state equation in 66700 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 1954/1954 places, 121225/121225 transitions.
Built C files in :
/tmp/ltsmin15132521081209793857
[2022-06-09 22:33:36] [INFO ] Built C files in 2602ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin15132521081209793857
Running compilation step : cd /tmp/ltsmin15132521081209793857;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin15132521081209793857;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin15132521081209793857;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:94)
at java.base/java.lang.Thread.run(Thread.java:829)
[2022-06-09 22:35:45] [INFO ] Flatten gal took : 19735 ms
[2022-06-09 22:36:03] [INFO ] Flatten gal took : 18406 ms
[2022-06-09 22:36:06] [INFO ] Time to serialize gal into /tmp/LTL9815352796838577223.gal : 2269 ms
[2022-06-09 22:36:06] [INFO ] Time to serialize properties into /tmp/LTL10768535468346352824.ltl : 3 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL9815352796838577223.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL10768535468346352824.ltl' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL9815352...267
Read 1 LTL properties
Detected timeout of ITS tools.
[2022-06-09 22:36:41] [INFO ] Flatten gal took : 17212 ms
[2022-06-09 22:36:41] [INFO ] Applying decomposition
[2022-06-09 22:36:58] [INFO ] Flatten gal took : 17176 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph15907968379364820392.txt' '-o' '/tmp/graph15907968379364820392.bin' '-w' '/tmp/graph15907968379364820392.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph15907968379364820392.bin' '-l' '-1' '-v' '-w' '/tmp/graph15907968379364820392.weights' '-q' '0' '-e' '0.001'
[2022-06-09 22:38:52] [INFO ] Decomposing Gal with order
[2022-06-09 22:38:52] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-09 22:40:07] [INFO ] Removed a total of 1191531 redundant transitions.
[2022-06-09 22:40:11] [INFO ] Flatten gal took : 45873 ms
[2022-06-09 22:40:45] [INFO ] Fuse similar labels procedure discarded/fused a total of 52 labels/synchronizations in 28472 ms.
[2022-06-09 22:40:46] [INFO ] Time to serialize gal into /tmp/LTL18328642224659688017.gal : 808 ms
[2022-06-09 22:40:46] [INFO ] Time to serialize properties into /tmp/LTL6301137390465121024.ltl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL18328642224659688017.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL6301137390465121024.ltl' '-c' '-stutter-deadlock'
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL1832864...246
Read 1 LTL properties
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin11692876893194402582
[2022-06-09 22:41:04] [INFO ] Built C files in 2680ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin11692876893194402582
Running compilation step : cd /tmp/ltsmin11692876893194402582;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin11692876893194402582;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin11692876893194402582;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:94)
at java.base/java.lang.Thread.run(Thread.java:829)
Treatment of property StigmergyCommit-PT-09b-LTLFireability-00 finished in 1385995 ms.
Running Spot : cd /home/mcc/execution;'/home/mcc/BenchKit/bin//..//ltl2tgba' '--check=stutter' '--hoaf=tv' '-f' '!(X(X(G(((!p0 U (p1||G(!p0)))&&p2)))))'
Support contains 24 out of 1954 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 1954/1954 places, 121225/121225 transitions.
Applied a total of 0 rules in 2315 ms. Remains 1954 /1954 variables (removed 0) and now considering 121225/121225 (removed 0) transitions.
// Phase 1: matrix 121225 rows 1954 cols
[2022-06-09 22:41:19] [INFO ] Computed 11 place invariants in 9353 ms
[2022-06-09 22:41:45] [INFO ] Implicit Places using invariants in 35046 ms returned []
Implicit Place search using SMT only with invariants took 35055 ms to find 0 implicit places.
// Phase 1: matrix 121225 rows 1954 cols
[2022-06-09 22:41:55] [INFO ] Computed 11 place invariants in 10189 ms
[2022-06-09 22:42:25] [INFO ] Performed 25670/121225 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2022-06-09 22:42:55] [INFO ] Dead Transitions using invariants and state equation in 70437 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 1954/1954 places, 121225/121225 transitions.
Stuttering acceptance computed with spot in 521 ms :[true, (OR (NOT p2) (AND p0 (NOT p1))), (OR (NOT p2) (AND p0 (NOT p1))), (OR (NOT p2) (AND p0 (NOT p1)))]
Running random walk in product with property : StigmergyCommit-PT-09b-LTLFireability-02 automaton TGBA Formula[mat=[[{ cond=true, acceptance={0} source=0 dest: 0}], [{ cond=true, acceptance={} source=1 dest: 3}], [{ cond=true, acceptance={} source=2 dest: 1}], [{ cond=(OR (NOT p2) (AND (NOT p1) p0)), acceptance={} source=3 dest: 0}, { cond=(OR (AND p2 p1) (AND p2 (NOT p0))), acceptance={} source=3 dest: 3}]], initial=2, aps=[p2:(OR (NEQ s125 1) (NEQ s297 1) (NEQ s469 1) (NEQ s662 1) (NEQ s855 1) (NEQ s1048 1) (NEQ s1241 1) (NEQ s1455 1) (NEQ s1627 1) (NEQ s1862 1)), p1:(AND (N...], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, complete, deterministic, no-univ-branch, unambiguous, semi-deterministic, stutter-sensitive, terminal, very-weak, weak, inherently-weak], stateDesc=[null, null, null, null][false, false, false, false]]
Product exploration timeout after 33480 steps with 182 reset in 10001 ms.
Product exploration timeout after 38820 steps with 210 reset in 10021 ms.
Computed a total of 410 stabilizing places and 430 stable transitions
Computed a total of 410 stabilizing places and 430 stable transitions
Knowledge obtained : [(AND p2 p1 (NOT p0)), (X (X (OR (AND p2 p1) (AND p2 (NOT p0))))), (X (X (NOT (OR (NOT p2) (AND (NOT p1) p0)))))]
False Knowledge obtained : []
Knowledge based reduction with 3 factoid took 3754 ms. Reduced automaton from 4 states, 5 edges and 3 AP to 4 states, 5 edges and 3 AP.
Stuttering acceptance computed with spot in 530 ms :[true, (OR (NOT p2) (AND p0 (NOT p1))), (OR (NOT p2) (AND p0 (NOT p1))), (OR (NOT p2) (AND p0 (NOT p1)))]
Incomplete random walk after 10000 steps, including 55 resets, run finished after 3813 ms. (steps per millisecond=2 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 10001 steps, including 6 resets, run finished after 184 ms. (steps per millisecond=54 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 10001 steps, including 6 resets, run finished after 197 ms. (steps per millisecond=50 ) properties (out of 2) seen :0
Interrupted probabilistic random walk after 13935 steps, run timeout after 12001 ms. (steps per millisecond=1 ) properties seen :{}
Probabilistic random walk after 13935 steps, saw 9565 distinct states, run finished after 12007 ms. (steps per millisecond=1 ) properties seen :0
Running SMT prover for 2 properties.
// Phase 1: matrix 121225 rows 1954 cols
[2022-06-09 22:45:18] [INFO ] Computed 11 place invariants in 9750 ms
[2022-06-09 22:45:18] [INFO ] [Real]Absence check using 11 positive place invariants in 30 ms returned sat
[2022-06-09 22:45:43] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-06-09 22:45:43] [INFO ] After 25073ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 2 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 24 out of 1954 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 1954/1954 places, 121225/121225 transitions.
Graph (trivial) has 1929 edges and 1954 vertex of which 170 / 1954 are part of one of the 30 SCC in 23 ms
Free SCC test removed 140 places
Drop transitions removed 190 transitions
Reduce isomorphic transitions removed 190 transitions.
Graph (complete) has 4246 edges and 1814 vertex of which 1804 are kept as prefixes of interest. Removing 10 places using SCC suffix rule.513 ms
Discarding 10 places :
Also discarding 0 output transitions
Drop transitions removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Drop transitions removed 1345 transitions
Trivial Post-agglo rules discarded 1345 transitions
Performed 1345 trivial Post agglomeration. Transition count delta: 1345
Iterating post reduction 0 with 1355 rules applied. Total rules applied 1357 place count 1804 transition count 119680
Reduce places removed 1345 places and 0 transitions.
Ensure Unique test removed 20 transitions
Reduce isomorphic transitions removed 20 transitions.
Drop transitions removed 10 transitions
Trivial Post-agglo rules discarded 10 transitions
Performed 10 trivial Post agglomeration. Transition count delta: 10
Iterating post reduction 1 with 1375 rules applied. Total rules applied 2732 place count 459 transition count 119650
Reduce places removed 10 places and 0 transitions.
Iterating post reduction 2 with 10 rules applied. Total rules applied 2742 place count 449 transition count 119650
Performed 111 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 111 Pre rules applied. Total rules applied 2742 place count 449 transition count 119539
Deduced a syphon composed of 111 places in 388 ms
Reduce places removed 111 places and 0 transitions.
Iterating global reduction 3 with 222 rules applied. Total rules applied 2964 place count 338 transition count 119539
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 2965 place count 338 transition count 119538
Performed 35 Post agglomeration using F-continuation condition.
Performed 59 Post agglomeration using F-continuation condition.
Performed 71 Post agglomeration using F-continuation condition.Transition count delta: 71
Deduced a syphon composed of 71 places in 103 ms
Reduce places removed 71 places and 0 transitions.
Iterating global reduction 4 with 142 rules applied. Total rules applied 3107 place count 267 transition count 119467
Ensure Unique test removed 20 transitions
Reduce isomorphic transitions removed 20 transitions.
Iterating post reduction 4 with 20 rules applied. Total rules applied 3127 place count 267 transition count 119447
Discarding 48 places :
Symmetric choice reduction at 5 with 48 rule applications. Total rules 3175 place count 219 transition count 30449
Iterating global reduction 5 with 48 rules applied. Total rules applied 3223 place count 219 transition count 30449
Ensure Unique test removed 18 transitions
Reduce isomorphic transitions removed 18 transitions.
Iterating post reduction 5 with 18 rules applied. Total rules applied 3241 place count 219 transition count 30431
Discarding 30 places :
Symmetric choice reduction at 6 with 30 rule applications. Total rules 3271 place count 189 transition count 30401
Iterating global reduction 6 with 30 rules applied. Total rules applied 3301 place count 189 transition count 30401
Discarding 20 places :
Symmetric choice reduction at 6 with 20 rule applications. Total rules 3321 place count 169 transition count 30381
Iterating global reduction 6 with 20 rules applied. Total rules applied 3341 place count 169 transition count 30381
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 6 with 10 rules applied. Total rules applied 3351 place count 169 transition count 30371
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Deduced a syphon composed of 10 places in 12 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 7 with 20 rules applied. Total rules applied 3371 place count 159 transition count 30361
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -8
Deduced a syphon composed of 3 places in 12 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 7 with 6 rules applied. Total rules applied 3377 place count 156 transition count 30369
Free-agglomeration rule applied 64 times.
Iterating global reduction 7 with 64 rules applied. Total rules applied 3441 place count 156 transition count 30305
Reduce places removed 64 places and 0 transitions.
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 7 with 65 rules applied. Total rules applied 3506 place count 92 transition count 30304
Renaming transitions due to excessive name length > 1024 char.
Discarding 10 places :
Symmetric choice reduction at 8 with 10 rule applications. Total rules 3516 place count 82 transition count 30294
Iterating global reduction 8 with 10 rules applied. Total rules applied 3526 place count 82 transition count 30294
Free-agglomeration rule (complex) applied 6 times.
Iterating global reduction 8 with 6 rules applied. Total rules applied 3532 place count 82 transition count 30288
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 8 with 6 rules applied. Total rules applied 3538 place count 76 transition count 30288
Partial Free-agglomeration rule applied 14 times.
Drop transitions removed 14 transitions
Iterating global reduction 9 with 14 rules applied. Total rules applied 3552 place count 76 transition count 30288
Applied a total of 3552 rules in 127788 ms. Remains 76 /1954 variables (removed 1878) and now considering 30288/121225 (removed 90937) transitions.
Finished structural reductions, in 1 iterations. Remains : 76/1954 places, 30288/121225 transitions.
Knowledge obtained : [(AND p2 p1 (NOT p0)), (X (X (OR (AND p2 p1) (AND p2 (NOT p0))))), (X (X (NOT (OR (NOT p2) (AND (NOT p1) p0)))))]
False Knowledge obtained : []
Knowledge based reduction with 3 factoid took 230 ms. Reduced automaton from 4 states, 5 edges and 3 AP to 4 states, 5 edges and 3 AP.
Stuttering acceptance computed with spot in 242 ms :[true, (OR (NOT p2) (AND p0 (NOT p1))), (OR (NOT p2) (AND p0 (NOT p1))), (OR (NOT p2) (AND p0 (NOT p1)))]
Stuttering acceptance computed with spot in 153 ms :[true, (OR (NOT p2) (AND p0 (NOT p1))), (OR (NOT p2) (AND p0 (NOT p1))), (OR (NOT p2) (AND p0 (NOT p1)))]
Support contains 24 out of 1954 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 1954/1954 places, 121225/121225 transitions.
Applied a total of 0 rules in 7441 ms. Remains 1954 /1954 variables (removed 0) and now considering 121225/121225 (removed 0) transitions.
// Phase 1: matrix 121225 rows 1954 cols
[2022-06-09 22:48:11] [INFO ] Computed 11 place invariants in 10193 ms
[2022-06-09 22:48:42] [INFO ] Performed 1785/1954 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2022-06-09 22:48:44] [INFO ] Implicit Places using invariants in 45152 ms returned []
Implicit Place search using SMT only with invariants took 45168 ms to find 0 implicit places.
// Phase 1: matrix 121225 rows 1954 cols
[2022-06-09 22:48:52] [INFO ] Computed 11 place invariants in 7933 ms
[2022-06-09 22:49:23] [INFO ] Performed 29235/121225 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2022-06-09 22:49:52] [INFO ] Dead Transitions using invariants and state equation in 68148 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 1954/1954 places, 121225/121225 transitions.
Computed a total of 410 stabilizing places and 430 stable transitions
Computed a total of 410 stabilizing places and 430 stable transitions
Knowledge obtained : [(AND (NOT p0) p1 p2), (X (X (NOT (OR (AND p0 (NOT p1)) (NOT p2))))), (X (X (OR (AND (NOT p0) p2) (AND p1 p2))))]
False Knowledge obtained : []
Knowledge based reduction with 3 factoid took 176 ms. Reduced automaton from 4 states, 5 edges and 3 AP to 4 states, 5 edges and 3 AP.
Stuttering acceptance computed with spot in 185 ms :[true, (OR (NOT p2) (AND p0 (NOT p1))), (OR (NOT p2) (AND p0 (NOT p1))), (OR (NOT p2) (AND p0 (NOT p1)))]
Incomplete random walk after 10000 steps, including 54 resets, run finished after 3035 ms. (steps per millisecond=3 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 10001 steps, including 6 resets, run finished after 149 ms. (steps per millisecond=67 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 10001 steps, including 4 resets, run finished after 151 ms. (steps per millisecond=66 ) properties (out of 2) seen :0
Interrupted probabilistic random walk after 9783 steps, run timeout after 9003 ms. (steps per millisecond=1 ) properties seen :{}
Probabilistic random walk after 9783 steps, saw 6212 distinct states, run finished after 9003 ms. (steps per millisecond=1 ) properties seen :0
Running SMT prover for 2 properties.
// Phase 1: matrix 121225 rows 1954 cols
[2022-06-09 22:50:29] [INFO ] Computed 11 place invariants in 13401 ms
[2022-06-09 22:50:29] [INFO ] [Real]Absence check using 11 positive place invariants in 20 ms returned sat
[2022-06-09 22:50:54] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-06-09 22:50:54] [INFO ] After 25019ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 2 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 24 out of 1954 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 1954/1954 places, 121225/121225 transitions.
Graph (trivial) has 1929 edges and 1954 vertex of which 170 / 1954 are part of one of the 30 SCC in 13 ms
Free SCC test removed 140 places
Drop transitions removed 190 transitions
Reduce isomorphic transitions removed 190 transitions.
Graph (complete) has 4246 edges and 1814 vertex of which 1804 are kept as prefixes of interest. Removing 10 places using SCC suffix rule.717 ms
Discarding 10 places :
Also discarding 0 output transitions
Drop transitions removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Drop transitions removed 1345 transitions
Trivial Post-agglo rules discarded 1345 transitions
Performed 1345 trivial Post agglomeration. Transition count delta: 1345
Iterating post reduction 0 with 1355 rules applied. Total rules applied 1357 place count 1804 transition count 119680
Reduce places removed 1345 places and 0 transitions.
Ensure Unique test removed 20 transitions
Reduce isomorphic transitions removed 20 transitions.
Drop transitions removed 10 transitions
Trivial Post-agglo rules discarded 10 transitions
Performed 10 trivial Post agglomeration. Transition count delta: 10
Iterating post reduction 1 with 1375 rules applied. Total rules applied 2732 place count 459 transition count 119650
Reduce places removed 10 places and 0 transitions.
Iterating post reduction 2 with 10 rules applied. Total rules applied 2742 place count 449 transition count 119650
Performed 111 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 111 Pre rules applied. Total rules applied 2742 place count 449 transition count 119539
Deduced a syphon composed of 111 places in 326 ms
Reduce places removed 111 places and 0 transitions.
Iterating global reduction 3 with 222 rules applied. Total rules applied 2964 place count 338 transition count 119539
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 2965 place count 338 transition count 119538
Performed 35 Post agglomeration using F-continuation condition.
Performed 59 Post agglomeration using F-continuation condition.
Performed 71 Post agglomeration using F-continuation condition.Transition count delta: 71
Deduced a syphon composed of 71 places in 43 ms
Reduce places removed 71 places and 0 transitions.
Iterating global reduction 4 with 142 rules applied. Total rules applied 3107 place count 267 transition count 119467
Ensure Unique test removed 20 transitions
Reduce isomorphic transitions removed 20 transitions.
Iterating post reduction 4 with 20 rules applied. Total rules applied 3127 place count 267 transition count 119447
Discarding 48 places :
Symmetric choice reduction at 5 with 48 rule applications. Total rules 3175 place count 219 transition count 30449
Iterating global reduction 5 with 48 rules applied. Total rules applied 3223 place count 219 transition count 30449
Ensure Unique test removed 18 transitions
Reduce isomorphic transitions removed 18 transitions.
Iterating post reduction 5 with 18 rules applied. Total rules applied 3241 place count 219 transition count 30431
Discarding 30 places :
Symmetric choice reduction at 6 with 30 rule applications. Total rules 3271 place count 189 transition count 30401
Iterating global reduction 6 with 30 rules applied. Total rules applied 3301 place count 189 transition count 30401
Discarding 20 places :
Symmetric choice reduction at 6 with 20 rule applications. Total rules 3321 place count 169 transition count 30381
Iterating global reduction 6 with 20 rules applied. Total rules applied 3341 place count 169 transition count 30381
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 6 with 10 rules applied. Total rules applied 3351 place count 169 transition count 30371
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Deduced a syphon composed of 10 places in 11 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 7 with 20 rules applied. Total rules applied 3371 place count 159 transition count 30361
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -8
Deduced a syphon composed of 3 places in 16 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 7 with 6 rules applied. Total rules applied 3377 place count 156 transition count 30369
Free-agglomeration rule applied 64 times.
Iterating global reduction 7 with 64 rules applied. Total rules applied 3441 place count 156 transition count 30305
Reduce places removed 64 places and 0 transitions.
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 7 with 65 rules applied. Total rules applied 3506 place count 92 transition count 30304
Renaming transitions due to excessive name length > 1024 char.
Discarding 10 places :
Symmetric choice reduction at 8 with 10 rule applications. Total rules 3516 place count 82 transition count 30294
Iterating global reduction 8 with 10 rules applied. Total rules applied 3526 place count 82 transition count 30294
Free-agglomeration rule (complex) applied 6 times.
Iterating global reduction 8 with 6 rules applied. Total rules applied 3532 place count 82 transition count 30288
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 8 with 6 rules applied. Total rules applied 3538 place count 76 transition count 30288
Partial Free-agglomeration rule applied 14 times.
Drop transitions removed 14 transitions
Iterating global reduction 9 with 14 rules applied. Total rules applied 3552 place count 76 transition count 30288
Applied a total of 3552 rules in 121136 ms. Remains 76 /1954 variables (removed 1878) and now considering 30288/121225 (removed 90937) transitions.
Finished structural reductions, in 1 iterations. Remains : 76/1954 places, 30288/121225 transitions.
Knowledge obtained : [(AND (NOT p0) p1 p2), (X (X (NOT (OR (AND p0 (NOT p1)) (NOT p2))))), (X (X (OR (AND (NOT p0) p2) (AND p1 p2))))]
False Knowledge obtained : []
Knowledge based reduction with 3 factoid took 143 ms. Reduced automaton from 4 states, 5 edges and 3 AP to 4 states, 5 edges and 3 AP.
Stuttering acceptance computed with spot in 138 ms :[true, (OR (NOT p2) (AND p0 (NOT p1))), (OR (NOT p2) (AND p0 (NOT p1))), (OR (NOT p2) (AND p0 (NOT p1)))]
Stuttering acceptance computed with spot in 136 ms :[true, (OR (NOT p2) (AND p0 (NOT p1))), (OR (NOT p2) (AND p0 (NOT p1))), (OR (NOT p2) (AND p0 (NOT p1)))]
Stuttering acceptance computed with spot in 159 ms :[true, (OR (NOT p2) (AND p0 (NOT p1))), (OR (NOT p2) (AND p0 (NOT p1))), (OR (NOT p2) (AND p0 (NOT p1)))]
Product exploration timeout after 49530 steps with 268 reset in 10045 ms.
Product exploration timeout after 36290 steps with 199 reset in 10001 ms.
Applying partial POR strategy [true, true, false, false]
Stuttering acceptance computed with spot in 192 ms :[true, (OR (NOT p2) (AND p0 (NOT p1))), (OR (NOT p2) (AND p0 (NOT p1))), (OR (NOT p2) (AND p0 (NOT p1)))]
Support contains 24 out of 1954 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 1954/1954 places, 121225/121225 transitions.
Graph (trivial) has 1929 edges and 1954 vertex of which 170 / 1954 are part of one of the 30 SCC in 9 ms
Free SCC test removed 140 places
Ensure Unique test removed 160 transitions
Reduce isomorphic transitions removed 160 transitions.
Performed 1325 Post agglomeration using F-continuation condition.Transition count delta: 0
Iterating post reduction 0 with 1325 rules applied. Total rules applied 1326 place count 1814 transition count 121065
Ensure Unique test removed 20 transitions
Reduce isomorphic transitions removed 20 transitions.
Iterating post reduction 1 with 20 rules applied. Total rules applied 1346 place count 1814 transition count 121045
Performed 80 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 80 Pre rules applied. Total rules applied 1346 place count 1814 transition count 121055
Deduced a syphon composed of 1405 places in 506 ms
Iterating global reduction 2 with 80 rules applied. Total rules applied 1426 place count 1814 transition count 121055
Discarding 1192 places :
Symmetric choice reduction at 2 with 1192 rule applications. Total rules 2618 place count 622 transition count 119863
Deduced a syphon composed of 222 places in 433 ms
Iterating global reduction 2 with 1192 rules applied. Total rules applied 3810 place count 622 transition count 119863
Performed 22 Post agglomeration using F-continuation condition.
Performed 42 Post agglomeration using F-continuation condition.
Performed 62 Post agglomeration using F-continuation condition.
Performed 82 Post agglomeration using F-continuation condition.
Performed 101 Post agglomeration using F-continuation condition.
Performed 111 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 333 places in 62 ms
Iterating global reduction 2 with 111 rules applied. Total rules applied 3921 place count 622 transition count 119893
Discarding 169 places :
Symmetric choice reduction at 2 with 169 rule applications. Total rules 4090 place count 453 transition count 30764
Deduced a syphon composed of 212 places in 10 ms
Iterating global reduction 2 with 169 rules applied. Total rules applied 4259 place count 453 transition count 30764
Ensure Unique test removed 28 transitions
Reduce isomorphic transitions removed 28 transitions.
Iterating post reduction 2 with 28 rules applied. Total rules applied 4287 place count 453 transition count 30736
Discarding 68 places :
Symmetric choice reduction at 3 with 68 rule applications. Total rules 4355 place count 385 transition count 30658
Deduced a syphon composed of 174 places in 10 ms
Iterating global reduction 3 with 68 rules applied. Total rules applied 4423 place count 385 transition count 30658
Discarding 30 places :
Symmetric choice reduction at 3 with 30 rule applications. Total rules 4453 place count 355 transition count 30628
Deduced a syphon composed of 174 places in 18 ms
Iterating global reduction 3 with 30 rules applied. Total rules applied 4483 place count 355 transition count 30628
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 3 with 10 rules applied. Total rules applied 4493 place count 355 transition count 30618
Discarding 20 places :
Symmetric choice reduction at 4 with 20 rule applications. Total rules 4513 place count 335 transition count 30598
Deduced a syphon composed of 154 places in 10 ms
Iterating global reduction 4 with 20 rules applied. Total rules applied 4533 place count 335 transition count 30598
Performed 13 Post agglomeration using F-continuation condition.Transition count delta: -59
Deduced a syphon composed of 167 places in 9 ms
Iterating global reduction 4 with 13 rules applied. Total rules applied 4546 place count 335 transition count 30657
Discarding 23 places :
Symmetric choice reduction at 4 with 23 rule applications. Total rules 4569 place count 312 transition count 30611
Deduced a syphon composed of 144 places in 10 ms
Iterating global reduction 4 with 23 rules applied. Total rules applied 4592 place count 312 transition count 30611
Deduced a syphon composed of 144 places in 10 ms
Applied a total of 4592 rules in 234964 ms. Remains 312 /1954 variables (removed 1642) and now considering 30611/121225 (removed 90614) transitions.
[2022-06-09 22:57:12] [INFO ] Flow matrix only has 30600 transitions (discarded 11 similar events)
// Phase 1: matrix 30600 rows 312 cols
[2022-06-09 22:57:12] [INFO ] Computed 2 place invariants in 558 ms
[2022-06-09 22:57:34] [INFO ] Dead Transitions using invariants and state equation in 22572 ms found 0 transitions.
Starting structural reductions in SI_LTL mode, iteration 1 : 312/1954 places, 30611/121225 transitions.
Finished structural reductions, in 1 iterations. Remains : 312/1954 places, 30611/121225 transitions.
Product exploration explored 100000 steps with 3992 reset in 8623 ms.
Product exploration explored 100000 steps with 3994 reset in 8966 ms.
Built C files in :
/tmp/ltsmin243428193164167621
[2022-06-09 22:57:55] [INFO ] Built C files in 2629ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin243428193164167621
Running compilation step : cd /tmp/ltsmin243428193164167621;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin243428193164167621;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin243428193164167621;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:94)
at java.base/java.lang.Thread.run(Thread.java:829)
Support contains 24 out of 1954 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 1954/1954 places, 121225/121225 transitions.
Applied a total of 0 rules in 1822 ms. Remains 1954 /1954 variables (removed 0) and now considering 121225/121225 (removed 0) transitions.
// Phase 1: matrix 121225 rows 1954 cols
[2022-06-09 22:58:07] [INFO ] Computed 11 place invariants in 6901 ms
[2022-06-09 22:58:35] [INFO ] Implicit Places using invariants in 35143 ms returned []
Implicit Place search using SMT only with invariants took 35145 ms to find 0 implicit places.
// Phase 1: matrix 121225 rows 1954 cols
[2022-06-09 22:58:42] [INFO ] Computed 11 place invariants in 6576 ms
[2022-06-09 22:59:12] [INFO ] Performed 28296/121225 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2022-06-09 22:59:42] [INFO ] Dead Transitions with SMT raised an exceptionSMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ... after 66850 ms
Finished structural reductions, in 1 iterations. Remains : 1954/1954 places, 121225/121225 transitions.
Built C files in :
/tmp/ltsmin13925142673573614973
[2022-06-09 22:59:46] [INFO ] Built C files in 2668ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin13925142673573614973
Running compilation step : cd /tmp/ltsmin13925142673573614973;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin13925142673573614973;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin13925142673573614973;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:94)
at java.base/java.lang.Thread.run(Thread.java:829)
BK_STOP 1654815684509
--------------------
content from stderr:
+ export LANG=C
+ LANG=C
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution LTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ export PYTHONPATH=/usr/lib/python3.9/site-packages/
+ PYTHONPATH=/usr/lib/python3.9/site-packages/
+ export LD_LIBRARY_PATH=/usr/local/lib:
+ LD_LIBRARY_PATH=/usr/local/lib:
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202205111006.jar
+ VERSION=202205111006
+ echo 'Running Version 202205111006'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data @none -pnfolder /home/mcc/execution -examination LTLFireability -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=@none -Xss128m -Xms40m -Xmx8192m
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="StigmergyCommit-PT-09b"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is StigmergyCommit-PT-09b, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r294-smll-165463872600212"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/StigmergyCommit-PT-09b.tgz
mv StigmergyCommit-PT-09b execution
cd execution
if [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "UpperBounds" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] || [ "LTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;