About the Execution of ITS-Tools for RERS17pb113-PT-1
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 0.000 | 3600000.00 | 0.00 | 0.00 | ????T??????????? | normal |
Execution Chart
Sorry, for this execution, no execution chart could be reported.
Trace from the execution
Formatting '/data/fkordon/mcc2025-input.r170-smll-174889233800370.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2025-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5832
Executing tool itstools
Input is RERS17pb113-PT-1, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r170-smll-174889233800370
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 7.0K May 29 14:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 75K May 29 14:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.0K May 29 14:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K May 29 14:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 29 14:32 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K May 29 14:32 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K May 29 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 29 14:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K May 29 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 29 14:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K May 29 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 152K May 29 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.0K May 29 14:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 48K May 29 14:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 29 14:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K May 29 14:47 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 29 14:32 equiv_col
-rw-r--r-- 1 mcc users 2 May 29 14:32 instance
-rw-r--r-- 1 mcc users 6 May 29 14:32 iscolored
-rw-r--r-- 1 mcc users 15M May 29 14:32 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
echo here is the order used to build the result vector(from xml file)
FORMULA_NAME RERS17pb113-PT-1-CTLFireability-2023-12
FORMULA_NAME RERS17pb113-PT-1-CTLFireability-2023-13
FORMULA_NAME RERS17pb113-PT-1-CTLFireability-2023-14
FORMULA_NAME RERS17pb113-PT-1-CTLFireability-2023-15
FORMULA_NAME RERS17pb113-PT-1-CTLFireability-2025-00
FORMULA_NAME RERS17pb113-PT-1-CTLFireability-2025-01
FORMULA_NAME RERS17pb113-PT-1-CTLFireability-2025-02
FORMULA_NAME RERS17pb113-PT-1-CTLFireability-2025-03
FORMULA_NAME RERS17pb113-PT-1-CTLFireability-2025-04
FORMULA_NAME RERS17pb113-PT-1-CTLFireability-2025-05
FORMULA_NAME RERS17pb113-PT-1-CTLFireability-2025-06
FORMULA_NAME RERS17pb113-PT-1-CTLFireability-2025-07
FORMULA_NAME RERS17pb113-PT-1-CTLFireability-2025-08
FORMULA_NAME RERS17pb113-PT-1-CTLFireability-2025-09
FORMULA_NAME RERS17pb113-PT-1-CTLFireability-2025-10
FORMULA_NAME RERS17pb113-PT-1-CTLFireability-2025-11
=== Now, execution of the tool begins
BK_START 1749042943023
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=RERS17pb113-PT-1
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLFireability PT
Running Version 202505121319
[2025-06-04 13:15:45] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2025-06-04 13:15:45] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-06-04 13:15:46] [INFO ] Load time of PNML (sax parser for PT used): 1094 ms
[2025-06-04 13:15:46] [INFO ] Transformed 639 places.
[2025-06-04 13:15:46] [INFO ] Transformed 31353 transitions.
[2025-06-04 13:15:46] [INFO ] Found NUPN structural information;
[2025-06-04 13:15:46] [INFO ] Parsed PT model containing 639 places and 31353 transitions and 125418 arcs in 1459 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 30 ms.
Support contains 180 out of 639 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 639/639 places, 31353/31353 transitions.
Ensure Unique test removed 12 places
Iterating post reduction 0 with 12 rules applied. Total rules applied 12 place count 627 transition count 31353
Applied a total of 12 rules in 274 ms. Remains 627 /639 variables (removed 12) and now considering 31353/31353 (removed 0) transitions.
[2025-06-04 13:15:47] [INFO ] Flow matrix only has 18326 transitions (discarded 13027 similar events)
// Phase 1: matrix 18326 rows 627 cols
[2025-06-04 13:15:47] [INFO ] Computed 13 invariants in 227 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 13:15:50] [INFO ] Implicit Places using invariants in 3597 ms returned []
Implicit Place search using SMT only with invariants took 3652 ms to find 0 implicit places.
Running 31352 sub problems to find dead transitions.
[2025-06-04 13:15:51] [INFO ] Flow matrix only has 18326 transitions (discarded 13027 similar events)
[2025-06-04 13:15:51] [INFO ] Invariant cache hit.
[2025-06-04 13:15:52] [INFO ] State equation strengthened by 829 read => feed constraints.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 0 (INCLUDED_ONLY) 0/626 variables, 626/626 constraints. Problems are: Problem set: 0 solved, 31352 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 626/18953 variables, and 626 constraints, problems are : Problem set: 0 solved, 31352 unsolved in 30967 ms.
Refiners :[Domain max(s): 626/627 constraints, Positive P Invariants (semi-flows): 0/13 constraints, State Equation: 0/627 constraints, ReadFeed: 0/829 constraints, PredecessorRefiner: 31352/31352 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 31352 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/626 variables, 626/626 constraints. Problems are: Problem set: 0 solved, 31352 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 626/18953 variables, and 626 constraints, problems are : Problem set: 0 solved, 31352 unsolved in 30368 ms.
Refiners :[Domain max(s): 626/627 constraints, Positive P Invariants (semi-flows): 0/13 constraints, State Equation: 0/627 constraints, ReadFeed: 0/829 constraints, PredecessorRefiner: 0/31352 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 222944ms problems are : Problem set: 0 solved, 31352 unsolved
Search for dead transitions found 0 dead transitions in 223195ms
Starting structural reductions in LTL mode, iteration 1 : 627/639 places, 31353/31353 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 227280 ms. Remains : 627/639 places, 31353/31353 transitions.
Support contains 180 out of 627 places after structural reductions.
[2025-06-04 13:19:36] [INFO ] Flatten gal took : 1569 ms
[2025-06-04 13:19:37] [INFO ] Flatten gal took : 1011 ms
[2025-06-04 13:19:39] [INFO ] Input system was already deterministic with 31353 transitions.
RANDOM walk for 40000 steps (10 resets) in 8246 ms. (4 steps per ms) remains 39/82 properties
BEST_FIRST walk for 4004 steps (8 resets) in 74 ms. (53 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4004 steps (8 resets) in 79 ms. (50 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4004 steps (8 resets) in 57 ms. (69 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4003 steps (8 resets) in 76 ms. (51 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4003 steps (8 resets) in 57 ms. (69 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4004 steps (8 resets) in 109 ms. (36 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4002 steps (8 resets) in 52 ms. (75 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4004 steps (8 resets) in 77 ms. (51 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4003 steps (8 resets) in 67 ms. (58 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4004 steps (8 resets) in 55 ms. (71 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4003 steps (8 resets) in 60 ms. (65 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4002 steps (8 resets) in 62 ms. (63 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4004 steps (8 resets) in 68 ms. (58 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4004 steps (8 resets) in 57 ms. (69 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4002 steps (8 resets) in 52 ms. (75 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4004 steps (8 resets) in 57 ms. (69 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4003 steps (8 resets) in 64 ms. (61 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4003 steps (8 resets) in 60 ms. (65 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4003 steps (8 resets) in 60 ms. (65 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4003 steps (8 resets) in 58 ms. (67 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4003 steps (8 resets) in 78 ms. (50 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4003 steps (8 resets) in 61 ms. (64 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4004 steps (8 resets) in 54 ms. (72 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4004 steps (8 resets) in 57 ms. (69 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4003 steps (8 resets) in 64 ms. (61 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4003 steps (8 resets) in 61 ms. (64 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4003 steps (8 resets) in 63 ms. (62 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4004 steps (8 resets) in 67 ms. (58 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4003 steps (8 resets) in 60 ms. (65 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4004 steps (8 resets) in 60 ms. (65 steps per ms) remains 39/39 properties
[2025-06-04 13:19:43] [INFO ] Flow matrix only has 18326 transitions (discarded 13027 similar events)
[2025-06-04 13:19:43] [INFO ] Invariant cache hit.
[2025-06-04 13:19:43] [INFO ] State equation strengthened by 829 read => feed constraints.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/103 variables, 103/103 constraints. Problems are: Problem set: 0 solved, 39 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/103 variables, 0/103 constraints. Problems are: Problem set: 0 solved, 39 unsolved
At refinement iteration 2 (OVERLAPS) 524/627 variables, 13/116 constraints. Problems are: Problem set: 0 solved, 39 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/627 variables, 524/640 constraints. Problems are: Problem set: 0 solved, 39 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 13:19:49] [INFO ] Deduced a trap composed of 25 places in 4664 ms of which 285 ms to minimize.
SMT process timed out in 6245ms, After SMT, problems are : Problem set: 0 solved, 39 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 103 out of 627 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 627/627 places, 31353/31353 transitions.
Applied a total of 0 rules in 391 ms. Remains 627 /627 variables (removed 0) and now considering 31353/31353 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 400 ms. Remains : 627/627 places, 31353/31353 transitions.
RANDOM walk for 40000 steps (11 resets) in 3710 ms. (10 steps per ms) remains 36/39 properties
BEST_FIRST walk for 4003 steps (8 resets) in 64 ms. (61 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 370 ms. (10 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 55 ms. (71 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 177 ms. (22 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 47 ms. (83 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 44 ms. (88 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 48 ms. (81 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 46 ms. (85 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 50 ms. (78 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 57 ms. (69 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 55 ms. (71 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 45 ms. (87 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 40 ms. (97 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4001 steps (8 resets) in 56 ms. (70 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 44 ms. (88 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 45 ms. (87 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 41 ms. (95 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 38 ms. (102 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 41 ms. (95 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 36 ms. (108 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 39 ms. (100 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 43 ms. (90 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 41 ms. (95 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 39 ms. (100 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4001 steps (8 resets) in 40 ms. (97 steps per ms) remains 36/36 properties
Interrupted probabilistic random walk after 9404 steps, run timeout after 3001 ms. (steps per millisecond=3 ) properties seen :0 out of 36
Probabilistic random walk after 9404 steps, saw 6445 distinct states, run finished after 3009 ms. (steps per millisecond=3 ) properties seen :0
[2025-06-04 13:19:54] [INFO ] Flow matrix only has 18326 transitions (discarded 13027 similar events)
[2025-06-04 13:19:54] [INFO ] Invariant cache hit.
[2025-06-04 13:19:55] [INFO ] State equation strengthened by 829 read => feed constraints.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/97 variables, 97/97 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/97 variables, 0/97 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 2 (OVERLAPS) 530/627 variables, 13/110 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/627 variables, 530/640 constraints. Problems are: Problem set: 0 solved, 36 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 13:20:00] [INFO ] Deduced a trap composed of 25 places in 4717 ms of which 262 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 13:20:05] [INFO ] Deduced a trap composed of 41 places in 5243 ms of which 353 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 13:20:11] [INFO ] Deduced a trap composed of 41 places in 5804 ms of which 348 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 13:20:17] [INFO ] Deduced a trap composed of 43 places in 6148 ms of which 326 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 13:20:23] [INFO ] Deduced a trap composed of 41 places in 5165 ms of which 272 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 13:20:28] [INFO ] Deduced a trap composed of 49 places in 5104 ms of which 308 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 13:20:33] [INFO ] Deduced a trap composed of 49 places in 4739 ms of which 285 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 13:20:39] [INFO ] Deduced a trap composed of 49 places in 6723 ms of which 337 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 13:20:45] [INFO ] Deduced a trap composed of 49 places in 5232 ms of which 324 ms to minimize.
SMT process timed out in 50256ms, After SMT, problems are : Problem set: 0 solved, 36 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 97 out of 627 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 627/627 places, 31353/31353 transitions.
Applied a total of 0 rules in 296 ms. Remains 627 /627 variables (removed 0) and now considering 31353/31353 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 296 ms. Remains : 627/627 places, 31353/31353 transitions.
RANDOM walk for 40000 steps (10 resets) in 2416 ms. (16 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 41 ms. (95 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 40 ms. (97 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 38 ms. (102 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 36 ms. (108 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4002 steps (8 resets) in 41 ms. (95 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 40 ms. (97 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4002 steps (8 resets) in 42 ms. (93 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4002 steps (8 resets) in 54 ms. (72 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 48 ms. (81 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 54 ms. (72 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4002 steps (8 resets) in 51 ms. (76 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 50 ms. (78 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 53 ms. (74 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 65 ms. (60 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 63 ms. (62 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4002 steps (8 resets) in 59 ms. (66 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 58 ms. (67 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 57 ms. (69 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 58 ms. (67 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 67 ms. (58 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 56 ms. (70 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 55 ms. (71 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4001 steps (8 resets) in 37 ms. (105 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 37 ms. (105 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 37 ms. (105 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 39 ms. (100 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 45 ms. (87 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 44 ms. (88 steps per ms) remains 36/36 properties
Interrupted probabilistic random walk after 7672 steps, run timeout after 3002 ms. (steps per millisecond=2 ) properties seen :0 out of 36
Probabilistic random walk after 7672 steps, saw 5364 distinct states, run finished after 3002 ms. (steps per millisecond=2 ) properties seen :0
[2025-06-04 13:20:49] [INFO ] Flow matrix only has 18326 transitions (discarded 13027 similar events)
[2025-06-04 13:20:49] [INFO ] Invariant cache hit.
[2025-06-04 13:20:50] [INFO ] State equation strengthened by 829 read => feed constraints.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Starting Z3 with timeout 75.0 s and query timeout 7500.0 ms
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/97 variables, 97/97 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/97 variables, 0/97 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 2 (OVERLAPS) 530/627 variables, 13/110 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/627 variables, 530/640 constraints. Problems are: Problem set: 0 solved, 36 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 13:20:56] [INFO ] Deduced a trap composed of 25 places in 5699 ms of which 372 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 13:21:02] [INFO ] Deduced a trap composed of 41 places in 5662 ms of which 349 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 13:21:07] [INFO ] Deduced a trap composed of 41 places in 5242 ms of which 320 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 13:21:13] [INFO ] Deduced a trap composed of 43 places in 6086 ms of which 335 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 13:21:20] [INFO ] Deduced a trap composed of 41 places in 6287 ms of which 347 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 13:21:24] [INFO ] Deduced a trap composed of 49 places in 4711 ms of which 328 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 13:21:29] [INFO ] Deduced a trap composed of 49 places in 4603 ms of which 293 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 13:21:34] [INFO ] Deduced a trap composed of 49 places in 5015 ms of which 288 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 13:21:39] [INFO ] Deduced a trap composed of 49 places in 4975 ms of which 280 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 13:21:44] [INFO ] Deduced a trap composed of 65 places in 5321 ms of which 280 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 13:21:48] [INFO ] Deduced a trap composed of 65 places in 3789 ms of which 159 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 13:21:52] [INFO ] Deduced a trap composed of 41 places in 3592 ms of which 135 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 13:21:55] [INFO ] Deduced a trap composed of 65 places in 2762 ms of which 117 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 13:21:58] [INFO ] Deduced a trap composed of 49 places in 3083 ms of which 128 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 13:22:00] [INFO ] Deduced a trap composed of 65 places in 2297 ms of which 86 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 13:22:02] [INFO ] Deduced a trap composed of 65 places in 1748 ms of which 68 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 13:22:04] [INFO ] Deduced a trap composed of 65 places in 1713 ms of which 50 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 13:22:05] [INFO ] Deduced a trap composed of 66 places in 1228 ms of which 19 ms to minimize.
Problem AtomicPropp3 is UNSAT
Problem AtomicPropp4 is UNSAT
Problem AtomicPropp9 is UNSAT
Problem AtomicPropp12 is UNSAT
Problem AtomicPropp13 is UNSAT
Problem AtomicPropp14 is UNSAT
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 13:22:09] [INFO ] Deduced a trap composed of 49 places in 4526 ms of which 160 ms to minimize.
SMT process timed out in 80292ms, After SMT, problems are : Problem set: 6 solved, 30 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 85 out of 627 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 627/627 places, 31353/31353 transitions.
Applied a total of 0 rules in 429 ms. Remains 627 /627 variables (removed 0) and now considering 31353/31353 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 430 ms. Remains : 627/627 places, 31353/31353 transitions.
Successfully simplified 6 atomic propositions for a total of 16 simplifications.
[2025-06-04 13:22:11] [INFO ] Flatten gal took : 716 ms
[2025-06-04 13:22:12] [INFO ] Flatten gal took : 770 ms
[2025-06-04 13:22:13] [INFO ] Input system was already deterministic with 31353 transitions.
Support contains 170 out of 627 places (down from 173) after GAL structural reductions.
Computed a total of 1 stabilizing places and 1 stable transitions
Starting structural reductions in SI_CTL mode, iteration 0 : 627/627 places, 31353/31353 transitions.
Reduce places removed 1 places and 1 transitions.
Applied a total of 0 rules in 478 ms. Remains 626 /627 variables (removed 1) and now considering 31352/31353 (removed 1) transitions.
[2025-06-04 13:22:14] [INFO ] Flow matrix only has 18325 transitions (discarded 13027 similar events)
// Phase 1: matrix 18325 rows 626 cols
[2025-06-04 13:22:14] [INFO ] Computed 13 invariants in 125 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 13:22:20] [INFO ] Implicit Places using invariants in 5692 ms returned []
Implicit Place search using SMT only with invariants took 5696 ms to find 0 implicit places.
Running 31351 sub problems to find dead transitions.
[2025-06-04 13:22:20] [INFO ] Flow matrix only has 18325 transitions (discarded 13027 similar events)
[2025-06-04 13:22:20] [INFO ] Invariant cache hit.
[2025-06-04 13:22:20] [INFO ] State equation strengthened by 268 read => feed constraints.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/626 variables, 626/626 constraints. Problems are: Problem set: 0 solved, 31351 unsolved
SMT process timed out in 193635ms, After SMT, problems are : Problem set: 0 solved, 31351 unsolved
Search for dead transitions found 0 dead transitions in 193737ms
Finished structural reductions in SI_CTL mode , in 1 iterations and 200078 ms. Remains : 626/627 places, 31352/31353 transitions.
[2025-06-04 13:25:34] [INFO ] Flatten gal took : 661 ms
[2025-06-04 13:25:35] [INFO ] Flatten gal took : 957 ms
[2025-06-04 13:25:37] [INFO ] Input system was already deterministic with 31352 transitions.
RANDOM walk for 20882 steps (6 resets) in 2013 ms. (10 steps per ms) remains 0/1 properties
FORMULA RERS17pb113-PT-1-CTLFireability-2025-00 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
[2025-06-04 13:25:39] [INFO ] Flatten gal took : 844 ms
[2025-06-04 13:25:40] [INFO ] Flatten gal took : 714 ms
[2025-06-04 13:25:40] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality368612320889134223.gal : 366 ms
[2025-06-04 13:25:40] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality11119942511905539111.prop : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality368612320889134223.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality11119942511905539111.prop' '--nowitness' '--gen-order' 'FOLLOW'
ITS runner timed out or was interrupted.
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...328
ITS tools runner thread asked to quit. Dying gracefully.
Starting structural reductions in LTL mode, iteration 0 : 627/627 places, 31353/31353 transitions.
Applied a total of 0 rules in 143 ms. Remains 627 /627 variables (removed 0) and now considering 31353/31353 (removed 0) transitions.
[2025-06-04 13:25:40] [INFO ] Flow matrix only has 18326 transitions (discarded 13027 similar events)
// Phase 1: matrix 18326 rows 627 cols
[2025-06-04 13:25:40] [INFO ] Computed 13 invariants in 76 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 13:25:44] [INFO ] Implicit Places using invariants in 4114 ms returned []
Implicit Place search using SMT only with invariants took 4115 ms to find 0 implicit places.
Running 31352 sub problems to find dead transitions.
[2025-06-04 13:25:45] [INFO ] Flow matrix only has 18326 transitions (discarded 13027 similar events)
[2025-06-04 13:25:45] [INFO ] Invariant cache hit.
[2025-06-04 13:25:45] [INFO ] State equation strengthened by 829 read => feed constraints.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/626 variables, 626/626 constraints. Problems are: Problem set: 0 solved, 31352 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 626/18953 variables, and 626 constraints, problems are : Problem set: 0 solved, 31352 unsolved in 30723 ms.
Refiners :[Domain max(s): 626/627 constraints, Positive P Invariants (semi-flows): 0/13 constraints, State Equation: 0/627 constraints, ReadFeed: 0/829 constraints, PredecessorRefiner: 31352/31352 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 31352 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/626 variables, 626/626 constraints. Problems are: Problem set: 0 solved, 31352 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 626/18953 variables, and 626 constraints, problems are : Problem set: 0 solved, 31352 unsolved in 30518 ms.
Refiners :[Domain max(s): 626/627 constraints, Positive P Invariants (semi-flows): 0/13 constraints, State Equation: 0/627 constraints, ReadFeed: 0/829 constraints, PredecessorRefiner: 0/31352 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 232926ms problems are : Problem set: 0 solved, 31352 unsolved
Search for dead transitions found 0 dead transitions in 232984ms
Finished structural reductions in LTL mode , in 1 iterations and 237281 ms. Remains : 627/627 places, 31353/31353 transitions.
[2025-06-04 13:29:38] [INFO ] Flatten gal took : 632 ms
[2025-06-04 13:29:39] [INFO ] Flatten gal took : 786 ms
[2025-06-04 13:29:41] [INFO ] Input system was already deterministic with 31353 transitions.
[2025-06-04 13:29:42] [INFO ] Flatten gal took : 807 ms
[2025-06-04 13:29:43] [INFO ] Flatten gal took : 742 ms
[2025-06-04 13:29:43] [INFO ] Time to serialize gal into /tmp/CTLFireability4130815649595879939.gal : 150 ms
[2025-06-04 13:29:43] [INFO ] Time to serialize properties into /tmp/CTLFireability12416246677673186948.ctl : 17 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability4130815649595879939.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12416246677673186948.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-04 13:30:14] [INFO ] Flatten gal took : 863 ms
[2025-06-04 13:30:14] [INFO ] Applying decomposition
[2025-06-04 13:30:15] [INFO ] Flatten gal took : 747 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph12142262803620341900.txt' '-o' '/tmp/graph12142262803620341900.bin' '-w' '/tmp/graph12142262803620341900.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph12142262803620341900.bin' '-l' '-1' '-v' '-w' '/tmp/graph12142262803620341900.weights' '-q' '0' '-e' '0.001'
[2025-06-04 13:30:17] [INFO ] Decomposing Gal with order
[2025-06-04 13:30:17] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 13:30:21] [INFO ] Removed a total of 91924 redundant transitions.
[2025-06-04 13:30:22] [INFO ] Flatten gal took : 2827 ms
[2025-06-04 13:30:24] [INFO ] Fuse similar labels procedure discarded/fused a total of 1508 labels/synchronizations in 1458 ms.
[2025-06-04 13:30:25] [INFO ] Time to serialize gal into /tmp/CTLFireability10083209155304650054.gal : 174 ms
[2025-06-04 13:30:25] [INFO ] Time to serialize properties into /tmp/CTLFireability13829285408004653444.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability10083209155304650054.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13829285408004653444.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
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 : 627/627 places, 31353/31353 transitions.
Reduce places removed 1 places and 1 transitions.
Applied a total of 0 rules in 298 ms. Remains 626 /627 variables (removed 1) and now considering 31352/31353 (removed 1) transitions.
[2025-06-04 13:30:55] [INFO ] Flow matrix only has 18325 transitions (discarded 13027 similar events)
// Phase 1: matrix 18325 rows 626 cols
[2025-06-04 13:30:55] [INFO ] Computed 13 invariants in 101 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 13:31:00] [INFO ] Implicit Places using invariants in 4906 ms returned []
Implicit Place search using SMT only with invariants took 4914 ms to find 0 implicit places.
Running 31351 sub problems to find dead transitions.
[2025-06-04 13:31:00] [INFO ] Flow matrix only has 18325 transitions (discarded 13027 similar events)
[2025-06-04 13:31:00] [INFO ] Invariant cache hit.
[2025-06-04 13:31:01] [INFO ] State equation strengthened by 268 read => feed constraints.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/626 variables, 626/626 constraints. Problems are: Problem set: 0 solved, 31351 unsolved
SMT process timed out in 177030ms, After SMT, problems are : Problem set: 0 solved, 31351 unsolved
Search for dead transitions found 0 dead transitions in 177096ms
Finished structural reductions in SI_CTL mode , in 1 iterations and 182588 ms. Remains : 626/627 places, 31352/31353 transitions.
[2025-06-04 13:33:58] [INFO ] Flatten gal took : 712 ms
[2025-06-04 13:33:59] [INFO ] Flatten gal took : 799 ms
[2025-06-04 13:34:01] [INFO ] Input system was already deterministic with 31352 transitions.
[2025-06-04 13:34:02] [INFO ] Flatten gal took : 747 ms
[2025-06-04 13:34:03] [INFO ] Flatten gal took : 742 ms
[2025-06-04 13:34:03] [INFO ] Time to serialize gal into /tmp/CTLFireability17414814290940779832.gal : 133 ms
[2025-06-04 13:34:03] [INFO ] Time to serialize properties into /tmp/CTLFireability4186797609832236809.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability17414814290940779832.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4186797609832236809.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-04 13:34:34] [INFO ] Flatten gal took : 726 ms
[2025-06-04 13:34:34] [INFO ] Applying decomposition
[2025-06-04 13:34:34] [INFO ] Flatten gal took : 771 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph17321347059593034774.txt' '-o' '/tmp/graph17321347059593034774.bin' '-w' '/tmp/graph17321347059593034774.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph17321347059593034774.bin' '-l' '-1' '-v' '-w' '/tmp/graph17321347059593034774.weights' '-q' '0' '-e' '0.001'
[2025-06-04 13:34:36] [INFO ] Decomposing Gal with order
[2025-06-04 13:34:36] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 13:34:39] [INFO ] Removed a total of 91884 redundant transitions.
[2025-06-04 13:34:39] [INFO ] Flatten gal took : 1284 ms
[2025-06-04 13:34:41] [INFO ] Fuse similar labels procedure discarded/fused a total of 1518 labels/synchronizations in 1236 ms.
[2025-06-04 13:34:41] [INFO ] Time to serialize gal into /tmp/CTLFireability10042284711337843536.gal : 145 ms
[2025-06-04 13:34:41] [INFO ] Time to serialize properties into /tmp/CTLFireability14191379418293862735.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability10042284711337843536.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14191379418293862735.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 627/627 places, 31353/31353 transitions.
Applied a total of 0 rules in 109 ms. Remains 627 /627 variables (removed 0) and now considering 31353/31353 (removed 0) transitions.
[2025-06-04 13:35:11] [INFO ] Flow matrix only has 18326 transitions (discarded 13027 similar events)
// Phase 1: matrix 18326 rows 627 cols
[2025-06-04 13:35:12] [INFO ] Computed 13 invariants in 94 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 13:35:15] [INFO ] Implicit Places using invariants in 3955 ms returned []
Implicit Place search using SMT only with invariants took 3956 ms to find 0 implicit places.
Running 31352 sub problems to find dead transitions.
[2025-06-04 13:35:16] [INFO ] Flow matrix only has 18326 transitions (discarded 13027 similar events)
[2025-06-04 13:35:16] [INFO ] Invariant cache hit.
[2025-06-04 13:35:16] [INFO ] State equation strengthened by 829 read => feed constraints.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/626 variables, 626/626 constraints. Problems are: Problem set: 0 solved, 31352 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 626/18953 variables, and 626 constraints, problems are : Problem set: 0 solved, 31352 unsolved in 31114 ms.
Refiners :[Domain max(s): 626/627 constraints, Positive P Invariants (semi-flows): 0/13 constraints, State Equation: 0/627 constraints, ReadFeed: 0/829 constraints, PredecessorRefiner: 31352/31352 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 31352 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/626 variables, 626/626 constraints. Problems are: Problem set: 0 solved, 31352 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 626/18953 variables, and 626 constraints, problems are : Problem set: 0 solved, 31352 unsolved in 30540 ms.
Refiners :[Domain max(s): 626/627 constraints, Positive P Invariants (semi-flows): 0/13 constraints, State Equation: 0/627 constraints, ReadFeed: 0/829 constraints, PredecessorRefiner: 0/31352 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 225465ms problems are : Problem set: 0 solved, 31352 unsolved
Search for dead transitions found 0 dead transitions in 225519ms
Finished structural reductions in LTL mode , in 1 iterations and 229619 ms. Remains : 627/627 places, 31353/31353 transitions.
[2025-06-04 13:39:02] [INFO ] Flatten gal took : 647 ms
[2025-06-04 13:39:03] [INFO ] Flatten gal took : 851 ms
[2025-06-04 13:39:04] [INFO ] Input system was already deterministic with 31353 transitions.
[2025-06-04 13:39:05] [INFO ] Flatten gal took : 749 ms
[2025-06-04 13:39:06] [INFO ] Flatten gal took : 791 ms
[2025-06-04 13:39:06] [INFO ] Time to serialize gal into /tmp/CTLFireability2493894864985424342.gal : 138 ms
[2025-06-04 13:39:06] [INFO ] Time to serialize properties into /tmp/CTLFireability11023700669071752265.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability2493894864985424342.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11023700669071752265.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-04 13:39:37] [INFO ] Flatten gal took : 821 ms
[2025-06-04 13:39:37] [INFO ] Applying decomposition
[2025-06-04 13:39:38] [INFO ] Flatten gal took : 717 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph10613680883415101910.txt' '-o' '/tmp/graph10613680883415101910.bin' '-w' '/tmp/graph10613680883415101910.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph10613680883415101910.bin' '-l' '-1' '-v' '-w' '/tmp/graph10613680883415101910.weights' '-q' '0' '-e' '0.001'
[2025-06-04 13:39:40] [INFO ] Decomposing Gal with order
[2025-06-04 13:39:40] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 13:39:42] [INFO ] Removed a total of 91909 redundant transitions.
[2025-06-04 13:39:42] [INFO ] Flatten gal took : 1367 ms
[2025-06-04 13:39:44] [INFO ] Fuse similar labels procedure discarded/fused a total of 1554 labels/synchronizations in 1074 ms.
[2025-06-04 13:39:44] [INFO ] Time to serialize gal into /tmp/CTLFireability5591525700013206548.gal : 101 ms
[2025-06-04 13:39:44] [INFO ] Time to serialize properties into /tmp/CTLFireability5494428785839961851.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability5591525700013206548.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5494428785839961851.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 627/627 places, 31353/31353 transitions.
Applied a total of 0 rules in 301 ms. Remains 627 /627 variables (removed 0) and now considering 31353/31353 (removed 0) transitions.
[2025-06-04 13:40:14] [INFO ] Flow matrix only has 18326 transitions (discarded 13027 similar events)
[2025-06-04 13:40:14] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 13:40:20] [INFO ] Implicit Places using invariants in 5386 ms returned []
Implicit Place search using SMT only with invariants took 5387 ms to find 0 implicit places.
Running 31352 sub problems to find dead transitions.
[2025-06-04 13:40:20] [INFO ] Flow matrix only has 18326 transitions (discarded 13027 similar events)
[2025-06-04 13:40:20] [INFO ] Invariant cache hit.
[2025-06-04 13:40:20] [INFO ] State equation strengthened by 829 read => feed constraints.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/626 variables, 626/626 constraints. Problems are: Problem set: 0 solved, 31352 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 626/18953 variables, and 626 constraints, problems are : Problem set: 0 solved, 31352 unsolved in 30544 ms.
Refiners :[Domain max(s): 626/627 constraints, Positive P Invariants (semi-flows): 0/13 constraints, State Equation: 0/627 constraints, ReadFeed: 0/829 constraints, PredecessorRefiner: 31352/31352 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 31352 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/626 variables, 626/626 constraints. Problems are: Problem set: 0 solved, 31352 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 626/18953 variables, and 626 constraints, problems are : Problem set: 0 solved, 31352 unsolved in 30441 ms.
Refiners :[Domain max(s): 626/627 constraints, Positive P Invariants (semi-flows): 0/13 constraints, State Equation: 0/627 constraints, ReadFeed: 0/829 constraints, PredecessorRefiner: 0/31352 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 226101ms problems are : Problem set: 0 solved, 31352 unsolved
Search for dead transitions found 0 dead transitions in 226183ms
Finished structural reductions in LTL mode , in 1 iterations and 231920 ms. Remains : 627/627 places, 31353/31353 transitions.
[2025-06-04 13:44:07] [INFO ] Flatten gal took : 667 ms
[2025-06-04 13:44:07] [INFO ] Flatten gal took : 860 ms
[2025-06-04 13:44:09] [INFO ] Input system was already deterministic with 31353 transitions.
[2025-06-04 13:44:10] [INFO ] Flatten gal took : 774 ms
[2025-06-04 13:44:11] [INFO ] Flatten gal took : 836 ms
[2025-06-04 13:44:11] [INFO ] Time to serialize gal into /tmp/CTLFireability1758187209393706248.gal : 143 ms
[2025-06-04 13:44:11] [INFO ] Time to serialize properties into /tmp/CTLFireability4393080124737223522.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability1758187209393706248.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4393080124737223522.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-04 13:44:42] [INFO ] Flatten gal took : 817 ms
[2025-06-04 13:44:42] [INFO ] Applying decomposition
[2025-06-04 13:44:43] [INFO ] Flatten gal took : 848 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph15609775230276786944.txt' '-o' '/tmp/graph15609775230276786944.bin' '-w' '/tmp/graph15609775230276786944.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph15609775230276786944.bin' '-l' '-1' '-v' '-w' '/tmp/graph15609775230276786944.weights' '-q' '0' '-e' '0.001'
[2025-06-04 13:44:47] [INFO ] Decomposing Gal with order
[2025-06-04 13:44:47] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 13:44:49] [INFO ] Removed a total of 91910 redundant transitions.
[2025-06-04 13:44:50] [INFO ] Flatten gal took : 1435 ms
[2025-06-04 13:44:52] [INFO ] Fuse similar labels procedure discarded/fused a total of 1457 labels/synchronizations in 1356 ms.
[2025-06-04 13:44:52] [INFO ] Time to serialize gal into /tmp/CTLFireability6111335157285239854.gal : 91 ms
[2025-06-04 13:44:52] [INFO ] Time to serialize properties into /tmp/CTLFireability1022104958881228083.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability6111335157285239854.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1022104958881228083.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
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 : 627/627 places, 31353/31353 transitions.
Reduce places removed 1 places and 1 transitions.
Applied a total of 0 rules in 322 ms. Remains 626 /627 variables (removed 1) and now considering 31352/31353 (removed 1) transitions.
[2025-06-04 13:45:22] [INFO ] Flow matrix only has 18325 transitions (discarded 13027 similar events)
// Phase 1: matrix 18325 rows 626 cols
[2025-06-04 13:45:22] [INFO ] Computed 13 invariants in 89 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 13:45:28] [INFO ] Implicit Places using invariants in 5347 ms returned []
Implicit Place search using SMT only with invariants took 5355 ms to find 0 implicit places.
Running 31351 sub problems to find dead transitions.
[2025-06-04 13:45:28] [INFO ] Flow matrix only has 18325 transitions (discarded 13027 similar events)
[2025-06-04 13:45:28] [INFO ] Invariant cache hit.
[2025-06-04 13:45:28] [INFO ] State equation strengthened by 268 read => feed constraints.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/626 variables, 626/626 constraints. Problems are: Problem set: 0 solved, 31351 unsolved
SMT process timed out in 191527ms, After SMT, problems are : Problem set: 0 solved, 31351 unsolved
Search for dead transitions found 0 dead transitions in 191627ms
Finished structural reductions in SI_CTL mode , in 1 iterations and 197371 ms. Remains : 626/627 places, 31352/31353 transitions.
[2025-06-04 13:48:40] [INFO ] Flatten gal took : 776 ms
[2025-06-04 13:48:42] [INFO ] Flatten gal took : 1835 ms
[2025-06-04 13:48:44] [INFO ] Input system was already deterministic with 31352 transitions.
[2025-06-04 13:48:45] [INFO ] Flatten gal took : 946 ms
[2025-06-04 13:48:46] [INFO ] Flatten gal took : 820 ms
[2025-06-04 13:48:46] [INFO ] Time to serialize gal into /tmp/CTLFireability17513614442538128450.gal : 146 ms
[2025-06-04 13:48:46] [INFO ] Time to serialize properties into /tmp/CTLFireability4709519674649091117.ctl : 4 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability17513614442538128450.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4709519674649091117.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-04 13:49:17] [INFO ] Flatten gal took : 765 ms
[2025-06-04 13:49:17] [INFO ] Applying decomposition
[2025-06-04 13:49:18] [INFO ] Flatten gal took : 831 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph17516400643224867665.txt' '-o' '/tmp/graph17516400643224867665.bin' '-w' '/tmp/graph17516400643224867665.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph17516400643224867665.bin' '-l' '-1' '-v' '-w' '/tmp/graph17516400643224867665.weights' '-q' '0' '-e' '0.001'
[2025-06-04 13:49:21] [INFO ] Decomposing Gal with order
[2025-06-04 13:49:21] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 13:49:24] [INFO ] Removed a total of 91935 redundant transitions.
[2025-06-04 13:49:24] [INFO ] Flatten gal took : 1590 ms
[2025-06-04 13:49:26] [INFO ] Fuse similar labels procedure discarded/fused a total of 1567 labels/synchronizations in 1101 ms.
[2025-06-04 13:49:26] [INFO ] Time to serialize gal into /tmp/CTLFireability8888265868833993490.gal : 92 ms
[2025-06-04 13:49:26] [INFO ] Time to serialize properties into /tmp/CTLFireability983961433164332905.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability8888265868833993490.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability983961433164332905.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...261
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 627/627 places, 31353/31353 transitions.
Applied a total of 0 rules in 109 ms. Remains 627 /627 variables (removed 0) and now considering 31353/31353 (removed 0) transitions.
[2025-06-04 13:49:56] [INFO ] Flow matrix only has 18326 transitions (discarded 13027 similar events)
// Phase 1: matrix 18326 rows 627 cols
[2025-06-04 13:49:56] [INFO ] Computed 13 invariants in 73 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 13:50:01] [INFO ] Implicit Places using invariants in 4630 ms returned []
Implicit Place search using SMT only with invariants took 4638 ms to find 0 implicit places.
Running 31352 sub problems to find dead transitions.
[2025-06-04 13:50:01] [INFO ] Flow matrix only has 18326 transitions (discarded 13027 similar events)
[2025-06-04 13:50:01] [INFO ] Invariant cache hit.
[2025-06-04 13:50:02] [INFO ] State equation strengthened by 829 read => feed constraints.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/626 variables, 626/626 constraints. Problems are: Problem set: 0 solved, 31352 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 626/18953 variables, and 626 constraints, problems are : Problem set: 0 solved, 31352 unsolved in 30595 ms.
Refiners :[Domain max(s): 626/627 constraints, Positive P Invariants (semi-flows): 0/13 constraints, State Equation: 0/627 constraints, ReadFeed: 0/829 constraints, PredecessorRefiner: 31352/31352 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 31352 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/626 variables, 626/626 constraints. Problems are: Problem set: 0 solved, 31352 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 626/18953 variables, and 626 constraints, problems are : Problem set: 0 solved, 31352 unsolved in 30423 ms.
Refiners :[Domain max(s): 626/627 constraints, Positive P Invariants (semi-flows): 0/13 constraints, State Equation: 0/627 constraints, ReadFeed: 0/829 constraints, PredecessorRefiner: 0/31352 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 220635ms problems are : Problem set: 0 solved, 31352 unsolved
Search for dead transitions found 0 dead transitions in 220700ms
Finished structural reductions in LTL mode , in 1 iterations and 225496 ms. Remains : 627/627 places, 31353/31353 transitions.
[2025-06-04 13:53:43] [INFO ] Flatten gal took : 678 ms
[2025-06-04 13:53:43] [INFO ] Flatten gal took : 874 ms
[2025-06-04 13:53:45] [INFO ] Input system was already deterministic with 31353 transitions.
[2025-06-04 13:53:46] [INFO ] Flatten gal took : 738 ms
[2025-06-04 13:53:47] [INFO ] Flatten gal took : 774 ms
[2025-06-04 13:53:47] [INFO ] Time to serialize gal into /tmp/CTLFireability14395859589790681205.gal : 131 ms
[2025-06-04 13:53:47] [INFO ] Time to serialize properties into /tmp/CTLFireability16886239197672091879.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability14395859589790681205.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16886239197672091879.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-04 13:54:18] [INFO ] Flatten gal took : 761 ms
[2025-06-04 13:54:18] [INFO ] Applying decomposition
[2025-06-04 13:54:19] [INFO ] Flatten gal took : 809 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph5933213031086736197.txt' '-o' '/tmp/graph5933213031086736197.bin' '-w' '/tmp/graph5933213031086736197.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph5933213031086736197.bin' '-l' '-1' '-v' '-w' '/tmp/graph5933213031086736197.weights' '-q' '0' '-e' '0.001'
[2025-06-04 13:54:21] [INFO ] Decomposing Gal with order
[2025-06-04 13:54:21] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 13:54:24] [INFO ] Removed a total of 91910 redundant transitions.
[2025-06-04 13:54:24] [INFO ] Flatten gal took : 1609 ms
[2025-06-04 13:54:26] [INFO ] Fuse similar labels procedure discarded/fused a total of 1760 labels/synchronizations in 1259 ms.
[2025-06-04 13:54:26] [INFO ] Time to serialize gal into /tmp/CTLFireability14143599614453560483.gal : 107 ms
[2025-06-04 13:54:27] [INFO ] Time to serialize properties into /tmp/CTLFireability3840951372788647120.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability14143599614453560483.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3840951372788647120.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 627/627 places, 31353/31353 transitions.
Applied a total of 0 rules in 182 ms. Remains 627 /627 variables (removed 0) and now considering 31353/31353 (removed 0) transitions.
[2025-06-04 13:54:57] [INFO ] Flow matrix only has 18326 transitions (discarded 13027 similar events)
[2025-06-04 13:54:57] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 13:55:02] [INFO ] Implicit Places using invariants in 5210 ms returned []
Implicit Place search using SMT only with invariants took 5224 ms to find 0 implicit places.
Running 31352 sub problems to find dead transitions.
[2025-06-04 13:55:02] [INFO ] Flow matrix only has 18326 transitions (discarded 13027 similar events)
[2025-06-04 13:55:02] [INFO ] Invariant cache hit.
[2025-06-04 13:55:03] [INFO ] State equation strengthened by 829 read => feed constraints.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/626 variables, 626/626 constraints. Problems are: Problem set: 0 solved, 31352 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 626/18953 variables, and 626 constraints, problems are : Problem set: 0 solved, 31352 unsolved in 31097 ms.
Refiners :[Domain max(s): 626/627 constraints, Positive P Invariants (semi-flows): 0/13 constraints, State Equation: 0/627 constraints, ReadFeed: 0/829 constraints, PredecessorRefiner: 31352/31352 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 31352 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/626 variables, 626/626 constraints. Problems are: Problem set: 0 solved, 31352 unsolved
Error getting values : (error "ParserException while parsing response: ((s0 1)
(s1 1)
(s2 1)
(s3 1)
(s4 1)
(s5 1)
(s6 1)
(s7 1)
(s8 1)
(s9 1)
(s10 1)
(s11 1)
(s12 1)
(s13 1)
(s14 1)
(s15 1)
(s16 1)
(s17 1)
(s18 1)
(s19 1)
(s20 1)
(s21 1)
(s22 1)
(s23 1)
(s24 1)
(s25 1)
(s26 1)
(s27 1)
(s28 1)
(s29 1)
(s30 1)
(s31 1)
(s32 1)
(s33 1)
(s34 1)
(s35 1)
(s36 1)
(s37 1)
(s38 1)
(s39 1)
(s40 1)
(s41 1)
(s42 1)
(s43 1)
(s44 1)
(s45 1)
(s46 1)
(s47 1)
(s48 1)
(s49 1)
(s50 1)
(s51 1)
(s52 1)
(s53 1)
(s54 1)
(s55 1)
(s56 1)
(s57 1)
(s58 1)
(s59 1)
(s60 1)
(s61 1)
(s62 1)
(s63 1)
(s64 1)
(s65 1)
(s66 1)
(s67 1)
(s68 1)
(s69 1)
(s70 1)
(s71 1)
(s72 1)
(s73 1)
(s74 1)
(s75 1)
(s76 1)
(s77 1)
(s78 1)
(s79 1)
(s80 1)
(s81 1)
(s82 1)
(s83 1)
(s84 1)
(s85 1)
(s86 1)
(s87 1)
(s88 1)
(s89 1)
(s90 1)
(s91 1)
(s92 1)
(s93 1)
(s94 1)
(s95 1)
(s96 1)
(s97 1)
(s98 1)
(s99 1)
(s100 1)
(s101 1)
(s102 1)
(s103 1)
(s104 1)
(s105 1)
(s106 1)
(s107 1)
(s108 1)
(s109 1)
(s110 1)
(s111 1)
(s112 1)
(s113 1)
(s114 1)
(s115 1)
(s116 1)
(s117 1)
(s118 1)
(s119 1)
(s120 1)
(s121 1)
(s122 1)
(s123 1)
(s124 1)
(s125 1)
(s126 1)
(s127 1)
(s128 1)
(s129 1)
(s130 1)
(s131 1)
(s132 1)
(s133 1)
(s134 1)
(s135 1)
(s136 1)
(s137 1)
(s138 1)
(s139 1)
(s140 1)
(s141 1)
(s142 1)
(s143 1)
(s144 1)
(s145 1)
(s146 1)
(s147 1)
(s148 1)
(s149 1)
(s150 1)
(s151 1)
(s152 1)
(s153 1)
(s154 1)
(s155 1)
(s156 1)
(s157 1)
(s158 1)
(s159 1)
(s160 1)
(s161 1)
(s162 1)
(s163 1)
(s164 1)
(s165 1)
(s166 1)
(s167 1)
(s168 1)
(s169 1)
(s170 1)
(s171 1)
(s172 1)
(s173 1)
(s174 1)
(s175 1)
(s176 1)
(s177 1)
(s178 1)
(s179 1)
(s180 1)
(s181 1)
(s182 1)
(s183 1)
(s184 1)
(s185 1)
(s186 1)
(s187 1)
(s188 1)
(s189 1)
(s190 1)
(s191 1)
(s192 1)
(s193 1)
(s194 1)
(s195 1)
(s196 1)
(s197 1)
(s198 1)
(s199 1)
(s200 1)
(s201 1)
(s202 1)
(s203 1)
(s204 1)
(s205 1)
(s206 1)
(s207 1)
(s208 1)
(s209 1)
(s210 1)
(s211 1)
(s212 1)
(s213 1)
(s214 1)
(s215 1)
(s216 1)
(s217 1)
(s218 1)
(s219 1)
(s220 1)
(s221 1)
(s222 1)
(s223 1)
(s224 1)
(s225 1)
(s226 1)
(s227 1)
(s228 1)
(s229 1)
(s230 1)
(s231 1)
(s232 1)
(s233 1)
(s234 1)
(s235 1)
(s236 1)
(s237 1)
(s238 1)
(s239 1)
(s240 1)
(s241 1)
(s242 1)
(s243 1)
(s244 1)
(s245 1)
(s246 1)
(s247 1)
(s248 1)
(s249 1)
(s250 1)
(s251 1)
(s252 1)
(s253 1)
(s254 1)
(s255 1)
(s256 1)
(s257 1)
(s258 1)
(s259 1)
(s260 1)
(s261 1)
(s262 1)
(s263 1)
(s264 1)
(s265 1)
(s266 1)
(s267 1)
(s268 1)
(s269 1)
(s270 1)
(s271 1)
(s272 1)
(s273 1)
(s274 1)
(s275 1)
(s276 1)
(s277 1)
(s278 1)
(s279 1)
(s280 1)
(s281 1)
(s282 1)
(s283 1)
(s284 1)
(s285 1)
(s286 1)
(s287 1)
(s288 1)
(s289 1)
(s290 1)
(s291 1)
(s292 1)
(s293 1)
(s294 1)
(s295 1)
(s296 1)
(s297 1)
(s298 1)
(s299 1)
(s300 1)
(s301 1)
(s302 1)
(s303 1)
(s304 1)
(s305 1)
(s306 1)
(s307 1)
(s308 1)
(s309 1)
(s310 1)
(s311 1)
(s312 1)
(s313 1)
(s314 1)
(s315 1)
(s316 1)
(s317 1)
(s318 1)
(s319 1)
(s320 1)
(s321 1)
(s322 1)
(s323 1)
(s324 1)
(s325 1)
(s326 1)
(s327 1)
(s328 1)
(s329 1)
(s330 1)
(s331 1)
(s332 1)
(s333 1)
(s334 1)
(s335 1)
(s336 1)
(s337 1)
(s338 1)
(s339 1)
(s340 1)
(s341 1)
(s342 1)
(s343 1)
(s344 1)
(s345 1)
(s346 1)
(s347 1)
(s348 1)
(s349 1)
(s350 1)
(s351 1)
(s352 1)
(s353 1)
(s354 1)
(s355 1)
(s356 1)
(s357 1)
(s358 1)
(s359 1)
(s360 1)
(s361 1)
(s362 1)
(s363 1)
(s364 1)
(s365 1)
(s366 1)
(s367 1)
(s368 1)
(s369 1)
(s370 1)
(s371 1)
(s372 1)
(s373 1)
(s374 1)
(s375 1)
(s376 1)
(s377 1)
(s378 1)
(s379 1)
(s380 1)
(s381 1)
(s382 1)
(s383 1)
(s384 1)
(s385 1)
(s386 1)
(s387 1)
(s388 1)
(s389 1)
(s390 1)
(s391 1)
(s392 1)
(s393 1)
(s394 1)
(s395 1)
(s396 1)
(s397 1)
(s398 1)
(s399 1)
(s400 1)
(s401 1)
(s402 1)
(s403 1)
(s404 1)
(s405 1)
(s406 1)
(s407 1)
(s408 1)
(s409 1)
(s410 1)
(s411 1)
(s412 1)
(s413 1)
(s414 1)
(s415 1)
(s416 1)
(s417 1)
(s418 1)
(s419 1)
(s420 1)
(s421 1)
(s422 1)
(s423 1)
(s424 1)
(s425 1)
(s426 1)
(s427 1)
(s428 1)
(s429 1)
(s430 1)
(s431 1)
(s432 1)
(s433 1)
(s434 1)
(s435 1)
(s436 1)
(s437 1)
(s438 1)
(s439 1)
(s440 1)
(s441 1)
(s442 1)
(s443 1)
(s444 1)
(s445 1)
(s446 1)
(s447 1)
(s448 1)
(s449 1)
(s450 1)
(s451 1)
(s452 1)
(s453 1)
(s454 1)
(s455 1)
(s456 1)
(s457 1)
(s458 1)
(s459 1)
(s460 1)
(s461 1)
(s462 1)
(s463 1)
(s464 1)
(s465 1)
(s466 1)
(s467 1)
(s468 1)
(s469 1)
(s470 1)
(s471 1)
(s472 1)
(s473 1)
(s474 1)
(s475 1)
(s476 1)
(s477 1)
(s478 1)
(s479 1)
(s480 1)
(s481 1)
(s482 1)
(s483 1)
(s484 1)
(s485 1)
(s486 1)
(s487 1)
(s488 1)
(s489 1)
(s490 1)
(s491 1)
(s492 1)
(s493 1)
(s494 1)
(s495 1)
(s496 1)
(s497 1)
(s498 1)
(s499 1)
(s500 1)
(s501 1)
(s502 1)
(s503 1)
(s504 1)
(s505 1)
(s506 1)
(s507 1)
(s508 1)
(s509 1)
(s510 1)
(s511 1)
(s512 1)
(s513 1)
(s514 1)
(s515 1)
(s516 1)
(s517 1)
(s518 1)
(s519 1)
(s520 1)
(s521 1)
(s522 1)
(s523 1)
(s524 1)
(s525 1)
(s526 1)
(s527 1)
(s528 1)
(s529 1)
(s530 1)
(s531 1)
(s532 1)
(s533 1)
(s534 1)
(s535 1)
(s536 1)
(s537 1)
(s538 1)
(s539 1)
(s540 1)
(s541 1)
(s542 1)
(s543 1)
(s544 1)
(s545 1)
(s546 1)
(s547 1)
(s548 1)
(s549 1)
(s550 1)
(s551 1)
(s552 1)
(s553 1)
(s554 1)
(s555 1)
(s556 1)
(s557 1)
(s558 1)
(s559 1)
(s560 1)
(s561 1)
(s562 1)
(s563 1)
(s564 1)
(s565 1)
(s566 1)
(s567 1)
(s568 1)
(s569 1)
(s570 1)
(s571 1)
(s572 1)
(s573 1)
(s574 1)
(s575 1)
(s576 1)
(s577 1)
(s578 1)
(s579 1)
(s580 1)
(s581 1)
(s582 1)
(s583 1)
(s584 1)
(s585 1)
(s586 1)
(s587 1)
(s588 1)
(s589 1)
(s590 1)
(s591 1)
(s592 1)
(s593 1)
(s594 1)
(s595 1)
(s596 1)
(s597 1)
(s598 timeout
1) org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 626/18953 variables, and 626 constraints, problems are : Problem set: 0 solved, 31352 unsolved in 30715 ms.
Refiners :[Domain max(s): 626/627 constraints, Positive P Invariants (semi-flows): 0/13 constraints, State Equation: 0/627 constraints, ReadFeed: 0/829 constraints, PredecessorRefiner: 0/31352 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 231624ms problems are : Problem set: 0 solved, 31352 unsolved
Search for dead transitions found 0 dead transitions in 231692ms
Finished structural reductions in LTL mode , in 1 iterations and 237166 ms. Remains : 627/627 places, 31353/31353 transitions.
[2025-06-04 13:58:55] [INFO ] Flatten gal took : 915 ms
[2025-06-04 13:58:56] [INFO ] Flatten gal took : 928 ms
[2025-06-04 13:58:57] [INFO ] Input system was already deterministic with 31353 transitions.
[2025-06-04 13:58:59] [INFO ] Flatten gal took : 967 ms
[2025-06-04 13:58:59] [INFO ] Flatten gal took : 709 ms
[2025-06-04 13:58:59] [INFO ] Time to serialize gal into /tmp/CTLFireability11602414735499700643.gal : 135 ms
[2025-06-04 13:58:59] [INFO ] Time to serialize properties into /tmp/CTLFireability6045946768935465930.ctl : 3 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability11602414735499700643.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6045946768935465930.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-04 13:59:32] [INFO ] Flatten gal took : 816 ms
[2025-06-04 13:59:32] [INFO ] Applying decomposition
[2025-06-04 13:59:33] [INFO ] Flatten gal took : 1282 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph17211228565291530109.txt' '-o' '/tmp/graph17211228565291530109.bin' '-w' '/tmp/graph17211228565291530109.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph17211228565291530109.bin' '-l' '-1' '-v' '-w' '/tmp/graph17211228565291530109.weights' '-q' '0' '-e' '0.001'
[2025-06-04 13:59:36] [INFO ] Decomposing Gal with order
[2025-06-04 13:59:36] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 13:59:38] [INFO ] Removed a total of 91924 redundant transitions.
[2025-06-04 13:59:39] [INFO ] Flatten gal took : 1514 ms
[2025-06-04 13:59:40] [INFO ] Fuse similar labels procedure discarded/fused a total of 1470 labels/synchronizations in 1110 ms.
[2025-06-04 13:59:40] [INFO ] Time to serialize gal into /tmp/CTLFireability14884841553623867373.gal : 77 ms
[2025-06-04 13:59:40] [INFO ] Time to serialize properties into /tmp/CTLFireability5844061486129538356.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability14884841553623867373.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5844061486129538356.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
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 : 627/627 places, 31353/31353 transitions.
Reduce places removed 1 places and 1 transitions.
Applied a total of 0 rules in 409 ms. Remains 626 /627 variables (removed 1) and now considering 31352/31353 (removed 1) transitions.
[2025-06-04 14:00:11] [INFO ] Flow matrix only has 18325 transitions (discarded 13027 similar events)
// Phase 1: matrix 18325 rows 626 cols
[2025-06-04 14:00:11] [INFO ] Computed 13 invariants in 86 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 14:00:17] [INFO ] Implicit Places using invariants in 5614 ms returned []
Implicit Place search using SMT only with invariants took 5623 ms to find 0 implicit places.
Running 31351 sub problems to find dead transitions.
[2025-06-04 14:00:17] [INFO ] Flow matrix only has 18325 transitions (discarded 13027 similar events)
[2025-06-04 14:00:17] [INFO ] Invariant cache hit.
[2025-06-04 14:00:17] [INFO ] State equation strengthened by 268 read => feed constraints.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/626 variables, 626/626 constraints. Problems are: Problem set: 0 solved, 31351 unsolved
SMT process timed out in 194707ms, After SMT, problems are : Problem set: 0 solved, 31351 unsolved
Search for dead transitions found 0 dead transitions in 194790ms
Finished structural reductions in SI_CTL mode , in 1 iterations and 200887 ms. Remains : 626/627 places, 31352/31353 transitions.
[2025-06-04 14:03:33] [INFO ] Flatten gal took : 960 ms
[2025-06-04 14:03:34] [INFO ] Flatten gal took : 1273 ms
[2025-06-04 14:03:36] [INFO ] Input system was already deterministic with 31352 transitions.
[2025-06-04 14:03:36] [INFO ] Flatten gal took : 712 ms
[2025-06-04 14:03:37] [INFO ] Flatten gal took : 739 ms
[2025-06-04 14:03:37] [INFO ] Time to serialize gal into /tmp/CTLFireability777286581758026129.gal : 131 ms
[2025-06-04 14:03:37] [INFO ] Time to serialize properties into /tmp/CTLFireability3096968502562421825.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability777286581758026129.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3096968502562421825.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...282
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-04 14:04:09] [INFO ] Flatten gal took : 1381 ms
[2025-06-04 14:04:09] [INFO ] Applying decomposition
[2025-06-04 14:04:11] [INFO ] Flatten gal took : 1740 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph9917257942679582945.txt' '-o' '/tmp/graph9917257942679582945.bin' '-w' '/tmp/graph9917257942679582945.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph9917257942679582945.bin' '-l' '-1' '-v' '-w' '/tmp/graph9917257942679582945.weights' '-q' '0' '-e' '0.001'
[2025-06-04 14:04:17] [INFO ] Decomposing Gal with order
[2025-06-04 14:04:17] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 14:04:19] [INFO ] Removed a total of 91598 redundant transitions.
[2025-06-04 14:04:19] [INFO ] Flatten gal took : 1581 ms
[2025-06-04 14:04:21] [INFO ] Fuse similar labels procedure discarded/fused a total of 1556 labels/synchronizations in 1214 ms.
[2025-06-04 14:04:21] [INFO ] Time to serialize gal into /tmp/CTLFireability9184210395540292289.gal : 107 ms
[2025-06-04 14:04:21] [INFO ] Time to serialize properties into /tmp/CTLFireability4032176921281370380.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability9184210395540292289.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4032176921281370380.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 627/627 places, 31353/31353 transitions.
Applied a total of 0 rules in 103 ms. Remains 627 /627 variables (removed 0) and now considering 31353/31353 (removed 0) transitions.
[2025-06-04 14:04:52] [INFO ] Flow matrix only has 18326 transitions (discarded 13027 similar events)
// Phase 1: matrix 18326 rows 627 cols
[2025-06-04 14:04:52] [INFO ] Computed 13 invariants in 79 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 14:04:57] [INFO ] Implicit Places using invariants in 5194 ms returned []
Implicit Place search using SMT only with invariants took 5201 ms to find 0 implicit places.
Running 31352 sub problems to find dead transitions.
[2025-06-04 14:04:57] [INFO ] Flow matrix only has 18326 transitions (discarded 13027 similar events)
[2025-06-04 14:04:57] [INFO ] Invariant cache hit.
[2025-06-04 14:04:58] [INFO ] State equation strengthened by 829 read => feed constraints.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/626 variables, 626/626 constraints. Problems are: Problem set: 0 solved, 31352 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 626/18953 variables, and 626 constraints, problems are : Problem set: 0 solved, 31352 unsolved in 31206 ms.
Refiners :[Domain max(s): 626/627 constraints, Positive P Invariants (semi-flows): 0/13 constraints, State Equation: 0/627 constraints, ReadFeed: 0/829 constraints, PredecessorRefiner: 31352/31352 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 31352 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/626 variables, 626/626 constraints. Problems are: Problem set: 0 solved, 31352 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 626/18953 variables, and 626 constraints, problems are : Problem set: 0 solved, 31352 unsolved in 30722 ms.
Refiners :[Domain max(s): 626/627 constraints, Positive P Invariants (semi-flows): 0/13 constraints, State Equation: 0/627 constraints, ReadFeed: 0/829 constraints, PredecessorRefiner: 0/31352 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 229441ms problems are : Problem set: 0 solved, 31352 unsolved
Search for dead transitions found 0 dead transitions in 229518ms
Finished structural reductions in LTL mode , in 1 iterations and 235023 ms. Remains : 627/627 places, 31353/31353 transitions.
[2025-06-04 14:08:48] [INFO ] Flatten gal took : 989 ms
[2025-06-04 14:08:49] [INFO ] Flatten gal took : 883 ms
[2025-06-04 14:08:51] [INFO ] Input system was already deterministic with 31353 transitions.
[2025-06-04 14:08:52] [INFO ] Flatten gal took : 912 ms
[2025-06-04 14:08:53] [INFO ] Flatten gal took : 757 ms
[2025-06-04 14:08:53] [INFO ] Time to serialize gal into /tmp/CTLFireability8409198989721083100.gal : 141 ms
[2025-06-04 14:08:53] [INFO ] Time to serialize properties into /tmp/CTLFireability5634499295558861937.ctl : 4 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability8409198989721083100.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5634499295558861937.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-04 14:09:26] [INFO ] Flatten gal took : 2591 ms
[2025-06-04 14:09:26] [INFO ] Applying decomposition
[2025-06-04 14:09:27] [INFO ] Flatten gal took : 872 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph18094744370548200278.txt' '-o' '/tmp/graph18094744370548200278.bin' '-w' '/tmp/graph18094744370548200278.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph18094744370548200278.bin' '-l' '-1' '-v' '-w' '/tmp/graph18094744370548200278.weights' '-q' '0' '-e' '0.001'
[2025-06-04 14:09:35] [INFO ] Decomposing Gal with order
[2025-06-04 14:09:35] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 14:09:37] [INFO ] Removed a total of 91882 redundant transitions.
[2025-06-04 14:09:38] [INFO ] Flatten gal took : 1567 ms
[2025-06-04 14:09:39] [INFO ] Fuse similar labels procedure discarded/fused a total of 1122 labels/synchronizations in 1109 ms.
[2025-06-04 14:09:39] [INFO ] Time to serialize gal into /tmp/CTLFireability9575116760358126449.gal : 102 ms
[2025-06-04 14:09:39] [INFO ] Time to serialize properties into /tmp/CTLFireability2801535487461899671.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability9575116760358126449.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2801535487461899671.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 627/627 places, 31353/31353 transitions.
Applied a total of 0 rules in 193 ms. Remains 627 /627 variables (removed 0) and now considering 31353/31353 (removed 0) transitions.
[2025-06-04 14:10:10] [INFO ] Flow matrix only has 18326 transitions (discarded 13027 similar events)
[2025-06-04 14:10:10] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 14:10:14] [INFO ] Implicit Places using invariants in 4755 ms returned []
Implicit Place search using SMT only with invariants took 4758 ms to find 0 implicit places.
Running 31352 sub problems to find dead transitions.
[2025-06-04 14:10:14] [INFO ] Flow matrix only has 18326 transitions (discarded 13027 similar events)
[2025-06-04 14:10:14] [INFO ] Invariant cache hit.
[2025-06-04 14:10:15] [INFO ] State equation strengthened by 829 read => feed constraints.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/626 variables, 626/626 constraints. Problems are: Problem set: 0 solved, 31352 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 626/18953 variables, and 626 constraints, problems are : Problem set: 0 solved, 31352 unsolved in 30622 ms.
Refiners :[Domain max(s): 626/627 constraints, Positive P Invariants (semi-flows): 0/13 constraints, State Equation: 0/627 constraints, ReadFeed: 0/829 constraints, PredecessorRefiner: 31352/31352 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 31352 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/626 variables, 626/626 constraints. Problems are: Problem set: 0 solved, 31352 unsolved
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 626/18953 variables, and 626 constraints, problems are : Problem set: 0 solved, 31352 unsolved in 30557 ms.
Refiners :[Domain max(s): 626/627 constraints, Positive P Invariants (semi-flows): 0/13 constraints, State Equation: 0/627 constraints, ReadFeed: 0/829 constraints, PredecessorRefiner: 0/31352 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 225324ms problems are : Problem set: 0 solved, 31352 unsolved
Search for dead transitions found 0 dead transitions in 225396ms
Finished structural reductions in LTL mode , in 1 iterations and 230406 ms. Remains : 627/627 places, 31353/31353 transitions.
[2025-06-04 14:14:00] [INFO ] Flatten gal took : 618 ms
[2025-06-04 14:14:01] [INFO ] Flatten gal took : 857 ms
[2025-06-04 14:14:03] [INFO ] Input system was already deterministic with 31353 transitions.
[2025-06-04 14:14:04] [INFO ] Flatten gal took : 1140 ms
[2025-06-04 14:14:05] [INFO ] Flatten gal took : 839 ms
[2025-06-04 14:14:05] [INFO ] Time to serialize gal into /tmp/CTLFireability13213481534249598952.gal : 119 ms
[2025-06-04 14:14:05] [INFO ] Time to serialize properties into /tmp/CTLFireability16683155775540142690.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability13213481534249598952.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16683155775540142690.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-04 14:14:36] [INFO ] Flatten gal took : 895 ms
[2025-06-04 14:14:36] [INFO ] Applying decomposition
[2025-06-04 14:14:37] [INFO ] Flatten gal took : 887 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph871456113020659070.txt' '-o' '/tmp/graph871456113020659070.bin' '-w' '/tmp/graph871456113020659070.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph871456113020659070.bin' '-l' '-1' '-v' '-w' '/tmp/graph871456113020659070.weights' '-q' '0' '-e' '0.001'
[2025-06-04 14:14:40] [INFO ] Decomposing Gal with order
[2025-06-04 14:14:40] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 14:14:43] [INFO ] Removed a total of 91896 redundant transitions.
[2025-06-04 14:14:43] [INFO ] Flatten gal took : 1470 ms
[2025-06-04 14:14:45] [INFO ] Fuse similar labels procedure discarded/fused a total of 1167 labels/synchronizations in 1140 ms.
[2025-06-04 14:14:45] [INFO ] Time to serialize gal into /tmp/CTLFireability18096683879132216873.gal : 104 ms
[2025-06-04 14:14:45] [INFO ] Time to serialize properties into /tmp/CTLFireability11959236489119610536.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability18096683879132216873.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11959236489119610536.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
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 : 627/627 places, 31353/31353 transitions.
Reduce places removed 1 places and 1 transitions.
Applied a total of 0 rules in 288 ms. Remains 626 /627 variables (removed 1) and now considering 31352/31353 (removed 1) transitions.
[2025-06-04 14:15:15] [INFO ] Flow matrix only has 18325 transitions (discarded 13027 similar events)
// Phase 1: matrix 18325 rows 626 cols
[2025-06-04 14:15:15] [INFO ] Computed 13 invariants in 84 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 14:15:19] [INFO ] Implicit Places using invariants in 4144 ms returned []
Implicit Place search using SMT only with invariants took 4151 ms to find 0 implicit places.
Running 31351 sub problems to find dead transitions.
[2025-06-04 14:15:20] [INFO ] Flow matrix only has 18325 transitions (discarded 13027 similar events)
[2025-06-04 14:15:20] [INFO ] Invariant cache hit.
[2025-06-04 14:15:21] [INFO ] State equation strengthened by 268 read => feed constraints.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202505121319.jar
+ VERSION=202505121319
+ echo 'Running Version 202505121319'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
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="RERS17pb113-PT-1"
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-5832"
echo " Executing tool itstools"
echo " Input is RERS17pb113-PT-1, 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 r170-smll-174889233800370"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb113-PT-1.tgz
mv RERS17pb113-PT-1 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.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 ;