About the Execution of ITS-Tools for StigmergyCommit-PT-08b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16215.520 | 906526.00 | 1369747.00 | 38882.20 | TT?TF??T????T?T? | 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-165463872600195.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-08b, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r294-smll-165463872600195
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 39M
-rw-r--r-- 1 mcc users 6.8K May 30 15:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 71K May 30 15:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.0K May 30 15:00 CTLFireability.txt
-rw-r--r-- 1 mcc users 64K May 30 15:00 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K May 25 13:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K 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 13K May 30 15:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 132K May 30 15:02 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K May 30 15:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 96K May 30 15:02 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 38M 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-08b-LTLCardinality-00
FORMULA_NAME StigmergyCommit-PT-08b-LTLCardinality-01
FORMULA_NAME StigmergyCommit-PT-08b-LTLCardinality-02
FORMULA_NAME StigmergyCommit-PT-08b-LTLCardinality-03
FORMULA_NAME StigmergyCommit-PT-08b-LTLCardinality-04
FORMULA_NAME StigmergyCommit-PT-08b-LTLCardinality-05
FORMULA_NAME StigmergyCommit-PT-08b-LTLCardinality-06
FORMULA_NAME StigmergyCommit-PT-08b-LTLCardinality-07
FORMULA_NAME StigmergyCommit-PT-08b-LTLCardinality-08
FORMULA_NAME StigmergyCommit-PT-08b-LTLCardinality-09
FORMULA_NAME StigmergyCommit-PT-08b-LTLCardinality-10
FORMULA_NAME StigmergyCommit-PT-08b-LTLCardinality-11
FORMULA_NAME StigmergyCommit-PT-08b-LTLCardinality-12
FORMULA_NAME StigmergyCommit-PT-08b-LTLCardinality-13
FORMULA_NAME StigmergyCommit-PT-08b-LTLCardinality-14
FORMULA_NAME StigmergyCommit-PT-08b-LTLCardinality-15
=== Now, execution of the tool begins
BK_START 1654802931162
Running Version 202205111006
[2022-06-09 19:28:53] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLCardinality, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2022-06-09 19:28:53] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-06-09 19:28:55] [INFO ] Load time of PNML (sax parser for PT used): 2468 ms
[2022-06-09 19:28:55] [INFO ] Transformed 2746 places.
[2022-06-09 19:28:56] [INFO ] Transformed 42776 transitions.
[2022-06-09 19:28:56] [INFO ] Found NUPN structural information;
[2022-06-09 19:28:56] [INFO ] Parsed PT model containing 2746 places and 42776 transitions in 2944 ms.
Parsed 16 properties from file /home/mcc/execution/LTLCardinality.xml in 19 ms.
Working with output stream class java.io.PrintStream
Initial state reduction rules removed 5 formulas.
FORMULA StigmergyCommit-PT-08b-LTLCardinality-00 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA StigmergyCommit-PT-08b-LTLCardinality-01 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA StigmergyCommit-PT-08b-LTLCardinality-03 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA StigmergyCommit-PT-08b-LTLCardinality-07 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA StigmergyCommit-PT-08b-LTLCardinality-12 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Support contains 32 out of 2746 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 2746/2746 places, 42776/42776 transitions.
Discarding 217 places :
Symmetric choice reduction at 0 with 217 rule applications. Total rules 217 place count 2529 transition count 42559
Iterating global reduction 0 with 217 rules applied. Total rules applied 434 place count 2529 transition count 42559
Discarding 133 places :
Symmetric choice reduction at 0 with 133 rule applications. Total rules 567 place count 2396 transition count 42426
Iterating global reduction 0 with 133 rules applied. Total rules applied 700 place count 2396 transition count 42426
Discarding 78 places :
Symmetric choice reduction at 0 with 78 rule applications. Total rules 778 place count 2318 transition count 42348
Iterating global reduction 0 with 78 rules applied. Total rules applied 856 place count 2318 transition count 42348
Discarding 70 places :
Symmetric choice reduction at 0 with 70 rule applications. Total rules 926 place count 2248 transition count 42278
Iterating global reduction 0 with 70 rules applied. Total rules applied 996 place count 2248 transition count 42278
Discarding 61 places :
Symmetric choice reduction at 0 with 61 rule applications. Total rules 1057 place count 2187 transition count 42217
Iterating global reduction 0 with 61 rules applied. Total rules applied 1118 place count 2187 transition count 42217
Discarding 60 places :
Symmetric choice reduction at 0 with 60 rule applications. Total rules 1178 place count 2127 transition count 42157
Iterating global reduction 0 with 60 rules applied. Total rules applied 1238 place count 2127 transition count 42157
Discarding 60 places :
Symmetric choice reduction at 0 with 60 rule applications. Total rules 1298 place count 2067 transition count 42097
Iterating global reduction 0 with 60 rules applied. Total rules applied 1358 place count 2067 transition count 42097
Discarding 60 places :
Symmetric choice reduction at 0 with 60 rule applications. Total rules 1418 place count 2007 transition count 42037
Iterating global reduction 0 with 60 rules applied. Total rules applied 1478 place count 2007 transition count 42037
Discarding 51 places :
Symmetric choice reduction at 0 with 51 rule applications. Total rules 1529 place count 1956 transition count 41986
Iterating global reduction 0 with 51 rules applied. Total rules applied 1580 place count 1956 transition count 41986
Discarding 41 places :
Symmetric choice reduction at 0 with 41 rule applications. Total rules 1621 place count 1915 transition count 41945
Iterating global reduction 0 with 41 rules applied. Total rules applied 1662 place count 1915 transition count 41945
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 0 with 8 rules applied. Total rules applied 1670 place count 1915 transition count 41937
Discarding 16 places :
Symmetric choice reduction at 1 with 16 rule applications. Total rules 1686 place count 1899 transition count 41921
Iterating global reduction 1 with 16 rules applied. Total rules applied 1702 place count 1899 transition count 41921
Discarding 15 places :
Symmetric choice reduction at 1 with 15 rule applications. Total rules 1717 place count 1884 transition count 41906
Iterating global reduction 1 with 15 rules applied. Total rules applied 1732 place count 1884 transition count 41906
Discarding 6 places :
Symmetric choice reduction at 1 with 6 rule applications. Total rules 1738 place count 1878 transition count 41900
Iterating global reduction 1 with 6 rules applied. Total rules applied 1744 place count 1878 transition count 41900
Discarding 6 places :
Symmetric choice reduction at 1 with 6 rule applications. Total rules 1750 place count 1872 transition count 41894
Iterating global reduction 1 with 6 rules applied. Total rules applied 1756 place count 1872 transition count 41894
Discarding 6 places :
Symmetric choice reduction at 1 with 6 rule applications. Total rules 1762 place count 1866 transition count 41888
Iterating global reduction 1 with 6 rules applied. Total rules applied 1768 place count 1866 transition count 41888
Discarding 6 places :
Symmetric choice reduction at 1 with 6 rule applications. Total rules 1774 place count 1860 transition count 41882
Iterating global reduction 1 with 6 rules applied. Total rules applied 1780 place count 1860 transition count 41882
Discarding 4 places :
Symmetric choice reduction at 1 with 4 rule applications. Total rules 1784 place count 1856 transition count 41878
Iterating global reduction 1 with 4 rules applied. Total rules applied 1788 place count 1856 transition count 41878
Discarding 3 places :
Symmetric choice reduction at 1 with 3 rule applications. Total rules 1791 place count 1853 transition count 41875
Iterating global reduction 1 with 3 rules applied. Total rules applied 1794 place count 1853 transition count 41875
Discarding 3 places :
Symmetric choice reduction at 1 with 3 rule applications. Total rules 1797 place count 1850 transition count 41872
Iterating global reduction 1 with 3 rules applied. Total rules applied 1800 place count 1850 transition count 41872
Discarding 3 places :
Symmetric choice reduction at 1 with 3 rule applications. Total rules 1803 place count 1847 transition count 41869
Iterating global reduction 1 with 3 rules applied. Total rules applied 1806 place count 1847 transition count 41869
Discarding 3 places :
Symmetric choice reduction at 1 with 3 rule applications. Total rules 1809 place count 1844 transition count 41866
Iterating global reduction 1 with 3 rules applied. Total rules applied 1812 place count 1844 transition count 41866
Discarding 2 places :
Symmetric choice reduction at 1 with 2 rule applications. Total rules 1814 place count 1842 transition count 41864
Iterating global reduction 1 with 2 rules applied. Total rules applied 1816 place count 1842 transition count 41864
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 1818 place count 1842 transition count 41862
Applied a total of 1818 rules in 18186 ms. Remains 1842 /2746 variables (removed 904) and now considering 41862/42776 (removed 914) transitions.
// Phase 1: matrix 41862 rows 1842 cols
[2022-06-09 19:29:16] [INFO ] Computed 10 place invariants in 1307 ms
[2022-06-09 19:29:33] [INFO ] Implicit Places using invariants in 18038 ms returned []
Implicit Place search using SMT only with invariants took 18091 ms to find 0 implicit places.
// Phase 1: matrix 41862 rows 1842 cols
[2022-06-09 19:29:34] [INFO ] Computed 10 place invariants in 1442 ms
[2022-06-09 19:30:05] [INFO ] Performed 29357/41862 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2022-06-09 19:30:15] [INFO ] Dead Transitions using invariants and state equation in 42472 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 1842/2746 places, 41862/42776 transitions.
Finished structural reductions, in 1 iterations. Remains : 1842/2746 places, 41862/42776 transitions.
Support contains 32 out of 1842 places after structural reductions.
[2022-06-09 19:30:22] [INFO ] Flatten gal took : 5402 ms
[2022-06-09 19:30:27] [INFO ] Flatten gal took : 5206 ms
[2022-06-09 19:30:37] [INFO ] Input system was already deterministic with 41862 transitions.
Support contains 30 out of 1842 places (down from 32) after GAL structural reductions.
Incomplete random walk after 10000 steps, including 61 resets, run finished after 1122 ms. (steps per millisecond=8 ) properties (out of 19) seen :7
Incomplete Best-First random walk after 10001 steps, including 7 resets, run finished after 114 ms. (steps per millisecond=87 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 7 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10000 steps, including 7 resets, run finished after 189 ms. (steps per millisecond=52 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 8 resets, run finished after 164 ms. (steps per millisecond=60 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 8 resets, run finished after 126 ms. (steps per millisecond=79 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 7 resets, run finished after 110 ms. (steps per millisecond=90 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 7 resets, run finished after 111 ms. (steps per millisecond=90 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 8 resets, run finished after 119 ms. (steps per millisecond=84 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 8 resets, run finished after 105 ms. (steps per millisecond=95 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 7 resets, run finished after 106 ms. (steps per millisecond=94 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 8 resets, run finished after 154 ms. (steps per millisecond=64 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 8 resets, run finished after 156 ms. (steps per millisecond=64 ) properties (out of 12) seen :0
Running SMT prover for 12 properties.
// Phase 1: matrix 41862 rows 1842 cols
[2022-06-09 19:30:42] [INFO ] Computed 10 place invariants in 1461 ms
[2022-06-09 19:30:43] [INFO ] After 1201ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:12
[2022-06-09 19:30:44] [INFO ] [Nat]Absence check using 10 positive place invariants in 27 ms returned sat
[2022-06-09 19:31:08] [INFO ] After 23474ms SMT Verify possible using state equation in natural domain returned unsat :2 sat :9
[2022-06-09 19:31:08] [INFO ] After 23572ms SMT Verify possible using trap constraints in natural domain returned unsat :2 sat :9
Attempting to minimize the solution found.
Minimization took 14 ms.
[2022-06-09 19:31:08] [INFO ] After 25147ms SMT Verify possible using all constraints in natural domain returned unsat :2 sat :9
Fused 12 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 17 out of 1842 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 1842/1842 places, 41862/41862 transitions.
Graph (trivial) has 1811 edges and 1842 vertex of which 153 / 1842 are part of one of the 27 SCC in 19 ms
Free SCC test removed 126 places
Drop transitions removed 170 transitions
Reduce isomorphic transitions removed 170 transitions.
Graph (complete) has 3730 edges and 1716 vertex of which 1707 are kept as prefixes of interest. Removing 9 places using SCC suffix rule.374 ms
Discarding 9 places :
Also discarding 0 output transitions
Drop transitions removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Drop transitions removed 1266 transitions
Trivial Post-agglo rules discarded 1266 transitions
Performed 1266 trivial Post agglomeration. Transition count delta: 1266
Iterating post reduction 0 with 1275 rules applied. Total rules applied 1277 place count 1707 transition count 40417
Reduce places removed 1266 places and 0 transitions.
Ensure Unique test removed 20 transitions
Reduce isomorphic transitions removed 20 transitions.
Drop transitions removed 11 transitions
Trivial Post-agglo rules discarded 11 transitions
Performed 11 trivial Post agglomeration. Transition count delta: 11
Iterating post reduction 1 with 1297 rules applied. Total rules applied 2574 place count 441 transition count 40386
Reduce places removed 11 places and 0 transitions.
Performed 6 Post agglomeration using F-continuation condition.Transition count delta: 6
Iterating post reduction 2 with 17 rules applied. Total rules applied 2591 place count 430 transition count 40380
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 3 with 6 rules applied. Total rules applied 2597 place count 424 transition count 40380
Performed 105 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 105 Pre rules applied. Total rules applied 2597 place count 424 transition count 40275
Deduced a syphon composed of 105 places in 30 ms
Reduce places removed 105 places and 0 transitions.
Iterating global reduction 4 with 210 rules applied. Total rules applied 2807 place count 319 transition count 40275
Discarding 2 places :
Symmetric choice reduction at 4 with 2 rule applications. Total rules 2809 place count 317 transition count 40273
Iterating global reduction 4 with 2 rules applied. Total rules applied 2811 place count 317 transition count 40273
Discarding 1 places :
Symmetric choice reduction at 4 with 1 rule applications. Total rules 2812 place count 316 transition count 40272
Iterating global reduction 4 with 1 rules applied. Total rules applied 2813 place count 316 transition count 40272
Performed 65 Post agglomeration using F-continuation condition.Transition count delta: 65
Deduced a syphon composed of 65 places in 19 ms
Reduce places removed 65 places and 0 transitions.
Iterating global reduction 4 with 130 rules applied. Total rules applied 2943 place count 251 transition count 40207
Drop transitions removed 1 transitions
Ensure Unique test removed 16 transitions
Reduce isomorphic transitions removed 17 transitions.
Iterating post reduction 4 with 17 rules applied. Total rules applied 2960 place count 251 transition count 40190
Discarding 51 places :
Symmetric choice reduction at 5 with 51 rule applications. Total rules 3011 place count 200 transition count 1798
Iterating global reduction 5 with 51 rules applied. Total rules applied 3062 place count 200 transition count 1798
Ensure Unique test removed 26 transitions
Reduce isomorphic transitions removed 26 transitions.
Iterating post reduction 5 with 26 rules applied. Total rules applied 3088 place count 200 transition count 1772
Discarding 21 places :
Symmetric choice reduction at 6 with 21 rule applications. Total rules 3109 place count 179 transition count 1751
Iterating global reduction 6 with 21 rules applied. Total rules applied 3130 place count 179 transition count 1751
Discarding 15 places :
Symmetric choice reduction at 6 with 15 rule applications. Total rules 3145 place count 164 transition count 1736
Iterating global reduction 6 with 15 rules applied. Total rules applied 3160 place count 164 transition count 1736
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 6 with 6 rules applied. Total rules applied 3166 place count 164 transition count 1730
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Deduced a syphon composed of 10 places in 1 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 7 with 20 rules applied. Total rules applied 3186 place count 154 transition count 1720
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 3187 place count 153 transition count 1719
Iterating global reduction 7 with 1 rules applied. Total rules applied 3188 place count 153 transition count 1719
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -10
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 7 with 6 rules applied. Total rules applied 3194 place count 150 transition count 1729
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 7 with 1 rules applied. Total rules applied 3195 place count 150 transition count 1728
Drop transitions removed 3 transitions
Redundant transition composition rules discarded 3 transitions
Iterating global reduction 8 with 3 rules applied. Total rules applied 3198 place count 150 transition count 1725
Free-agglomeration rule applied 51 times.
Iterating global reduction 8 with 51 rules applied. Total rules applied 3249 place count 150 transition count 1674
Reduce places removed 51 places and 0 transitions.
Iterating post reduction 8 with 51 rules applied. Total rules applied 3300 place count 99 transition count 1674
Renaming transitions due to excessive name length > 1024 char.
Discarding 9 places :
Symmetric choice reduction at 9 with 9 rule applications. Total rules 3309 place count 90 transition count 1665
Iterating global reduction 9 with 9 rules applied. Total rules applied 3318 place count 90 transition count 1665
Drop transitions removed 513 transitions
Redundant transition composition rules discarded 513 transitions
Iterating global reduction 9 with 513 rules applied. Total rules applied 3831 place count 90 transition count 1152
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -10
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 9 with 4 rules applied. Total rules applied 3835 place count 88 transition count 1162
Free-agglomeration rule (complex) applied 3 times.
Iterating global reduction 9 with 3 rules applied. Total rules applied 3838 place count 88 transition count 1159
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 9 with 3 rules applied. Total rules applied 3841 place count 85 transition count 1159
Partial Free-agglomeration rule applied 12 times.
Drop transitions removed 12 transitions
Iterating global reduction 10 with 12 rules applied. Total rules applied 3853 place count 85 transition count 1159
Drop transitions removed 7 transitions
Redundant transition composition rules discarded 7 transitions
Iterating global reduction 10 with 7 rules applied. Total rules applied 3860 place count 85 transition count 1152
Discarding 1 places :
Symmetric choice reduction at 10 with 1 rule applications. Total rules 3861 place count 84 transition count 1150
Iterating global reduction 10 with 1 rules applied. Total rules applied 3862 place count 84 transition count 1150
Applied a total of 3862 rules in 20008 ms. Remains 84 /1842 variables (removed 1758) and now considering 1150/41862 (removed 40712) transitions.
Finished structural reductions, in 1 iterations. Remains : 84/1842 places, 1150/41862 transitions.
Incomplete random walk after 10000 steps, including 319 resets, run finished after 733 ms. (steps per millisecond=13 ) properties (out of 10) seen :3
Incomplete Best-First random walk after 10001 steps, including 41 resets, run finished after 94 ms. (steps per millisecond=106 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 43 resets, run finished after 58 ms. (steps per millisecond=172 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 38 resets, run finished after 56 ms. (steps per millisecond=178 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 39 resets, run finished after 57 ms. (steps per millisecond=175 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 36 resets, run finished after 65 ms. (steps per millisecond=153 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 40 resets, run finished after 72 ms. (steps per millisecond=138 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 36 resets, run finished after 70 ms. (steps per millisecond=142 ) properties (out of 7) seen :0
Running SMT prover for 7 properties.
// Phase 1: matrix 1150 rows 84 cols
[2022-06-09 19:31:29] [INFO ] Computed 10 place invariants in 4 ms
[2022-06-09 19:31:29] [INFO ] After 59ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:7
[2022-06-09 19:31:29] [INFO ] [Nat]Absence check using 10 positive place invariants in 4 ms returned sat
[2022-06-09 19:31:30] [INFO ] After 688ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :7
[2022-06-09 19:31:30] [INFO ] State equation strengthened by 1083 read => feed constraints.
[2022-06-09 19:31:31] [INFO ] After 1106ms SMT Verify possible using 1083 Read/Feed constraints in natural domain returned unsat :0 sat :7
[2022-06-09 19:31:32] [INFO ] Deduced a trap composed of 13 places in 627 ms of which 6 ms to minimize.
[2022-06-09 19:31:32] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 769 ms
[2022-06-09 19:31:33] [INFO ] Deduced a trap composed of 9 places in 745 ms of which 2 ms to minimize.
[2022-06-09 19:31:34] [INFO ] Deduced a trap composed of 9 places in 599 ms of which 3 ms to minimize.
[2022-06-09 19:31:34] [INFO ] Deduced a trap composed of 10 places in 563 ms of which 4 ms to minimize.
[2022-06-09 19:31:35] [INFO ] Deduced a trap composed of 9 places in 501 ms of which 2 ms to minimize.
[2022-06-09 19:31:35] [INFO ] Deduced a trap composed of 12 places in 375 ms of which 1 ms to minimize.
[2022-06-09 19:31:36] [INFO ] Deduced a trap composed of 11 places in 375 ms of which 1 ms to minimize.
[2022-06-09 19:31:36] [INFO ] Deduced a trap composed of 9 places in 296 ms of which 2 ms to minimize.
[2022-06-09 19:31:36] [INFO ] Trap strengthening (SAT) tested/added 8/7 trap constraints in 4038 ms
[2022-06-09 19:31:37] [INFO ] After 6665ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :7
Attempting to minimize the solution found.
Minimization took 517 ms.
[2022-06-09 19:31:37] [INFO ] After 8105ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :7
Fused 7 Parikh solutions to 5 different solutions.
Finished Parikh walk after 73 steps, including 2 resets, run visited all 7 properties in 9 ms. (steps per millisecond=8 )
Parikh walk visited 7 properties in 15 ms.
Successfully simplified 2 atomic propositions for a total of 11 simplifications.
FORMULA StigmergyCommit-PT-08b-LTLCardinality-14 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Computed a total of 374 stabilizing places and 392 stable transitions
Running Spot : cd /home/mcc/execution;'/home/mcc/BenchKit/bin//..//ltl2tgba' '--check=stutter' '--hoaf=tv' '-f' '!(X(F(X(F(G(p0))))))'
Support contains 2 out of 1842 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 1842/1842 places, 41862/41862 transitions.
Graph (trivial) has 1840 edges and 1842 vertex of which 155 / 1842 are part of one of the 27 SCC in 7 ms
Free SCC test removed 128 places
Ensure Unique test removed 146 transitions
Reduce isomorphic transitions removed 146 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 1276 transitions
Trivial Post-agglo rules discarded 1276 transitions
Performed 1276 trivial Post agglomeration. Transition count delta: 1276
Iterating post reduction 0 with 1276 rules applied. Total rules applied 1277 place count 1713 transition count 40439
Reduce places removed 1276 places and 0 transitions.
Ensure Unique test removed 21 transitions
Reduce isomorphic transitions removed 21 transitions.
Drop transitions removed 12 transitions
Trivial Post-agglo rules discarded 12 transitions
Performed 12 trivial Post agglomeration. Transition count delta: 12
Iterating post reduction 1 with 1309 rules applied. Total rules applied 2586 place count 437 transition count 40406
Reduce places removed 12 places and 0 transitions.
Iterating post reduction 2 with 12 rules applied. Total rules applied 2598 place count 425 transition count 40406
Performed 95 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 95 Pre rules applied. Total rules applied 2598 place count 425 transition count 40311
Deduced a syphon composed of 95 places in 35 ms
Reduce places removed 95 places and 0 transitions.
Iterating global reduction 3 with 190 rules applied. Total rules applied 2788 place count 330 transition count 40311
Discarding 11 places :
Symmetric choice reduction at 3 with 11 rule applications. Total rules 2799 place count 319 transition count 40300
Iterating global reduction 3 with 11 rules applied. Total rules applied 2810 place count 319 transition count 40300
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 2812 place count 317 transition count 40298
Iterating global reduction 3 with 2 rules applied. Total rules applied 2814 place count 317 transition count 40298
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 2815 place count 316 transition count 40297
Iterating global reduction 3 with 1 rules applied. Total rules applied 2816 place count 316 transition count 40297
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 2817 place count 316 transition count 40296
Performed 71 Post agglomeration using F-continuation condition with reduction of 2 identical transitions.
Deduced a syphon composed of 71 places in 19 ms
Reduce places removed 71 places and 0 transitions.
Iterating global reduction 4 with 142 rules applied. Total rules applied 2959 place count 245 transition count 40223
Discarding 54 places :
Symmetric choice reduction at 4 with 54 rule applications. Total rules 3013 place count 191 transition count 1836
Iterating global reduction 4 with 54 rules applied. Total rules applied 3067 place count 191 transition count 1836
Ensure Unique test removed 27 transitions
Reduce isomorphic transitions removed 27 transitions.
Iterating post reduction 4 with 27 rules applied. Total rules applied 3094 place count 191 transition count 1809
Discarding 28 places :
Symmetric choice reduction at 5 with 28 rule applications. Total rules 3122 place count 163 transition count 1772
Iterating global reduction 5 with 28 rules applied. Total rules applied 3150 place count 163 transition count 1772
Discarding 27 places :
Symmetric choice reduction at 5 with 27 rule applications. Total rules 3177 place count 136 transition count 1737
Iterating global reduction 5 with 27 rules applied. Total rules applied 3204 place count 136 transition count 1737
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 5 with 10 rules applied. Total rules applied 3214 place count 136 transition count 1727
Performed 13 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 13 places in 0 ms
Reduce places removed 13 places and 0 transitions.
Iterating global reduction 6 with 26 rules applied. Total rules applied 3240 place count 123 transition count 1736
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 3241 place count 122 transition count 1716
Iterating global reduction 6 with 1 rules applied. Total rules applied 3242 place count 122 transition count 1716
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 3243 place count 122 transition count 1715
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 7 with 10 rules applied. Total rules applied 3253 place count 122 transition count 1705
Applied a total of 3253 rules in 16509 ms. Remains 122 /1842 variables (removed 1720) and now considering 1705/41862 (removed 40157) transitions.
[2022-06-09 19:31:55] [INFO ] Flow matrix only has 1695 transitions (discarded 10 similar events)
// Phase 1: matrix 1695 rows 122 cols
[2022-06-09 19:31:55] [INFO ] Computed 2 place invariants in 21 ms
[2022-06-09 19:31:56] [INFO ] Implicit Places using invariants in 769 ms returned []
[2022-06-09 19:31:56] [INFO ] Flow matrix only has 1695 transitions (discarded 10 similar events)
// Phase 1: matrix 1695 rows 122 cols
[2022-06-09 19:31:56] [INFO ] Computed 2 place invariants in 21 ms
[2022-06-09 19:31:57] [INFO ] State equation strengthened by 511 read => feed constraints.
[2022-06-09 19:32:00] [INFO ] Implicit Places using invariants and state equation in 3799 ms returned []
Implicit Place search using SMT with State Equation took 4574 ms to find 0 implicit places.
[2022-06-09 19:32:00] [INFO ] Redundant transitions in 404 ms returned []
[2022-06-09 19:32:00] [INFO ] Flow matrix only has 1695 transitions (discarded 10 similar events)
// Phase 1: matrix 1695 rows 122 cols
[2022-06-09 19:32:00] [INFO ] Computed 2 place invariants in 17 ms
[2022-06-09 19:32:01] [INFO ] Dead Transitions using invariants and state equation in 1573 ms found 0 transitions.
Starting structural reductions in SI_LTL mode, iteration 1 : 122/1842 places, 1705/41862 transitions.
Finished structural reductions, in 1 iterations. Remains : 122/1842 places, 1705/41862 transitions.
Stuttering acceptance computed with spot in 423 ms :[(NOT p0)]
Running random walk in product with property : StigmergyCommit-PT-08b-LTLCardinality-02 automaton TGBA Formula[mat=[[{ cond=p0, acceptance={} source=0 dest: 0}, { cond=(NOT p0), acceptance={0} source=0 dest: 0}]], initial=0, aps=[p0:(OR (EQ s22 0) (EQ s86 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, complete, deterministic, no-univ-branch, unambiguous, semi-deterministic, stutter-invariant], stateDesc=[null][true]]
Product exploration explored 100000 steps with 6245 reset in 1220 ms.
Product exploration explored 100000 steps with 6263 reset in 818 ms.
Computed a total of 6 stabilizing places and 26 stable transitions
Computed a total of 6 stabilizing places and 26 stable transitions
Knowledge obtained : [p0, (X p0), (X (X p0))]
False Knowledge obtained : []
Knowledge based reduction with 3 factoid took 197 ms. Reduced automaton from 1 states, 2 edges and 1 AP to 1 states, 2 edges and 1 AP.
Stuttering acceptance computed with spot in 50 ms :[(NOT p0)]
Incomplete random walk after 10000 steps, including 626 resets, run finished after 259 ms. (steps per millisecond=38 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10001 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 1) seen :0
Interrupted probabilistic random walk after 364802 steps, run timeout after 3001 ms. (steps per millisecond=121 ) properties seen :{}
Probabilistic random walk after 364802 steps, saw 94260 distinct states, run finished after 3002 ms. (steps per millisecond=121 ) properties seen :0
Running SMT prover for 1 properties.
[2022-06-09 19:32:08] [INFO ] Flow matrix only has 1695 transitions (discarded 10 similar events)
// Phase 1: matrix 1695 rows 122 cols
[2022-06-09 19:32:08] [INFO ] Computed 2 place invariants in 26 ms
[2022-06-09 19:32:08] [INFO ] After 45ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-09 19:32:08] [INFO ] [Nat]Absence check using 2 positive place invariants in 3 ms returned sat
[2022-06-09 19:32:09] [INFO ] After 806ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2022-06-09 19:32:09] [INFO ] State equation strengthened by 511 read => feed constraints.
[2022-06-09 19:32:11] [INFO ] After 2008ms SMT Verify possible using 511 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2022-06-09 19:32:12] [INFO ] Deduced a trap composed of 20 places in 1336 ms of which 1 ms to minimize.
[2022-06-09 19:32:14] [INFO ] Deduced a trap composed of 20 places in 1576 ms of which 1 ms to minimize.
[2022-06-09 19:32:15] [INFO ] Deduced a trap composed of 20 places in 1190 ms of which 2 ms to minimize.
[2022-06-09 19:32:16] [INFO ] Deduced a trap composed of 21 places in 1326 ms of which 1 ms to minimize.
[2022-06-09 19:32:18] [INFO ] Deduced a trap composed of 20 places in 1228 ms of which 1 ms to minimize.
[2022-06-09 19:32:19] [INFO ] Deduced a trap composed of 21 places in 1171 ms of which 0 ms to minimize.
[2022-06-09 19:32:20] [INFO ] Deduced a trap composed of 21 places in 1042 ms of which 1 ms to minimize.
[2022-06-09 19:32:21] [INFO ] Deduced a trap composed of 22 places in 1103 ms of which 2 ms to minimize.
[2022-06-09 19:32:23] [INFO ] Deduced a trap composed of 20 places in 1306 ms of which 1 ms to minimize.
[2022-06-09 19:32:24] [INFO ] Deduced a trap composed of 21 places in 1319 ms of which 1 ms to minimize.
[2022-06-09 19:32:25] [INFO ] Deduced a trap composed of 21 places in 1278 ms of which 1 ms to minimize.
[2022-06-09 19:32:27] [INFO ] Deduced a trap composed of 21 places in 1234 ms of which 1 ms to minimize.
[2022-06-09 19:32:28] [INFO ] Deduced a trap composed of 20 places in 1023 ms of which 1 ms to minimize.
[2022-06-09 19:32:29] [INFO ] Deduced a trap composed of 20 places in 881 ms of which 1 ms to minimize.
[2022-06-09 19:32:30] [INFO ] Deduced a trap composed of 24 places in 901 ms of which 0 ms to minimize.
[2022-06-09 19:32:31] [INFO ] Deduced a trap composed of 24 places in 1075 ms of which 1 ms to minimize.
[2022-06-09 19:32:32] [INFO ] Deduced a trap composed of 21 places in 1083 ms of which 1 ms to minimize.
[2022-06-09 19:32:33] [INFO ] Deduced a trap composed of 23 places in 1000 ms of which 1 ms to minimize.
[2022-06-09 19:32:33] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-06-09 19:32:33] [INFO ] After 25315ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0 real:1
Parikh walk visited 0 properties in 2 ms.
Support contains 2 out of 122 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 122/122 places, 1705/1705 transitions.
Graph (complete) has 970 edges and 122 vertex of which 121 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.6 ms
Discarding 1 places :
Also discarding 1 output transitions
Drop transitions removed 1 transitions
Drop transitions removed 19 transitions
Reduce isomorphic transitions removed 19 transitions.
Iterating post reduction 0 with 19 rules applied. Total rules applied 20 place count 121 transition count 1685
Performed 9 Post agglomeration using F-continuation condition.Transition count delta: 9
Deduced a syphon composed of 9 places in 0 ms
Reduce places removed 9 places and 0 transitions.
Iterating global reduction 1 with 18 rules applied. Total rules applied 38 place count 112 transition count 1676
Free-agglomeration rule applied 47 times.
Iterating global reduction 1 with 47 rules applied. Total rules applied 85 place count 112 transition count 1629
Reduce places removed 48 places and 0 transitions.
Drop transitions removed 2 transitions
Ensure Unique test removed 255 transitions
Reduce isomorphic transitions removed 257 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 315 rules applied. Total rules applied 400 place count 64 transition count 1362
Reduce places removed 10 places and 0 transitions.
Iterating post reduction 2 with 10 rules applied. Total rules applied 410 place count 54 transition count 1362
Renaming transitions due to excessive name length > 1024 char.
Discarding 9 places :
Symmetric choice reduction at 3 with 9 rule applications. Total rules 419 place count 45 transition count 1353
Iterating global reduction 3 with 9 rules applied. Total rules applied 428 place count 45 transition count 1353
Performed 18 Post agglomeration using F-continuation condition with reduction of 760 identical transitions.
Deduced a syphon composed of 18 places in 0 ms
Reduce places removed 18 places and 0 transitions.
Iterating global reduction 3 with 36 rules applied. Total rules applied 464 place count 27 transition count 575
Drop transitions removed 9 transitions
Ensure Unique test removed 35 transitions
Reduce isomorphic transitions removed 44 transitions.
Iterating post reduction 3 with 44 rules applied. Total rules applied 508 place count 27 transition count 531
Discarding 5 places :
Symmetric choice reduction at 4 with 5 rule applications. Total rules 513 place count 22 transition count 526
Iterating global reduction 4 with 5 rules applied. Total rules applied 518 place count 22 transition count 526
Performed 8 Post agglomeration using F-continuation condition with reduction of 494 identical transitions.
Deduced a syphon composed of 8 places in 0 ms
Ensure Unique test removed 6 places
Reduce places removed 14 places and 0 transitions.
Iterating global reduction 4 with 22 rules applied. Total rules applied 540 place count 8 transition count 24
Drop transitions removed 8 transitions
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 16 transitions.
Iterating post reduction 4 with 16 rules applied. Total rules applied 556 place count 8 transition count 8
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 558 place count 7 transition count 7
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 559 place count 7 transition count 6
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 6 with 1 rules applied. Total rules applied 560 place count 6 transition count 5
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 561 place count 5 transition count 5
Applied a total of 561 rules in 444 ms. Remains 5 /122 variables (removed 117) and now considering 5/1705 (removed 1700) transitions.
Finished structural reductions, in 1 iterations. Remains : 5/122 places, 5/1705 transitions.
Finished random walk after 2 steps, including 0 resets, run visited all 1 properties in 1 ms. (steps per millisecond=2 )
Knowledge obtained : [p0, (X p0), (X (X p0))]
False Knowledge obtained : [(F (NOT p0))]
Knowledge based reduction with 3 factoid took 248 ms. Reduced automaton from 1 states, 2 edges and 1 AP to 1 states, 2 edges and 1 AP.
Stuttering acceptance computed with spot in 40 ms :[(NOT p0)]
Stuttering acceptance computed with spot in 40 ms :[(NOT p0)]
Support contains 2 out of 122 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 122/122 places, 1705/1705 transitions.
Applied a total of 0 rules in 224 ms. Remains 122 /122 variables (removed 0) and now considering 1705/1705 (removed 0) transitions.
[2022-06-09 19:32:34] [INFO ] Flow matrix only has 1695 transitions (discarded 10 similar events)
// Phase 1: matrix 1695 rows 122 cols
[2022-06-09 19:32:34] [INFO ] Computed 2 place invariants in 16 ms
[2022-06-09 19:32:35] [INFO ] Implicit Places using invariants in 676 ms returned []
[2022-06-09 19:32:35] [INFO ] Flow matrix only has 1695 transitions (discarded 10 similar events)
// Phase 1: matrix 1695 rows 122 cols
[2022-06-09 19:32:35] [INFO ] Computed 2 place invariants in 16 ms
[2022-06-09 19:32:35] [INFO ] State equation strengthened by 511 read => feed constraints.
[2022-06-09 19:32:39] [INFO ] Implicit Places using invariants and state equation in 4525 ms returned []
Implicit Place search using SMT with State Equation took 5214 ms to find 0 implicit places.
[2022-06-09 19:32:39] [INFO ] Redundant transitions in 81 ms returned []
[2022-06-09 19:32:39] [INFO ] Flow matrix only has 1695 transitions (discarded 10 similar events)
// Phase 1: matrix 1695 rows 122 cols
[2022-06-09 19:32:39] [INFO ] Computed 2 place invariants in 26 ms
[2022-06-09 19:32:41] [INFO ] Dead Transitions using invariants and state equation in 1674 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 122/122 places, 1705/1705 transitions.
Computed a total of 6 stabilizing places and 26 stable transitions
Computed a total of 6 stabilizing places and 26 stable transitions
Knowledge obtained : [p0, (X p0), (X (X p0))]
False Knowledge obtained : []
Knowledge based reduction with 3 factoid took 128 ms. Reduced automaton from 1 states, 2 edges and 1 AP to 1 states, 2 edges and 1 AP.
Stuttering acceptance computed with spot in 42 ms :[(NOT p0)]
Incomplete random walk after 10000 steps, including 623 resets, run finished after 125 ms. (steps per millisecond=80 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10001 steps, including 47 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 1) seen :0
Interrupted probabilistic random walk after 355007 steps, run timeout after 3001 ms. (steps per millisecond=118 ) properties seen :{}
Probabilistic random walk after 355007 steps, saw 92285 distinct states, run finished after 3004 ms. (steps per millisecond=118 ) properties seen :0
Running SMT prover for 1 properties.
[2022-06-09 19:32:44] [INFO ] Flow matrix only has 1695 transitions (discarded 10 similar events)
// Phase 1: matrix 1695 rows 122 cols
[2022-06-09 19:32:44] [INFO ] Computed 2 place invariants in 17 ms
[2022-06-09 19:32:44] [INFO ] After 46ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-09 19:32:44] [INFO ] [Nat]Absence check using 2 positive place invariants in 2 ms returned sat
[2022-06-09 19:32:45] [INFO ] After 672ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2022-06-09 19:32:45] [INFO ] State equation strengthened by 511 read => feed constraints.
[2022-06-09 19:32:47] [INFO ] After 1575ms SMT Verify possible using 511 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2022-06-09 19:32:49] [INFO ] Deduced a trap composed of 20 places in 1686 ms of which 7 ms to minimize.
[2022-06-09 19:32:50] [INFO ] Deduced a trap composed of 20 places in 1281 ms of which 1 ms to minimize.
[2022-06-09 19:32:51] [INFO ] Deduced a trap composed of 20 places in 1349 ms of which 2 ms to minimize.
[2022-06-09 19:32:53] [INFO ] Deduced a trap composed of 21 places in 1081 ms of which 1 ms to minimize.
[2022-06-09 19:32:54] [INFO ] Deduced a trap composed of 20 places in 1257 ms of which 1 ms to minimize.
[2022-06-09 19:32:55] [INFO ] Deduced a trap composed of 21 places in 1073 ms of which 1 ms to minimize.
[2022-06-09 19:32:56] [INFO ] Deduced a trap composed of 21 places in 1126 ms of which 1 ms to minimize.
[2022-06-09 19:32:57] [INFO ] Deduced a trap composed of 22 places in 1174 ms of which 1 ms to minimize.
[2022-06-09 19:32:59] [INFO ] Deduced a trap composed of 20 places in 1336 ms of which 1 ms to minimize.
[2022-06-09 19:33:00] [INFO ] Deduced a trap composed of 21 places in 1369 ms of which 1 ms to minimize.
[2022-06-09 19:33:02] [INFO ] Deduced a trap composed of 21 places in 1318 ms of which 1 ms to minimize.
[2022-06-09 19:33:03] [INFO ] Deduced a trap composed of 21 places in 1138 ms of which 1 ms to minimize.
[2022-06-09 19:33:04] [INFO ] Deduced a trap composed of 20 places in 1035 ms of which 0 ms to minimize.
[2022-06-09 19:33:05] [INFO ] Deduced a trap composed of 20 places in 935 ms of which 0 ms to minimize.
[2022-06-09 19:33:06] [INFO ] Deduced a trap composed of 24 places in 930 ms of which 1 ms to minimize.
[2022-06-09 19:33:07] [INFO ] Deduced a trap composed of 24 places in 820 ms of which 0 ms to minimize.
[2022-06-09 19:33:08] [INFO ] Deduced a trap composed of 21 places in 944 ms of which 1 ms to minimize.
[2022-06-09 19:33:09] [INFO ] Deduced a trap composed of 23 places in 1109 ms of which 1 ms to minimize.
[2022-06-09 19:33:10] [INFO ] Deduced a trap composed of 23 places in 977 ms of which 1 ms to minimize.
[2022-06-09 19:33:10] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-06-09 19:33:10] [INFO ] After 25605ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0 real:1
Parikh walk visited 0 properties in 3 ms.
Support contains 2 out of 122 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 122/122 places, 1705/1705 transitions.
Graph (complete) has 970 edges and 122 vertex of which 121 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.5 ms
Discarding 1 places :
Also discarding 1 output transitions
Drop transitions removed 1 transitions
Drop transitions removed 19 transitions
Reduce isomorphic transitions removed 19 transitions.
Iterating post reduction 0 with 19 rules applied. Total rules applied 20 place count 121 transition count 1685
Performed 9 Post agglomeration using F-continuation condition.Transition count delta: 9
Deduced a syphon composed of 9 places in 0 ms
Reduce places removed 9 places and 0 transitions.
Iterating global reduction 1 with 18 rules applied. Total rules applied 38 place count 112 transition count 1676
Free-agglomeration rule applied 47 times.
Iterating global reduction 1 with 47 rules applied. Total rules applied 85 place count 112 transition count 1629
Reduce places removed 48 places and 0 transitions.
Drop transitions removed 2 transitions
Ensure Unique test removed 255 transitions
Reduce isomorphic transitions removed 257 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 315 rules applied. Total rules applied 400 place count 64 transition count 1362
Reduce places removed 10 places and 0 transitions.
Iterating post reduction 2 with 10 rules applied. Total rules applied 410 place count 54 transition count 1362
Renaming transitions due to excessive name length > 1024 char.
Discarding 9 places :
Symmetric choice reduction at 3 with 9 rule applications. Total rules 419 place count 45 transition count 1353
Iterating global reduction 3 with 9 rules applied. Total rules applied 428 place count 45 transition count 1353
Performed 18 Post agglomeration using F-continuation condition with reduction of 760 identical transitions.
Deduced a syphon composed of 18 places in 1 ms
Reduce places removed 18 places and 0 transitions.
Iterating global reduction 3 with 36 rules applied. Total rules applied 464 place count 27 transition count 575
Drop transitions removed 9 transitions
Ensure Unique test removed 35 transitions
Reduce isomorphic transitions removed 44 transitions.
Iterating post reduction 3 with 44 rules applied. Total rules applied 508 place count 27 transition count 531
Discarding 5 places :
Symmetric choice reduction at 4 with 5 rule applications. Total rules 513 place count 22 transition count 526
Iterating global reduction 4 with 5 rules applied. Total rules applied 518 place count 22 transition count 526
Performed 8 Post agglomeration using F-continuation condition with reduction of 494 identical transitions.
Deduced a syphon composed of 8 places in 0 ms
Ensure Unique test removed 6 places
Reduce places removed 14 places and 0 transitions.
Iterating global reduction 4 with 22 rules applied. Total rules applied 540 place count 8 transition count 24
Drop transitions removed 8 transitions
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 16 transitions.
Iterating post reduction 4 with 16 rules applied. Total rules applied 556 place count 8 transition count 8
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 558 place count 7 transition count 7
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 559 place count 7 transition count 6
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 6 with 1 rules applied. Total rules applied 560 place count 6 transition count 5
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 561 place count 5 transition count 5
Applied a total of 561 rules in 437 ms. Remains 5 /122 variables (removed 117) and now considering 5/1705 (removed 1700) transitions.
Finished structural reductions, in 1 iterations. Remains : 5/122 places, 5/1705 transitions.
Finished random walk after 16 steps, including 0 resets, run visited all 1 properties in 2 ms. (steps per millisecond=8 )
Knowledge obtained : [p0, (X p0), (X (X p0))]
False Knowledge obtained : [(F (NOT p0))]
Knowledge based reduction with 3 factoid took 208 ms. Reduced automaton from 1 states, 2 edges and 1 AP to 1 states, 2 edges and 1 AP.
Stuttering acceptance computed with spot in 33 ms :[(NOT p0)]
Stuttering acceptance computed with spot in 31 ms :[(NOT p0)]
Stuttering acceptance computed with spot in 31 ms :[(NOT p0)]
Product exploration explored 100000 steps with 6270 reset in 850 ms.
Product exploration explored 100000 steps with 6304 reset in 662 ms.
Built C files in :
/tmp/ltsmin14897239974783224735
[2022-06-09 19:33:12] [INFO ] Too many transitions (1705) to apply POR reductions. Disabling POR matrices.
[2022-06-09 19:33:12] [INFO ] Built C files in 84ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin14897239974783224735
Running compilation step : cd /tmp/ltsmin14897239974783224735;'/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/ltsmin14897239974783224735;'/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/ltsmin14897239974783224735;'/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 2 out of 122 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 122/122 places, 1705/1705 transitions.
Applied a total of 0 rules in 172 ms. Remains 122 /122 variables (removed 0) and now considering 1705/1705 (removed 0) transitions.
[2022-06-09 19:33:16] [INFO ] Flow matrix only has 1695 transitions (discarded 10 similar events)
// Phase 1: matrix 1695 rows 122 cols
[2022-06-09 19:33:16] [INFO ] Computed 2 place invariants in 17 ms
[2022-06-09 19:33:16] [INFO ] Implicit Places using invariants in 643 ms returned []
[2022-06-09 19:33:16] [INFO ] Flow matrix only has 1695 transitions (discarded 10 similar events)
// Phase 1: matrix 1695 rows 122 cols
[2022-06-09 19:33:16] [INFO ] Computed 2 place invariants in 16 ms
[2022-06-09 19:33:17] [INFO ] State equation strengthened by 511 read => feed constraints.
[2022-06-09 19:33:19] [INFO ] Implicit Places using invariants and state equation in 3128 ms returned []
Implicit Place search using SMT with State Equation took 3782 ms to find 0 implicit places.
[2022-06-09 19:33:20] [INFO ] Redundant transitions in 190 ms returned []
[2022-06-09 19:33:20] [INFO ] Flow matrix only has 1695 transitions (discarded 10 similar events)
// Phase 1: matrix 1695 rows 122 cols
[2022-06-09 19:33:20] [INFO ] Computed 2 place invariants in 42 ms
[2022-06-09 19:33:21] [INFO ] Dead Transitions using invariants and state equation in 1059 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 122/122 places, 1705/1705 transitions.
Built C files in :
/tmp/ltsmin6898754023808482419
[2022-06-09 19:33:21] [INFO ] Too many transitions (1705) to apply POR reductions. Disabling POR matrices.
[2022-06-09 19:33:21] [INFO ] Built C files in 40ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin6898754023808482419
Running compilation step : cd /tmp/ltsmin6898754023808482419;'/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/ltsmin6898754023808482419;'/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/ltsmin6898754023808482419;'/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 19:33:29] [INFO ] Flatten gal took : 277 ms
[2022-06-09 19:33:30] [INFO ] Flatten gal took : 375 ms
[2022-06-09 19:33:30] [INFO ] Time to serialize gal into /tmp/LTL10366165341113582405.gal : 107 ms
[2022-06-09 19:33:30] [INFO ] Time to serialize properties into /tmp/LTL8837750004558918684.ltl : 1 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/LTL10366165341113582405.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL8837750004558918684.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/LTL1036616...267
Read 1 LTL properties
Checking formula 0 : !((X(F(X(F(G("((p503==0)||(p1910==1))")))))))
Formula 0 simplified : !XFXFG"((p503==0)||(p1910==1))"
Detected timeout of ITS tools.
[2022-06-09 19:33:45] [INFO ] Flatten gal took : 347 ms
[2022-06-09 19:33:45] [INFO ] Applying decomposition
[2022-06-09 19:33:46] [INFO ] Flatten gal took : 348 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/graph7390104068666441804.txt' '-o' '/tmp/graph7390104068666441804.bin' '-w' '/tmp/graph7390104068666441804.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph7390104068666441804.bin' '-l' '-1' '-v' '-w' '/tmp/graph7390104068666441804.weights' '-q' '0' '-e' '0.001'
[2022-06-09 19:33:46] [INFO ] Decomposing Gal with order
[2022-06-09 19:33:46] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-09 19:33:47] [INFO ] Removed a total of 13926 redundant transitions.
[2022-06-09 19:33:47] [INFO ] Flatten gal took : 939 ms
[2022-06-09 19:33:48] [INFO ] Fuse similar labels procedure discarded/fused a total of 76 labels/synchronizations in 157 ms.
[2022-06-09 19:33:48] [INFO ] Time to serialize gal into /tmp/LTL1458820349749363397.gal : 16 ms
[2022-06-09 19:33:48] [INFO ] Time to serialize properties into /tmp/LTL4051927536926077020.ltl : 1 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/LTL1458820349749363397.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL4051927536926077020.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/LTL1458820...245
Read 1 LTL properties
Checking formula 0 : !((X(F(X(F(G("((i4.u6.p503==0)||(i0.u22.p1910==1))")))))))
Formula 0 simplified : !XFXFG"((i4.u6.p503==0)||(i0.u22.p1910==1))"
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin8422981446836973044
[2022-06-09 19:34:03] [INFO ] Built C files in 43ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin8422981446836973044
Running compilation step : cd /tmp/ltsmin8422981446836973044;'/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/ltsmin8422981446836973044;'/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/ltsmin8422981446836973044;'/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-08b-LTLCardinality-02 finished in 147497 ms.
Running Spot : cd /home/mcc/execution;'/home/mcc/BenchKit/bin//..//ltl2tgba' '--check=stutter' '--hoaf=tv' '-f' '!(F(p0))'
Support contains 1 out of 1842 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 1842/1842 places, 41862/41862 transitions.
Graph (trivial) has 1840 edges and 1842 vertex of which 153 / 1842 are part of one of the 27 SCC in 4 ms
Free SCC test removed 126 places
Ensure Unique test removed 143 transitions
Reduce isomorphic transitions removed 143 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 1277 transitions
Trivial Post-agglo rules discarded 1277 transitions
Performed 1277 trivial Post agglomeration. Transition count delta: 1277
Iterating post reduction 0 with 1277 rules applied. Total rules applied 1278 place count 1715 transition count 40441
Reduce places removed 1277 places and 0 transitions.
Ensure Unique test removed 21 transitions
Reduce isomorphic transitions removed 21 transitions.
Drop transitions removed 12 transitions
Trivial Post-agglo rules discarded 12 transitions
Performed 12 trivial Post agglomeration. Transition count delta: 12
Iterating post reduction 1 with 1310 rules applied. Total rules applied 2588 place count 438 transition count 40408
Reduce places removed 12 places and 0 transitions.
Iterating post reduction 2 with 12 rules applied. Total rules applied 2600 place count 426 transition count 40408
Performed 96 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 96 Pre rules applied. Total rules applied 2600 place count 426 transition count 40312
Deduced a syphon composed of 96 places in 36 ms
Reduce places removed 96 places and 0 transitions.
Iterating global reduction 3 with 192 rules applied. Total rules applied 2792 place count 330 transition count 40312
Discarding 12 places :
Symmetric choice reduction at 3 with 12 rule applications. Total rules 2804 place count 318 transition count 40300
Iterating global reduction 3 with 12 rules applied. Total rules applied 2816 place count 318 transition count 40300
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 2819 place count 315 transition count 40297
Iterating global reduction 3 with 3 rules applied. Total rules applied 2822 place count 315 transition count 40297
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 2824 place count 313 transition count 40295
Iterating global reduction 3 with 2 rules applied. Total rules applied 2826 place count 313 transition count 40295
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 3 with 2 rules applied. Total rules applied 2828 place count 313 transition count 40293
Performed 70 Post agglomeration using F-continuation condition with reduction of 2 identical transitions.
Deduced a syphon composed of 70 places in 25 ms
Reduce places removed 70 places and 0 transitions.
Iterating global reduction 4 with 140 rules applied. Total rules applied 2968 place count 243 transition count 40221
Discarding 53 places :
Symmetric choice reduction at 4 with 53 rule applications. Total rules 3021 place count 190 transition count 1836
Iterating global reduction 4 with 53 rules applied. Total rules applied 3074 place count 190 transition count 1836
Ensure Unique test removed 27 transitions
Reduce isomorphic transitions removed 27 transitions.
Iterating post reduction 4 with 27 rules applied. Total rules applied 3101 place count 190 transition count 1809
Discarding 27 places :
Symmetric choice reduction at 5 with 27 rule applications. Total rules 3128 place count 163 transition count 1774
Iterating global reduction 5 with 27 rules applied. Total rules applied 3155 place count 163 transition count 1774
Discarding 27 places :
Symmetric choice reduction at 5 with 27 rule applications. Total rules 3182 place count 136 transition count 1739
Iterating global reduction 5 with 27 rules applied. Total rules applied 3209 place count 136 transition count 1739
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 5 with 10 rules applied. Total rules applied 3219 place count 136 transition count 1729
Performed 14 Post agglomeration using F-continuation condition.Transition count delta: -7
Deduced a syphon composed of 14 places in 1 ms
Reduce places removed 14 places and 0 transitions.
Iterating global reduction 6 with 28 rules applied. Total rules applied 3247 place count 122 transition count 1736
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 3248 place count 121 transition count 1716
Iterating global reduction 6 with 1 rules applied. Total rules applied 3249 place count 121 transition count 1716
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 3250 place count 121 transition count 1715
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 7 with 10 rules applied. Total rules applied 3260 place count 121 transition count 1705
Applied a total of 3260 rules in 16751 ms. Remains 121 /1842 variables (removed 1721) and now considering 1705/41862 (removed 40157) transitions.
[2022-06-09 19:34:23] [INFO ] Flow matrix only has 1694 transitions (discarded 11 similar events)
// Phase 1: matrix 1694 rows 121 cols
[2022-06-09 19:34:23] [INFO ] Computed 2 place invariants in 22 ms
[2022-06-09 19:34:23] [INFO ] Implicit Places using invariants in 870 ms returned []
[2022-06-09 19:34:23] [INFO ] Flow matrix only has 1694 transitions (discarded 11 similar events)
// Phase 1: matrix 1694 rows 121 cols
[2022-06-09 19:34:24] [INFO ] Computed 2 place invariants in 37 ms
[2022-06-09 19:34:24] [INFO ] State equation strengthened by 511 read => feed constraints.
[2022-06-09 19:34:29] [INFO ] Implicit Places using invariants and state equation in 5263 ms returned []
Implicit Place search using SMT with State Equation took 6143 ms to find 0 implicit places.
[2022-06-09 19:34:29] [INFO ] Redundant transitions in 55 ms returned []
[2022-06-09 19:34:29] [INFO ] Flow matrix only has 1694 transitions (discarded 11 similar events)
// Phase 1: matrix 1694 rows 121 cols
[2022-06-09 19:34:29] [INFO ] Computed 2 place invariants in 37 ms
[2022-06-09 19:34:30] [INFO ] Dead Transitions using invariants and state equation in 1389 ms found 0 transitions.
Starting structural reductions in SI_LTL mode, iteration 1 : 121/1842 places, 1705/41862 transitions.
Finished structural reductions, in 1 iterations. Remains : 121/1842 places, 1705/41862 transitions.
Stuttering acceptance computed with spot in 41 ms :[(NOT p0)]
Running random walk in product with property : StigmergyCommit-PT-08b-LTLCardinality-04 automaton TGBA Formula[mat=[[{ cond=(NOT p0), acceptance={0} source=0 dest: 0}]], initial=0, aps=[p0:(EQ s31 1)], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, colored, deterministic, no-univ-branch, unambiguous, semi-deterministic, stutter-invariant, very-weak, weak, inherently-weak], stateDesc=[null][true]]
Stuttering criterion allowed to conclude after 14 steps with 0 reset in 0 ms.
FORMULA StigmergyCommit-PT-08b-LTLCardinality-04 FALSE TECHNIQUES STUTTER_TEST
Treatment of property StigmergyCommit-PT-08b-LTLCardinality-04 finished in 24442 ms.
Running Spot : cd /home/mcc/execution;'/home/mcc/BenchKit/bin//..//ltl2tgba' '--check=stutter' '--hoaf=tv' '-f' '!(G(X((X(F(X(F(X(p0)))))||p1))))'
Support contains 5 out of 1842 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 1842/1842 places, 41862/41862 transitions.
Discarding 12 places :
Symmetric choice reduction at 0 with 12 rule applications. Total rules 12 place count 1830 transition count 41850
Iterating global reduction 0 with 12 rules applied. Total rules applied 24 place count 1830 transition count 41850
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 26 place count 1830 transition count 41848
Discarding 9 places :
Symmetric choice reduction at 1 with 9 rule applications. Total rules 35 place count 1821 transition count 41839
Iterating global reduction 1 with 9 rules applied. Total rules applied 44 place count 1821 transition count 41839
Discarding 7 places :
Symmetric choice reduction at 1 with 7 rule applications. Total rules 51 place count 1814 transition count 41832
Iterating global reduction 1 with 7 rules applied. Total rules applied 58 place count 1814 transition count 41832
Discarding 7 places :
Symmetric choice reduction at 1 with 7 rule applications. Total rules 65 place count 1807 transition count 41825
Iterating global reduction 1 with 7 rules applied. Total rules applied 72 place count 1807 transition count 41825
Discarding 7 places :
Symmetric choice reduction at 1 with 7 rule applications. Total rules 79 place count 1800 transition count 41818
Iterating global reduction 1 with 7 rules applied. Total rules applied 86 place count 1800 transition count 41818
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 87 place count 1800 transition count 41817
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 92 place count 1795 transition count 41812
Iterating global reduction 2 with 5 rules applied. Total rules applied 97 place count 1795 transition count 41812
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 99 place count 1795 transition count 41810
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 102 place count 1792 transition count 41807
Iterating global reduction 3 with 3 rules applied. Total rules applied 105 place count 1792 transition count 41807
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 108 place count 1789 transition count 41804
Iterating global reduction 3 with 3 rules applied. Total rules applied 111 place count 1789 transition count 41804
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 114 place count 1786 transition count 41801
Iterating global reduction 3 with 3 rules applied. Total rules applied 117 place count 1786 transition count 41801
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 120 place count 1783 transition count 41798
Iterating global reduction 3 with 3 rules applied. Total rules applied 123 place count 1783 transition count 41798
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 126 place count 1780 transition count 41795
Iterating global reduction 3 with 3 rules applied. Total rules applied 129 place count 1780 transition count 41795
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 130 place count 1780 transition count 41794
Discarding 2 places :
Symmetric choice reduction at 4 with 2 rule applications. Total rules 132 place count 1778 transition count 41792
Iterating global reduction 4 with 2 rules applied. Total rules applied 134 place count 1778 transition count 41792
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 4 with 1 rules applied. Total rules applied 135 place count 1778 transition count 41791
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 136 place count 1777 transition count 41790
Iterating global reduction 5 with 1 rules applied. Total rules applied 137 place count 1777 transition count 41790
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 138 place count 1776 transition count 41789
Iterating global reduction 5 with 1 rules applied. Total rules applied 139 place count 1776 transition count 41789
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 140 place count 1775 transition count 41788
Iterating global reduction 5 with 1 rules applied. Total rules applied 141 place count 1775 transition count 41788
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 142 place count 1774 transition count 41787
Iterating global reduction 5 with 1 rules applied. Total rules applied 143 place count 1774 transition count 41787
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 144 place count 1773 transition count 41786
Iterating global reduction 5 with 1 rules applied. Total rules applied 145 place count 1773 transition count 41786
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 146 place count 1772 transition count 41785
Iterating global reduction 5 with 1 rules applied. Total rules applied 147 place count 1772 transition count 41785
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 148 place count 1771 transition count 41784
Iterating global reduction 5 with 1 rules applied. Total rules applied 149 place count 1771 transition count 41784
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 150 place count 1770 transition count 41783
Iterating global reduction 5 with 1 rules applied. Total rules applied 151 place count 1770 transition count 41783
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 152 place count 1770 transition count 41782
Applied a total of 152 rules in 13459 ms. Remains 1770 /1842 variables (removed 72) and now considering 41782/41862 (removed 80) transitions.
// Phase 1: matrix 41782 rows 1770 cols
[2022-06-09 19:34:45] [INFO ] Computed 10 place invariants in 1239 ms
[2022-06-09 19:35:01] [INFO ] Implicit Places using invariants in 17488 ms returned []
Implicit Place search using SMT only with invariants took 17492 ms to find 0 implicit places.
// Phase 1: matrix 41782 rows 1770 cols
[2022-06-09 19:35:03] [INFO ] Computed 10 place invariants in 1296 ms
[2022-06-09 19:35:33] [INFO ] Performed 31052/41782 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2022-06-09 19:35:44] [INFO ] Dead Transitions using invariants and state equation in 43081 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 1770/1842 places, 41782/41862 transitions.
Finished structural reductions, in 1 iterations. Remains : 1770/1842 places, 41782/41862 transitions.
Stuttering acceptance computed with spot in 340 ms :[(AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0)), (NOT p0), (NOT p0), (NOT p0)]
Running random walk in product with property : StigmergyCommit-PT-08b-LTLCardinality-05 automaton TGBA Formula[mat=[[{ cond=true, acceptance={} source=0 dest: 1}], [{ cond=true, acceptance={} source=1 dest: 1}, { cond=(NOT p1), acceptance={} source=1 dest: 2}], [{ cond=true, acceptance={} source=2 dest: 3}], [{ cond=true, acceptance={} source=3 dest: 4}], [{ cond=(NOT p0), acceptance={0} source=4 dest: 4}]], initial=0, aps=[p1:(AND (EQ s361 0) (EQ s1396 1) (EQ s1283 0) (EQ s996 1)), p0:(EQ s911 0)], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, stutter-sensitive, very-weak, weak, inherently-weak], stateDesc=[null, null, null, null, null][false, false, false, false, false]]
Product exploration explored 100000 steps with 16629 reset in 3062 ms.
Product exploration explored 100000 steps with 16666 reset in 2796 ms.
Computed a total of 369 stabilizing places and 387 stable transitions
Computed a total of 369 stabilizing places and 387 stable transitions
Knowledge obtained : [(AND (NOT p1) p0), (X (NOT p1)), true, (X (X (NOT p1)))]
False Knowledge obtained : []
Knowledge based reduction with 4 factoid took 166 ms. Reduced automaton from 5 states, 6 edges and 2 AP to 5 states, 6 edges and 2 AP.
Stuttering acceptance computed with spot in 169 ms :[(AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0)), (NOT p0), (NOT p0), (NOT p0)]
Incomplete random walk after 10000 steps, including 61 resets, run finished after 389 ms. (steps per millisecond=25 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 10001 steps, including 8 resets, run finished after 50 ms. (steps per millisecond=200 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 10001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=196 ) properties (out of 2) seen :0
Interrupted probabilistic random walk after 18906 steps, run timeout after 3001 ms. (steps per millisecond=6 ) properties seen :{}
Probabilistic random walk after 18906 steps, saw 9754 distinct states, run finished after 3001 ms. (steps per millisecond=6 ) properties seen :0
Running SMT prover for 2 properties.
// Phase 1: matrix 41782 rows 1770 cols
[2022-06-09 19:35:57] [INFO ] Computed 10 place invariants in 1129 ms
[2022-06-09 19:35:57] [INFO ] [Real]Absence check using 10 positive place invariants in 19 ms returned sat
[2022-06-09 19:35:57] [INFO ] After 369ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:2
[2022-06-09 19:35:58] [INFO ] [Nat]Absence check using 10 positive place invariants in 28 ms returned sat
[2022-06-09 19:36:22] [INFO ] After 24429ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :2
[2022-06-09 19:36:22] [INFO ] After 24469ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :2
Attempting to minimize the solution found.
Minimization took 15 ms.
[2022-06-09 19:36:23] [INFO ] After 25084ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :2
Fused 2 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 5 out of 1770 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 1770/1770 places, 41782/41782 transitions.
Graph (trivial) has 1759 edges and 1770 vertex of which 153 / 1770 are part of one of the 27 SCC in 3 ms
Free SCC test removed 126 places
Drop transitions removed 171 transitions
Reduce isomorphic transitions removed 171 transitions.
Graph (complete) has 3635 edges and 1644 vertex of which 1635 are kept as prefixes of interest. Removing 9 places using SCC suffix rule.113 ms
Discarding 9 places :
Also discarding 0 output transitions
Drop transitions removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Drop transitions removed 1232 transitions
Trivial Post-agglo rules discarded 1232 transitions
Performed 1232 trivial Post agglomeration. Transition count delta: 1232
Iterating post reduction 0 with 1241 rules applied. Total rules applied 1243 place count 1635 transition count 40370
Reduce places removed 1232 places and 0 transitions.
Ensure Unique test removed 17 transitions
Reduce isomorphic transitions removed 17 transitions.
Drop transitions removed 9 transitions
Trivial Post-agglo rules discarded 9 transitions
Performed 9 trivial Post agglomeration. Transition count delta: 9
Iterating post reduction 1 with 1258 rules applied. Total rules applied 2501 place count 403 transition count 40344
Reduce places removed 9 places and 0 transitions.
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Iterating post reduction 2 with 12 rules applied. Total rules applied 2513 place count 394 transition count 40341
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 3 with 3 rules applied. Total rules applied 2516 place count 391 transition count 40341
Performed 99 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 99 Pre rules applied. Total rules applied 2516 place count 391 transition count 40242
Deduced a syphon composed of 99 places in 39 ms
Reduce places removed 99 places and 0 transitions.
Iterating global reduction 4 with 198 rules applied. Total rules applied 2714 place count 292 transition count 40242
Performed 65 Post agglomeration using F-continuation condition.Transition count delta: 65
Deduced a syphon composed of 65 places in 20 ms
Reduce places removed 65 places and 0 transitions.
Iterating global reduction 4 with 130 rules applied. Total rules applied 2844 place count 227 transition count 40177
Drop transitions removed 1 transitions
Ensure Unique test removed 18 transitions
Reduce isomorphic transitions removed 19 transitions.
Iterating post reduction 4 with 19 rules applied. Total rules applied 2863 place count 227 transition count 40158
Discarding 54 places :
Symmetric choice reduction at 5 with 54 rule applications. Total rules 2917 place count 173 transition count 1763
Iterating global reduction 5 with 54 rules applied. Total rules applied 2971 place count 173 transition count 1763
Ensure Unique test removed 27 transitions
Reduce isomorphic transitions removed 27 transitions.
Iterating post reduction 5 with 27 rules applied. Total rules applied 2998 place count 173 transition count 1736
Discarding 25 places :
Symmetric choice reduction at 6 with 25 rule applications. Total rules 3023 place count 148 transition count 1711
Iterating global reduction 6 with 25 rules applied. Total rules applied 3048 place count 148 transition count 1711
Discarding 17 places :
Symmetric choice reduction at 6 with 17 rule applications. Total rules 3065 place count 131 transition count 1694
Iterating global reduction 6 with 17 rules applied. Total rules applied 3082 place count 131 transition count 1694
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 6 with 8 rules applied. Total rules applied 3090 place count 131 transition count 1686
Performed 9 Post agglomeration using F-continuation condition.Transition count delta: 9
Deduced a syphon composed of 9 places in 0 ms
Reduce places removed 9 places and 0 transitions.
Iterating global reduction 7 with 18 rules applied. Total rules applied 3108 place count 122 transition count 1677
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -15
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 7 with 6 rules applied. Total rules applied 3114 place count 119 transition count 1692
Free-agglomeration rule applied 47 times.
Iterating global reduction 7 with 47 rules applied. Total rules applied 3161 place count 119 transition count 1645
Reduce places removed 47 places and 0 transitions.
Drop transitions removed 1 transitions
Ensure Unique test removed 64 transitions
Reduce isomorphic transitions removed 65 transitions.
Iterating post reduction 7 with 112 rules applied. Total rules applied 3273 place count 72 transition count 1580
Renaming transitions due to excessive name length > 1024 char.
Discarding 9 places :
Symmetric choice reduction at 8 with 9 rule applications. Total rules 3282 place count 63 transition count 1571
Iterating global reduction 8 with 9 rules applied. Total rules applied 3291 place count 63 transition count 1571
Drop transitions removed 577 transitions
Redundant transition composition rules discarded 577 transitions
Iterating global reduction 8 with 577 rules applied. Total rules applied 3868 place count 63 transition count 994
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 8 with 2 rules applied. Total rules applied 3870 place count 62 transition count 993
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 8 with 4 rules applied. Total rules applied 3874 place count 60 transition count 1011
Free-agglomeration rule (complex) applied 5 times.
Iterating global reduction 8 with 5 rules applied. Total rules applied 3879 place count 60 transition count 1006
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 8 with 5 rules applied. Total rules applied 3884 place count 55 transition count 1006
Partial Free-agglomeration rule applied 7 times.
Drop transitions removed 7 transitions
Iterating global reduction 9 with 7 rules applied. Total rules applied 3891 place count 55 transition count 1006
Drop transitions removed 6 transitions
Redundant transition composition rules discarded 6 transitions
Iterating global reduction 9 with 6 rules applied. Total rules applied 3897 place count 55 transition count 1000
Discarding 4 places :
Symmetric choice reduction at 9 with 4 rule applications. Total rules 3901 place count 51 transition count 992
Iterating global reduction 9 with 4 rules applied. Total rules applied 3905 place count 51 transition count 992
Applied a total of 3905 rules in 15139 ms. Remains 51 /1770 variables (removed 1719) and now considering 992/41782 (removed 40790) transitions.
Finished structural reductions, in 1 iterations. Remains : 51/1770 places, 992/41782 transitions.
Finished random walk after 1435 steps, including 55 resets, run visited all 2 properties in 30 ms. (steps per millisecond=47 )
Knowledge obtained : [(AND (NOT p1) p0), (X (NOT p1)), true, (X (X (NOT p1)))]
False Knowledge obtained : [(F p1), (F (NOT p0))]
Knowledge based reduction with 4 factoid took 220 ms. Reduced automaton from 5 states, 6 edges and 2 AP to 5 states, 6 edges and 2 AP.
Stuttering acceptance computed with spot in 233 ms :[(AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0)), (NOT p0), (NOT p0), (NOT p0)]
Stuttering acceptance computed with spot in 247 ms :[(AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0)), (NOT p0), (NOT p0), (NOT p0)]
Support contains 5 out of 1770 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 1770/1770 places, 41782/41782 transitions.
Applied a total of 0 rules in 721 ms. Remains 1770 /1770 variables (removed 0) and now considering 41782/41782 (removed 0) transitions.
// Phase 1: matrix 41782 rows 1770 cols
[2022-06-09 19:36:41] [INFO ] Computed 10 place invariants in 1358 ms
[2022-06-09 19:36:59] [INFO ] Implicit Places using invariants in 19716 ms returned []
Implicit Place search using SMT only with invariants took 19719 ms to find 0 implicit places.
// Phase 1: matrix 41782 rows 1770 cols
[2022-06-09 19:37:00] [INFO ] Computed 10 place invariants in 1217 ms
[2022-06-09 19:37:30] [INFO ] Performed 31508/41782 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2022-06-09 19:37:42] [INFO ] Dead Transitions using invariants and state equation in 43450 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 1770/1770 places, 41782/41782 transitions.
Computed a total of 369 stabilizing places and 387 stable transitions
Computed a total of 369 stabilizing places and 387 stable transitions
Knowledge obtained : [(AND (NOT p1) p0), (X (NOT p1)), true, (X (X (NOT p1)))]
False Knowledge obtained : []
Knowledge based reduction with 4 factoid took 171 ms. Reduced automaton from 5 states, 6 edges and 2 AP to 5 states, 6 edges and 2 AP.
Stuttering acceptance computed with spot in 169 ms :[(AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0)), (NOT p0), (NOT p0), (NOT p0)]
Incomplete random walk after 10000 steps, including 61 resets, run finished after 474 ms. (steps per millisecond=21 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 10001 steps, including 8 resets, run finished after 61 ms. (steps per millisecond=163 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 10001 steps, including 7 resets, run finished after 57 ms. (steps per millisecond=175 ) properties (out of 2) seen :0
Interrupted probabilistic random walk after 18339 steps, run timeout after 3001 ms. (steps per millisecond=6 ) properties seen :{}
Probabilistic random walk after 18339 steps, saw 9609 distinct states, run finished after 3001 ms. (steps per millisecond=6 ) properties seen :0
Running SMT prover for 2 properties.
// Phase 1: matrix 41782 rows 1770 cols
[2022-06-09 19:37:49] [INFO ] Computed 10 place invariants in 1030 ms
[2022-06-09 19:37:49] [INFO ] [Real]Absence check using 10 positive place invariants in 16 ms returned sat
[2022-06-09 19:37:49] [INFO ] After 362ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:2
[2022-06-09 19:37:50] [INFO ] [Nat]Absence check using 10 positive place invariants in 26 ms returned sat
[2022-06-09 19:38:14] [INFO ] After 24461ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2022-06-09 19:38:14] [INFO ] After 24496ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 9 ms.
[2022-06-09 19:38:14] [INFO ] After 25070ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
Fused 2 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 5 out of 1770 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 1770/1770 places, 41782/41782 transitions.
Graph (trivial) has 1759 edges and 1770 vertex of which 153 / 1770 are part of one of the 27 SCC in 3 ms
Free SCC test removed 126 places
Drop transitions removed 171 transitions
Reduce isomorphic transitions removed 171 transitions.
Graph (complete) has 3635 edges and 1644 vertex of which 1635 are kept as prefixes of interest. Removing 9 places using SCC suffix rule.133 ms
Discarding 9 places :
Also discarding 0 output transitions
Drop transitions removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Drop transitions removed 1232 transitions
Trivial Post-agglo rules discarded 1232 transitions
Performed 1232 trivial Post agglomeration. Transition count delta: 1232
Iterating post reduction 0 with 1241 rules applied. Total rules applied 1243 place count 1635 transition count 40370
Reduce places removed 1232 places and 0 transitions.
Ensure Unique test removed 17 transitions
Reduce isomorphic transitions removed 17 transitions.
Drop transitions removed 9 transitions
Trivial Post-agglo rules discarded 9 transitions
Performed 9 trivial Post agglomeration. Transition count delta: 9
Iterating post reduction 1 with 1258 rules applied. Total rules applied 2501 place count 403 transition count 40344
Reduce places removed 9 places and 0 transitions.
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Iterating post reduction 2 with 12 rules applied. Total rules applied 2513 place count 394 transition count 40341
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 3 with 3 rules applied. Total rules applied 2516 place count 391 transition count 40341
Performed 99 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 99 Pre rules applied. Total rules applied 2516 place count 391 transition count 40242
Deduced a syphon composed of 99 places in 29 ms
Reduce places removed 99 places and 0 transitions.
Iterating global reduction 4 with 198 rules applied. Total rules applied 2714 place count 292 transition count 40242
Performed 65 Post agglomeration using F-continuation condition.Transition count delta: 65
Deduced a syphon composed of 65 places in 17 ms
Reduce places removed 65 places and 0 transitions.
Iterating global reduction 4 with 130 rules applied. Total rules applied 2844 place count 227 transition count 40177
Drop transitions removed 1 transitions
Ensure Unique test removed 18 transitions
Reduce isomorphic transitions removed 19 transitions.
Iterating post reduction 4 with 19 rules applied. Total rules applied 2863 place count 227 transition count 40158
Discarding 54 places :
Symmetric choice reduction at 5 with 54 rule applications. Total rules 2917 place count 173 transition count 1763
Iterating global reduction 5 with 54 rules applied. Total rules applied 2971 place count 173 transition count 1763
Ensure Unique test removed 27 transitions
Reduce isomorphic transitions removed 27 transitions.
Iterating post reduction 5 with 27 rules applied. Total rules applied 2998 place count 173 transition count 1736
Discarding 25 places :
Symmetric choice reduction at 6 with 25 rule applications. Total rules 3023 place count 148 transition count 1711
Iterating global reduction 6 with 25 rules applied. Total rules applied 3048 place count 148 transition count 1711
Discarding 17 places :
Symmetric choice reduction at 6 with 17 rule applications. Total rules 3065 place count 131 transition count 1694
Iterating global reduction 6 with 17 rules applied. Total rules applied 3082 place count 131 transition count 1694
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 6 with 8 rules applied. Total rules applied 3090 place count 131 transition count 1686
Performed 9 Post agglomeration using F-continuation condition.Transition count delta: 9
Deduced a syphon composed of 9 places in 1 ms
Reduce places removed 9 places and 0 transitions.
Iterating global reduction 7 with 18 rules applied. Total rules applied 3108 place count 122 transition count 1677
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -15
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 7 with 6 rules applied. Total rules applied 3114 place count 119 transition count 1692
Free-agglomeration rule applied 47 times.
Iterating global reduction 7 with 47 rules applied. Total rules applied 3161 place count 119 transition count 1645
Reduce places removed 47 places and 0 transitions.
Drop transitions removed 1 transitions
Ensure Unique test removed 64 transitions
Reduce isomorphic transitions removed 65 transitions.
Iterating post reduction 7 with 112 rules applied. Total rules applied 3273 place count 72 transition count 1580
Renaming transitions due to excessive name length > 1024 char.
Discarding 9 places :
Symmetric choice reduction at 8 with 9 rule applications. Total rules 3282 place count 63 transition count 1571
Iterating global reduction 8 with 9 rules applied. Total rules applied 3291 place count 63 transition count 1571
Drop transitions removed 577 transitions
Redundant transition composition rules discarded 577 transitions
Iterating global reduction 8 with 577 rules applied. Total rules applied 3868 place count 63 transition count 994
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 8 with 2 rules applied. Total rules applied 3870 place count 62 transition count 993
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 8 with 4 rules applied. Total rules applied 3874 place count 60 transition count 1011
Free-agglomeration rule (complex) applied 5 times.
Iterating global reduction 8 with 5 rules applied. Total rules applied 3879 place count 60 transition count 1006
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 8 with 5 rules applied. Total rules applied 3884 place count 55 transition count 1006
Partial Free-agglomeration rule applied 7 times.
Drop transitions removed 7 transitions
Iterating global reduction 9 with 7 rules applied. Total rules applied 3891 place count 55 transition count 1006
Drop transitions removed 6 transitions
Redundant transition composition rules discarded 6 transitions
Iterating global reduction 9 with 6 rules applied. Total rules applied 3897 place count 55 transition count 1000
Discarding 4 places :
Symmetric choice reduction at 9 with 4 rule applications. Total rules 3901 place count 51 transition count 992
Iterating global reduction 9 with 4 rules applied. Total rules applied 3905 place count 51 transition count 992
Applied a total of 3905 rules in 14838 ms. Remains 51 /1770 variables (removed 1719) and now considering 992/41782 (removed 40790) transitions.
Finished structural reductions, in 1 iterations. Remains : 51/1770 places, 992/41782 transitions.
Incomplete random walk after 10000 steps, including 381 resets, run finished after 165 ms. (steps per millisecond=60 ) properties (out of 2) seen :1
Incomplete Best-First random walk after 10001 steps, including 34 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 1) seen :0
Running SMT prover for 1 properties.
// Phase 1: matrix 992 rows 51 cols
[2022-06-09 19:38:29] [INFO ] Computed 10 place invariants in 2 ms
[2022-06-09 19:38:29] [INFO ] After 23ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-09 19:38:29] [INFO ] [Nat]Absence check using 10 positive place invariants in 3 ms returned sat
[2022-06-09 19:38:30] [INFO ] After 249ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2022-06-09 19:38:30] [INFO ] State equation strengthened by 942 read => feed constraints.
[2022-06-09 19:38:30] [INFO ] After 363ms SMT Verify possible using 942 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2022-06-09 19:38:31] [INFO ] Deduced a trap composed of 9 places in 447 ms of which 2 ms to minimize.
[2022-06-09 19:38:31] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 556 ms
[2022-06-09 19:38:31] [INFO ] After 979ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 71 ms.
[2022-06-09 19:38:31] [INFO ] After 1374ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
Finished Parikh walk after 17 steps, including 1 resets, run visited all 1 properties in 3 ms. (steps per millisecond=5 )
Parikh walk visited 1 properties in 3 ms.
Knowledge obtained : [(AND (NOT p1) p0), (X (NOT p1)), true, (X (X (NOT p1)))]
False Knowledge obtained : [(F p1), (F (NOT p0))]
Knowledge based reduction with 4 factoid took 323 ms. Reduced automaton from 5 states, 6 edges and 2 AP to 5 states, 6 edges and 2 AP.
Stuttering acceptance computed with spot in 248 ms :[(AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0)), (NOT p0), (NOT p0), (NOT p0)]
Stuttering acceptance computed with spot in 243 ms :[(AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0)), (NOT p0), (NOT p0), (NOT p0)]
Stuttering acceptance computed with spot in 248 ms :[(AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0)), (NOT p0), (NOT p0), (NOT p0)]
Product exploration explored 100000 steps with 16643 reset in 2642 ms.
Product exploration explored 100000 steps with 16670 reset in 2915 ms.
Applying partial POR strategy [false, false, false, false, true]
Stuttering acceptance computed with spot in 167 ms :[(AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0)), (NOT p0), (NOT p0), (NOT p0)]
Support contains 5 out of 1770 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 1770/1770 places, 41782/41782 transitions.
Graph (trivial) has 1759 edges and 1770 vertex of which 153 / 1770 are part of one of the 27 SCC in 2 ms
Free SCC test removed 126 places
Ensure Unique test removed 144 transitions
Reduce isomorphic transitions removed 144 transitions.
Performed 1217 Post agglomeration using F-continuation condition.Transition count delta: 0
Iterating post reduction 0 with 1217 rules applied. Total rules applied 1218 place count 1644 transition count 41638
Ensure Unique test removed 17 transitions
Reduce isomorphic transitions removed 17 transitions.
Iterating post reduction 1 with 17 rules applied. Total rules applied 1235 place count 1644 transition count 41621
Performed 73 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 73 Pre rules applied. Total rules applied 1235 place count 1644 transition count 41630
Deduced a syphon composed of 1290 places in 36 ms
Iterating global reduction 2 with 73 rules applied. Total rules applied 1308 place count 1644 transition count 41630
Discarding 1096 places :
Symmetric choice reduction at 2 with 1096 rule applications. Total rules 2404 place count 548 transition count 40534
Deduced a syphon composed of 202 places in 34 ms
Iterating global reduction 2 with 1096 rules applied. Total rules applied 3500 place count 548 transition count 40534
Performed 99 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 301 places in 19 ms
Iterating global reduction 2 with 99 rules applied. Total rules applied 3599 place count 548 transition count 40562
Discarding 162 places :
Symmetric choice reduction at 2 with 162 rule applications. Total rules 3761 place count 386 transition count 2050
Deduced a syphon composed of 194 places in 1 ms
Iterating global reduction 2 with 162 rules applied. Total rules applied 3923 place count 386 transition count 2050
Ensure Unique test removed 36 transitions
Reduce isomorphic transitions removed 36 transitions.
Iterating post reduction 2 with 36 rules applied. Total rules applied 3959 place count 386 transition count 2014
Discarding 70 places :
Symmetric choice reduction at 3 with 70 rule applications. Total rules 4029 place count 316 transition count 1936
Deduced a syphon composed of 149 places in 1 ms
Iterating global reduction 3 with 70 rules applied. Total rules applied 4099 place count 316 transition count 1936
Discarding 25 places :
Symmetric choice reduction at 3 with 25 rule applications. Total rules 4124 place count 291 transition count 1911
Deduced a syphon composed of 149 places in 1 ms
Iterating global reduction 3 with 25 rules applied. Total rules applied 4149 place count 291 transition count 1911
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 3 with 8 rules applied. Total rules applied 4157 place count 291 transition count 1903
Discarding 17 places :
Symmetric choice reduction at 4 with 17 rule applications. Total rules 4174 place count 274 transition count 1886
Deduced a syphon composed of 132 places in 1 ms
Iterating global reduction 4 with 17 rules applied. Total rules applied 4191 place count 274 transition count 1886
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -1
Deduced a syphon composed of 133 places in 1 ms
Iterating global reduction 4 with 1 rules applied. Total rules applied 4192 place count 274 transition count 1887
Discarding 1 places :
Symmetric choice reduction at 4 with 1 rule applications. Total rules 4193 place count 273 transition count 1885
Deduced a syphon composed of 132 places in 1 ms
Iterating global reduction 4 with 1 rules applied. Total rules applied 4194 place count 273 transition count 1885
Performed 11 Post agglomeration using F-continuation condition.Transition count delta: -54
Deduced a syphon composed of 143 places in 0 ms
Iterating global reduction 4 with 11 rules applied. Total rules applied 4205 place count 273 transition count 1939
Discarding 19 places :
Symmetric choice reduction at 4 with 19 rule applications. Total rules 4224 place count 254 transition count 1901
Deduced a syphon composed of 124 places in 1 ms
Iterating global reduction 4 with 19 rules applied. Total rules applied 4243 place count 254 transition count 1901
Deduced a syphon composed of 124 places in 1 ms
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 4 with 19 rules applied. Total rules applied 4262 place count 254 transition count 1882
Deduced a syphon composed of 124 places in 1 ms
Applied a total of 4262 rules in 24134 ms. Remains 254 /1770 variables (removed 1516) and now considering 1882/41782 (removed 39900) transitions.
[2022-06-09 19:39:02] [INFO ] Redundant transitions in 64 ms returned []
[2022-06-09 19:39:02] [INFO ] Flow matrix only has 1872 transitions (discarded 10 similar events)
// Phase 1: matrix 1872 rows 254 cols
[2022-06-09 19:39:02] [INFO ] Computed 2 place invariants in 19 ms
[2022-06-09 19:39:04] [INFO ] Dead Transitions using invariants and state equation in 1770 ms found 0 transitions.
Starting structural reductions in SI_LTL mode, iteration 1 : 254/1770 places, 1882/41782 transitions.
Finished structural reductions, in 1 iterations. Remains : 254/1770 places, 1882/41782 transitions.
Product exploration explored 100000 steps with 16716 reset in 3403 ms.
Product exploration explored 100000 steps with 16644 reset in 3243 ms.
Built C files in :
/tmp/ltsmin6984018981857359555
[2022-06-09 19:39:12] [INFO ] Built C files in 1140ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin6984018981857359555
Running compilation step : cd /tmp/ltsmin6984018981857359555;'/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/ltsmin6984018981857359555;'/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/ltsmin6984018981857359555;'/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 5 out of 1770 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 1770/1770 places, 41782/41782 transitions.
Applied a total of 0 rules in 537 ms. Remains 1770 /1770 variables (removed 0) and now considering 41782/41782 (removed 0) transitions.
// Phase 1: matrix 41782 rows 1770 cols
[2022-06-09 19:39:16] [INFO ] Computed 10 place invariants in 975 ms
[2022-06-09 19:39:28] [INFO ] Implicit Places using invariants in 12815 ms returned []
Implicit Place search using SMT only with invariants took 12820 ms to find 0 implicit places.
// Phase 1: matrix 41782 rows 1770 cols
[2022-06-09 19:39:29] [INFO ] Computed 10 place invariants in 984 ms
[2022-06-09 19:39:59] [INFO ] Performed 31165/41782 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2022-06-09 19:40:10] [INFO ] Dead Transitions using invariants and state equation in 41829 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 1770/1770 places, 41782/41782 transitions.
Built C files in :
/tmp/ltsmin13207281424761910140
[2022-06-09 19:40:11] [INFO ] Built C files in 778ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin13207281424761910140
Running compilation step : cd /tmp/ltsmin13207281424761910140;'/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/ltsmin13207281424761910140;'/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/ltsmin13207281424761910140;'/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 19:40:25] [INFO ] Flatten gal took : 5367 ms
[2022-06-09 19:40:30] [INFO ] Flatten gal took : 5065 ms
[2022-06-09 19:40:31] [INFO ] Time to serialize gal into /tmp/LTL11548091404086819074.gal : 620 ms
[2022-06-09 19:40:31] [INFO ] Time to serialize properties into /tmp/LTL4250586865472031283.ltl : 1 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/LTL11548091404086819074.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL4250586865472031283.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/LTL1154809...267
Read 1 LTL properties
Detected timeout of ITS tools.
[2022-06-09 19:40:52] [INFO ] Flatten gal took : 4980 ms
[2022-06-09 19:40:52] [INFO ] Applying decomposition
[2022-06-09 19:40:57] [INFO ] Flatten gal took : 4925 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/graph17881465389587554916.txt' '-o' '/tmp/graph17881465389587554916.bin' '-w' '/tmp/graph17881465389587554916.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph17881465389587554916.bin' '-l' '-1' '-v' '-w' '/tmp/graph17881465389587554916.weights' '-q' '0' '-e' '0.001'
[2022-06-09 19:41:13] [INFO ] Decomposing Gal with order
[2022-06-09 19:41:13] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-09 19:41:31] [INFO ] Removed a total of 359180 redundant transitions.
[2022-06-09 19:41:32] [INFO ] Flatten gal took : 11072 ms
[2022-06-09 19:41:38] [INFO ] Fuse similar labels procedure discarded/fused a total of 34 labels/synchronizations in 4765 ms.
[2022-06-09 19:41:38] [INFO ] Time to serialize gal into /tmp/LTL2560398958200393807.gal : 402 ms
[2022-06-09 19:41:38] [INFO ] Time to serialize properties into /tmp/LTL202012349975390782.ltl : 1 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/LTL2560398958200393807.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL202012349975390782.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/LTL2560398...244
Read 1 LTL properties
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin2833606522933000354
[2022-06-09 19:41:55] [INFO ] Built C files in 1930ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin2833606522933000354
Running compilation step : cd /tmp/ltsmin2833606522933000354;'/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/ltsmin2833606522933000354;'/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/ltsmin2833606522933000354;'/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-08b-LTLCardinality-05 finished in 449273 ms.
Running Spot : cd /home/mcc/execution;'/home/mcc/BenchKit/bin//..//ltl2tgba' '--check=stutter' '--hoaf=tv' '-f' '!(X(p0))'
Support contains 2 out of 1842 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 1842/1842 places, 41862/41862 transitions.
Discarding 12 places :
Symmetric choice reduction at 0 with 12 rule applications. Total rules 12 place count 1830 transition count 41850
Iterating global reduction 0 with 12 rules applied. Total rules applied 24 place count 1830 transition count 41850
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 26 place count 1830 transition count 41848
Discarding 9 places :
Symmetric choice reduction at 1 with 9 rule applications. Total rules 35 place count 1821 transition count 41839
Iterating global reduction 1 with 9 rules applied. Total rules applied 44 place count 1821 transition count 41839
Discarding 7 places :
Symmetric choice reduction at 1 with 7 rule applications. Total rules 51 place count 1814 transition count 41832
Iterating global reduction 1 with 7 rules applied. Total rules applied 58 place count 1814 transition count 41832
Discarding 7 places :
Symmetric choice reduction at 1 with 7 rule applications. Total rules 65 place count 1807 transition count 41825
Iterating global reduction 1 with 7 rules applied. Total rules applied 72 place count 1807 transition count 41825
Discarding 7 places :
Symmetric choice reduction at 1 with 7 rule applications. Total rules 79 place count 1800 transition count 41818
Iterating global reduction 1 with 7 rules applied. Total rules applied 86 place count 1800 transition count 41818
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 87 place count 1800 transition count 41817
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 92 place count 1795 transition count 41812
Iterating global reduction 2 with 5 rules applied. Total rules applied 97 place count 1795 transition count 41812
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 99 place count 1795 transition count 41810
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 102 place count 1792 transition count 41807
Iterating global reduction 3 with 3 rules applied. Total rules applied 105 place count 1792 transition count 41807
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 108 place count 1789 transition count 41804
Iterating global reduction 3 with 3 rules applied. Total rules applied 111 place count 1789 transition count 41804
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 114 place count 1786 transition count 41801
Iterating global reduction 3 with 3 rules applied. Total rules applied 117 place count 1786 transition count 41801
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 120 place count 1783 transition count 41798
Iterating global reduction 3 with 3 rules applied. Total rules applied 123 place count 1783 transition count 41798
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 125 place count 1781 transition count 41796
Iterating global reduction 3 with 2 rules applied. Total rules applied 127 place count 1781 transition count 41796
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 129 place count 1779 transition count 41794
Iterating global reduction 3 with 2 rules applied. Total rules applied 131 place count 1779 transition count 41794
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 132 place count 1779 transition count 41793
Discarding 1 places :
Symmetric choice reduction at 4 with 1 rule applications. Total rules 133 place count 1778 transition count 41792
Iterating global reduction 4 with 1 rules applied. Total rules applied 134 place count 1778 transition count 41792
Discarding 1 places :
Symmetric choice reduction at 4 with 1 rule applications. Total rules 135 place count 1777 transition count 41791
Iterating global reduction 4 with 1 rules applied. Total rules applied 136 place count 1777 transition count 41791
Discarding 1 places :
Symmetric choice reduction at 4 with 1 rule applications. Total rules 137 place count 1776 transition count 41790
Iterating global reduction 4 with 1 rules applied. Total rules applied 138 place count 1776 transition count 41790
Discarding 1 places :
Symmetric choice reduction at 4 with 1 rule applications. Total rules 139 place count 1775 transition count 41789
Iterating global reduction 4 with 1 rules applied. Total rules applied 140 place count 1775 transition count 41789
Discarding 1 places :
Symmetric choice reduction at 4 with 1 rule applications. Total rules 141 place count 1774 transition count 41788
Iterating global reduction 4 with 1 rules applied. Total rules applied 142 place count 1774 transition count 41788
Discarding 1 places :
Symmetric choice reduction at 4 with 1 rule applications. Total rules 143 place count 1773 transition count 41787
Iterating global reduction 4 with 1 rules applied. Total rules applied 144 place count 1773 transition count 41787
Discarding 1 places :
Symmetric choice reduction at 4 with 1 rule applications. Total rules 145 place count 1772 transition count 41786
Iterating global reduction 4 with 1 rules applied. Total rules applied 146 place count 1772 transition count 41786
Discarding 1 places :
Symmetric choice reduction at 4 with 1 rule applications. Total rules 147 place count 1771 transition count 41785
Iterating global reduction 4 with 1 rules applied. Total rules applied 148 place count 1771 transition count 41785
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 4 with 1 rules applied. Total rules applied 149 place count 1771 transition count 41784
Applied a total of 149 rules in 41724 ms. Remains 1771 /1842 variables (removed 71) and now considering 41784/41862 (removed 78) transitions.
// Phase 1: matrix 41784 rows 1771 cols
[2022-06-09 19:42:45] [INFO ] Computed 10 place invariants in 3568 ms
[2022-06-09 19:43:14] [INFO ] Implicit Places using invariants in 32127 ms returned []
Implicit Place search using SMT only with invariants took 37809 ms to find 0 implicit places.
// Phase 1: matrix 41784 rows 1771 cols
BK_STOP 1654803837688
--------------------
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
+ [[ LTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution LTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ 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 LTLCardinality -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=@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-08b"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is StigmergyCommit-PT-08b, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r294-smll-165463872600195"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/StigmergyCommit-PT-08b.tgz
mv StigmergyCommit-PT-08b execution
cd execution
if [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "UpperBounds" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] || [ "LTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;