About the Execution of ITS-Tools for DLCround-PT-11b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16247.004 | 3600000.00 | 2055635.00 | 839298.30 | F?FFTFFFFTFFFFFF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r064-tall-162038397200413.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is DLCround-PT-11b, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-tall-162038397200413
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.0M
-rw-r--r-- 1 mcc users 11K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 89K May 5 16:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 13K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 110K May 5 16:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Mar 28 15:58 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 28 15:58 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Mar 28 15:58 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 15:58 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.0K Mar 23 08:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K Mar 23 08:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 22 16:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 22 16:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 22 09:10 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 22 09:10 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 4 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 1.7M May 5 16:51 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME DLCround-PT-11b-00
FORMULA_NAME DLCround-PT-11b-01
FORMULA_NAME DLCround-PT-11b-02
FORMULA_NAME DLCround-PT-11b-03
FORMULA_NAME DLCround-PT-11b-04
FORMULA_NAME DLCround-PT-11b-05
FORMULA_NAME DLCround-PT-11b-06
FORMULA_NAME DLCround-PT-11b-07
FORMULA_NAME DLCround-PT-11b-08
FORMULA_NAME DLCround-PT-11b-09
FORMULA_NAME DLCround-PT-11b-10
FORMULA_NAME DLCround-PT-11b-11
FORMULA_NAME DLCround-PT-11b-12
FORMULA_NAME DLCround-PT-11b-13
FORMULA_NAME DLCround-PT-11b-14
FORMULA_NAME DLCround-PT-11b-15
=== Now, execution of the tool begins
BK_START 1620523801263
Running Version 0
[2021-05-09 01:30:15] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2021-05-09 01:30:15] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-09 01:30:15] [INFO ] Load time of PNML (sax parser for PT used): 229 ms
[2021-05-09 01:30:15] [INFO ] Transformed 4375 places.
[2021-05-09 01:30:15] [INFO ] Transformed 6991 transitions.
[2021-05-09 01:30:15] [INFO ] Found NUPN structural information;
[2021-05-09 01:30:15] [INFO ] Parsed PT model containing 4375 places and 6991 transitions in 391 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 11 ms.
Working with output stream class java.io.PrintStream
[2021-05-09 01:30:15] [INFO ] Initial state test concluded for 1 properties.
Support contains 60 out of 4375 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 4375/4375 places, 6991/6991 transitions.
Discarding 775 places :
Symmetric choice reduction at 0 with 775 rule applications. Total rules 775 place count 3600 transition count 6216
Iterating global reduction 0 with 775 rules applied. Total rules applied 1550 place count 3600 transition count 6216
Discarding 631 places :
Symmetric choice reduction at 0 with 631 rule applications. Total rules 2181 place count 2969 transition count 5585
Iterating global reduction 0 with 631 rules applied. Total rules applied 2812 place count 2969 transition count 5585
Ensure Unique test removed 12 transitions
Reduce isomorphic transitions removed 12 transitions.
Iterating post reduction 0 with 12 rules applied. Total rules applied 2824 place count 2969 transition count 5573
Discarding 73 places :
Symmetric choice reduction at 1 with 73 rule applications. Total rules 2897 place count 2896 transition count 5370
Iterating global reduction 1 with 73 rules applied. Total rules applied 2970 place count 2896 transition count 5370
Discarding 40 places :
Symmetric choice reduction at 1 with 40 rule applications. Total rules 3010 place count 2856 transition count 5330
Iterating global reduction 1 with 40 rules applied. Total rules applied 3050 place count 2856 transition count 5330
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 3054 place count 2856 transition count 5326
Discarding 24 places :
Symmetric choice reduction at 2 with 24 rule applications. Total rules 3078 place count 2832 transition count 5302
Iterating global reduction 2 with 24 rules applied. Total rules applied 3102 place count 2832 transition count 5302
Discarding 24 places :
Symmetric choice reduction at 2 with 24 rule applications. Total rules 3126 place count 2808 transition count 5278
Iterating global reduction 2 with 24 rules applied. Total rules applied 3150 place count 2808 transition count 5278
Discarding 24 places :
Symmetric choice reduction at 2 with 24 rule applications. Total rules 3174 place count 2784 transition count 5254
Iterating global reduction 2 with 24 rules applied. Total rules applied 3198 place count 2784 transition count 5254
Discarding 12 places :
Symmetric choice reduction at 2 with 12 rule applications. Total rules 3210 place count 2772 transition count 5242
Iterating global reduction 2 with 12 rules applied. Total rules applied 3222 place count 2772 transition count 5242
Discarding 8 places :
Symmetric choice reduction at 2 with 8 rule applications. Total rules 3230 place count 2764 transition count 5234
Iterating global reduction 2 with 8 rules applied. Total rules applied 3238 place count 2764 transition count 5234
Discarding 8 places :
Symmetric choice reduction at 2 with 8 rule applications. Total rules 3246 place count 2756 transition count 5226
Iterating global reduction 2 with 8 rules applied. Total rules applied 3254 place count 2756 transition count 5226
Applied a total of 3254 rules in 2255 ms. Remains 2756 /4375 variables (removed 1619) and now considering 5226/6991 (removed 1765) transitions.
// Phase 1: matrix 5226 rows 2756 cols
[2021-05-09 01:30:18] [INFO ] Computed 244 place invariants in 48 ms
[2021-05-09 01:30:19] [INFO ] Implicit Places using invariants in 1072 ms returned []
// Phase 1: matrix 5226 rows 2756 cols
[2021-05-09 01:30:19] [INFO ] Computed 244 place invariants in 33 ms
[2021-05-09 01:30:20] [INFO ] Implicit Places using invariants and state equation in 1622 ms returned []
Implicit Place search using SMT with State Equation took 2736 ms to find 0 implicit places.
// Phase 1: matrix 5226 rows 2756 cols
[2021-05-09 01:30:21] [INFO ] Computed 244 place invariants in 19 ms
[2021-05-09 01:30:34] [INFO ] Dead Transitions using invariants and state equation in 13809 ms returned []
Finished structural reductions, in 1 iterations. Remains : 2756/4375 places, 5226/6991 transitions.
[2021-05-09 01:30:35] [INFO ] Initial state reduction rules for LTL removed 3 formulas.
[2021-05-09 01:30:35] [INFO ] Flatten gal took : 299 ms
FORMULA DLCround-PT-11b-09 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCround-PT-11b-06 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCround-PT-11b-04 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-09 01:30:35] [INFO ] Flatten gal took : 201 ms
[2021-05-09 01:30:35] [INFO ] Input system was already deterministic with 5226 transitions.
Incomplete random walk after 100000 steps, including 2 resets, run finished after 1052 ms. (steps per millisecond=95 ) properties (out of 30) seen :26
Running SMT prover for 4 properties.
// Phase 1: matrix 5226 rows 2756 cols
[2021-05-09 01:30:37] [INFO ] Computed 244 place invariants in 15 ms
[2021-05-09 01:30:37] [INFO ] [Real]Absence check using 244 positive place invariants in 181 ms returned sat
[2021-05-09 01:30:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 01:30:38] [INFO ] [Real]Absence check using state equation in 1525 ms returned sat
[2021-05-09 01:30:39] [INFO ] Computed and/alt/rep : 4859/8081/4859 causal constraints (skipped 366 transitions) in 293 ms.
[2021-05-09 01:30:50] [INFO ] Solution in real domain found non-integer solution.
[2021-05-09 01:30:53] [INFO ] [Nat]Absence check using 244 positive place invariants in 166 ms returned sat
[2021-05-09 01:30:53] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-09 01:30:55] [INFO ] [Nat]Absence check using state equation in 1520 ms returned sat
[2021-05-09 01:30:55] [INFO ] Computed and/alt/rep : 4859/8081/4859 causal constraints (skipped 366 transitions) in 301 ms.
[2021-05-09 01:31:10] [INFO ] Added : 390 causal constraints over 78 iterations in 15437 ms. Result :unknown
[2021-05-09 01:31:11] [INFO ] [Real]Absence check using 244 positive place invariants in 176 ms returned sat
[2021-05-09 01:31:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 01:31:12] [INFO ] [Real]Absence check using state equation in 1517 ms returned sat
[2021-05-09 01:31:13] [INFO ] Computed and/alt/rep : 4859/8081/4859 causal constraints (skipped 366 transitions) in 293 ms.
[2021-05-09 01:31:25] [INFO ] Solution in real domain found non-integer solution.
[2021-05-09 01:31:25] [INFO ] [Nat]Absence check using 244 positive place invariants in 166 ms returned sat
[2021-05-09 01:31:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-09 01:31:27] [INFO ] [Nat]Absence check using state equation in 1513 ms returned sat
[2021-05-09 01:31:27] [INFO ] Computed and/alt/rep : 4859/8081/4859 causal constraints (skipped 366 transitions) in 204 ms.
[2021-05-09 01:31:45] [INFO ] Added : 455 causal constraints over 91 iterations in 17933 ms. Result :unknown
[2021-05-09 01:31:45] [INFO ] [Real]Absence check using 244 positive place invariants in 166 ms returned sat
[2021-05-09 01:31:45] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 01:31:47] [INFO ] [Real]Absence check using state equation in 1521 ms returned sat
[2021-05-09 01:31:47] [INFO ] Solution in real domain found non-integer solution.
[2021-05-09 01:31:58] [INFO ] [Real]Absence check using 244 positive place invariants in 172 ms returned sat
[2021-05-09 01:31:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 01:32:00] [INFO ] [Real]Absence check using state equation in 1521 ms returned sat
[2021-05-09 01:32:00] [INFO ] Computed and/alt/rep : 4859/8081/4859 causal constraints (skipped 366 transitions) in 274 ms.
[2021-05-09 01:32:13] [INFO ] Solution in real domain found non-integer solution.
[2021-05-09 01:32:13] [INFO ] [Nat]Absence check using 244 positive place invariants in 165 ms returned sat
[2021-05-09 01:32:13] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-09 01:32:14] [INFO ] [Nat]Absence check using state equation in 1537 ms returned sat
[2021-05-09 01:32:15] [INFO ] Computed and/alt/rep : 4859/8081/4859 causal constraints (skipped 366 transitions) in 256 ms.
[2021-05-09 01:32:34] [INFO ] Deduced a trap composed of 14 places in 1727 ms of which 17 ms to minimize.
[2021-05-09 01:32:34] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 3
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(X((X(G(p0))&&F((p1&&X(F(p2)))))))], workingDir=/home/mcc/execution]
Support contains 3 out of 2756 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 2756/2756 places, 5226/5226 transitions.
Discarding 14 places :
Symmetric choice reduction at 0 with 14 rule applications. Total rules 14 place count 2742 transition count 5170
Iterating global reduction 0 with 14 rules applied. Total rules applied 28 place count 2742 transition count 5170
Discarding 4 places :
Symmetric choice reduction at 0 with 4 rule applications. Total rules 32 place count 2738 transition count 5166
Iterating global reduction 0 with 4 rules applied. Total rules applied 36 place count 2738 transition count 5166
Applied a total of 36 rules in 348 ms. Remains 2738 /2756 variables (removed 18) and now considering 5166/5226 (removed 60) transitions.
// Phase 1: matrix 5166 rows 2738 cols
[2021-05-09 01:32:52] [INFO ] Computed 244 place invariants in 20 ms
[2021-05-09 01:32:53] [INFO ] Implicit Places using invariants in 849 ms returned []
// Phase 1: matrix 5166 rows 2738 cols
[2021-05-09 01:32:53] [INFO ] Computed 244 place invariants in 15 ms
[2021-05-09 01:32:54] [INFO ] Implicit Places using invariants and state equation in 1420 ms returned []
Implicit Place search using SMT with State Equation took 2271 ms to find 0 implicit places.
// Phase 1: matrix 5166 rows 2738 cols
[2021-05-09 01:32:54] [INFO ] Computed 244 place invariants in 12 ms
[2021-05-09 01:32:57] [INFO ] Dead Transitions using invariants and state equation in 2595 ms returned []
Finished structural reductions, in 1 iterations. Remains : 2738/2756 places, 5166/5226 transitions.
Stuttering acceptance computed with spot in 25624 ms :[(NOT p0), (OR (NOT p2) (NOT p0)), (OR (NOT p0) (NOT p1) (NOT p2)), (OR (NOT p2) (NOT p0) (NOT p1)), (OR (NOT p0) (NOT p2) (NOT p1)), true]
Running random walk in product with property : DLCround-PT-11b-00 automaton TGBA [mat=[[{ cond=p0, acceptance={} source=0 dest: 0}, { cond=(NOT p0), acceptance={} source=0 dest: 5}], [{ cond=(AND p0 p2), acceptance={0} source=1 dest: 0}, { cond=(AND p0 (NOT p2)), acceptance={0} source=1 dest: 1}, { cond=(NOT p0), acceptance={0} source=1 dest: 5}], [{ cond=p1, acceptance={} source=2 dest: 1}, { cond=(NOT p1), acceptance={} source=2 dest: 3}], [{ cond=(AND p1 p0), acceptance={0} source=3 dest: 1}, { cond=(AND (NOT p1) p0), acceptance={0} source=3 dest: 3}, { cond=(NOT p0), acceptance={0} source=3 dest: 5}], [{ cond=true, acceptance={} source=4 dest: 2}], [{ cond=true, acceptance={0} source=5 dest: 5}]], initial=4, aps=[p0:(EQ s28 1), p2:(EQ s1926 1), p1:(EQ s2009 1)], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, complete, deterministic, no-univ-branch, unambiguous, semi-deterministic, very-weak, weak, inherently-weak], stateDesc=[null, null, null, null, null, null][false, false, false, false, false, false]]
Entered a terminal (fully accepting) state of product in 2 steps with 0 reset in 2 ms.
FORMULA DLCround-PT-11b-00 FALSE TECHNIQUES STUTTER_TEST
Treatment of property DLCround-PT-11b-00 finished in 48436 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(F(G((((p1||X(p2)) U p3)&&p0))))], workingDir=/home/mcc/execution]
Support contains 9 out of 2756 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 2756/2756 places, 5226/5226 transitions.
Discarding 15 places :
Symmetric choice reduction at 0 with 15 rule applications. Total rules 15 place count 2741 transition count 5169
Iterating global reduction 0 with 15 rules applied. Total rules applied 30 place count 2741 transition count 5169
Discarding 5 places :
Symmetric choice reduction at 0 with 5 rule applications. Total rules 35 place count 2736 transition count 5164
Iterating global reduction 0 with 5 rules applied. Total rules applied 40 place count 2736 transition count 5164
Applied a total of 40 rules in 313 ms. Remains 2736 /2756 variables (removed 20) and now considering 5164/5226 (removed 62) transitions.
// Phase 1: matrix 5164 rows 2736 cols
[2021-05-09 01:33:23] [INFO ] Computed 244 place invariants in 12 ms
[2021-05-09 01:33:24] [INFO ] Implicit Places using invariants in 787 ms returned []
// Phase 1: matrix 5164 rows 2736 cols
[2021-05-09 01:33:24] [INFO ] Computed 244 place invariants in 13 ms
[2021-05-09 01:33:25] [INFO ] Implicit Places using invariants and state equation in 1519 ms returned []
Implicit Place search using SMT with State Equation took 2307 ms to find 0 implicit places.
// Phase 1: matrix 5164 rows 2736 cols
[2021-05-09 01:33:25] [INFO ] Computed 244 place invariants in 16 ms
[2021-05-09 01:33:28] [INFO ] Dead Transitions using invariants and state equation in 2700 ms returned []
Finished structural reductions, in 1 iterations. Remains : 2736/2756 places, 5164/5226 transitions.
Stuttering acceptance computed with spot in 13678 ms :[(OR (NOT p0) (NOT p3)), (NOT p3), (OR (AND (NOT p0) (NOT p2)) (AND (NOT p2) (NOT p3)))]
Running random walk in product with property : DLCround-PT-11b-01 automaton TGBA [mat=[[{ cond=(NOT p0), acceptance={0} source=0 dest: 0}, { cond=p0, acceptance={} source=0 dest: 0}, { cond=(AND (NOT p3) p0), acceptance={0} source=0 dest: 1}, { cond=(AND (NOT p3) (NOT p1) p0), acceptance={0} source=0 dest: 2}], [{ cond=(NOT p3), acceptance={0} source=1 dest: 1}, { cond=(AND (NOT p3) (NOT p1)), acceptance={0} source=1 dest: 2}], [{ cond=(AND (NOT p0) (NOT p2)), acceptance={0} source=2 dest: 0}, { cond=(AND p0 (NOT p2)), acceptance={} source=2 dest: 0}]], initial=0, aps=[p0:(AND (EQ s813 1) (EQ s1730 1) (EQ s2211 1)), p3:(OR (AND (EQ s1023 1) (EQ s2668 1)) (AND (EQ s878 1) (EQ s2506 1))), p1:(AND (EQ s878 1) (EQ s2506 1)), p2:(AND (EQ s127 1) (EQ s1923 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch], stateDesc=[null, null, null][false, false, false]]
Product exploration explored 100000 steps with 0 reset in 925 ms.
Product exploration explored 100000 steps with 0 reset in 1033 ms.
Knowledge obtained : [(NOT p0), (NOT p3), (NOT p1), (NOT p2)]
Stuttering acceptance computed with spot in 98 ms :[(OR (NOT p0) (NOT p3)), (NOT p3), (OR (AND (NOT p0) (NOT p2)) (AND (NOT p2) (NOT p3)))]
Product exploration explored 100000 steps with 0 reset in 885 ms.
Product exploration explored 100000 steps with 0 reset in 980 ms.
[2021-05-09 01:33:46] [INFO ] Flatten gal took : 143 ms
[2021-05-09 01:33:47] [INFO ] Flatten gal took : 142 ms
[2021-05-09 01:33:47] [INFO ] Time to serialize gal into /tmp/LTL3368014134966165825.gal : 61 ms
[2021-05-09 01:33:47] [INFO ] Time to serialize properties into /tmp/LTL4881926314757787831.ltl : 59 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL3368014134966165825.gal, -t, CGAL, -LTL, /tmp/LTL4881926314757787831.ltl, -c, -stutter-deadlock, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL3368014134966165825.gal -t CGAL -LTL /tmp/LTL4881926314757787831.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 1 LTL properties
Checking formula 0 : !((F(G(("(((p1360==1)&&(p2698==1))&&(p3500==1))")&&((("((p1461==1)&&(p3991==1))")||(X("((p246==1)&&(p3021==1))")))U("(((p1684==1)&&(p4261==1))||((p1461==1)&&(p3991==1)))"))))))
Formula 0 simplified : !FG("(((p1360==1)&&(p2698==1))&&(p3500==1))" & (("((p1461==1)&&(p3991==1))" | X"((p246==1)&&(p3021==1))") U "(((p1684==1)&&(p4261==1))||((p1461==1)&&(p3991==1)))"))
Detected timeout of ITS tools.
[2021-05-09 01:34:02] [INFO ] Flatten gal took : 135 ms
[2021-05-09 01:34:02] [INFO ] Applying decomposition
[2021-05-09 01:34:02] [INFO ] Flatten gal took : 129 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph4352171035381709677.txt, -o, /tmp/graph4352171035381709677.bin, -w, /tmp/graph4352171035381709677.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph4352171035381709677.bin, -l, -1, -v, -w, /tmp/graph4352171035381709677.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-09 01:34:05] [INFO ] Decomposing Gal with order
[2021-05-09 01:34:05] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-09 01:34:06] [INFO ] Removed a total of 5160 redundant transitions.
[2021-05-09 01:34:06] [INFO ] Flatten gal took : 399 ms
[2021-05-09 01:34:06] [INFO ] Fuse similar labels procedure discarded/fused a total of 17 labels/synchronizations in 90 ms.
[2021-05-09 01:34:06] [INFO ] Time to serialize gal into /tmp/LTL15039539430748101657.gal : 45 ms
[2021-05-09 01:34:06] [INFO ] Time to serialize properties into /tmp/LTL6407250194543444759.ltl : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL15039539430748101657.gal, -t, CGAL, -LTL, /tmp/LTL6407250194543444759.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL15039539430748101657.gal -t CGAL -LTL /tmp/LTL6407250194543444759.ltl -c -stutter-deadlock
Read 1 LTL properties
Checking formula 0 : !((F(G(("(((i13.i0.i2.u342.p1360==1)&&(i2.u690.p2698==1))&&(i10.u841.p3500==1))")&&((("((i15.u371.p1461==1)&&(i15.u940.p3991==1))")||(X("((i2.u54.p246==1)&&(i18.i1.i0.u745.p3021==1))")))U("(((i17.u434.p1684==1)&&(i17.u995.p4261==1))||((i15.u371.p1461==1)&&(i15.u940.p3991==1)))"))))))
Formula 0 simplified : !FG("(((i13.i0.i2.u342.p1360==1)&&(i2.u690.p2698==1))&&(i10.u841.p3500==1))" & (("((i15.u371.p1461==1)&&(i15.u940.p3991==1))" | X"((i2.u54.p246==1)&&(i18.i1.i0.u745.p3021==1))") U "(((i17.u434.p1684==1)&&(i17.u995.p4261==1))||((i15.u371.p1461==1)&&(i15.u940.p3991==1)))"))
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin15502149716756689117
[2021-05-09 01:34:28] [INFO ] Built C files in 68ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin15502149716756689117
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin15502149716756689117]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin15502149716756689117] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin15502149716756689117] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Treatment of property DLCround-PT-11b-01 finished in 66273 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(X((p0 U (G(p0)||(F(p2)&&p1)))))], workingDir=/home/mcc/execution]
Support contains 5 out of 2756 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 2756/2756 places, 5226/5226 transitions.
Discarding 12 places :
Symmetric choice reduction at 0 with 12 rule applications. Total rules 12 place count 2744 transition count 5186
Iterating global reduction 0 with 12 rules applied. Total rules applied 24 place count 2744 transition count 5186
Discarding 3 places :
Symmetric choice reduction at 0 with 3 rule applications. Total rules 27 place count 2741 transition count 5183
Iterating global reduction 0 with 3 rules applied. Total rules applied 30 place count 2741 transition count 5183
Applied a total of 30 rules in 378 ms. Remains 2741 /2756 variables (removed 15) and now considering 5183/5226 (removed 43) transitions.
// Phase 1: matrix 5183 rows 2741 cols
[2021-05-09 01:34:29] [INFO ] Computed 244 place invariants in 11 ms
[2021-05-09 01:34:30] [INFO ] Implicit Places using invariants in 889 ms returned []
// Phase 1: matrix 5183 rows 2741 cols
[2021-05-09 01:34:30] [INFO ] Computed 244 place invariants in 12 ms
[2021-05-09 01:34:32] [INFO ] Implicit Places using invariants and state equation in 1402 ms returned []
Implicit Place search using SMT with State Equation took 2302 ms to find 0 implicit places.
// Phase 1: matrix 5183 rows 2741 cols
[2021-05-09 01:34:32] [INFO ] Computed 244 place invariants in 11 ms
[2021-05-09 01:34:34] [INFO ] Dead Transitions using invariants and state equation in 2563 ms returned []
Finished structural reductions, in 1 iterations. Remains : 2741/2756 places, 5183/5226 transitions.
Spot timed out Subprocess running CommandLine [args=[/home/mcc/BenchKit/bin//..//autfilt, --hoaf=tv, --small, -F, /tmp/curaut5445173128896937233.hoa], workingDir=/home/mcc/execution] killed by timeout after 10 SECONDS
Spot timed out Subprocess running CommandLine [args=[/home/mcc/BenchKit/bin//..//autfilt, --hoaf=tv, --small, -F, /tmp/curaut12418561568362512873.hoa], workingDir=/home/mcc/execution] killed by timeout after 10 SECONDS
Stuttering acceptance computed with spot in 21233 ms :[false, false, (OR (AND (NOT p0) (NOT p1)) (AND (NOT p0) (NOT p2))), (AND (NOT p2) (NOT p0)), (OR (AND (NOT p0) (NOT p1)) (AND (NOT p0) (NOT p2)))]
Running random walk in product with property : DLCround-PT-11b-02 automaton TGBA [mat=[[{ cond=true, acceptance={0} source=0 dest: 0}], [{ cond=(NOT p2), acceptance={0} source=1 dest: 1}], [{ cond=true, acceptance={} source=2 dest: 4}], [{ cond=(AND (NOT p2) (NOT p0)), acceptance={} source=3 dest: 1}, { cond=(AND (NOT p2) p0), acceptance={} source=3 dest: 3}], [{ cond=(AND (NOT p1) (NOT p0)), acceptance={} source=4 dest: 0}, { cond=(AND p1 (NOT p2) (NOT p0)), acceptance={} source=4 dest: 1}, { cond=(AND p1 (NOT p2) p0), acceptance={} source=4 dest: 3}, { cond=(AND (NOT p1) p0), acceptance={} source=4 dest: 4}]], initial=2, aps=[p2:(EQ s2545 1), p0:(OR (NEQ s700 1) (NEQ s1692 1) (NEQ s448 1)), p1:(AND (OR (NEQ s2545 0) (NEQ s2224 0)) (OR (NEQ s700 1) (NEQ s1692 1) (NEQ s448 1)))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, deterministic, no-univ-branch, unambiguous, semi-deterministic, very-weak, weak, inherently-weak], stateDesc=[null, null, null, null, null][false, false, false, false, false]]
Product exploration explored 100000 steps with 12 reset in 853 ms.
Product exploration explored 100000 steps with 21 reset in 883 ms.
Knowledge obtained : [(NOT p2), p0, (NOT p1)]
Stuttering acceptance computed with spot in 129 ms :[true, (NOT p2), (OR (AND (NOT p0) (NOT p1)) (AND (NOT p0) (NOT p2))), (AND (NOT p2) (NOT p0)), (OR (AND (NOT p0) (NOT p1)) (AND (NOT p0) (NOT p2)))]
Product exploration explored 100000 steps with 15 reset in 796 ms.
Product exploration explored 100000 steps with 16 reset in 883 ms.
Applying partial POR strategy [true, true, false, true, true]
Stuttering acceptance computed with spot in 106 ms :[true, (NOT p2), (OR (AND (NOT p0) (NOT p1)) (AND (NOT p0) (NOT p2))), (AND (NOT p2) (NOT p0)), (OR (AND (NOT p0) (NOT p1)) (AND (NOT p0) (NOT p2)))]
Support contains 5 out of 2741 places. Attempting structural reductions.
Property had overlarge support with respect to TGBA, discarding it for now.
Starting structural reductions, iteration 0 : 2741/2741 places, 5183/5183 transitions.
Graph (trivial) has 2374 edges and 2741 vertex of which 610 / 2741 are part of one of the 53 SCC in 7 ms
Free SCC test removed 557 places
Ensure Unique test removed 598 transitions
Reduce isomorphic transitions removed 598 transitions.
Performed 414 Post agglomeration using F-continuation condition.Transition count delta: 0
Iterating post reduction 0 with 414 rules applied. Total rules applied 415 place count 2184 transition count 4585
Ensure Unique test removed 16 transitions
Reduce isomorphic transitions removed 16 transitions.
Performed 16 Post agglomeration using F-continuation condition.Transition count delta: 0
Iterating post reduction 1 with 32 rules applied. Total rules applied 447 place count 2184 transition count 4569
Performed 12 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 12 Pre rules applied. Total rules applied 447 place count 2184 transition count 4593
Deduced a syphon composed of 442 places in 41 ms
Iterating global reduction 2 with 12 rules applied. Total rules applied 459 place count 2184 transition count 4593
Discarding 175 places :
Symmetric choice reduction at 2 with 175 rule applications. Total rules 634 place count 2009 transition count 3716
Deduced a syphon composed of 344 places in 21 ms
Iterating global reduction 2 with 175 rules applied. Total rules applied 809 place count 2009 transition count 3716
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 2 with 4 rules applied. Total rules applied 813 place count 2009 transition count 3712
Performed 771 Post agglomeration using F-continuation condition.Transition count delta: -12
Deduced a syphon composed of 1115 places in 3 ms
Iterating global reduction 3 with 771 rules applied. Total rules applied 1584 place count 2009 transition count 3724
Ensure Unique test removed 12 transitions
Reduce isomorphic transitions removed 12 transitions.
Iterating post reduction 3 with 12 rules applied. Total rules applied 1596 place count 2009 transition count 3712
Renaming transitions due to excessive name length > 1024 char.
Discarding 551 places :
Symmetric choice reduction at 4 with 551 rule applications. Total rules 2147 place count 1458 transition count 2795
Deduced a syphon composed of 591 places in 1 ms
Iterating global reduction 4 with 551 rules applied. Total rules applied 2698 place count 1458 transition count 2795
Ensure Unique test removed 26 transitions
Reduce isomorphic transitions removed 26 transitions.
Iterating post reduction 4 with 26 rules applied. Total rules applied 2724 place count 1458 transition count 2769
Discarding 11 places :
Symmetric choice reduction at 5 with 11 rule applications. Total rules 2735 place count 1447 transition count 2758
Deduced a syphon composed of 580 places in 1 ms
Iterating global reduction 5 with 11 rules applied. Total rules applied 2746 place count 1447 transition count 2758
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 581 places in 1 ms
Iterating global reduction 5 with 1 rules applied. Total rules applied 2747 place count 1447 transition count 2758
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 2748 place count 1446 transition count 2757
Deduced a syphon composed of 580 places in 1 ms
Iterating global reduction 5 with 1 rules applied. Total rules applied 2749 place count 1446 transition count 2757
Performed 36 Post agglomeration using F-continuation condition.Transition count delta: -245
Deduced a syphon composed of 616 places in 1 ms
Iterating global reduction 5 with 36 rules applied. Total rules applied 2785 place count 1446 transition count 3002
Ensure Unique test removed 19 transitions
Reduce isomorphic transitions removed 19 transitions.
Iterating post reduction 5 with 19 rules applied. Total rules applied 2804 place count 1446 transition count 2983
Discarding 51 places :
Symmetric choice reduction at 6 with 51 rule applications. Total rules 2855 place count 1395 transition count 2779
Deduced a syphon composed of 569 places in 1 ms
Iterating global reduction 6 with 51 rules applied. Total rules applied 2906 place count 1395 transition count 2779
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 6 with 8 rules applied. Total rules applied 2914 place count 1395 transition count 2771
Discarding 8 places :
Symmetric choice reduction at 7 with 8 rule applications. Total rules 2922 place count 1387 transition count 2755
Deduced a syphon composed of 561 places in 1 ms
Iterating global reduction 7 with 8 rules applied. Total rules applied 2930 place count 1387 transition count 2755
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -48
Deduced a syphon composed of 565 places in 2 ms
Iterating global reduction 7 with 4 rules applied. Total rules applied 2934 place count 1387 transition count 2803
Discarding 4 places :
Symmetric choice reduction at 7 with 4 rule applications. Total rules 2938 place count 1383 transition count 2795
Deduced a syphon composed of 561 places in 2 ms
Iterating global reduction 7 with 4 rules applied. Total rules applied 2942 place count 1383 transition count 2795
Deduced a syphon composed of 561 places in 1 ms
Drop transitions removed 48 transitions
Redundant transition composition rules discarded 48 transitions
Iterating global reduction 7 with 48 rules applied. Total rules applied 2990 place count 1383 transition count 2747
Discarding 22 places :
Symmetric choice reduction at 7 with 22 rule applications. Total rules 3012 place count 1361 transition count 2703
Deduced a syphon composed of 561 places in 1 ms
Iterating global reduction 7 with 22 rules applied. Total rules applied 3034 place count 1361 transition count 2703
Discarding 22 places :
Symmetric choice reduction at 7 with 22 rule applications. Total rules 3056 place count 1339 transition count 2367
Deduced a syphon composed of 561 places in 1 ms
Iterating global reduction 7 with 22 rules applied. Total rules applied 3078 place count 1339 transition count 2367
Ensure Unique test removed 33 transitions
Reduce isomorphic transitions removed 33 transitions.
Iterating post reduction 7 with 33 rules applied. Total rules applied 3111 place count 1339 transition count 2334
Discarding 22 places :
Symmetric choice reduction at 8 with 22 rule applications. Total rules 3133 place count 1317 transition count 2300
Deduced a syphon composed of 539 places in 0 ms
Iterating global reduction 8 with 22 rules applied. Total rules applied 3155 place count 1317 transition count 2300
Deduced a syphon composed of 539 places in 0 ms
Applied a total of 3155 rules in 3614 ms. Remains 1317 /2741 variables (removed 1424) and now considering 2300/5183 (removed 2883) transitions.
[2021-05-09 01:35:03] [INFO ] Redundant transitions in 214 ms returned []
[2021-05-09 01:35:03] [INFO ] Flow matrix only has 2266 transitions (discarded 34 similar events)
// Phase 1: matrix 2266 rows 1317 cols
[2021-05-09 01:35:03] [INFO ] Computed 244 place invariants in 107 ms
[2021-05-09 01:35:04] [INFO ] Dead Transitions using invariants and state equation in 1197 ms returned []
Finished structural reductions, in 1 iterations. Remains : 1317/2741 places, 2300/5183 transitions.
Stuttering criterion allowed to conclude after 7888 steps with 2 reset in 204 ms.
FORMULA DLCround-PT-11b-02 FALSE TECHNIQUES STUTTER_TEST
Treatment of property DLCround-PT-11b-02 finished in 35661 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(X((p0&&G(F(p1)))))], workingDir=/home/mcc/execution]
Support contains 3 out of 2756 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 2756/2756 places, 5226/5226 transitions.
Discarding 16 places :
Symmetric choice reduction at 0 with 16 rule applications. Total rules 16 place count 2740 transition count 5168
Iterating global reduction 0 with 16 rules applied. Total rules applied 32 place count 2740 transition count 5168
Discarding 5 places :
Symmetric choice reduction at 0 with 5 rule applications. Total rules 37 place count 2735 transition count 5163
Iterating global reduction 0 with 5 rules applied. Total rules applied 42 place count 2735 transition count 5163
Applied a total of 42 rules in 379 ms. Remains 2735 /2756 variables (removed 21) and now considering 5163/5226 (removed 63) transitions.
// Phase 1: matrix 5163 rows 2735 cols
[2021-05-09 01:35:10] [INFO ] Computed 244 place invariants in 11 ms
[2021-05-09 01:35:11] [INFO ] Implicit Places using invariants in 858 ms returned []
// Phase 1: matrix 5163 rows 2735 cols
[2021-05-09 01:35:11] [INFO ] Computed 244 place invariants in 11 ms
[2021-05-09 01:35:12] [INFO ] Implicit Places using invariants and state equation in 1564 ms returned []
Implicit Place search using SMT with State Equation took 2443 ms to find 0 implicit places.
// Phase 1: matrix 5163 rows 2735 cols
[2021-05-09 01:35:13] [INFO ] Computed 244 place invariants in 11 ms
[2021-05-09 01:35:15] [INFO ] Dead Transitions using invariants and state equation in 2680 ms returned []
Finished structural reductions, in 1 iterations. Remains : 2735/2756 places, 5163/5226 transitions.
Stuttering acceptance computed with spot in 14566 ms :[(OR (NOT p0) (NOT p1)), (OR (NOT p0) (NOT p1)), true, (NOT p1), (NOT p1)]
Running random walk in product with property : DLCround-PT-11b-03 automaton TGBA [mat=[[{ cond=true, acceptance={} source=0 dest: 1}], [{ cond=(NOT p0), acceptance={} source=1 dest: 2}, { cond=(AND p0 (NOT p1)), acceptance={} source=1 dest: 3}, { cond=p0, acceptance={} source=1 dest: 4}], [{ cond=true, acceptance={0} source=2 dest: 2}], [{ cond=(NOT p1), acceptance={0} source=3 dest: 3}], [{ cond=(NOT p1), acceptance={} source=4 dest: 3}, { cond=true, acceptance={} source=4 dest: 4}]], initial=0, aps=[p0:(OR (EQ s484 0) (EQ s1545 0)), p1:(EQ s280 1)], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, very-weak, weak, inherently-weak], stateDesc=[null, null, null, null, null][false, false, false, false, false]]
Product exploration explored 100000 steps with 261 reset in 450 ms.
Product exploration explored 100000 steps with 266 reset in 565 ms.
Knowledge obtained : [p0, (NOT p1)]
Stuttering acceptance computed with spot in 109 ms :[(OR (NOT p0) (NOT p1)), (OR (NOT p0) (NOT p1)), true, (NOT p1), (NOT p1)]
Product exploration explored 100000 steps with 261 reset in 598 ms.
Product exploration explored 100000 steps with 263 reset in 491 ms.
Applying partial POR strategy [false, true, true, true, true]
Stuttering acceptance computed with spot in 101 ms :[(OR (NOT p0) (NOT p1)), (OR (NOT p0) (NOT p1)), true, (NOT p1), (NOT p1)]
Support contains 3 out of 2735 places. Attempting structural reductions.
Property had overlarge support with respect to TGBA, discarding it for now.
Starting structural reductions, iteration 0 : 2735/2735 places, 5163/5163 transitions.
Graph (trivial) has 2371 edges and 2735 vertex of which 602 / 2735 are part of one of the 52 SCC in 4 ms
Free SCC test removed 550 places
Ensure Unique test removed 591 transitions
Reduce isomorphic transitions removed 591 transitions.
Performed 421 Post agglomeration using F-continuation condition.Transition count delta: 0
Iterating post reduction 0 with 421 rules applied. Total rules applied 422 place count 2185 transition count 4572
Ensure Unique test removed 16 transitions
Reduce isomorphic transitions removed 16 transitions.
Performed 16 Post agglomeration using F-continuation condition.Transition count delta: 0
Iterating post reduction 1 with 32 rules applied. Total rules applied 454 place count 2185 transition count 4556
Performed 12 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 12 Pre rules applied. Total rules applied 454 place count 2185 transition count 4579
Deduced a syphon composed of 449 places in 28 ms
Iterating global reduction 2 with 12 rules applied. Total rules applied 466 place count 2185 transition count 4579
Discarding 179 places :
Symmetric choice reduction at 2 with 179 rule applications. Total rules 645 place count 2006 transition count 3712
Deduced a syphon composed of 346 places in 54 ms
Iterating global reduction 2 with 179 rules applied. Total rules applied 824 place count 2006 transition count 3712
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 2 with 4 rules applied. Total rules applied 828 place count 2006 transition count 3708
Performed 771 Post agglomeration using F-continuation condition.Transition count delta: -12
Deduced a syphon composed of 1117 places in 1 ms
Iterating global reduction 3 with 771 rules applied. Total rules applied 1599 place count 2006 transition count 3720
Ensure Unique test removed 13 transitions
Reduce isomorphic transitions removed 13 transitions.
Iterating post reduction 3 with 13 rules applied. Total rules applied 1612 place count 2006 transition count 3707
Renaming transitions due to excessive name length > 1024 char.
Discarding 552 places :
Symmetric choice reduction at 4 with 552 rule applications. Total rules 2164 place count 1454 transition count 2789
Deduced a syphon composed of 592 places in 1 ms
Iterating global reduction 4 with 552 rules applied. Total rules applied 2716 place count 1454 transition count 2789
Ensure Unique test removed 26 transitions
Reduce isomorphic transitions removed 26 transitions.
Iterating post reduction 4 with 26 rules applied. Total rules applied 2742 place count 1454 transition count 2763
Discarding 12 places :
Symmetric choice reduction at 5 with 12 rule applications. Total rules 2754 place count 1442 transition count 2751
Deduced a syphon composed of 580 places in 1 ms
Iterating global reduction 5 with 12 rules applied. Total rules applied 2766 place count 1442 transition count 2751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 581 places in 1 ms
Iterating global reduction 5 with 1 rules applied. Total rules applied 2767 place count 1442 transition count 2751
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 2768 place count 1441 transition count 2750
Deduced a syphon composed of 580 places in 1 ms
Iterating global reduction 5 with 1 rules applied. Total rules applied 2769 place count 1441 transition count 2750
Performed 36 Post agglomeration using F-continuation condition.Transition count delta: -241
Deduced a syphon composed of 616 places in 1 ms
Iterating global reduction 5 with 36 rules applied. Total rules applied 2805 place count 1441 transition count 2991
Ensure Unique test removed 19 transitions
Reduce isomorphic transitions removed 19 transitions.
Iterating post reduction 5 with 19 rules applied. Total rules applied 2824 place count 1441 transition count 2972
Discarding 52 places :
Symmetric choice reduction at 6 with 52 rule applications. Total rules 2876 place count 1389 transition count 2768
Deduced a syphon composed of 568 places in 1 ms
Iterating global reduction 6 with 52 rules applied. Total rules applied 2928 place count 1389 transition count 2768
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 6 with 8 rules applied. Total rules applied 2936 place count 1389 transition count 2760
Discarding 8 places :
Symmetric choice reduction at 7 with 8 rule applications. Total rules 2944 place count 1381 transition count 2744
Deduced a syphon composed of 560 places in 1 ms
Iterating global reduction 7 with 8 rules applied. Total rules applied 2952 place count 1381 transition count 2744
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -48
Deduced a syphon composed of 564 places in 1 ms
Iterating global reduction 7 with 4 rules applied. Total rules applied 2956 place count 1381 transition count 2792
Discarding 4 places :
Symmetric choice reduction at 7 with 4 rule applications. Total rules 2960 place count 1377 transition count 2784
Deduced a syphon composed of 560 places in 1 ms
Iterating global reduction 7 with 4 rules applied. Total rules applied 2964 place count 1377 transition count 2784
Deduced a syphon composed of 560 places in 0 ms
Drop transitions removed 47 transitions
Redundant transition composition rules discarded 47 transitions
Iterating global reduction 7 with 47 rules applied. Total rules applied 3011 place count 1377 transition count 2737
Discarding 21 places :
Symmetric choice reduction at 7 with 21 rule applications. Total rules 3032 place count 1356 transition count 2695
Deduced a syphon composed of 560 places in 0 ms
Iterating global reduction 7 with 21 rules applied. Total rules applied 3053 place count 1356 transition count 2695
Discarding 21 places :
Symmetric choice reduction at 7 with 21 rule applications. Total rules 3074 place count 1335 transition count 2374
Deduced a syphon composed of 560 places in 0 ms
Iterating global reduction 7 with 21 rules applied. Total rules applied 3095 place count 1335 transition count 2374
Ensure Unique test removed 31 transitions
Reduce isomorphic transitions removed 31 transitions.
Iterating post reduction 7 with 31 rules applied. Total rules applied 3126 place count 1335 transition count 2343
Discarding 20 places :
Symmetric choice reduction at 8 with 20 rule applications. Total rules 3146 place count 1315 transition count 2313
Deduced a syphon composed of 540 places in 0 ms
Iterating global reduction 8 with 20 rules applied. Total rules applied 3166 place count 1315 transition count 2313
Deduced a syphon composed of 540 places in 1 ms
Applied a total of 3166 rules in 2531 ms. Remains 1315 /2735 variables (removed 1420) and now considering 2313/5163 (removed 2850) transitions.
[2021-05-09 01:35:35] [INFO ] Redundant transitions in 150 ms returned []
[2021-05-09 01:35:35] [INFO ] Flow matrix only has 2279 transitions (discarded 34 similar events)
// Phase 1: matrix 2279 rows 1315 cols
[2021-05-09 01:35:35] [INFO ] Computed 244 place invariants in 109 ms
[2021-05-09 01:35:36] [INFO ] Dead Transitions using invariants and state equation in 1331 ms returned []
Finished structural reductions, in 1 iterations. Remains : 1315/2735 places, 2313/5163 transitions.
Stuttering criterion allowed to conclude after 78 steps with 0 reset in 3 ms.
FORMULA DLCround-PT-11b-03 FALSE TECHNIQUES STUTTER_TEST
Treatment of property DLCround-PT-11b-03 finished in 31628 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(F((G(p0)||G((F(p1)||(p0&&F(p2)))))))], workingDir=/home/mcc/execution]
Support contains 2 out of 2756 places. Attempting structural reductions.
Property had overlarge support with respect to TGBA, discarding it for now.
Starting structural reductions, iteration 0 : 2756/2756 places, 5226/5226 transitions.
Graph (trivial) has 2389 edges and 2756 vertex of which 626 / 2756 are part of one of the 52 SCC in 2 ms
Free SCC test removed 574 places
Ensure Unique test removed 618 transitions
Reduce isomorphic transitions removed 618 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 411 transitions
Trivial Post-agglo rules discarded 411 transitions
Performed 411 trivial Post agglomeration. Transition count delta: 411
Iterating post reduction 0 with 411 rules applied. Total rules applied 412 place count 2181 transition count 4196
Reduce places removed 411 places and 0 transitions.
Ensure Unique test removed 15 transitions
Reduce isomorphic transitions removed 15 transitions.
Drop transitions removed 30 transitions
Trivial Post-agglo rules discarded 30 transitions
Performed 30 trivial Post agglomeration. Transition count delta: 30
Iterating post reduction 1 with 456 rules applied. Total rules applied 868 place count 1770 transition count 4151
Reduce places removed 30 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 2 with 31 rules applied. Total rules applied 899 place count 1740 transition count 4150
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 900 place count 1739 transition count 4150
Performed 237 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 237 Pre rules applied. Total rules applied 900 place count 1739 transition count 3913
Deduced a syphon composed of 237 places in 23 ms
Reduce places removed 237 places and 0 transitions.
Iterating global reduction 4 with 474 rules applied. Total rules applied 1374 place count 1502 transition count 3913
Discarding 91 places :
Symmetric choice reduction at 4 with 91 rule applications. Total rules 1465 place count 1411 transition count 3078
Iterating global reduction 4 with 91 rules applied. Total rules applied 1556 place count 1411 transition count 3078
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 4 with 4 rules applied. Total rules applied 1560 place count 1411 transition count 3074
Performed 9 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 9 Pre rules applied. Total rules applied 1560 place count 1411 transition count 3065
Deduced a syphon composed of 9 places in 18 ms
Reduce places removed 9 places and 0 transitions.
Iterating global reduction 5 with 18 rules applied. Total rules applied 1578 place count 1402 transition count 3065
Performed 539 Post agglomeration using F-continuation condition with reduction of 11 identical transitions.
Deduced a syphon composed of 539 places in 1 ms
Reduce places removed 539 places and 0 transitions.
Iterating global reduction 5 with 1078 rules applied. Total rules applied 2656 place count 863 transition count 2515
Ensure Unique test removed 12 transitions
Reduce isomorphic transitions removed 12 transitions.
Iterating post reduction 5 with 12 rules applied. Total rules applied 2668 place count 863 transition count 2503
Renaming transitions due to excessive name length > 1024 char.
Discarding 29 places :
Symmetric choice reduction at 6 with 29 rule applications. Total rules 2697 place count 834 transition count 2080
Iterating global reduction 6 with 29 rules applied. Total rules applied 2726 place count 834 transition count 2080
Ensure Unique test removed 28 transitions
Reduce isomorphic transitions removed 28 transitions.
Iterating post reduction 6 with 28 rules applied. Total rules applied 2754 place count 834 transition count 2052
Performed 13 Post agglomeration using F-continuation condition.Transition count delta: -123
Deduced a syphon composed of 13 places in 1 ms
Reduce places removed 13 places and 0 transitions.
Iterating global reduction 7 with 26 rules applied. Total rules applied 2780 place count 821 transition count 2175
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 7 with 4 rules applied. Total rules applied 2784 place count 821 transition count 2171
Discarding 4 places :
Symmetric choice reduction at 8 with 4 rule applications. Total rules 2788 place count 817 transition count 2071
Iterating global reduction 8 with 4 rules applied. Total rules applied 2792 place count 817 transition count 2071
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 8 with 4 rules applied. Total rules applied 2796 place count 817 transition count 2067
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -42
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 9 with 8 rules applied. Total rules applied 2804 place count 813 transition count 2109
Drop transitions removed 46 transitions
Redundant transition composition rules discarded 46 transitions
Iterating global reduction 9 with 46 rules applied. Total rules applied 2850 place count 813 transition count 2063
Discarding 23 places :
Symmetric choice reduction at 9 with 23 rule applications. Total rules 2873 place count 790 transition count 2017
Iterating global reduction 9 with 23 rules applied. Total rules applied 2896 place count 790 transition count 2017
Discarding 23 places :
Symmetric choice reduction at 9 with 23 rule applications. Total rules 2919 place count 767 transition count 1668
Iterating global reduction 9 with 23 rules applied. Total rules applied 2942 place count 767 transition count 1668
Ensure Unique test removed 23 transitions
Reduce isomorphic transitions removed 23 transitions.
Iterating post reduction 9 with 23 rules applied. Total rules applied 2965 place count 767 transition count 1645
Partial Post-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 10 with 2 rules applied. Total rules applied 2967 place count 767 transition count 1645
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 10 with 1 rules applied. Total rules applied 2968 place count 767 transition count 1644
Discarding 1 places :
Symmetric choice reduction at 10 with 1 rule applications. Total rules 2969 place count 766 transition count 1642
Iterating global reduction 10 with 1 rules applied. Total rules applied 2970 place count 766 transition count 1642
Discarding 1 places :
Symmetric choice reduction at 10 with 1 rule applications. Total rules 2971 place count 765 transition count 1627
Iterating global reduction 10 with 1 rules applied. Total rules applied 2972 place count 765 transition count 1627
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 10 with 1 rules applied. Total rules applied 2973 place count 765 transition count 1626
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 11 with 1 rules applied. Total rules applied 2974 place count 764 transition count 1625
Applied a total of 2974 rules in 964 ms. Remains 764 /2756 variables (removed 1992) and now considering 1625/5226 (removed 3601) transitions.
[2021-05-09 01:35:46] [INFO ] Flow matrix only has 1593 transitions (discarded 32 similar events)
// Phase 1: matrix 1593 rows 764 cols
[2021-05-09 01:35:46] [INFO ] Computed 244 place invariants in 3 ms
[2021-05-09 01:35:46] [INFO ] Implicit Places using invariants in 516 ms returned []
[2021-05-09 01:35:47] [INFO ] Flow matrix only has 1593 transitions (discarded 32 similar events)
// Phase 1: matrix 1593 rows 764 cols
[2021-05-09 01:35:47] [INFO ] Computed 244 place invariants in 3 ms
[2021-05-09 01:35:47] [INFO ] State equation strengthened by 62 read => feed constraints.
[2021-05-09 01:35:48] [INFO ] Implicit Places using invariants and state equation in 1245 ms returned []
Implicit Place search using SMT with State Equation took 1762 ms to find 0 implicit places.
[2021-05-09 01:35:48] [INFO ] Redundant transitions in 29 ms returned []
[2021-05-09 01:35:48] [INFO ] Flow matrix only has 1593 transitions (discarded 32 similar events)
// Phase 1: matrix 1593 rows 764 cols
[2021-05-09 01:35:48] [INFO ] Computed 244 place invariants in 3 ms
[2021-05-09 01:35:48] [INFO ] Dead Transitions using invariants and state equation in 625 ms returned []
Finished structural reductions, in 1 iterations. Remains : 764/2756 places, 1625/5226 transitions.
Stuttering acceptance computed with spot in 50 ms :[(AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1))]
Running random walk in product with property : DLCround-PT-11b-05 automaton TGBA [mat=[[{ cond=true, acceptance={} source=0 dest: 0}, { cond=(AND (NOT p0) (NOT p1)), acceptance={} source=0 dest: 1}], [{ cond=(AND (NOT p0) (NOT p1)), acceptance={0} source=1 dest: 1}, { cond=(AND p0 (NOT p1)), acceptance={} source=1 dest: 1}]], initial=0, aps=[p0:(NEQ s493 0), p1:(EQ s59 1)], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, stutter-invariant], stateDesc=[null, null][true, true]]
Stuttering criterion allowed to conclude after 0 steps with 0 reset in 1 ms.
FORMULA DLCround-PT-11b-05 FALSE TECHNIQUES STUTTER_TEST
Treatment of property DLCround-PT-11b-05 finished in 12204 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(F(G(p0)))], workingDir=/home/mcc/execution]
Support contains 4 out of 2756 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 2756/2756 places, 5226/5226 transitions.
Graph (trivial) has 2390 edges and 2756 vertex of which 626 / 2756 are part of one of the 52 SCC in 2 ms
Free SCC test removed 574 places
Ensure Unique test removed 618 transitions
Reduce isomorphic transitions removed 618 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 414 transitions
Trivial Post-agglo rules discarded 414 transitions
Performed 414 trivial Post agglomeration. Transition count delta: 414
Iterating post reduction 0 with 414 rules applied. Total rules applied 415 place count 2181 transition count 4193
Reduce places removed 414 places and 0 transitions.
Ensure Unique test removed 16 transitions
Reduce isomorphic transitions removed 16 transitions.
Drop transitions removed 32 transitions
Trivial Post-agglo rules discarded 32 transitions
Performed 32 trivial Post agglomeration. Transition count delta: 32
Iterating post reduction 1 with 462 rules applied. Total rules applied 877 place count 1767 transition count 4145
Reduce places removed 32 places and 0 transitions.
Iterating post reduction 2 with 32 rules applied. Total rules applied 909 place count 1735 transition count 4145
Performed 236 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 236 Pre rules applied. Total rules applied 909 place count 1735 transition count 3909
Deduced a syphon composed of 236 places in 23 ms
Reduce places removed 236 places and 0 transitions.
Iterating global reduction 3 with 472 rules applied. Total rules applied 1381 place count 1499 transition count 3909
Discarding 90 places :
Symmetric choice reduction at 3 with 90 rule applications. Total rules 1471 place count 1409 transition count 3075
Iterating global reduction 3 with 90 rules applied. Total rules applied 1561 place count 1409 transition count 3075
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 3 with 4 rules applied. Total rules applied 1565 place count 1409 transition count 3071
Performed 9 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 9 Pre rules applied. Total rules applied 1565 place count 1409 transition count 3062
Deduced a syphon composed of 9 places in 18 ms
Reduce places removed 9 places and 0 transitions.
Iterating global reduction 4 with 18 rules applied. Total rules applied 1583 place count 1400 transition count 3062
Performed 537 Post agglomeration using F-continuation condition with reduction of 12 identical transitions.
Deduced a syphon composed of 537 places in 1 ms
Reduce places removed 537 places and 0 transitions.
Iterating global reduction 4 with 1074 rules applied. Total rules applied 2657 place count 863 transition count 2513
Ensure Unique test removed 12 transitions
Reduce isomorphic transitions removed 12 transitions.
Iterating post reduction 4 with 12 rules applied. Total rules applied 2669 place count 863 transition count 2501
Renaming transitions due to excessive name length > 1024 char.
Discarding 28 places :
Symmetric choice reduction at 5 with 28 rule applications. Total rules 2697 place count 835 transition count 2090
Iterating global reduction 5 with 28 rules applied. Total rules applied 2725 place count 835 transition count 2090
Ensure Unique test removed 27 transitions
Reduce isomorphic transitions removed 27 transitions.
Iterating post reduction 5 with 27 rules applied. Total rules applied 2752 place count 835 transition count 2063
Performed 17 Post agglomeration using F-continuation condition.Transition count delta: -165
Deduced a syphon composed of 17 places in 1 ms
Reduce places removed 17 places and 0 transitions.
Iterating global reduction 6 with 34 rules applied. Total rules applied 2786 place count 818 transition count 2228
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 6 with 4 rules applied. Total rules applied 2790 place count 818 transition count 2224
Discarding 4 places :
Symmetric choice reduction at 7 with 4 rule applications. Total rules 2794 place count 814 transition count 2118
Iterating global reduction 7 with 4 rules applied. Total rules applied 2798 place count 814 transition count 2118
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 7 with 4 rules applied. Total rules applied 2802 place count 814 transition count 2114
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -44
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 8 with 8 rules applied. Total rules applied 2810 place count 810 transition count 2158
Drop transitions removed 58 transitions
Redundant transition composition rules discarded 58 transitions
Iterating global reduction 8 with 58 rules applied. Total rules applied 2868 place count 810 transition count 2100
Discarding 24 places :
Symmetric choice reduction at 8 with 24 rule applications. Total rules 2892 place count 786 transition count 2052
Iterating global reduction 8 with 24 rules applied. Total rules applied 2916 place count 786 transition count 2052
Discarding 24 places :
Symmetric choice reduction at 8 with 24 rule applications. Total rules 2940 place count 762 transition count 1684
Iterating global reduction 8 with 24 rules applied. Total rules applied 2964 place count 762 transition count 1684
Ensure Unique test removed 24 transitions
Reduce isomorphic transitions removed 24 transitions.
Iterating post reduction 8 with 24 rules applied. Total rules applied 2988 place count 762 transition count 1660
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 9 with 1 rules applied. Total rules applied 2989 place count 761 transition count 1659
Applied a total of 2989 rules in 527 ms. Remains 761 /2756 variables (removed 1995) and now considering 1659/5226 (removed 3567) transitions.
[2021-05-09 01:35:49] [INFO ] Flow matrix only has 1618 transitions (discarded 41 similar events)
// Phase 1: matrix 1618 rows 761 cols
[2021-05-09 01:35:49] [INFO ] Computed 244 place invariants in 3 ms
[2021-05-09 01:35:49] [INFO ] Implicit Places using invariants in 399 ms returned []
[2021-05-09 01:35:49] [INFO ] Flow matrix only has 1618 transitions (discarded 41 similar events)
// Phase 1: matrix 1618 rows 761 cols
[2021-05-09 01:35:49] [INFO ] Computed 244 place invariants in 3 ms
[2021-05-09 01:35:50] [INFO ] State equation strengthened by 244 read => feed constraints.
[2021-05-09 01:35:51] [INFO ] Implicit Places using invariants and state equation in 1905 ms returned []
Implicit Place search using SMT with State Equation took 2313 ms to find 0 implicit places.
[2021-05-09 01:35:51] [INFO ] Redundant transitions in 40 ms returned []
[2021-05-09 01:35:51] [INFO ] Flow matrix only has 1618 transitions (discarded 41 similar events)
// Phase 1: matrix 1618 rows 761 cols
[2021-05-09 01:35:51] [INFO ] Computed 244 place invariants in 3 ms
[2021-05-09 01:35:52] [INFO ] Dead Transitions using invariants and state equation in 633 ms returned []
Finished structural reductions, in 1 iterations. Remains : 761/2756 places, 1659/5226 transitions.
Stuttering acceptance computed with spot in 6755 ms :[(NOT p0)]
Running random walk in product with property : DLCround-PT-11b-07 automaton TGBA [mat=[[{ cond=(NOT p0), acceptance={0} source=0 dest: 0}, { cond=p0, acceptance={} source=0 dest: 0}]], initial=0, aps=[p0:(AND (EQ s9 1) (EQ s327 1) (EQ s57 1) (EQ s258 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, complete, deterministic, no-univ-branch, unambiguous, semi-deterministic, stutter-invariant], stateDesc=[null][true]]
Stuttering criterion allowed to conclude after 0 steps with 0 reset in 0 ms.
FORMULA DLCround-PT-11b-07 FALSE TECHNIQUES STUTTER_TEST
Treatment of property DLCround-PT-11b-07 finished in 10285 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(G(p0))], workingDir=/home/mcc/execution]
Support contains 2 out of 2756 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 2756/2756 places, 5226/5226 transitions.
Graph (trivial) has 2392 edges and 2756 vertex of which 626 / 2756 are part of one of the 52 SCC in 2 ms
Free SCC test removed 574 places
Ensure Unique test removed 618 transitions
Reduce isomorphic transitions removed 618 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 414 transitions
Trivial Post-agglo rules discarded 414 transitions
Performed 414 trivial Post agglomeration. Transition count delta: 414
Iterating post reduction 0 with 414 rules applied. Total rules applied 415 place count 2181 transition count 4193
Reduce places removed 414 places and 0 transitions.
Ensure Unique test removed 16 transitions
Reduce isomorphic transitions removed 16 transitions.
Drop transitions removed 32 transitions
Trivial Post-agglo rules discarded 32 transitions
Performed 32 trivial Post agglomeration. Transition count delta: 32
Iterating post reduction 1 with 462 rules applied. Total rules applied 877 place count 1767 transition count 4145
Reduce places removed 32 places and 0 transitions.
Iterating post reduction 2 with 32 rules applied. Total rules applied 909 place count 1735 transition count 4145
Performed 236 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 236 Pre rules applied. Total rules applied 909 place count 1735 transition count 3909
Deduced a syphon composed of 236 places in 23 ms
Reduce places removed 236 places and 0 transitions.
Iterating global reduction 3 with 472 rules applied. Total rules applied 1381 place count 1499 transition count 3909
Discarding 91 places :
Symmetric choice reduction at 3 with 91 rule applications. Total rules 1472 place count 1408 transition count 3074
Iterating global reduction 3 with 91 rules applied. Total rules applied 1563 place count 1408 transition count 3074
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 3 with 4 rules applied. Total rules applied 1567 place count 1408 transition count 3070
Performed 9 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 9 Pre rules applied. Total rules applied 1567 place count 1408 transition count 3061
Deduced a syphon composed of 9 places in 18 ms
Reduce places removed 9 places and 0 transitions.
Iterating global reduction 4 with 18 rules applied. Total rules applied 1585 place count 1399 transition count 3061
Performed 540 Post agglomeration using F-continuation condition with reduction of 12 identical transitions.
Deduced a syphon composed of 540 places in 0 ms
Reduce places removed 540 places and 0 transitions.
Iterating global reduction 4 with 1080 rules applied. Total rules applied 2665 place count 859 transition count 2509
Ensure Unique test removed 12 transitions
Reduce isomorphic transitions removed 12 transitions.
Iterating post reduction 4 with 12 rules applied. Total rules applied 2677 place count 859 transition count 2497
Renaming transitions due to excessive name length > 1024 char.
Discarding 28 places :
Symmetric choice reduction at 5 with 28 rule applications. Total rules 2705 place count 831 transition count 2089
Iterating global reduction 5 with 28 rules applied. Total rules applied 2733 place count 831 transition count 2089
Ensure Unique test removed 27 transitions
Reduce isomorphic transitions removed 27 transitions.
Iterating post reduction 5 with 27 rules applied. Total rules applied 2760 place count 831 transition count 2062
Performed 12 Post agglomeration using F-continuation condition.Transition count delta: -123
Deduced a syphon composed of 12 places in 0 ms
Reduce places removed 12 places and 0 transitions.
Iterating global reduction 6 with 24 rules applied. Total rules applied 2784 place count 819 transition count 2185
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 6 with 4 rules applied. Total rules applied 2788 place count 819 transition count 2181
Discarding 4 places :
Symmetric choice reduction at 7 with 4 rule applications. Total rules 2792 place count 815 transition count 2081
Iterating global reduction 7 with 4 rules applied. Total rules applied 2796 place count 815 transition count 2081
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 7 with 4 rules applied. Total rules applied 2800 place count 815 transition count 2077
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -42
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 8 with 8 rules applied. Total rules applied 2808 place count 811 transition count 2119
Drop transitions removed 46 transitions
Redundant transition composition rules discarded 46 transitions
Iterating global reduction 8 with 46 rules applied. Total rules applied 2854 place count 811 transition count 2073
Discarding 24 places :
Symmetric choice reduction at 8 with 24 rule applications. Total rules 2878 place count 787 transition count 2025
Iterating global reduction 8 with 24 rules applied. Total rules applied 2902 place count 787 transition count 2025
Discarding 24 places :
Symmetric choice reduction at 8 with 24 rule applications. Total rules 2926 place count 763 transition count 1661
Iterating global reduction 8 with 24 rules applied. Total rules applied 2950 place count 763 transition count 1661
Ensure Unique test removed 24 transitions
Reduce isomorphic transitions removed 24 transitions.
Iterating post reduction 8 with 24 rules applied. Total rules applied 2974 place count 763 transition count 1637
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 9 with 1 rules applied. Total rules applied 2975 place count 762 transition count 1636
Applied a total of 2975 rules in 654 ms. Remains 762 /2756 variables (removed 1994) and now considering 1636/5226 (removed 3590) transitions.
[2021-05-09 01:35:59] [INFO ] Flow matrix only has 1604 transitions (discarded 32 similar events)
// Phase 1: matrix 1604 rows 762 cols
[2021-05-09 01:35:59] [INFO ] Computed 244 place invariants in 3 ms
[2021-05-09 01:36:00] [INFO ] Implicit Places using invariants in 304 ms returned []
[2021-05-09 01:36:00] [INFO ] Flow matrix only has 1604 transitions (discarded 32 similar events)
// Phase 1: matrix 1604 rows 762 cols
[2021-05-09 01:36:00] [INFO ] Computed 244 place invariants in 3 ms
[2021-05-09 01:36:00] [INFO ] State equation strengthened by 62 read => feed constraints.
[2021-05-09 01:36:01] [INFO ] Implicit Places using invariants and state equation in 1187 ms returned []
Implicit Place search using SMT with State Equation took 1492 ms to find 0 implicit places.
[2021-05-09 01:36:01] [INFO ] Redundant transitions in 29 ms returned []
[2021-05-09 01:36:01] [INFO ] Flow matrix only has 1604 transitions (discarded 32 similar events)
// Phase 1: matrix 1604 rows 762 cols
[2021-05-09 01:36:01] [INFO ] Computed 244 place invariants in 3 ms
[2021-05-09 01:36:02] [INFO ] Dead Transitions using invariants and state equation in 703 ms returned []
Finished structural reductions, in 1 iterations. Remains : 762/2756 places, 1636/5226 transitions.
Stuttering acceptance computed with spot in 31 ms :[true, (NOT p0)]
Running random walk in product with property : DLCround-PT-11b-08 automaton TGBA [mat=[[{ cond=true, acceptance={0} source=0 dest: 0}], [{ cond=(NOT p0), acceptance={} source=1 dest: 0}, { cond=p0, acceptance={} source=1 dest: 1}]], initial=1, aps=[p0:(OR (EQ s57 0) (EQ s652 0))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, complete, deterministic, no-univ-branch, unambiguous, semi-deterministic, stutter-invariant, terminal, very-weak, weak, inherently-weak], stateDesc=[null, null][true, true]]
Entered a terminal (fully accepting) state of product in 4670 steps with 0 reset in 54 ms.
FORMULA DLCround-PT-11b-08 FALSE TECHNIQUES STUTTER_TEST
Treatment of property DLCround-PT-11b-08 finished in 2983 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !((p0 U (F(G(p1)) U p2)))], workingDir=/home/mcc/execution]
Support contains 4 out of 2756 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 2756/2756 places, 5226/5226 transitions.
Graph (trivial) has 2388 edges and 2756 vertex of which 626 / 2756 are part of one of the 52 SCC in 1 ms
Free SCC test removed 574 places
Ensure Unique test removed 618 transitions
Reduce isomorphic transitions removed 618 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 412 transitions
Trivial Post-agglo rules discarded 412 transitions
Performed 412 trivial Post agglomeration. Transition count delta: 412
Iterating post reduction 0 with 412 rules applied. Total rules applied 413 place count 2181 transition count 4195
Reduce places removed 412 places and 0 transitions.
Ensure Unique test removed 16 transitions
Reduce isomorphic transitions removed 16 transitions.
Drop transitions removed 32 transitions
Trivial Post-agglo rules discarded 32 transitions
Performed 32 trivial Post agglomeration. Transition count delta: 32
Iterating post reduction 1 with 460 rules applied. Total rules applied 873 place count 1769 transition count 4147
Reduce places removed 32 places and 0 transitions.
Iterating post reduction 2 with 32 rules applied. Total rules applied 905 place count 1737 transition count 4147
Performed 236 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 236 Pre rules applied. Total rules applied 905 place count 1737 transition count 3911
Deduced a syphon composed of 236 places in 23 ms
Reduce places removed 236 places and 0 transitions.
Iterating global reduction 3 with 472 rules applied. Total rules applied 1377 place count 1501 transition count 3911
Discarding 89 places :
Symmetric choice reduction at 3 with 89 rule applications. Total rules 1466 place count 1412 transition count 3092
Iterating global reduction 3 with 89 rules applied. Total rules applied 1555 place count 1412 transition count 3092
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 3 with 4 rules applied. Total rules applied 1559 place count 1412 transition count 3088
Performed 8 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 8 Pre rules applied. Total rules applied 1559 place count 1412 transition count 3080
Deduced a syphon composed of 8 places in 19 ms
Reduce places removed 8 places and 0 transitions.
Iterating global reduction 4 with 16 rules applied. Total rules applied 1575 place count 1404 transition count 3080
Performed 541 Post agglomeration using F-continuation condition with reduction of 12 identical transitions.
Deduced a syphon composed of 541 places in 1 ms
Reduce places removed 541 places and 0 transitions.
Iterating global reduction 4 with 1082 rules applied. Total rules applied 2657 place count 863 transition count 2527
Ensure Unique test removed 12 transitions
Reduce isomorphic transitions removed 12 transitions.
Iterating post reduction 4 with 12 rules applied. Total rules applied 2669 place count 863 transition count 2515
Renaming transitions due to excessive name length > 1024 char.
Discarding 29 places :
Symmetric choice reduction at 5 with 29 rule applications. Total rules 2698 place count 834 transition count 2092
Iterating global reduction 5 with 29 rules applied. Total rules applied 2727 place count 834 transition count 2092
Ensure Unique test removed 27 transitions
Reduce isomorphic transitions removed 27 transitions.
Iterating post reduction 5 with 27 rules applied. Total rules applied 2754 place count 834 transition count 2065
Performed 12 Post agglomeration using F-continuation condition.Transition count delta: -123
Deduced a syphon composed of 12 places in 1 ms
Reduce places removed 12 places and 0 transitions.
Iterating global reduction 6 with 24 rules applied. Total rules applied 2778 place count 822 transition count 2188
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 6 with 4 rules applied. Total rules applied 2782 place count 822 transition count 2184
Discarding 4 places :
Symmetric choice reduction at 7 with 4 rule applications. Total rules 2786 place count 818 transition count 2084
Iterating global reduction 7 with 4 rules applied. Total rules applied 2790 place count 818 transition count 2084
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 7 with 4 rules applied. Total rules applied 2794 place count 818 transition count 2080
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -42
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 8 with 8 rules applied. Total rules applied 2802 place count 814 transition count 2122
Drop transitions removed 45 transitions
Redundant transition composition rules discarded 45 transitions
Iterating global reduction 8 with 45 rules applied. Total rules applied 2847 place count 814 transition count 2077
Discarding 23 places :
Symmetric choice reduction at 8 with 23 rule applications. Total rules 2870 place count 791 transition count 2031
Iterating global reduction 8 with 23 rules applied. Total rules applied 2893 place count 791 transition count 2031
Discarding 23 places :
Symmetric choice reduction at 8 with 23 rule applications. Total rules 2916 place count 768 transition count 1682
Iterating global reduction 8 with 23 rules applied. Total rules applied 2939 place count 768 transition count 1682
Ensure Unique test removed 23 transitions
Reduce isomorphic transitions removed 23 transitions.
Iterating post reduction 8 with 23 rules applied. Total rules applied 2962 place count 768 transition count 1659
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 9 with 1 rules applied. Total rules applied 2963 place count 767 transition count 1658
Applied a total of 2963 rules in 581 ms. Remains 767 /2756 variables (removed 1989) and now considering 1658/5226 (removed 3568) transitions.
[2021-05-09 01:36:02] [INFO ] Flow matrix only has 1625 transitions (discarded 33 similar events)
// Phase 1: matrix 1625 rows 767 cols
[2021-05-09 01:36:02] [INFO ] Computed 244 place invariants in 3 ms
[2021-05-09 01:36:03] [INFO ] Implicit Places using invariants in 342 ms returned []
[2021-05-09 01:36:03] [INFO ] Flow matrix only has 1625 transitions (discarded 33 similar events)
// Phase 1: matrix 1625 rows 767 cols
[2021-05-09 01:36:03] [INFO ] Computed 244 place invariants in 3 ms
[2021-05-09 01:36:03] [INFO ] State equation strengthened by 62 read => feed constraints.
[2021-05-09 01:36:04] [INFO ] Implicit Places using invariants and state equation in 1329 ms returned []
Implicit Place search using SMT with State Equation took 1673 ms to find 0 implicit places.
[2021-05-09 01:36:04] [INFO ] Redundant transitions in 30 ms returned []
[2021-05-09 01:36:04] [INFO ] Flow matrix only has 1625 transitions (discarded 33 similar events)
// Phase 1: matrix 1625 rows 767 cols
[2021-05-09 01:36:04] [INFO ] Computed 244 place invariants in 2 ms
[2021-05-09 01:36:05] [INFO ] Dead Transitions using invariants and state equation in 702 ms returned []
Finished structural reductions, in 1 iterations. Remains : 767/2756 places, 1658/5226 transitions.
Stuttering acceptance computed with spot in 77 ms :[(NOT p2), (NOT p1), (NOT p2)]
Running random walk in product with property : DLCround-PT-11b-10 automaton TGBA [mat=[[{ cond=(AND (NOT p2) p0), acceptance={0} source=0 dest: 0}, { cond=(AND (NOT p2) (NOT p0)), acceptance={} source=0 dest: 1}, { cond=(AND (NOT p2) (NOT p0)), acceptance={} source=0 dest: 2}], [{ cond=(NOT p1), acceptance={0} source=1 dest: 1}, { cond=p1, acceptance={} source=1 dest: 1}], [{ cond=(NOT p2), acceptance={} source=2 dest: 1}, { cond=(NOT p2), acceptance={0} source=2 dest: 2}]], initial=0, aps=[p2:(EQ s429 1), p0:(AND (EQ s53 1) (EQ s595 1)), p1:(EQ s44 0)], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, stutter-invariant], stateDesc=[null, null, null][true, true, true]]
Stuttering criterion allowed to conclude after 0 steps with 0 reset in 0 ms.
FORMULA DLCround-PT-11b-10 FALSE TECHNIQUES STUTTER_TEST
Treatment of property DLCround-PT-11b-10 finished in 3098 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(F(p0))], workingDir=/home/mcc/execution]
Support contains 3 out of 2756 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 2756/2756 places, 5226/5226 transitions.
Graph (trivial) has 2389 edges and 2756 vertex of which 612 / 2756 are part of one of the 53 SCC in 1 ms
Free SCC test removed 559 places
Ensure Unique test removed 600 transitions
Reduce isomorphic transitions removed 600 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 416 transitions
Trivial Post-agglo rules discarded 416 transitions
Performed 416 trivial Post agglomeration. Transition count delta: 416
Iterating post reduction 0 with 416 rules applied. Total rules applied 417 place count 2196 transition count 4209
Reduce places removed 416 places and 0 transitions.
Ensure Unique test removed 16 transitions
Reduce isomorphic transitions removed 16 transitions.
Drop transitions removed 32 transitions
Trivial Post-agglo rules discarded 32 transitions
Performed 32 trivial Post agglomeration. Transition count delta: 32
Iterating post reduction 1 with 464 rules applied. Total rules applied 881 place count 1780 transition count 4161
Reduce places removed 32 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 2 with 33 rules applied. Total rules applied 914 place count 1748 transition count 4160
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 915 place count 1747 transition count 4160
Performed 238 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 238 Pre rules applied. Total rules applied 915 place count 1747 transition count 3922
Deduced a syphon composed of 238 places in 24 ms
Reduce places removed 238 places and 0 transitions.
Iterating global reduction 4 with 476 rules applied. Total rules applied 1391 place count 1509 transition count 3922
Discarding 87 places :
Symmetric choice reduction at 4 with 87 rule applications. Total rules 1478 place count 1422 transition count 3119
Iterating global reduction 4 with 87 rules applied. Total rules applied 1565 place count 1422 transition count 3119
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 4 with 4 rules applied. Total rules applied 1569 place count 1422 transition count 3115
Performed 9 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 9 Pre rules applied. Total rules applied 1569 place count 1422 transition count 3106
Deduced a syphon composed of 9 places in 19 ms
Reduce places removed 9 places and 0 transitions.
Iterating global reduction 5 with 18 rules applied. Total rules applied 1587 place count 1413 transition count 3106
Performed 545 Post agglomeration using F-continuation condition with reduction of 11 identical transitions.
Deduced a syphon composed of 545 places in 1 ms
Reduce places removed 545 places and 0 transitions.
Iterating global reduction 5 with 1090 rules applied. Total rules applied 2677 place count 868 transition count 2550
Ensure Unique test removed 12 transitions
Reduce isomorphic transitions removed 12 transitions.
Iterating post reduction 5 with 12 rules applied. Total rules applied 2689 place count 868 transition count 2538
Renaming transitions due to excessive name length > 1024 char.
Discarding 28 places :
Symmetric choice reduction at 6 with 28 rule applications. Total rules 2717 place count 840 transition count 2130
Iterating global reduction 6 with 28 rules applied. Total rules applied 2745 place count 840 transition count 2130
Ensure Unique test removed 26 transitions
Reduce isomorphic transitions removed 26 transitions.
Iterating post reduction 6 with 26 rules applied. Total rules applied 2771 place count 840 transition count 2104
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 7 with 2 rules applied. Total rules applied 2773 place count 839 transition count 2103
Performed 12 Post agglomeration using F-continuation condition.Transition count delta: -123
Deduced a syphon composed of 12 places in 1 ms
Reduce places removed 12 places and 0 transitions.
Iterating global reduction 7 with 24 rules applied. Total rules applied 2797 place count 827 transition count 2226
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 7 with 4 rules applied. Total rules applied 2801 place count 827 transition count 2222
Discarding 4 places :
Symmetric choice reduction at 8 with 4 rule applications. Total rules 2805 place count 823 transition count 2122
Iterating global reduction 8 with 4 rules applied. Total rules applied 2809 place count 823 transition count 2122
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 8 with 4 rules applied. Total rules applied 2813 place count 823 transition count 2118
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -42
Deduced a syphon composed of 4 places in 0 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 9 with 8 rules applied. Total rules applied 2821 place count 819 transition count 2160
Drop transitions removed 45 transitions
Redundant transition composition rules discarded 45 transitions
Iterating global reduction 9 with 45 rules applied. Total rules applied 2866 place count 819 transition count 2115
Discarding 22 places :
Symmetric choice reduction at 9 with 22 rule applications. Total rules 2888 place count 797 transition count 2071
Iterating global reduction 9 with 22 rules applied. Total rules applied 2910 place count 797 transition count 2071
Discarding 22 places :
Symmetric choice reduction at 9 with 22 rule applications. Total rules 2932 place count 775 transition count 1737
Iterating global reduction 9 with 22 rules applied. Total rules applied 2954 place count 775 transition count 1737
Ensure Unique test removed 22 transitions
Reduce isomorphic transitions removed 22 transitions.
Iterating post reduction 9 with 22 rules applied. Total rules applied 2976 place count 775 transition count 1715
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 10 with 1 rules applied. Total rules applied 2977 place count 774 transition count 1714
Applied a total of 2977 rules in 622 ms. Remains 774 /2756 variables (removed 1982) and now considering 1714/5226 (removed 3512) transitions.
[2021-05-09 01:36:05] [INFO ] Flow matrix only has 1679 transitions (discarded 35 similar events)
// Phase 1: matrix 1679 rows 774 cols
[2021-05-09 01:36:05] [INFO ] Computed 244 place invariants in 3 ms
[2021-05-09 01:36:06] [INFO ] Implicit Places using invariants in 356 ms returned []
[2021-05-09 01:36:06] [INFO ] Flow matrix only has 1679 transitions (discarded 35 similar events)
// Phase 1: matrix 1679 rows 774 cols
[2021-05-09 01:36:06] [INFO ] Computed 244 place invariants in 3 ms
[2021-05-09 01:36:06] [INFO ] State equation strengthened by 77 read => feed constraints.
[2021-05-09 01:36:07] [INFO ] Implicit Places using invariants and state equation in 1361 ms returned []
Implicit Place search using SMT with State Equation took 1718 ms to find 0 implicit places.
[2021-05-09 01:36:07] [INFO ] Redundant transitions in 31 ms returned []
[2021-05-09 01:36:07] [INFO ] Flow matrix only has 1679 transitions (discarded 35 similar events)
// Phase 1: matrix 1679 rows 774 cols
[2021-05-09 01:36:07] [INFO ] Computed 244 place invariants in 3 ms
[2021-05-09 01:36:08] [INFO ] Dead Transitions using invariants and state equation in 747 ms returned []
Finished structural reductions, in 1 iterations. Remains : 774/2756 places, 1714/5226 transitions.
Stuttering acceptance computed with spot in 5051 ms :[(NOT p0)]
Running random walk in product with property : DLCround-PT-11b-11 automaton TGBA [mat=[[{ cond=(NOT p0), acceptance={0} source=0 dest: 0}]], initial=0, aps=[p0:(OR (EQ s58 1) (AND (EQ s90 1) (EQ s752 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 0 steps with 0 reset in 0 ms.
FORMULA DLCround-PT-11b-11 FALSE TECHNIQUES STUTTER_TEST
Treatment of property DLCround-PT-11b-11 finished in 8188 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !((F(p0)&&F(p1)))], workingDir=/home/mcc/execution]
Support contains 5 out of 2756 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 2756/2756 places, 5226/5226 transitions.
Graph (trivial) has 2387 edges and 2756 vertex of which 622 / 2756 are part of one of the 52 SCC in 1 ms
Free SCC test removed 570 places
Ensure Unique test removed 613 transitions
Reduce isomorphic transitions removed 613 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 412 transitions
Trivial Post-agglo rules discarded 412 transitions
Performed 412 trivial Post agglomeration. Transition count delta: 412
Iterating post reduction 0 with 412 rules applied. Total rules applied 413 place count 2185 transition count 4200
Reduce places removed 412 places and 0 transitions.
Ensure Unique test removed 16 transitions
Reduce isomorphic transitions removed 16 transitions.
Drop transitions removed 32 transitions
Trivial Post-agglo rules discarded 32 transitions
Performed 32 trivial Post agglomeration. Transition count delta: 32
Iterating post reduction 1 with 460 rules applied. Total rules applied 873 place count 1773 transition count 4152
Reduce places removed 32 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 2 with 33 rules applied. Total rules applied 906 place count 1741 transition count 4151
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 907 place count 1740 transition count 4151
Performed 236 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 236 Pre rules applied. Total rules applied 907 place count 1740 transition count 3915
Deduced a syphon composed of 236 places in 23 ms
Reduce places removed 236 places and 0 transitions.
Iterating global reduction 4 with 472 rules applied. Total rules applied 1379 place count 1504 transition count 3915
Discarding 90 places :
Symmetric choice reduction at 4 with 90 rule applications. Total rules 1469 place count 1414 transition count 3109
Iterating global reduction 4 with 90 rules applied. Total rules applied 1559 place count 1414 transition count 3109
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 4 with 4 rules applied. Total rules applied 1563 place count 1414 transition count 3105
Performed 9 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 9 Pre rules applied. Total rules applied 1563 place count 1414 transition count 3096
Deduced a syphon composed of 9 places in 19 ms
Reduce places removed 9 places and 0 transitions.
Iterating global reduction 5 with 18 rules applied. Total rules applied 1581 place count 1405 transition count 3096
Performed 540 Post agglomeration using F-continuation condition with reduction of 12 identical transitions.
Deduced a syphon composed of 540 places in 1 ms
Reduce places removed 540 places and 0 transitions.
Iterating global reduction 5 with 1080 rules applied. Total rules applied 2661 place count 865 transition count 2544
Ensure Unique test removed 11 transitions
Reduce isomorphic transitions removed 11 transitions.
Iterating post reduction 5 with 11 rules applied. Total rules applied 2672 place count 865 transition count 2533
Renaming transitions due to excessive name length > 1024 char.
Discarding 29 places :
Symmetric choice reduction at 6 with 29 rule applications. Total rules 2701 place count 836 transition count 2110
Iterating global reduction 6 with 29 rules applied. Total rules applied 2730 place count 836 transition count 2110
Ensure Unique test removed 27 transitions
Reduce isomorphic transitions removed 27 transitions.
Iterating post reduction 6 with 27 rules applied. Total rules applied 2757 place count 836 transition count 2083
Performed 12 Post agglomeration using F-continuation condition.Transition count delta: -123
Deduced a syphon composed of 12 places in 0 ms
Reduce places removed 12 places and 0 transitions.
Iterating global reduction 7 with 24 rules applied. Total rules applied 2781 place count 824 transition count 2206
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 7 with 4 rules applied. Total rules applied 2785 place count 824 transition count 2202
Discarding 4 places :
Symmetric choice reduction at 8 with 4 rule applications. Total rules 2789 place count 820 transition count 2102
Iterating global reduction 8 with 4 rules applied. Total rules applied 2793 place count 820 transition count 2102
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 8 with 4 rules applied. Total rules applied 2797 place count 820 transition count 2098
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -42
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 9 with 8 rules applied. Total rules applied 2805 place count 816 transition count 2140
Drop transitions removed 45 transitions
Redundant transition composition rules discarded 45 transitions
Iterating global reduction 9 with 45 rules applied. Total rules applied 2850 place count 816 transition count 2095
Discarding 23 places :
Symmetric choice reduction at 9 with 23 rule applications. Total rules 2873 place count 793 transition count 2049
Iterating global reduction 9 with 23 rules applied. Total rules applied 2896 place count 793 transition count 2049
Discarding 23 places :
Symmetric choice reduction at 9 with 23 rule applications. Total rules 2919 place count 770 transition count 1700
Iterating global reduction 9 with 23 rules applied. Total rules applied 2942 place count 770 transition count 1700
Ensure Unique test removed 23 transitions
Reduce isomorphic transitions removed 23 transitions.
Iterating post reduction 9 with 23 rules applied. Total rules applied 2965 place count 770 transition count 1677
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 10 with 1 rules applied. Total rules applied 2966 place count 769 transition count 1676
Applied a total of 2966 rules in 545 ms. Remains 769 /2756 variables (removed 1987) and now considering 1676/5226 (removed 3550) transitions.
[2021-05-09 01:36:14] [INFO ] Flow matrix only has 1643 transitions (discarded 33 similar events)
// Phase 1: matrix 1643 rows 769 cols
[2021-05-09 01:36:14] [INFO ] Computed 244 place invariants in 3 ms
[2021-05-09 01:36:14] [INFO ] Implicit Places using invariants in 315 ms returned []
[2021-05-09 01:36:14] [INFO ] Flow matrix only has 1643 transitions (discarded 33 similar events)
// Phase 1: matrix 1643 rows 769 cols
[2021-05-09 01:36:14] [INFO ] Computed 244 place invariants in 3 ms
[2021-05-09 01:36:14] [INFO ] State equation strengthened by 62 read => feed constraints.
[2021-05-09 01:36:15] [INFO ] Implicit Places using invariants and state equation in 1193 ms returned []
Implicit Place search using SMT with State Equation took 1518 ms to find 0 implicit places.
[2021-05-09 01:36:15] [INFO ] Redundant transitions in 31 ms returned []
[2021-05-09 01:36:15] [INFO ] Flow matrix only has 1643 transitions (discarded 33 similar events)
// Phase 1: matrix 1643 rows 769 cols
[2021-05-09 01:36:15] [INFO ] Computed 244 place invariants in 3 ms
[2021-05-09 01:36:16] [INFO ] Dead Transitions using invariants and state equation in 927 ms returned []
Finished structural reductions, in 1 iterations. Remains : 769/2756 places, 1676/5226 transitions.
Stuttering acceptance computed with spot in 78 ms :[(NOT p1), (NOT p0), (OR (NOT p0) (NOT p1))]
Running random walk in product with property : DLCround-PT-11b-12 automaton TGBA [mat=[[{ cond=(NOT p1), acceptance={0} source=0 dest: 0}], [{ cond=(NOT p0), acceptance={0} source=1 dest: 1}], [{ cond=(AND p0 (NOT p1)), acceptance={0} source=2 dest: 0}, { cond=(AND (NOT p0) p1), acceptance={0} source=2 dest: 1}, { cond=(AND (NOT p0) (NOT p1)), acceptance={0} source=2 dest: 2}]], initial=2, aps=[p1:(AND (EQ s75 1) (EQ s675 1)), p0:(OR (AND (EQ s58 1) (EQ s573 1)) (EQ s51 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, null, null][true, true, true]]
Stuttering criterion allowed to conclude after 0 steps with 0 reset in 0 ms.
FORMULA DLCround-PT-11b-12 FALSE TECHNIQUES STUTTER_TEST
Treatment of property DLCround-PT-11b-12 finished in 3114 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(X(G(p0)))], workingDir=/home/mcc/execution]
Support contains 2 out of 2756 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 2756/2756 places, 5226/5226 transitions.
Discarding 16 places :
Symmetric choice reduction at 0 with 16 rule applications. Total rules 16 place count 2740 transition count 5168
Iterating global reduction 0 with 16 rules applied. Total rules applied 32 place count 2740 transition count 5168
Discarding 5 places :
Symmetric choice reduction at 0 with 5 rule applications. Total rules 37 place count 2735 transition count 5163
Iterating global reduction 0 with 5 rules applied. Total rules applied 42 place count 2735 transition count 5163
Applied a total of 42 rules in 378 ms. Remains 2735 /2756 variables (removed 21) and now considering 5163/5226 (removed 63) transitions.
// Phase 1: matrix 5163 rows 2735 cols
[2021-05-09 01:36:17] [INFO ] Computed 244 place invariants in 16 ms
[2021-05-09 01:36:17] [INFO ] Implicit Places using invariants in 867 ms returned []
// Phase 1: matrix 5163 rows 2735 cols
[2021-05-09 01:36:17] [INFO ] Computed 244 place invariants in 12 ms
[2021-05-09 01:36:19] [INFO ] Implicit Places using invariants and state equation in 1488 ms returned []
Implicit Place search using SMT with State Equation took 2357 ms to find 0 implicit places.
// Phase 1: matrix 5163 rows 2735 cols
[2021-05-09 01:36:19] [INFO ] Computed 244 place invariants in 18 ms
[2021-05-09 01:36:22] [INFO ] Dead Transitions using invariants and state equation in 2960 ms returned []
Finished structural reductions, in 1 iterations. Remains : 2735/2756 places, 5163/5226 transitions.
Stuttering acceptance computed with spot in 7771 ms :[true, (NOT p0), (NOT p0)]
Running random walk in product with property : DLCround-PT-11b-13 automaton TGBA [mat=[[{ cond=true, acceptance={0} source=0 dest: 0}], [{ cond=true, acceptance={} source=1 dest: 2}], [{ cond=(NOT p0), acceptance={} source=2 dest: 0}, { cond=p0, acceptance={} source=2 dest: 2}]], initial=1, aps=[p0:(OR (EQ s328 0) (EQ s1437 0))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, complete, deterministic, no-univ-branch, unambiguous, semi-deterministic, terminal, very-weak, weak, inherently-weak], stateDesc=[null, null, null][false, false, false]]
Entered a terminal (fully accepting) state of product in 56377 steps with 0 reset in 442 ms.
FORMULA DLCround-PT-11b-13 FALSE TECHNIQUES STUTTER_TEST
Treatment of property DLCround-PT-11b-13 finished in 13966 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(X(F((p0 U (G(p0)||(p0&&G(p1)))))))], workingDir=/home/mcc/execution]
Support contains 3 out of 2756 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 2756/2756 places, 5226/5226 transitions.
Discarding 15 places :
Symmetric choice reduction at 0 with 15 rule applications. Total rules 15 place count 2741 transition count 5169
Iterating global reduction 0 with 15 rules applied. Total rules applied 30 place count 2741 transition count 5169
Discarding 5 places :
Symmetric choice reduction at 0 with 5 rule applications. Total rules 35 place count 2736 transition count 5164
Iterating global reduction 0 with 5 rules applied. Total rules applied 40 place count 2736 transition count 5164
Applied a total of 40 rules in 379 ms. Remains 2736 /2756 variables (removed 20) and now considering 5164/5226 (removed 62) transitions.
// Phase 1: matrix 5164 rows 2736 cols
[2021-05-09 01:36:31] [INFO ] Computed 244 place invariants in 11 ms
[2021-05-09 01:36:31] [INFO ] Implicit Places using invariants in 854 ms returned []
// Phase 1: matrix 5164 rows 2736 cols
[2021-05-09 01:36:31] [INFO ] Computed 244 place invariants in 11 ms
[2021-05-09 01:36:33] [INFO ] Implicit Places using invariants and state equation in 1455 ms returned []
Implicit Place search using SMT with State Equation took 2319 ms to find 0 implicit places.
// Phase 1: matrix 5164 rows 2736 cols
[2021-05-09 01:36:33] [INFO ] Computed 244 place invariants in 10 ms
[2021-05-09 01:36:36] [INFO ] Dead Transitions using invariants and state equation in 2840 ms returned []
Finished structural reductions, in 1 iterations. Remains : 2736/2756 places, 5164/5226 transitions.
Stuttering acceptance computed with spot in 7658 ms :[(NOT p0), (NOT p0), (AND (NOT p1) (NOT p0))]
Running random walk in product with property : DLCround-PT-11b-14 automaton TGBA [mat=[[{ cond=true, acceptance={} source=0 dest: 1}], [{ cond=(AND (NOT p1) p0), acceptance={0} source=1 dest: 1}, { cond=(NOT p0), acceptance={0, 1} source=1 dest: 1}, { cond=(AND p1 p0), acceptance={} source=1 dest: 2}], [{ cond=(AND (NOT p1) (NOT p0)), acceptance={0, 1} source=2 dest: 1}, { cond=(AND (NOT p1) p0), acceptance={0} source=2 dest: 1}, { cond=(AND p1 (NOT p0)), acceptance={1} source=2 dest: 2}, { cond=(AND p1 p0), acceptance={} source=2 dest: 2}]], initial=0, aps=[p1:(OR (NEQ s676 1) (NEQ s2374 1)), p0:(NEQ s72 1)], nbAcceptance=2, properties=[trans-labels, explicit-labels, trans-acc, complete, deterministic, no-univ-branch, unambiguous, semi-deterministic], stateDesc=[null, null, null][false, false, false]]
Product exploration explored 100000 steps with 0 reset in 834 ms.
Product exploration explored 100000 steps with 0 reset in 1004 ms.
Knowledge obtained : [p1, p0]
Stuttering acceptance computed with spot in 64 ms :[(NOT p0), (NOT p0), (AND (NOT p1) (NOT p0))]
Product exploration explored 100000 steps with 0 reset in 781 ms.
Product exploration explored 100000 steps with 0 reset in 961 ms.
Applying partial POR strategy [false, true, true]
Stuttering acceptance computed with spot in 68 ms :[(NOT p0), (NOT p0), (AND (NOT p1) (NOT p0))]
Support contains 3 out of 2736 places. Attempting structural reductions.
Property had overlarge support with respect to TGBA, discarding it for now.
Starting structural reductions, iteration 0 : 2736/2736 places, 5164/5164 transitions.
Graph (trivial) has 2374 edges and 2736 vertex of which 624 / 2736 are part of one of the 52 SCC in 1 ms
Free SCC test removed 572 places
Ensure Unique test removed 616 transitions
Reduce isomorphic transitions removed 616 transitions.
Performed 412 Post agglomeration using F-continuation condition.Transition count delta: 0
Iterating post reduction 0 with 412 rules applied. Total rules applied 413 place count 2164 transition count 4548
Ensure Unique test removed 16 transitions
Reduce isomorphic transitions removed 16 transitions.
Performed 16 Post agglomeration using F-continuation condition.Transition count delta: 0
Iterating post reduction 1 with 32 rules applied. Total rules applied 445 place count 2164 transition count 4532
Performed 9 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 9 Pre rules applied. Total rules applied 445 place count 2164 transition count 4537
Deduced a syphon composed of 437 places in 32 ms
Iterating global reduction 2 with 9 rules applied. Total rules applied 454 place count 2164 transition count 4537
Discarding 175 places :
Symmetric choice reduction at 2 with 175 rule applications. Total rules 629 place count 1989 transition count 3660
Deduced a syphon composed of 341 places in 20 ms
Iterating global reduction 2 with 175 rules applied. Total rules applied 804 place count 1989 transition count 3660
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 2 with 4 rules applied. Total rules applied 808 place count 1989 transition count 3656
Performed 765 Post agglomeration using F-continuation condition.Transition count delta: -12
Deduced a syphon composed of 1106 places in 1 ms
Iterating global reduction 3 with 765 rules applied. Total rules applied 1573 place count 1989 transition count 3668
Ensure Unique test removed 12 transitions
Reduce isomorphic transitions removed 12 transitions.
Iterating post reduction 3 with 12 rules applied. Total rules applied 1585 place count 1989 transition count 3656
Renaming transitions due to excessive name length > 1024 char.
Discarding 547 places :
Symmetric choice reduction at 4 with 547 rule applications. Total rules 2132 place count 1442 transition count 2729
Deduced a syphon composed of 587 places in 0 ms
Iterating global reduction 4 with 547 rules applied. Total rules applied 2679 place count 1442 transition count 2729
Ensure Unique test removed 27 transitions
Reduce isomorphic transitions removed 27 transitions.
Iterating post reduction 4 with 27 rules applied. Total rules applied 2706 place count 1442 transition count 2702
Discarding 12 places :
Symmetric choice reduction at 5 with 12 rule applications. Total rules 2718 place count 1430 transition count 2690
Deduced a syphon composed of 575 places in 1 ms
Iterating global reduction 5 with 12 rules applied. Total rules applied 2730 place count 1430 transition count 2690
Performed 35 Post agglomeration using F-continuation condition.Transition count delta: -226
Deduced a syphon composed of 610 places in 1 ms
Iterating global reduction 5 with 35 rules applied. Total rules applied 2765 place count 1430 transition count 2916
Ensure Unique test removed 20 transitions
Reduce isomorphic transitions removed 20 transitions.
Iterating post reduction 5 with 20 rules applied. Total rules applied 2785 place count 1430 transition count 2896
Discarding 51 places :
Symmetric choice reduction at 6 with 51 rule applications. Total rules 2836 place count 1379 transition count 2716
Deduced a syphon composed of 562 places in 1 ms
Iterating global reduction 6 with 51 rules applied. Total rules applied 2887 place count 1379 transition count 2716
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 6 with 6 rules applied. Total rules applied 2893 place count 1379 transition count 2710
Discarding 6 places :
Symmetric choice reduction at 7 with 6 rule applications. Total rules 2899 place count 1373 transition count 2698
Deduced a syphon composed of 556 places in 1 ms
Iterating global reduction 7 with 6 rules applied. Total rules applied 2905 place count 1373 transition count 2698
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -36
Deduced a syphon composed of 559 places in 1 ms
Iterating global reduction 7 with 3 rules applied. Total rules applied 2908 place count 1373 transition count 2734
Discarding 3 places :
Symmetric choice reduction at 7 with 3 rule applications. Total rules 2911 place count 1370 transition count 2728
Deduced a syphon composed of 556 places in 1 ms
Iterating global reduction 7 with 3 rules applied. Total rules applied 2914 place count 1370 transition count 2728
Deduced a syphon composed of 556 places in 0 ms
Drop transitions removed 49 transitions
Redundant transition composition rules discarded 49 transitions
Iterating global reduction 7 with 49 rules applied. Total rules applied 2963 place count 1370 transition count 2679
Discarding 24 places :
Symmetric choice reduction at 7 with 24 rule applications. Total rules 2987 place count 1346 transition count 2631
Deduced a syphon composed of 556 places in 1 ms
Iterating global reduction 7 with 24 rules applied. Total rules applied 3011 place count 1346 transition count 2631
Discarding 24 places :
Symmetric choice reduction at 7 with 24 rule applications. Total rules 3035 place count 1322 transition count 2265
Deduced a syphon composed of 556 places in 1 ms
Iterating global reduction 7 with 24 rules applied. Total rules applied 3059 place count 1322 transition count 2265
Ensure Unique test removed 36 transitions
Reduce isomorphic transitions removed 36 transitions.
Iterating post reduction 7 with 36 rules applied. Total rules applied 3095 place count 1322 transition count 2229
Discarding 24 places :
Symmetric choice reduction at 8 with 24 rule applications. Total rules 3119 place count 1298 transition count 2193
Deduced a syphon composed of 532 places in 1 ms
Iterating global reduction 8 with 24 rules applied. Total rules applied 3143 place count 1298 transition count 2193
Deduced a syphon composed of 532 places in 1 ms
Applied a total of 3143 rules in 2110 ms. Remains 1298 /2736 variables (removed 1438) and now considering 2193/5164 (removed 2971) transitions.
[2021-05-09 01:36:49] [INFO ] Redundant transitions in 51 ms returned []
[2021-05-09 01:36:49] [INFO ] Flow matrix only has 2162 transitions (discarded 31 similar events)
// Phase 1: matrix 2162 rows 1298 cols
[2021-05-09 01:36:49] [INFO ] Computed 244 place invariants in 98 ms
[2021-05-09 01:36:51] [INFO ] Dead Transitions using invariants and state equation in 1138 ms returned []
Finished structural reductions, in 1 iterations. Remains : 1298/2736 places, 2193/5164 transitions.
Stuttering criterion allowed to conclude after 1760 steps with 0 reset in 24 ms.
FORMULA DLCround-PT-11b-14 FALSE TECHNIQUES STUTTER_TEST
Treatment of property DLCround-PT-11b-14 finished in 20434 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(G((p0&&(p1||(p2&&F(p3))||G(p2)))))], workingDir=/home/mcc/execution]
Support contains 4 out of 2756 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 2756/2756 places, 5226/5226 transitions.
Graph (trivial) has 2385 edges and 2756 vertex of which 626 / 2756 are part of one of the 52 SCC in 1 ms
Free SCC test removed 574 places
Ensure Unique test removed 618 transitions
Reduce isomorphic transitions removed 618 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 411 transitions
Trivial Post-agglo rules discarded 411 transitions
Performed 411 trivial Post agglomeration. Transition count delta: 411
Iterating post reduction 0 with 411 rules applied. Total rules applied 412 place count 2181 transition count 4196
Reduce places removed 411 places and 0 transitions.
Ensure Unique test removed 16 transitions
Reduce isomorphic transitions removed 16 transitions.
Drop transitions removed 32 transitions
Trivial Post-agglo rules discarded 32 transitions
Performed 32 trivial Post agglomeration. Transition count delta: 32
Iterating post reduction 1 with 459 rules applied. Total rules applied 871 place count 1770 transition count 4148
Reduce places removed 32 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 2 with 33 rules applied. Total rules applied 904 place count 1738 transition count 4147
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 905 place count 1737 transition count 4147
Performed 236 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 236 Pre rules applied. Total rules applied 905 place count 1737 transition count 3911
Deduced a syphon composed of 236 places in 23 ms
Reduce places removed 236 places and 0 transitions.
Iterating global reduction 4 with 472 rules applied. Total rules applied 1377 place count 1501 transition count 3911
Discarding 89 places :
Symmetric choice reduction at 4 with 89 rule applications. Total rules 1466 place count 1412 transition count 3078
Iterating global reduction 4 with 89 rules applied. Total rules applied 1555 place count 1412 transition count 3078
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 4 with 4 rules applied. Total rules applied 1559 place count 1412 transition count 3074
Performed 7 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 7 Pre rules applied. Total rules applied 1559 place count 1412 transition count 3067
Deduced a syphon composed of 7 places in 18 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 5 with 14 rules applied. Total rules applied 1573 place count 1405 transition count 3067
Performed 540 Post agglomeration using F-continuation condition with reduction of 11 identical transitions.
Deduced a syphon composed of 540 places in 0 ms
Reduce places removed 540 places and 0 transitions.
Iterating global reduction 5 with 1080 rules applied. Total rules applied 2653 place count 865 transition count 2516
Ensure Unique test removed 11 transitions
Reduce isomorphic transitions removed 11 transitions.
Iterating post reduction 5 with 11 rules applied. Total rules applied 2664 place count 865 transition count 2505
Renaming transitions due to excessive name length > 1024 char.
Discarding 29 places :
Symmetric choice reduction at 6 with 29 rule applications. Total rules 2693 place count 836 transition count 2082
Iterating global reduction 6 with 29 rules applied. Total rules applied 2722 place count 836 transition count 2082
Ensure Unique test removed 28 transitions
Reduce isomorphic transitions removed 28 transitions.
Iterating post reduction 6 with 28 rules applied. Total rules applied 2750 place count 836 transition count 2054
Performed 13 Post agglomeration using F-continuation condition.Transition count delta: -128
Deduced a syphon composed of 13 places in 0 ms
Reduce places removed 13 places and 0 transitions.
Iterating global reduction 7 with 26 rules applied. Total rules applied 2776 place count 823 transition count 2182
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 7 with 4 rules applied. Total rules applied 2780 place count 823 transition count 2178
Discarding 4 places :
Symmetric choice reduction at 8 with 4 rule applications. Total rules 2784 place count 819 transition count 2078
Iterating global reduction 8 with 4 rules applied. Total rules applied 2788 place count 819 transition count 2078
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 8 with 4 rules applied. Total rules applied 2792 place count 819 transition count 2074
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -42
Deduced a syphon composed of 4 places in 0 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 9 with 8 rules applied. Total rules applied 2800 place count 815 transition count 2116
Drop transitions removed 48 transitions
Redundant transition composition rules discarded 48 transitions
Iterating global reduction 9 with 48 rules applied. Total rules applied 2848 place count 815 transition count 2068
Discarding 23 places :
Symmetric choice reduction at 9 with 23 rule applications. Total rules 2871 place count 792 transition count 2022
Iterating global reduction 9 with 23 rules applied. Total rules applied 2894 place count 792 transition count 2022
Discarding 23 places :
Symmetric choice reduction at 9 with 23 rule applications. Total rules 2917 place count 769 transition count 1671
Iterating global reduction 9 with 23 rules applied. Total rules applied 2940 place count 769 transition count 1671
Ensure Unique test removed 23 transitions
Reduce isomorphic transitions removed 23 transitions.
Iterating post reduction 9 with 23 rules applied. Total rules applied 2963 place count 769 transition count 1648
Partial Post-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 10 with 1 rules applied. Total rules applied 2964 place count 769 transition count 1648
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 10 with 1 rules applied. Total rules applied 2965 place count 768 transition count 1647
Applied a total of 2965 rules in 590 ms. Remains 768 /2756 variables (removed 1988) and now considering 1647/5226 (removed 3579) transitions.
[2021-05-09 01:36:51] [INFO ] Flow matrix only has 1614 transitions (discarded 33 similar events)
// Phase 1: matrix 1614 rows 768 cols
[2021-05-09 01:36:51] [INFO ] Computed 244 place invariants in 3 ms
[2021-05-09 01:36:51] [INFO ] Implicit Places using invariants in 309 ms returned []
[2021-05-09 01:36:51] [INFO ] Flow matrix only has 1614 transitions (discarded 33 similar events)
// Phase 1: matrix 1614 rows 768 cols
[2021-05-09 01:36:51] [INFO ] Computed 244 place invariants in 2 ms
[2021-05-09 01:36:52] [INFO ] State equation strengthened by 65 read => feed constraints.
[2021-05-09 01:36:53] [INFO ] Implicit Places using invariants and state equation in 1216 ms returned []
Implicit Place search using SMT with State Equation took 1526 ms to find 0 implicit places.
[2021-05-09 01:36:53] [INFO ] Redundant transitions in 29 ms returned []
[2021-05-09 01:36:53] [INFO ] Flow matrix only has 1614 transitions (discarded 33 similar events)
// Phase 1: matrix 1614 rows 768 cols
[2021-05-09 01:36:53] [INFO ] Computed 244 place invariants in 2 ms
[2021-05-09 01:36:53] [INFO ] Dead Transitions using invariants and state equation in 619 ms returned []
Finished structural reductions, in 1 iterations. Remains : 768/2756 places, 1647/5226 transitions.
Stuttering acceptance computed with spot in 85 ms :[(OR (NOT p0) (AND (NOT p1) (NOT p2))), true, (AND (NOT p3) (NOT p2)), (NOT p3)]
Running random walk in product with property : DLCround-PT-11b-15 automaton TGBA [mat=[[{ cond=(OR (AND p0 p1) (AND p0 p2)), acceptance={} source=0 dest: 0}, { cond=(OR (NOT p0) (AND (NOT p1) (NOT p2))), acceptance={} source=0 dest: 1}, { cond=(AND p0 (NOT p1) p2 (NOT p3)), acceptance={} source=0 dest: 2}], [{ cond=true, acceptance={0} source=1 dest: 1}], [{ cond=(AND p2 (NOT p3)), acceptance={} source=2 dest: 2}, { cond=(AND (NOT p2) (NOT p3)), acceptance={} source=2 dest: 3}], [{ cond=(NOT p3), acceptance={0} source=3 dest: 3}]], initial=0, aps=[p0:(NEQ s481 1), p1:(NEQ s61 0), p2:(NEQ s487 1), p3:(NEQ s518 1)], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, stutter-invariant, very-weak, weak, inherently-weak], stateDesc=[null, null, null, null][true, true, true, true]]
Stuttering criterion allowed to conclude after 1338 steps with 3 reset in 26 ms.
FORMULA DLCround-PT-11b-15 FALSE TECHNIQUES STUTTER_TEST
Treatment of property DLCround-PT-11b-15 finished in 2895 ms.
Using solver Z3 to compute partial order matrices.
Built C files in :
/tmp/ltsmin4946915610480412210
[2021-05-09 01:36:53] [INFO ] Too many transitions (5226) to apply POR reductions. Disabling POR matrices.
[2021-05-09 01:36:54] [INFO ] Applying decomposition
[2021-05-09 01:36:54] [INFO ] Built C files in 90ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin4946915610480412210
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin4946915610480412210]
[2021-05-09 01:36:54] [INFO ] Flatten gal took : 139 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph495565860634465862.txt, -o, /tmp/graph495565860634465862.bin, -w, /tmp/graph495565860634465862.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph495565860634465862.bin, -l, -1, -v, -w, /tmp/graph495565860634465862.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-09 01:36:54] [INFO ] Decomposing Gal with order
[2021-05-09 01:36:54] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-09 01:36:55] [INFO ] Removed a total of 5265 redundant transitions.
[2021-05-09 01:36:55] [INFO ] Flatten gal took : 232 ms
[2021-05-09 01:36:55] [INFO ] Fuse similar labels procedure discarded/fused a total of 42 labels/synchronizations in 53 ms.
[2021-05-09 01:36:55] [INFO ] Time to serialize gal into /tmp/LTLFireability231859103034555737.gal : 25 ms
[2021-05-09 01:36:55] [INFO ] Time to serialize properties into /tmp/LTLFireability3850087050088425614.ltl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTLFireability231859103034555737.gal, -t, CGAL, -LTL, /tmp/LTLFireability3850087050088425614.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTLFireability231859103034555737.gal -t CGAL -LTL /tmp/LTLFireability3850087050088425614.ltl -c -stutter-deadlock
Read 1 LTL properties
Checking formula 0 : !((F(G(("(((i13.u347.p1360==1)&&(i3.i1.i7.u698.p2698==1))&&(i9.u855.p3500==1))")&&((("((i14.u372.p1461==1)&&(i14.u954.p3991==1))")||(X("((i3.i0.i1.u55.p246==1)&&(i17.u755.p3021==1))")))U("(((i16.i1.i5.u437.p1684==1)&&(i16.i1.i25.u1008.p4261==1))||((i14.u372.p1461==1)&&(i14.u954.p3991==1)))"))))))
Formula 0 simplified : !FG("(((i13.u347.p1360==1)&&(i3.i1.i7.u698.p2698==1))&&(i9.u855.p3500==1))" & (("((i14.u372.p1461==1)&&(i14.u954.p3991==1))" | X"((i3.i0.i1.u55.p246==1)&&(i17.u755.p3021==1))") U "(((i16.i1.i5.u437.p1684==1)&&(i16.i1.i25.u1008.p4261==1))||((i14.u372.p1461==1)&&(i14.u954.p3991==1)))"))
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin4946915610480412210] killed by timeout after 27 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin4946915610480412210] killed by timeout after 27 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Detected timeout of ITS tools.
[2021-05-09 01:59:12] [INFO ] Applying decomposition
[2021-05-09 01:59:13] [INFO ] Flatten gal took : 717 ms
[2021-05-09 01:59:13] [INFO ] Decomposing Gal with order
[2021-05-09 01:59:19] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-09 01:59:19] [INFO ] Removed a total of 4543 redundant transitions.
[2021-05-09 01:59:19] [INFO ] Flatten gal took : 249 ms
[2021-05-09 01:59:27] [INFO ] Fuse similar labels procedure discarded/fused a total of 52404 labels/synchronizations in 6846 ms.
[2021-05-09 01:59:27] [INFO ] Time to serialize gal into /tmp/LTLFireability12872477629267132957.gal : 42 ms
[2021-05-09 01:59:27] [INFO ] Time to serialize properties into /tmp/LTLFireability12276831297331284867.ltl : 2 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTLFireability12872477629267132957.gal, -t, CGAL, -LTL, /tmp/LTLFireability12276831297331284867.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTLFireability12872477629267132957.gal -t CGAL -LTL /tmp/LTLFireability12276831297331284867.ltl -c -stutter-deadlock
Read 1 LTL properties
Checking formula 0 : !((F(G(("(((i0.i0.i0.i0.i0.u27.p1360==1)&&(i1.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.u319.p2698==1))&&(i1.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.u399.p3500==1))")&&((("((i0.i0.i0.i0.u28.p1461==1)&&(i1.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.u448.p3991==1))")||(X("((i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.u18.p246==1)&&(i1.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.u351.p3021==1))")))U("(((i0.i0.u30.p1684==1)&&(i1.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.u475.p4261==1))||((i0.i0.i0.i0.u28.p1461==1)&&(i1.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.u448.p3991==1)))"))))))
Formula 0 simplified : !FG("(((i0.i0.i0.i0.i0.u27.p1360==1)&&(i1.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.u319.p2698==1))&&(i1.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.u399.p3500==1))" & (("((i0.i0.i0.i0.u28.p1461==1)&&(i1.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.u448.p3991==1))" | X"((i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.u18.p246==1)&&(i1.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.u351.p3021==1))") U "(((i0.i0.u30.p1684==1)&&(i1.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.u475.p4261==1))||((i0.i0.i0.i0.u28.p1461==1)&&(i1.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.u448.p3991==1)))"))
Detected timeout of ITS tools.
[2021-05-09 02:21:55] [INFO ] Flatten gal took : 1586 ms
[2021-05-09 02:21:59] [INFO ] Input system was already deterministic with 5226 transitions.
[2021-05-09 02:22:00] [INFO ] Transformed 2756 places.
[2021-05-09 02:22:00] [INFO ] Transformed 5226 transitions.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/pinvar, /home/mcc/execution/gspn], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/RGMEDD2, /home/mcc/execution/gspn, -META, -varord-only], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
[2021-05-09 02:22:01] [INFO ] Time to serialize gal into /tmp/LTLFireability13657551740575281179.gal : 13 ms
[2021-05-09 02:22:01] [INFO ] Time to serialize properties into /tmp/LTLFireability12416424650320058601.ltl : 2 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTLFireability13657551740575281179.gal, -t, CGAL, -LTL, /tmp/LTLFireability12416424650320058601.ltl, -c, -stutter-deadlock, --load-order, /home/mcc/execution/model.ord, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTLFireability13657551740575281179.gal -t CGAL -LTL /tmp/LTLFireability12416424650320058601.ltl -c -stutter-deadlock --load-order /home/mcc/execution/model.ord --gen-order FOLLOW
Read 1 LTL properties
Successfully loaded order from file /home/mcc/execution/model.ord
Checking formula 0 : !((F(G(("(((p1360==1)&&(p2698==1))&&(p3500==1))")&&((("((p1461==1)&&(p3991==1))")||(X("((p246==1)&&(p3021==1))")))U("(((p1684==1)&&(p4261==1))||((p1461==1)&&(p3991==1)))"))))))
Formula 0 simplified : !FG("(((p1360==1)&&(p2698==1))&&(p3500==1))" & (("((p1461==1)&&(p3991==1))" | X"((p246==1)&&(p3021==1))") U "(((p1684==1)&&(p4261==1))||((p1461==1)&&(p3991==1)))"))
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution LTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ cut -d . -f 9
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202104292328.jar
+ VERSION=0
+ echo 'Running Version 0'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination LTLFireability -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCround-PT-11b"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is DLCround-PT-11b, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r064-tall-162038397200413"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-11b.tgz
mv DLCround-PT-11b execution
cd execution
if [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "UpperBounds" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] || [ "LTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;