About the Execution of ITS-Tools for CANInsertWithFailure-PT-080
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16210.392 | 3600000.00 | 3811005.00 | 20758.10 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2022-input.r294-smll-165463872400066.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2022-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is CANInsertWithFailure-PT-080, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r294-smll-165463872400066
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 39M
-rw-r--r-- 1 mcc users 7.3K May 30 15:34 CTLCardinality.txt
-rw-r--r-- 1 mcc users 59K May 30 15:34 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.5K May 30 15:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 68K May 30 15:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 25 12:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 25 12:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K May 25 12:59 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 25 12:59 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 29 12:20 NewModel
-rw-r--r-- 1 mcc users 17K May 30 15:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 141K May 30 15:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K May 30 15:41 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 75K May 30 15:41 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K May 25 12:59 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K May 25 12:59 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 29 12:20 equiv_col
-rw-r--r-- 1 mcc users 4 May 29 12:20 instance
-rw-r--r-- 1 mcc users 6 May 29 12:20 iscolored
-rw-r--r-- 1 mcc users 39M May 29 12:20 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME CANInsertWithFailure-PT-080-CTLFireability-00
FORMULA_NAME CANInsertWithFailure-PT-080-CTLFireability-01
FORMULA_NAME CANInsertWithFailure-PT-080-CTLFireability-02
FORMULA_NAME CANInsertWithFailure-PT-080-CTLFireability-03
FORMULA_NAME CANInsertWithFailure-PT-080-CTLFireability-04
FORMULA_NAME CANInsertWithFailure-PT-080-CTLFireability-05
FORMULA_NAME CANInsertWithFailure-PT-080-CTLFireability-06
FORMULA_NAME CANInsertWithFailure-PT-080-CTLFireability-07
FORMULA_NAME CANInsertWithFailure-PT-080-CTLFireability-08
FORMULA_NAME CANInsertWithFailure-PT-080-CTLFireability-09
FORMULA_NAME CANInsertWithFailure-PT-080-CTLFireability-10
FORMULA_NAME CANInsertWithFailure-PT-080-CTLFireability-11
FORMULA_NAME CANInsertWithFailure-PT-080-CTLFireability-12
FORMULA_NAME CANInsertWithFailure-PT-080-CTLFireability-13
FORMULA_NAME CANInsertWithFailure-PT-080-CTLFireability-14
FORMULA_NAME CANInsertWithFailure-PT-080-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1654730928012
Running Version 202205111006
[2022-06-08 23:28:50] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2022-06-08 23:28:50] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-06-08 23:28:52] [INFO ] Load time of PNML (sax parser for PT used): 1783 ms
[2022-06-08 23:28:52] [INFO ] Transformed 13764 places.
[2022-06-08 23:28:52] [INFO ] Transformed 38880 transitions.
[2022-06-08 23:28:52] [INFO ] Parsed PT model containing 13764 places and 38880 transitions in 2115 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 35 ms.
Support contains 173 out of 13764 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 13764/13764 places, 38880/38880 transitions.
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 13763 transition count 38880
Applied a total of 1 rules in 6967 ms. Remains 13763 /13764 variables (removed 1) and now considering 38880/38880 (removed 0) transitions.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:29:12] [INFO ] Computed 82 place invariants in 12158 ms
[2022-06-08 23:29:14] [INFO ] Implicit Places using invariants in 14798 ms returned []
Implicit Place search using SMT only with invariants took 14866 ms to find 0 implicit places.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:29:26] [INFO ] Computed 82 place invariants in 11834 ms
[2022-06-08 23:29:28] [INFO ] Dead Transitions using invariants and state equation in 14248 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 13763/13764 places, 38880/38880 transitions.
Finished structural reductions, in 1 iterations. Remains : 13763/13764 places, 38880/38880 transitions.
Support contains 173 out of 13763 places after structural reductions.
[2022-06-08 23:29:31] [INFO ] Flatten gal took : 1723 ms
[2022-06-08 23:29:32] [INFO ] Flatten gal took : 1192 ms
[2022-06-08 23:29:35] [INFO ] Input system was already deterministic with 38880 transitions.
Incomplete random walk after 10000 steps, including 4 resets, run finished after 1575 ms. (steps per millisecond=6 ) properties (out of 112) seen :21
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 91) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 91) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=77 ) properties (out of 91) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 91) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 91) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 91) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 91) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 91) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 91) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 91) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 91) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 91) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 91) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 91) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 91) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 91) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 91) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 91) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 91) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 91) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 91) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 91) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 91) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 91) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 91) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 91) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=77 ) properties (out of 91) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 91) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 91) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 91) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 91) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 91) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 91) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 91) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 91) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 91) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 91) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 91) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 91) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 91) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 91) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 91) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 91) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 91) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 91) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 91) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 91) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 91) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 91) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 91) seen :0
Running SMT prover for 91 properties.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:29:49] [INFO ] Computed 82 place invariants in 11284 ms
[2022-06-08 23:30:14] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-06-08 23:30:14] [INFO ] After 25045ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 91 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 140 out of 13763 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 13763/13763 places, 38880/38880 transitions.
Drop transitions removed 524 transitions
Trivial Post-agglo rules discarded 524 transitions
Performed 524 trivial Post agglomeration. Transition count delta: 524
Iterating post reduction 0 with 524 rules applied. Total rules applied 524 place count 13763 transition count 38356
Reduce places removed 524 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 525 rules applied. Total rules applied 1049 place count 13239 transition count 38355
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 1050 place count 13238 transition count 38355
Performed 9 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 9 Pre rules applied. Total rules applied 1050 place count 13238 transition count 38346
Deduced a syphon composed of 9 places in 17 ms
Reduce places removed 9 places and 0 transitions.
Iterating global reduction 3 with 18 rules applied. Total rules applied 1068 place count 13229 transition count 38346
Performed 6171 Post agglomeration using F-continuation condition.Transition count delta: 6171
Deduced a syphon composed of 6171 places in 21 ms
Reduce places removed 6171 places and 0 transitions.
Iterating global reduction 3 with 12342 rules applied. Total rules applied 13410 place count 7058 transition count 32175
Free-agglomeration rule (complex) applied 26 times.
Iterating global reduction 3 with 26 rules applied. Total rules applied 13436 place count 7058 transition count 32149
Reduce places removed 26 places and 0 transitions.
Iterating post reduction 3 with 26 rules applied. Total rules applied 13462 place count 7032 transition count 32149
Partial Free-agglomeration rule applied 6522 times.
Drop transitions removed 6522 transitions
Iterating global reduction 4 with 6522 rules applied. Total rules applied 19984 place count 7032 transition count 32149
Partial Free-agglomeration rule applied 629 times.
Drop transitions removed 629 transitions
Iterating global reduction 4 with 629 rules applied. Total rules applied 20613 place count 7032 transition count 32149
Applied a total of 20613 rules in 27361 ms. Remains 7032 /13763 variables (removed 6731) and now considering 32149/38880 (removed 6731) transitions.
Finished structural reductions, in 1 iterations. Remains : 7032/13763 places, 32149/38880 transitions.
Incomplete random walk after 10000 steps, including 19 resets, run finished after 856 ms. (steps per millisecond=11 ) properties (out of 91) seen :30
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 61) seen :0
Running SMT prover for 61 properties.
[2022-06-08 23:30:42] [INFO ] Flow matrix only has 32113 transitions (discarded 36 similar events)
// Phase 1: matrix 32113 rows 7032 cols
[2022-06-08 23:30:45] [INFO ] Computed 82 place invariants in 2869 ms
[2022-06-08 23:30:57] [INFO ] [Real]Absence check using 80 positive place invariants in 114 ms returned sat
[2022-06-08 23:30:57] [INFO ] [Real]Absence check using 80 positive and 2 generalized place invariants in 178 ms returned sat
[2022-06-08 23:31:10] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-06-08 23:31:10] [INFO ] After 25018ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 61 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 93 out of 7032 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 7032/7032 places, 32149/32149 transitions.
Performed 19 Post agglomeration using F-continuation condition.Transition count delta: 19
Deduced a syphon composed of 19 places in 8 ms
Reduce places removed 19 places and 0 transitions.
Iterating global reduction 0 with 38 rules applied. Total rules applied 38 place count 7013 transition count 32130
Partial Free-agglomeration rule applied 17 times.
Drop transitions removed 17 transitions
Iterating global reduction 0 with 17 rules applied. Total rules applied 55 place count 7013 transition count 32130
Applied a total of 55 rules in 8385 ms. Remains 7013 /7032 variables (removed 19) and now considering 32130/32149 (removed 19) transitions.
Finished structural reductions, in 1 iterations. Remains : 7013/7032 places, 32130/32149 transitions.
[2022-06-08 23:31:19] [INFO ] Flatten gal took : 868 ms
[2022-06-08 23:31:21] [INFO ] Flatten gal took : 1267 ms
[2022-06-08 23:31:22] [INFO ] Input system was already deterministic with 38880 transitions.
Computed a total of 322 stabilizing places and 560 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 13763/13763 places, 38880/38880 transitions.
Applied a total of 0 rules in 4848 ms. Remains 13763 /13763 variables (removed 0) and now considering 38880/38880 (removed 0) transitions.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:31:39] [INFO ] Computed 82 place invariants in 11641 ms
[2022-06-08 23:31:41] [INFO ] Implicit Places using invariants in 13667 ms returned []
Implicit Place search using SMT only with invariants took 13669 ms to find 0 implicit places.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:31:52] [INFO ] Computed 82 place invariants in 10900 ms
[2022-06-08 23:31:54] [INFO ] Dead Transitions using invariants and state equation in 12931 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 13763/13763 places, 38880/38880 transitions.
[2022-06-08 23:31:55] [INFO ] Flatten gal took : 916 ms
[2022-06-08 23:31:56] [INFO ] Flatten gal took : 927 ms
[2022-06-08 23:31:58] [INFO ] Input system was already deterministic with 38880 transitions.
[2022-06-08 23:31:59] [INFO ] Flatten gal took : 960 ms
[2022-06-08 23:32:00] [INFO ] Flatten gal took : 1001 ms
[2022-06-08 23:32:00] [INFO ] Time to serialize gal into /tmp/CTLFireability12500766381055244868.gal : 378 ms
[2022-06-08 23:32:00] [INFO ] Time to serialize properties into /tmp/CTLFireability8465979097125754977.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability12500766381055244868.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8465979097125754977.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-08 23:32:31] [INFO ] Flatten gal took : 989 ms
[2022-06-08 23:32:31] [INFO ] Applying decomposition
[2022-06-08 23:32:32] [INFO ] Flatten gal took : 991 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph1152982045837417569.txt' '-o' '/tmp/graph1152982045837417569.bin' '-w' '/tmp/graph1152982045837417569.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph1152982045837417569.bin' '-l' '-1' '-v' '-w' '/tmp/graph1152982045837417569.weights' '-q' '0' '-e' '0.001'
[2022-06-08 23:32:35] [INFO ] Decomposing Gal with order
[2022-06-08 23:32:36] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-08 23:32:45] [INFO ] Removed a total of 19238 redundant transitions.
[2022-06-08 23:32:46] [INFO ] Flatten gal took : 6695 ms
[2022-06-08 23:32:51] [INFO ] Fuse similar labels procedure discarded/fused a total of 26474 labels/synchronizations in 4479 ms.
[2022-06-08 23:32:52] [INFO ] Time to serialize gal into /tmp/CTLFireability14808184613269241655.gal : 244 ms
[2022-06-08 23:32:52] [INFO ] Time to serialize properties into /tmp/CTLFireability16439053551110082785.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability14808184613269241655.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16439053551110082785.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...255
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 13763/13763 places, 38880/38880 transitions.
Applied a total of 0 rules in 4723 ms. Remains 13763 /13763 variables (removed 0) and now considering 38880/38880 (removed 0) transitions.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:33:38] [INFO ] Computed 82 place invariants in 11367 ms
[2022-06-08 23:33:40] [INFO ] Implicit Places using invariants in 13398 ms returned []
Implicit Place search using SMT only with invariants took 13399 ms to find 0 implicit places.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:33:51] [INFO ] Computed 82 place invariants in 10969 ms
[2022-06-08 23:33:53] [INFO ] Dead Transitions using invariants and state equation in 12792 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 13763/13763 places, 38880/38880 transitions.
[2022-06-08 23:33:54] [INFO ] Flatten gal took : 909 ms
[2022-06-08 23:33:55] [INFO ] Flatten gal took : 1016 ms
[2022-06-08 23:33:56] [INFO ] Input system was already deterministic with 38880 transitions.
[2022-06-08 23:33:57] [INFO ] Flatten gal took : 987 ms
[2022-06-08 23:33:58] [INFO ] Flatten gal took : 953 ms
[2022-06-08 23:33:59] [INFO ] Time to serialize gal into /tmp/CTLFireability3352065238222053479.gal : 121 ms
[2022-06-08 23:33:59] [INFO ] Time to serialize properties into /tmp/CTLFireability17367654786568005810.ctl : 4 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability3352065238222053479.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17367654786568005810.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-08 23:34:30] [INFO ] Flatten gal took : 992 ms
[2022-06-08 23:34:30] [INFO ] Applying decomposition
[2022-06-08 23:34:31] [INFO ] Flatten gal took : 936 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph17121274344895323506.txt' '-o' '/tmp/graph17121274344895323506.bin' '-w' '/tmp/graph17121274344895323506.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph17121274344895323506.bin' '-l' '-1' '-v' '-w' '/tmp/graph17121274344895323506.weights' '-q' '0' '-e' '0.001'
[2022-06-08 23:34:33] [INFO ] Decomposing Gal with order
[2022-06-08 23:34:33] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-08 23:34:41] [INFO ] Removed a total of 19238 redundant transitions.
[2022-06-08 23:34:41] [INFO ] Flatten gal took : 5154 ms
[2022-06-08 23:34:46] [INFO ] Fuse similar labels procedure discarded/fused a total of 25680 labels/synchronizations in 4598 ms.
[2022-06-08 23:34:46] [INFO ] Time to serialize gal into /tmp/CTLFireability16354738197609149942.gal : 155 ms
[2022-06-08 23:34:46] [INFO ] Time to serialize properties into /tmp/CTLFireability10080960667215710669.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability16354738197609149942.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10080960667215710669.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...255
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 13763/13763 places, 38880/38880 transitions.
Applied a total of 0 rules in 4987 ms. Remains 13763 /13763 variables (removed 0) and now considering 38880/38880 (removed 0) transitions.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:35:33] [INFO ] Computed 82 place invariants in 11683 ms
[2022-06-08 23:35:35] [INFO ] Implicit Places using invariants in 13578 ms returned []
Implicit Place search using SMT only with invariants took 13579 ms to find 0 implicit places.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:35:47] [INFO ] Computed 82 place invariants in 12276 ms
[2022-06-08 23:35:49] [INFO ] Dead Transitions using invariants and state equation in 14095 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 13763/13763 places, 38880/38880 transitions.
[2022-06-08 23:35:50] [INFO ] Flatten gal took : 893 ms
[2022-06-08 23:35:51] [INFO ] Flatten gal took : 1133 ms
[2022-06-08 23:35:53] [INFO ] Input system was already deterministic with 38880 transitions.
[2022-06-08 23:35:54] [INFO ] Flatten gal took : 930 ms
[2022-06-08 23:35:55] [INFO ] Flatten gal took : 959 ms
[2022-06-08 23:35:55] [INFO ] Time to serialize gal into /tmp/CTLFireability11597945056537361927.gal : 111 ms
[2022-06-08 23:35:55] [INFO ] Time to serialize properties into /tmp/CTLFireability6383242189165138816.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability11597945056537361927.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6383242189165138816.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-08 23:36:26] [INFO ] Flatten gal took : 1106 ms
[2022-06-08 23:36:26] [INFO ] Applying decomposition
[2022-06-08 23:36:27] [INFO ] Flatten gal took : 918 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph6682690188029788830.txt' '-o' '/tmp/graph6682690188029788830.bin' '-w' '/tmp/graph6682690188029788830.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph6682690188029788830.bin' '-l' '-1' '-v' '-w' '/tmp/graph6682690188029788830.weights' '-q' '0' '-e' '0.001'
[2022-06-08 23:36:29] [INFO ] Decomposing Gal with order
[2022-06-08 23:36:30] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-08 23:36:37] [INFO ] Removed a total of 19233 redundant transitions.
[2022-06-08 23:36:38] [INFO ] Flatten gal took : 4836 ms
[2022-06-08 23:36:42] [INFO ] Fuse similar labels procedure discarded/fused a total of 25689 labels/synchronizations in 3856 ms.
[2022-06-08 23:36:42] [INFO ] Time to serialize gal into /tmp/CTLFireability274675885340301779.gal : 150 ms
[2022-06-08 23:36:42] [INFO ] Time to serialize properties into /tmp/CTLFireability15322631823439509603.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability274675885340301779.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15322631823439509603.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...253
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 13763/13763 places, 38880/38880 transitions.
Applied a total of 0 rules in 4881 ms. Remains 13763 /13763 variables (removed 0) and now considering 38880/38880 (removed 0) transitions.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:37:29] [INFO ] Computed 82 place invariants in 11855 ms
[2022-06-08 23:37:31] [INFO ] Implicit Places using invariants in 13849 ms returned []
Implicit Place search using SMT only with invariants took 13850 ms to find 0 implicit places.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:37:42] [INFO ] Computed 82 place invariants in 11375 ms
[2022-06-08 23:37:45] [INFO ] Dead Transitions using invariants and state equation in 13484 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 13763/13763 places, 38880/38880 transitions.
[2022-06-08 23:37:46] [INFO ] Flatten gal took : 939 ms
[2022-06-08 23:37:47] [INFO ] Flatten gal took : 1096 ms
[2022-06-08 23:37:48] [INFO ] Input system was already deterministic with 38880 transitions.
[2022-06-08 23:37:50] [INFO ] Flatten gal took : 1055 ms
[2022-06-08 23:37:51] [INFO ] Flatten gal took : 1016 ms
[2022-06-08 23:37:51] [INFO ] Time to serialize gal into /tmp/CTLFireability16418088335799598188.gal : 125 ms
[2022-06-08 23:37:51] [INFO ] Time to serialize properties into /tmp/CTLFireability9562455337498752757.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability16418088335799598188.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9562455337498752757.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-08 23:38:22] [INFO ] Flatten gal took : 1538 ms
[2022-06-08 23:38:22] [INFO ] Applying decomposition
[2022-06-08 23:38:24] [INFO ] Flatten gal took : 1124 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph4575775351610452028.txt' '-o' '/tmp/graph4575775351610452028.bin' '-w' '/tmp/graph4575775351610452028.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph4575775351610452028.bin' '-l' '-1' '-v' '-w' '/tmp/graph4575775351610452028.weights' '-q' '0' '-e' '0.001'
[2022-06-08 23:38:26] [INFO ] Decomposing Gal with order
[2022-06-08 23:38:27] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-08 23:38:34] [INFO ] Removed a total of 19244 redundant transitions.
[2022-06-08 23:38:34] [INFO ] Flatten gal took : 4888 ms
[2022-06-08 23:38:39] [INFO ] Fuse similar labels procedure discarded/fused a total of 26794 labels/synchronizations in 4188 ms.
[2022-06-08 23:38:39] [INFO ] Time to serialize gal into /tmp/CTLFireability17593777784621084168.gal : 160 ms
[2022-06-08 23:38:39] [INFO ] Time to serialize properties into /tmp/CTLFireability11422776391217427217.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability17593777784621084168.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11422776391217427217.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...255
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 13763/13763 places, 38880/38880 transitions.
Applied a total of 0 rules in 5039 ms. Remains 13763 /13763 variables (removed 0) and now considering 38880/38880 (removed 0) transitions.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:39:26] [INFO ] Computed 82 place invariants in 11745 ms
[2022-06-08 23:39:28] [INFO ] Implicit Places using invariants in 13945 ms returned []
Implicit Place search using SMT only with invariants took 13949 ms to find 0 implicit places.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:39:40] [INFO ] Computed 82 place invariants in 12101 ms
[2022-06-08 23:39:42] [INFO ] Dead Transitions using invariants and state equation in 14270 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 13763/13763 places, 38880/38880 transitions.
[2022-06-08 23:39:43] [INFO ] Flatten gal took : 824 ms
[2022-06-08 23:39:44] [INFO ] Flatten gal took : 1132 ms
[2022-06-08 23:39:46] [INFO ] Input system was already deterministic with 38880 transitions.
[2022-06-08 23:39:47] [INFO ] Flatten gal took : 917 ms
[2022-06-08 23:39:48] [INFO ] Flatten gal took : 982 ms
[2022-06-08 23:39:48] [INFO ] Time to serialize gal into /tmp/CTLFireability17701211386597724744.gal : 109 ms
[2022-06-08 23:39:48] [INFO ] Time to serialize properties into /tmp/CTLFireability4403514795784067692.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability17701211386597724744.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4403514795784067692.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-08 23:40:19] [INFO ] Flatten gal took : 946 ms
[2022-06-08 23:40:19] [INFO ] Applying decomposition
[2022-06-08 23:40:20] [INFO ] Flatten gal took : 984 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph4060582543702356852.txt' '-o' '/tmp/graph4060582543702356852.bin' '-w' '/tmp/graph4060582543702356852.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph4060582543702356852.bin' '-l' '-1' '-v' '-w' '/tmp/graph4060582543702356852.weights' '-q' '0' '-e' '0.001'
[2022-06-08 23:40:22] [INFO ] Decomposing Gal with order
[2022-06-08 23:40:23] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-08 23:40:30] [INFO ] Removed a total of 19248 redundant transitions.
[2022-06-08 23:40:31] [INFO ] Flatten gal took : 5243 ms
[2022-06-08 23:40:35] [INFO ] Fuse similar labels procedure discarded/fused a total of 25376 labels/synchronizations in 4001 ms.
[2022-06-08 23:40:35] [INFO ] Time to serialize gal into /tmp/CTLFireability2960390032462773656.gal : 151 ms
[2022-06-08 23:40:35] [INFO ] Time to serialize properties into /tmp/CTLFireability9231279256758868022.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability2960390032462773656.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9231279256758868022.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...253
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 13763/13763 places, 38880/38880 transitions.
Applied a total of 0 rules in 5467 ms. Remains 13763 /13763 variables (removed 0) and now considering 38880/38880 (removed 0) transitions.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:41:23] [INFO ] Computed 82 place invariants in 11914 ms
[2022-06-08 23:41:25] [INFO ] Implicit Places using invariants in 14165 ms returned []
Implicit Place search using SMT only with invariants took 14166 ms to find 0 implicit places.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:41:37] [INFO ] Computed 82 place invariants in 12122 ms
[2022-06-08 23:41:39] [INFO ] Dead Transitions using invariants and state equation in 14214 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 13763/13763 places, 38880/38880 transitions.
[2022-06-08 23:41:40] [INFO ] Flatten gal took : 1069 ms
[2022-06-08 23:41:41] [INFO ] Flatten gal took : 1003 ms
[2022-06-08 23:41:43] [INFO ] Input system was already deterministic with 38880 transitions.
[2022-06-08 23:41:44] [INFO ] Flatten gal took : 927 ms
[2022-06-08 23:41:45] [INFO ] Flatten gal took : 964 ms
[2022-06-08 23:41:45] [INFO ] Time to serialize gal into /tmp/CTLFireability5862029692789053490.gal : 102 ms
[2022-06-08 23:41:45] [INFO ] Time to serialize properties into /tmp/CTLFireability16136994076646376877.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability5862029692789053490.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16136994076646376877.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-08 23:42:16] [INFO ] Flatten gal took : 931 ms
[2022-06-08 23:42:16] [INFO ] Applying decomposition
[2022-06-08 23:42:17] [INFO ] Flatten gal took : 1043 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph5186863327791532932.txt' '-o' '/tmp/graph5186863327791532932.bin' '-w' '/tmp/graph5186863327791532932.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph5186863327791532932.bin' '-l' '-1' '-v' '-w' '/tmp/graph5186863327791532932.weights' '-q' '0' '-e' '0.001'
[2022-06-08 23:42:19] [INFO ] Decomposing Gal with order
[2022-06-08 23:42:20] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-08 23:42:28] [INFO ] Removed a total of 19244 redundant transitions.
[2022-06-08 23:42:28] [INFO ] Flatten gal took : 5396 ms
[2022-06-08 23:42:33] [INFO ] Fuse similar labels procedure discarded/fused a total of 26478 labels/synchronizations in 4288 ms.
[2022-06-08 23:42:33] [INFO ] Time to serialize gal into /tmp/CTLFireability14987291021072408008.gal : 167 ms
[2022-06-08 23:42:33] [INFO ] Time to serialize properties into /tmp/CTLFireability17378067138310609989.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability14987291021072408008.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17378067138310609989.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...255
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 13763/13763 places, 38880/38880 transitions.
Applied a total of 0 rules in 5565 ms. Remains 13763 /13763 variables (removed 0) and now considering 38880/38880 (removed 0) transitions.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:43:21] [INFO ] Computed 82 place invariants in 11729 ms
[2022-06-08 23:43:23] [INFO ] Implicit Places using invariants in 13861 ms returned []
Implicit Place search using SMT only with invariants took 13866 ms to find 0 implicit places.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:43:35] [INFO ] Computed 82 place invariants in 11912 ms
[2022-06-08 23:43:37] [INFO ] Dead Transitions using invariants and state equation in 14130 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 13763/13763 places, 38880/38880 transitions.
[2022-06-08 23:43:38] [INFO ] Flatten gal took : 965 ms
[2022-06-08 23:43:39] [INFO ] Flatten gal took : 940 ms
[2022-06-08 23:43:41] [INFO ] Input system was already deterministic with 38880 transitions.
[2022-06-08 23:43:42] [INFO ] Flatten gal took : 1227 ms
[2022-06-08 23:43:43] [INFO ] Flatten gal took : 1039 ms
[2022-06-08 23:43:43] [INFO ] Time to serialize gal into /tmp/CTLFireability5471066813663909048.gal : 107 ms
[2022-06-08 23:43:43] [INFO ] Time to serialize properties into /tmp/CTLFireability13129689579081376123.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability5471066813663909048.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13129689579081376123.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-08 23:44:14] [INFO ] Flatten gal took : 946 ms
[2022-06-08 23:44:14] [INFO ] Applying decomposition
[2022-06-08 23:44:15] [INFO ] Flatten gal took : 998 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph15181579725920787940.txt' '-o' '/tmp/graph15181579725920787940.bin' '-w' '/tmp/graph15181579725920787940.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph15181579725920787940.bin' '-l' '-1' '-v' '-w' '/tmp/graph15181579725920787940.weights' '-q' '0' '-e' '0.001'
[2022-06-08 23:44:17] [INFO ] Decomposing Gal with order
[2022-06-08 23:44:18] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-08 23:44:26] [INFO ] Removed a total of 19234 redundant transitions.
[2022-06-08 23:44:26] [INFO ] Flatten gal took : 5675 ms
[2022-06-08 23:44:31] [INFO ] Fuse similar labels procedure discarded/fused a total of 25372 labels/synchronizations in 3989 ms.
[2022-06-08 23:44:31] [INFO ] Time to serialize gal into /tmp/CTLFireability14743480540221596202.gal : 150 ms
[2022-06-08 23:44:31] [INFO ] Time to serialize properties into /tmp/CTLFireability7402356052045493795.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability14743480540221596202.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7402356052045493795.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...254
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 13763/13763 places, 38880/38880 transitions.
Applied a total of 0 rules in 5321 ms. Remains 13763 /13763 variables (removed 0) and now considering 38880/38880 (removed 0) transitions.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:45:18] [INFO ] Computed 82 place invariants in 11880 ms
[2022-06-08 23:45:20] [INFO ] Implicit Places using invariants in 13989 ms returned []
Implicit Place search using SMT only with invariants took 13992 ms to find 0 implicit places.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:45:33] [INFO ] Computed 82 place invariants in 12219 ms
[2022-06-08 23:45:35] [INFO ] Dead Transitions using invariants and state equation in 14614 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 13763/13763 places, 38880/38880 transitions.
[2022-06-08 23:45:36] [INFO ] Flatten gal took : 1111 ms
[2022-06-08 23:45:37] [INFO ] Flatten gal took : 1153 ms
[2022-06-08 23:45:39] [INFO ] Input system was already deterministic with 38880 transitions.
[2022-06-08 23:45:40] [INFO ] Flatten gal took : 971 ms
[2022-06-08 23:45:41] [INFO ] Flatten gal took : 1008 ms
[2022-06-08 23:45:41] [INFO ] Time to serialize gal into /tmp/CTLFireability6407222715742312848.gal : 127 ms
[2022-06-08 23:45:41] [INFO ] Time to serialize properties into /tmp/CTLFireability7813952003163980712.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability6407222715742312848.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7813952003163980712.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...274
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-08 23:46:12] [INFO ] Flatten gal took : 993 ms
[2022-06-08 23:46:12] [INFO ] Applying decomposition
[2022-06-08 23:46:13] [INFO ] Flatten gal took : 993 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph3427007816425073733.txt' '-o' '/tmp/graph3427007816425073733.bin' '-w' '/tmp/graph3427007816425073733.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph3427007816425073733.bin' '-l' '-1' '-v' '-w' '/tmp/graph3427007816425073733.weights' '-q' '0' '-e' '0.001'
[2022-06-08 23:46:15] [INFO ] Decomposing Gal with order
[2022-06-08 23:46:16] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-08 23:46:24] [INFO ] Removed a total of 19238 redundant transitions.
[2022-06-08 23:46:24] [INFO ] Flatten gal took : 5168 ms
[2022-06-08 23:46:28] [INFO ] Fuse similar labels procedure discarded/fused a total of 25208 labels/synchronizations in 3897 ms.
[2022-06-08 23:46:28] [INFO ] Time to serialize gal into /tmp/CTLFireability8390958952767832476.gal : 150 ms
[2022-06-08 23:46:28] [INFO ] Time to serialize properties into /tmp/CTLFireability8098547114251109027.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability8390958952767832476.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8098547114251109027.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...253
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 13763/13763 places, 38880/38880 transitions.
Applied a total of 0 rules in 5259 ms. Remains 13763 /13763 variables (removed 0) and now considering 38880/38880 (removed 0) transitions.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:47:15] [INFO ] Computed 82 place invariants in 11653 ms
[2022-06-08 23:47:17] [INFO ] Implicit Places using invariants in 13675 ms returned []
Implicit Place search using SMT only with invariants took 13679 ms to find 0 implicit places.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:47:29] [INFO ] Computed 82 place invariants in 11130 ms
[2022-06-08 23:47:31] [INFO ] Dead Transitions using invariants and state equation in 13101 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 13763/13763 places, 38880/38880 transitions.
[2022-06-08 23:47:32] [INFO ] Flatten gal took : 912 ms
[2022-06-08 23:47:33] [INFO ] Flatten gal took : 1040 ms
[2022-06-08 23:47:34] [INFO ] Input system was already deterministic with 38880 transitions.
[2022-06-08 23:47:36] [INFO ] Flatten gal took : 1003 ms
[2022-06-08 23:47:37] [INFO ] Flatten gal took : 1064 ms
[2022-06-08 23:47:37] [INFO ] Time to serialize gal into /tmp/CTLFireability4841547388921140221.gal : 103 ms
[2022-06-08 23:47:37] [INFO ] Time to serialize properties into /tmp/CTLFireability15176422736238109947.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability4841547388921140221.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15176422736238109947.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-08 23:48:08] [INFO ] Flatten gal took : 1021 ms
[2022-06-08 23:48:08] [INFO ] Applying decomposition
[2022-06-08 23:48:09] [INFO ] Flatten gal took : 1071 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph1849250570819474148.txt' '-o' '/tmp/graph1849250570819474148.bin' '-w' '/tmp/graph1849250570819474148.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph1849250570819474148.bin' '-l' '-1' '-v' '-w' '/tmp/graph1849250570819474148.weights' '-q' '0' '-e' '0.001'
[2022-06-08 23:48:11] [INFO ] Decomposing Gal with order
[2022-06-08 23:48:12] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-08 23:48:19] [INFO ] Removed a total of 19240 redundant transitions.
[2022-06-08 23:48:19] [INFO ] Flatten gal took : 5007 ms
[2022-06-08 23:48:24] [INFO ] Fuse similar labels procedure discarded/fused a total of 26004 labels/synchronizations in 3878 ms.
[2022-06-08 23:48:24] [INFO ] Time to serialize gal into /tmp/CTLFireability16119516272350728071.gal : 158 ms
[2022-06-08 23:48:24] [INFO ] Time to serialize properties into /tmp/CTLFireability7231171596551526107.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability16119516272350728071.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7231171596551526107.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...254
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 13763/13763 places, 38880/38880 transitions.
Drop transitions removed 557 transitions
Trivial Post-agglo rules discarded 557 transitions
Performed 557 trivial Post agglomeration. Transition count delta: 557
Iterating post reduction 0 with 557 rules applied. Total rules applied 557 place count 13763 transition count 38323
Reduce places removed 557 places and 0 transitions.
Iterating post reduction 1 with 557 rules applied. Total rules applied 1114 place count 13206 transition count 38323
Performed 80 Post agglomeration using F-continuation condition.Transition count delta: 80
Deduced a syphon composed of 80 places in 12 ms
Reduce places removed 80 places and 0 transitions.
Iterating global reduction 2 with 160 rules applied. Total rules applied 1274 place count 13126 transition count 38243
Applied a total of 1274 rules in 10929 ms. Remains 13126 /13763 variables (removed 637) and now considering 38243/38880 (removed 637) transitions.
// Phase 1: matrix 38243 rows 13126 cols
[2022-06-08 23:49:18] [INFO ] Computed 82 place invariants in 13201 ms
[2022-06-08 23:49:20] [INFO ] Implicit Places using invariants in 15063 ms returned []
Implicit Place search using SMT only with invariants took 15064 ms to find 0 implicit places.
// Phase 1: matrix 38243 rows 13126 cols
[2022-06-08 23:49:33] [INFO ] Computed 82 place invariants in 13356 ms
[2022-06-08 23:49:35] [INFO ] Dead Transitions using invariants and state equation in 15506 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 13126/13763 places, 38243/38880 transitions.
Finished structural reductions, in 1 iterations. Remains : 13126/13763 places, 38243/38880 transitions.
[2022-06-08 23:49:36] [INFO ] Flatten gal took : 835 ms
[2022-06-08 23:49:37] [INFO ] Flatten gal took : 945 ms
[2022-06-08 23:49:39] [INFO ] Input system was already deterministic with 38243 transitions.
[2022-06-08 23:49:40] [INFO ] Flatten gal took : 921 ms
[2022-06-08 23:49:41] [INFO ] Flatten gal took : 1025 ms
[2022-06-08 23:49:41] [INFO ] Time to serialize gal into /tmp/CTLFireability1571955949954707282.gal : 118 ms
[2022-06-08 23:49:41] [INFO ] Time to serialize properties into /tmp/CTLFireability12023555860861306544.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability1571955949954707282.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12023555860861306544.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-08 23:50:12] [INFO ] Flatten gal took : 1196 ms
[2022-06-08 23:50:12] [INFO ] Applying decomposition
[2022-06-08 23:50:13] [INFO ] Flatten gal took : 1005 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph3750916610656905294.txt' '-o' '/tmp/graph3750916610656905294.bin' '-w' '/tmp/graph3750916610656905294.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph3750916610656905294.bin' '-l' '-1' '-v' '-w' '/tmp/graph3750916610656905294.weights' '-q' '0' '-e' '0.001'
[2022-06-08 23:50:15] [INFO ] Decomposing Gal with order
[2022-06-08 23:50:16] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-08 23:50:23] [INFO ] Removed a total of 18926 redundant transitions.
[2022-06-08 23:50:23] [INFO ] Flatten gal took : 5855 ms
[2022-06-08 23:50:27] [INFO ] Fuse similar labels procedure discarded/fused a total of 13450 labels/synchronizations in 3862 ms.
[2022-06-08 23:50:28] [INFO ] Time to serialize gal into /tmp/CTLFireability17901413462397013051.gal : 133 ms
[2022-06-08 23:50:28] [INFO ] Time to serialize properties into /tmp/CTLFireability4674067164131883060.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability17901413462397013051.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4674067164131883060.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...254
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 13763/13763 places, 38880/38880 transitions.
Applied a total of 0 rules in 4873 ms. Remains 13763 /13763 variables (removed 0) and now considering 38880/38880 (removed 0) transitions.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:51:14] [INFO ] Computed 82 place invariants in 11209 ms
[2022-06-08 23:51:16] [INFO ] Implicit Places using invariants in 13247 ms returned []
Implicit Place search using SMT only with invariants took 13248 ms to find 0 implicit places.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:51:27] [INFO ] Computed 82 place invariants in 10779 ms
[2022-06-08 23:51:28] [INFO ] Dead Transitions using invariants and state equation in 12687 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 13763/13763 places, 38880/38880 transitions.
[2022-06-08 23:51:30] [INFO ] Flatten gal took : 1047 ms
[2022-06-08 23:51:31] [INFO ] Flatten gal took : 966 ms
[2022-06-08 23:51:32] [INFO ] Input system was already deterministic with 38880 transitions.
[2022-06-08 23:51:33] [INFO ] Flatten gal took : 973 ms
[2022-06-08 23:51:34] [INFO ] Flatten gal took : 935 ms
[2022-06-08 23:51:34] [INFO ] Time to serialize gal into /tmp/CTLFireability645675762213604274.gal : 96 ms
[2022-06-08 23:51:35] [INFO ] Time to serialize properties into /tmp/CTLFireability3657115979494186632.ctl : 4 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability645675762213604274.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3657115979494186632.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...273
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-08 23:52:06] [INFO ] Flatten gal took : 921 ms
[2022-06-08 23:52:06] [INFO ] Applying decomposition
[2022-06-08 23:52:06] [INFO ] Flatten gal took : 955 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph18059836850491685461.txt' '-o' '/tmp/graph18059836850491685461.bin' '-w' '/tmp/graph18059836850491685461.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph18059836850491685461.bin' '-l' '-1' '-v' '-w' '/tmp/graph18059836850491685461.weights' '-q' '0' '-e' '0.001'
[2022-06-08 23:52:08] [INFO ] Decomposing Gal with order
[2022-06-08 23:52:09] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-08 23:52:16] [INFO ] Removed a total of 19240 redundant transitions.
[2022-06-08 23:52:16] [INFO ] Flatten gal took : 4914 ms
[2022-06-08 23:52:21] [INFO ] Fuse similar labels procedure discarded/fused a total of 25218 labels/synchronizations in 3848 ms.
[2022-06-08 23:52:21] [INFO ] Time to serialize gal into /tmp/CTLFireability9546767358531656540.gal : 150 ms
[2022-06-08 23:52:21] [INFO ] Time to serialize properties into /tmp/CTLFireability11303263345386948365.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability9546767358531656540.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11303263345386948365.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...254
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 13763/13763 places, 38880/38880 transitions.
Applied a total of 0 rules in 4410 ms. Remains 13763 /13763 variables (removed 0) and now considering 38880/38880 (removed 0) transitions.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:53:07] [INFO ] Computed 82 place invariants in 11673 ms
[2022-06-08 23:53:09] [INFO ] Implicit Places using invariants in 13757 ms returned []
Implicit Place search using SMT only with invariants took 13761 ms to find 0 implicit places.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:53:20] [INFO ] Computed 82 place invariants in 11278 ms
[2022-06-08 23:53:22] [INFO ] Dead Transitions using invariants and state equation in 13367 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 13763/13763 places, 38880/38880 transitions.
[2022-06-08 23:53:24] [INFO ] Flatten gal took : 1107 ms
[2022-06-08 23:53:25] [INFO ] Flatten gal took : 980 ms
[2022-06-08 23:53:26] [INFO ] Input system was already deterministic with 38880 transitions.
[2022-06-08 23:53:27] [INFO ] Flatten gal took : 937 ms
[2022-06-08 23:53:28] [INFO ] Flatten gal took : 971 ms
[2022-06-08 23:53:28] [INFO ] Time to serialize gal into /tmp/CTLFireability7594836455250580017.gal : 121 ms
[2022-06-08 23:53:28] [INFO ] Time to serialize properties into /tmp/CTLFireability17078037336881622577.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability7594836455250580017.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17078037336881622577.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-08 23:54:00] [INFO ] Flatten gal took : 1215 ms
[2022-06-08 23:54:00] [INFO ] Applying decomposition
[2022-06-08 23:54:01] [INFO ] Flatten gal took : 1035 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph17310991229540802481.txt' '-o' '/tmp/graph17310991229540802481.bin' '-w' '/tmp/graph17310991229540802481.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph17310991229540802481.bin' '-l' '-1' '-v' '-w' '/tmp/graph17310991229540802481.weights' '-q' '0' '-e' '0.001'
[2022-06-08 23:54:03] [INFO ] Decomposing Gal with order
[2022-06-08 23:54:04] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-08 23:54:11] [INFO ] Removed a total of 19243 redundant transitions.
[2022-06-08 23:54:11] [INFO ] Flatten gal took : 5099 ms
[2022-06-08 23:54:16] [INFO ] Fuse similar labels procedure discarded/fused a total of 25992 labels/synchronizations in 4092 ms.
[2022-06-08 23:54:16] [INFO ] Time to serialize gal into /tmp/CTLFireability17776617598654001586.gal : 163 ms
[2022-06-08 23:54:16] [INFO ] Time to serialize properties into /tmp/CTLFireability6035912886598531017.ctl : 11 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability17776617598654001586.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6035912886598531017.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...254
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 13763/13763 places, 38880/38880 transitions.
Applied a total of 0 rules in 4583 ms. Remains 13763 /13763 variables (removed 0) and now considering 38880/38880 (removed 0) transitions.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:55:02] [INFO ] Computed 82 place invariants in 11465 ms
[2022-06-08 23:55:04] [INFO ] Implicit Places using invariants in 13367 ms returned []
Implicit Place search using SMT only with invariants took 13368 ms to find 0 implicit places.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:55:15] [INFO ] Computed 82 place invariants in 10777 ms
[2022-06-08 23:55:17] [INFO ] Dead Transitions using invariants and state equation in 12733 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 13763/13763 places, 38880/38880 transitions.
[2022-06-08 23:55:18] [INFO ] Flatten gal took : 871 ms
[2022-06-08 23:55:19] [INFO ] Flatten gal took : 1065 ms
[2022-06-08 23:55:20] [INFO ] Input system was already deterministic with 38880 transitions.
[2022-06-08 23:55:22] [INFO ] Flatten gal took : 1206 ms
[2022-06-08 23:55:23] [INFO ] Flatten gal took : 1110 ms
[2022-06-08 23:55:23] [INFO ] Time to serialize gal into /tmp/CTLFireability10831179600471810233.gal : 137 ms
[2022-06-08 23:55:23] [INFO ] Time to serialize properties into /tmp/CTLFireability14246252948721276188.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability10831179600471810233.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14246252948721276188.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...276
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-08 23:55:54] [INFO ] Flatten gal took : 1106 ms
[2022-06-08 23:55:54] [INFO ] Applying decomposition
[2022-06-08 23:55:55] [INFO ] Flatten gal took : 930 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph5215927933962617144.txt' '-o' '/tmp/graph5215927933962617144.bin' '-w' '/tmp/graph5215927933962617144.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph5215927933962617144.bin' '-l' '-1' '-v' '-w' '/tmp/graph5215927933962617144.weights' '-q' '0' '-e' '0.001'
[2022-06-08 23:55:57] [INFO ] Decomposing Gal with order
[2022-06-08 23:55:58] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-08 23:56:06] [INFO ] Removed a total of 19239 redundant transitions.
[2022-06-08 23:56:06] [INFO ] Flatten gal took : 5602 ms
[2022-06-08 23:56:11] [INFO ] Fuse similar labels procedure discarded/fused a total of 25520 labels/synchronizations in 4067 ms.
[2022-06-08 23:56:11] [INFO ] Time to serialize gal into /tmp/CTLFireability4087451689702165779.gal : 142 ms
[2022-06-08 23:56:11] [INFO ] Time to serialize properties into /tmp/CTLFireability1552432326771422392.ctl : 3 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability4087451689702165779.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1552432326771422392.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...253
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 13763/13763 places, 38880/38880 transitions.
Applied a total of 0 rules in 5308 ms. Remains 13763 /13763 variables (removed 0) and now considering 38880/38880 (removed 0) transitions.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:56:58] [INFO ] Computed 82 place invariants in 11997 ms
[2022-06-08 23:57:00] [INFO ] Implicit Places using invariants in 13935 ms returned []
Implicit Place search using SMT only with invariants took 13946 ms to find 0 implicit places.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:57:11] [INFO ] Computed 82 place invariants in 11153 ms
[2022-06-08 23:57:13] [INFO ] Dead Transitions using invariants and state equation in 13087 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 13763/13763 places, 38880/38880 transitions.
[2022-06-08 23:57:14] [INFO ] Flatten gal took : 877 ms
[2022-06-08 23:57:15] [INFO ] Flatten gal took : 1024 ms
[2022-06-08 23:57:17] [INFO ] Input system was already deterministic with 38880 transitions.
[2022-06-08 23:57:18] [INFO ] Flatten gal took : 950 ms
[2022-06-08 23:57:19] [INFO ] Flatten gal took : 1027 ms
[2022-06-08 23:57:19] [INFO ] Time to serialize gal into /tmp/CTLFireability15120264872190867053.gal : 127 ms
[2022-06-08 23:57:19] [INFO ] Time to serialize properties into /tmp/CTLFireability2568491241590145352.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability15120264872190867053.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2568491241590145352.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-08 23:57:51] [INFO ] Flatten gal took : 1083 ms
[2022-06-08 23:57:51] [INFO ] Applying decomposition
[2022-06-08 23:57:51] [INFO ] Flatten gal took : 959 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph10973476844621723711.txt' '-o' '/tmp/graph10973476844621723711.bin' '-w' '/tmp/graph10973476844621723711.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph10973476844621723711.bin' '-l' '-1' '-v' '-w' '/tmp/graph10973476844621723711.weights' '-q' '0' '-e' '0.001'
[2022-06-08 23:57:53] [INFO ] Decomposing Gal with order
[2022-06-08 23:57:54] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-08 23:58:01] [INFO ] Removed a total of 19232 redundant transitions.
[2022-06-08 23:58:02] [INFO ] Flatten gal took : 4996 ms
[2022-06-08 23:58:06] [INFO ] Fuse similar labels procedure discarded/fused a total of 25370 labels/synchronizations in 4192 ms.
[2022-06-08 23:58:07] [INFO ] Time to serialize gal into /tmp/CTLFireability13377313984562214958.gal : 154 ms
[2022-06-08 23:58:07] [INFO ] Time to serialize properties into /tmp/CTLFireability11691615244769197979.ctl : 5 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability13377313984562214958.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11691615244769197979.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...255
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 13763/13763 places, 38880/38880 transitions.
Applied a total of 0 rules in 5088 ms. Remains 13763 /13763 variables (removed 0) and now considering 38880/38880 (removed 0) transitions.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:58:53] [INFO ] Computed 82 place invariants in 11665 ms
[2022-06-08 23:58:55] [INFO ] Implicit Places using invariants in 13689 ms returned []
Implicit Place search using SMT only with invariants took 13691 ms to find 0 implicit places.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-08 23:59:08] [INFO ] Computed 82 place invariants in 12143 ms
[2022-06-08 23:59:09] [INFO ] Dead Transitions using invariants and state equation in 13970 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 13763/13763 places, 38880/38880 transitions.
[2022-06-08 23:59:10] [INFO ] Flatten gal took : 943 ms
[2022-06-08 23:59:12] [INFO ] Flatten gal took : 1363 ms
[2022-06-08 23:59:13] [INFO ] Input system was already deterministic with 38880 transitions.
[2022-06-08 23:59:14] [INFO ] Flatten gal took : 982 ms
[2022-06-08 23:59:15] [INFO ] Flatten gal took : 999 ms
[2022-06-08 23:59:16] [INFO ] Time to serialize gal into /tmp/CTLFireability15960375000316752064.gal : 112 ms
[2022-06-08 23:59:16] [INFO ] Time to serialize properties into /tmp/CTLFireability7151184632617357923.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability15960375000316752064.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7151184632617357923.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-08 23:59:47] [INFO ] Flatten gal took : 1068 ms
[2022-06-08 23:59:47] [INFO ] Applying decomposition
[2022-06-08 23:59:48] [INFO ] Flatten gal took : 1065 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph10100406863973188073.txt' '-o' '/tmp/graph10100406863973188073.bin' '-w' '/tmp/graph10100406863973188073.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph10100406863973188073.bin' '-l' '-1' '-v' '-w' '/tmp/graph10100406863973188073.weights' '-q' '0' '-e' '0.001'
[2022-06-08 23:59:50] [INFO ] Decomposing Gal with order
[2022-06-08 23:59:51] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-08 23:59:58] [INFO ] Removed a total of 19241 redundant transitions.
[2022-06-08 23:59:59] [INFO ] Flatten gal took : 5230 ms
[2022-06-09 00:00:04] [INFO ] Fuse similar labels procedure discarded/fused a total of 26158 labels/synchronizations in 4457 ms.
[2022-06-09 00:00:04] [INFO ] Time to serialize gal into /tmp/CTLFireability14530744841950676557.gal : 172 ms
[2022-06-09 00:00:04] [INFO ] Time to serialize properties into /tmp/CTLFireability5157503919351893020.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability14530744841950676557.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5157503919351893020.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...254
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 13763/13763 places, 38880/38880 transitions.
Applied a total of 0 rules in 5048 ms. Remains 13763 /13763 variables (removed 0) and now considering 38880/38880 (removed 0) transitions.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-09 00:00:51] [INFO ] Computed 82 place invariants in 11797 ms
[2022-06-09 00:00:53] [INFO ] Implicit Places using invariants in 13598 ms returned []
Implicit Place search using SMT only with invariants took 13609 ms to find 0 implicit places.
// Phase 1: matrix 38880 rows 13763 cols
[2022-06-09 00:01:04] [INFO ] Computed 82 place invariants in 11460 ms
[2022-06-09 00:01:06] [INFO ] Dead Transitions using invariants and state equation in 13437 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 13763/13763 places, 38880/38880 transitions.
[2022-06-09 00:01:07] [INFO ] Flatten gal took : 948 ms
[2022-06-09 00:01:08] [INFO ] Flatten gal took : 1245 ms
[2022-06-09 00:01:10] [INFO ] Input system was already deterministic with 38880 transitions.
[2022-06-09 00:01:11] [INFO ] Flatten gal took : 986 ms
[2022-06-09 00:01:12] [INFO ] Flatten gal took : 1122 ms
[2022-06-09 00:01:13] [INFO ] Time to serialize gal into /tmp/CTLFireability3644312498062937003.gal : 154 ms
[2022-06-09 00:01:13] [INFO ] Time to serialize properties into /tmp/CTLFireability3983159303129157153.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability3644312498062937003.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3983159303129157153.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...274
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-09 00:01:44] [INFO ] Flatten gal took : 1315 ms
[2022-06-09 00:01:44] [INFO ] Applying decomposition
[2022-06-09 00:01:45] [INFO ] Flatten gal took : 1005 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph10059603426093816485.txt' '-o' '/tmp/graph10059603426093816485.bin' '-w' '/tmp/graph10059603426093816485.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph10059603426093816485.bin' '-l' '-1' '-v' '-w' '/tmp/graph10059603426093816485.weights' '-q' '0' '-e' '0.001'
[2022-06-09 00:01:47] [INFO ] Decomposing Gal with order
[2022-06-09 00:01:48] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-09 00:01:56] [INFO ] Removed a total of 19241 redundant transitions.
[2022-06-09 00:01:56] [INFO ] Flatten gal took : 5598 ms
[2022-06-09 00:02:01] [INFO ] Fuse similar labels procedure discarded/fused a total of 25049 labels/synchronizations in 4032 ms.
[2022-06-09 00:02:01] [INFO ] Time to serialize gal into /tmp/CTLFireability3207653859818235996.gal : 154 ms
[2022-06-09 00:02:01] [INFO ] Time to serialize properties into /tmp/CTLFireability125404257113140664.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability3207653859818235996.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability125404257113140664.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...252
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-06-09 00:02:32] [INFO ] Flatten gal took : 956 ms
[2022-06-09 00:02:33] [INFO ] Flatten gal took : 1034 ms
[2022-06-09 00:02:33] [INFO ] Applying decomposition
[2022-06-09 00:02:34] [INFO ] Flatten gal took : 952 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph6914222698594890356.txt' '-o' '/tmp/graph6914222698594890356.bin' '-w' '/tmp/graph6914222698594890356.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph6914222698594890356.bin' '-l' '-1' '-v' '-w' '/tmp/graph6914222698594890356.weights' '-q' '0' '-e' '0.001'
[2022-06-09 00:02:36] [INFO ] Decomposing Gal with order
[2022-06-09 00:02:37] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-09 00:02:44] [INFO ] Removed a total of 19238 redundant transitions.
[2022-06-09 00:02:45] [INFO ] Flatten gal took : 5115 ms
[2022-06-09 00:02:50] [INFO ] Fuse similar labels procedure discarded/fused a total of 25530 labels/synchronizations in 4226 ms.
[2022-06-09 00:02:50] [INFO ] Time to serialize gal into /tmp/CTLFireability15320206297798689454.gal : 180 ms
[2022-06-09 00:02:50] [INFO ] Time to serialize properties into /tmp/CTLFireability14473675965771184326.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability15320206297798689454.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14473675965771184326.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...255
No direction supplied, using forward translation only.
Parsed 16 CTL formulae.
ITS-tools command line returned an error code 137
[2022-06-09 00:14:23] [INFO ] Flatten gal took : 1679 ms
[2022-06-09 00:14:23] [INFO ] Time to serialize gal into /tmp/CTLFireability11578742932730104655.gal : 158 ms
[2022-06-09 00:14:23] [INFO ] Time to serialize properties into /tmp/CTLFireability9545008063921730692.ctl : 17 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability11578742932730104655.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9545008063921730692.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 16 CTL formulae.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export LANG=C
+ LANG=C
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ export PYTHONPATH=/usr/lib/python3.9/site-packages/
+ PYTHONPATH=/usr/lib/python3.9/site-packages/
+ export LD_LIBRARY_PATH=/usr/local/lib:
+ LD_LIBRARY_PATH=/usr/local/lib:
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202205111006.jar
+ VERSION=202205111006
+ echo 'Running Version 202205111006'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data @none -pnfolder /home/mcc/execution -examination CTLFireability -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=@none -Xss128m -Xms40m -Xmx8192m
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CANInsertWithFailure-PT-080"
export BK_EXAMINATION="CTLFireability"
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 CANInsertWithFailure-PT-080, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r294-smll-165463872400066"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CANInsertWithFailure-PT-080.tgz
mv CANInsertWithFailure-PT-080 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;