About the Execution of ITS-Tools for HypercubeGrid-PT-C3K4P4B12
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16205.067 | 3600000.00 | 3827473.00 | 14316.30 | F??T???F?T?????? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r202-smll-171649587800257.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-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-5568
Executing tool itstools
Input is HypercubeGrid-PT-C3K4P4B12, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r202-smll-171649587800257
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.7M
-rw-r--r-- 1 mcc users 9.5K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 88K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.7K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:42 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K May 18 16:42 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 5.0K Apr 22 14:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Apr 22 14:49 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 19 07:19 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 19 18:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Apr 11 16:34 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 93K Apr 11 16:34 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.9K Apr 11 16:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 59K Apr 11 16:02 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Apr 22 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Apr 22 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 10 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rwxr-xr-x 1 mcc users 1.3M May 18 16:42 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME HypercubeGrid-PT-C3K4P4B12-CTLCardinality-2024-00
FORMULA_NAME HypercubeGrid-PT-C3K4P4B12-CTLCardinality-2024-01
FORMULA_NAME HypercubeGrid-PT-C3K4P4B12-CTLCardinality-2024-02
FORMULA_NAME HypercubeGrid-PT-C3K4P4B12-CTLCardinality-2024-03
FORMULA_NAME HypercubeGrid-PT-C3K4P4B12-CTLCardinality-2024-04
FORMULA_NAME HypercubeGrid-PT-C3K4P4B12-CTLCardinality-2024-05
FORMULA_NAME HypercubeGrid-PT-C3K4P4B12-CTLCardinality-2024-06
FORMULA_NAME HypercubeGrid-PT-C3K4P4B12-CTLCardinality-2024-07
FORMULA_NAME HypercubeGrid-PT-C3K4P4B12-CTLCardinality-2024-08
FORMULA_NAME HypercubeGrid-PT-C3K4P4B12-CTLCardinality-2024-09
FORMULA_NAME HypercubeGrid-PT-C3K4P4B12-CTLCardinality-2024-10
FORMULA_NAME HypercubeGrid-PT-C3K4P4B12-CTLCardinality-2024-11
FORMULA_NAME HypercubeGrid-PT-C3K4P4B12-CTLCardinality-2023-12
FORMULA_NAME HypercubeGrid-PT-C3K4P4B12-CTLCardinality-2023-13
FORMULA_NAME HypercubeGrid-PT-C3K4P4B12-CTLCardinality-2023-14
FORMULA_NAME HypercubeGrid-PT-C3K4P4B12-CTLCardinality-2023-15
=== Now, execution of the tool begins
BK_START 1716727886037
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=HypercubeGrid-PT-C3K4P4B12
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLCardinality PT
Running Version 202405141337
[2024-05-26 12:51:28] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2024-05-26 12:51:28] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-26 12:51:29] [INFO ] Load time of PNML (sax parser for PT used): 456 ms
[2024-05-26 12:51:29] [INFO ] Transformed 1408 places.
[2024-05-26 12:51:29] [INFO ] Transformed 2400 transitions.
[2024-05-26 12:51:29] [INFO ] Parsed PT model containing 1408 places and 2400 transitions and 9600 arcs in 820 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 43 ms.
Support contains 170 out of 1408 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 1408/1408 places, 2400/2400 transitions.
Applied a total of 0 rules in 332 ms. Remains 1408 /1408 variables (removed 0) and now considering 2400/2400 (removed 0) transitions.
// Phase 1: matrix 2400 rows 1408 cols
[2024-05-26 12:51:30] [INFO ] Computed 545 invariants in 191 ms
[2024-05-26 12:51:32] [INFO ] Implicit Places using invariants in 2976 ms returned []
[2024-05-26 12:51:32] [INFO ] Invariant cache hit.
[2024-05-26 12:51:37] [INFO ] Implicit Places using invariants and state equation in 4199 ms returned []
Implicit Place search using SMT with State Equation took 7244 ms to find 0 implicit places.
Running 2016 sub problems to find dead transitions.
[2024-05-26 12:51:37] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/640 variables, 96/96 constraints. Problems are: Problem set: 0 solved, 2016 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 640/3808 variables, and 96 constraints, problems are : Problem set: 0 solved, 2016 unsolved in 30152 ms.
Refiners :[Positive P Invariants (semi-flows): 96/544 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/1408 constraints, PredecessorRefiner: 2016/2016 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2016 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/640 variables, 96/96 constraints. Problems are: Problem set: 0 solved, 2016 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 640/3808 variables, and 96 constraints, problems are : Problem set: 0 solved, 2016 unsolved in 30063 ms.
Refiners :[Positive P Invariants (semi-flows): 96/544 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/1408 constraints, PredecessorRefiner: 0/2016 constraints, Known Traps: 0/0 constraints]
After SMT, in 63003ms problems are : Problem set: 0 solved, 2016 unsolved
Search for dead transitions found 0 dead transitions in 63093ms
Finished structural reductions in LTL mode , in 1 iterations and 70741 ms. Remains : 1408/1408 places, 2400/2400 transitions.
Support contains 170 out of 1408 places after structural reductions.
[2024-05-26 12:52:41] [INFO ] Flatten gal took : 486 ms
[2024-05-26 12:52:41] [INFO ] Flatten gal took : 203 ms
[2024-05-26 12:52:41] [INFO ] Input system was already deterministic with 2400 transitions.
Support contains 169 out of 1408 places (down from 170) after GAL structural reductions.
RANDOM walk for 40000 steps (8 resets) in 7609 ms. (5 steps per ms) remains 52/107 properties
BEST_FIRST walk for 4004 steps (8 resets) in 115 ms. (34 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (8 resets) in 104 ms. (38 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (8 resets) in 112 ms. (35 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (8 resets) in 94 ms. (42 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (8 resets) in 148 ms. (26 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (8 resets) in 95 ms. (41 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (8 resets) in 105 ms. (37 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (8 resets) in 111 ms. (35 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (8 resets) in 93 ms. (42 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (8 resets) in 91 ms. (43 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (8 resets) in 129 ms. (30 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (8 resets) in 94 ms. (42 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (8 resets) in 101 ms. (39 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (8 resets) in 112 ms. (35 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (8 resets) in 118 ms. (33 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (8 resets) in 97 ms. (40 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (8 resets) in 98 ms. (40 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (8 resets) in 101 ms. (39 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (8 resets) in 98 ms. (40 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (8 resets) in 103 ms. (38 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (8 resets) in 113 ms. (35 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (8 resets) in 104 ms. (38 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (8 resets) in 103 ms. (38 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (8 resets) in 103 ms. (38 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (8 resets) in 87 ms. (45 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (8 resets) in 87 ms. (45 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (8 resets) in 133 ms. (29 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (8 resets) in 103 ms. (38 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (8 resets) in 92 ms. (43 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (8 resets) in 91 ms. (43 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (8 resets) in 91 ms. (43 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (8 resets) in 96 ms. (41 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (8 resets) in 140 ms. (28 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (8 resets) in 92 ms. (43 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (8 resets) in 92 ms. (43 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 52/52 properties
[2024-05-26 12:52:45] [INFO ] Invariant cache hit.
Problem AtomicPropp106 is UNSAT
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/73 variables, 1/1 constraints. Problems are: Problem set: 1 solved, 51 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/73 variables, 0/1 constraints. Problems are: Problem set: 1 solved, 51 unsolved
Problem AtomicPropp0 is UNSAT
Problem AtomicPropp1 is UNSAT
Problem AtomicPropp2 is UNSAT
Problem AtomicPropp3 is UNSAT
Problem AtomicPropp5 is UNSAT
Problem AtomicPropp6 is UNSAT
Problem AtomicPropp14 is UNSAT
Problem AtomicPropp18 is UNSAT
Problem AtomicPropp20 is UNSAT
Problem AtomicPropp22 is UNSAT
Problem AtomicPropp23 is UNSAT
Problem AtomicPropp25 is UNSAT
Problem AtomicPropp30 is UNSAT
Problem AtomicPropp32 is UNSAT
Problem AtomicPropp33 is UNSAT
Problem AtomicPropp34 is UNSAT
Problem AtomicPropp37 is UNSAT
Problem AtomicPropp38 is UNSAT
Problem AtomicPropp39 is UNSAT
Problem AtomicPropp43 is UNSAT
Problem AtomicPropp47 is UNSAT
Problem AtomicPropp52 is UNSAT
Problem AtomicPropp53 is UNSAT
Problem AtomicPropp56 is UNSAT
Problem AtomicPropp57 is UNSAT
Problem AtomicPropp60 is UNSAT
Problem AtomicPropp63 is UNSAT
Problem AtomicPropp65 is UNSAT
Problem AtomicPropp67 is UNSAT
Problem AtomicPropp68 is UNSAT
Problem AtomicPropp70 is UNSAT
Problem AtomicPropp72 is UNSAT
Problem AtomicPropp73 is UNSAT
Problem AtomicPropp74 is UNSAT
Problem AtomicPropp76 is UNSAT
Problem AtomicPropp77 is UNSAT
Problem AtomicPropp79 is UNSAT
Problem AtomicPropp81 is UNSAT
Problem AtomicPropp93 is UNSAT
Problem AtomicPropp94 is UNSAT
Problem AtomicPropp95 is UNSAT
Problem AtomicPropp98 is UNSAT
Problem AtomicPropp100 is UNSAT
Problem AtomicPropp103 is UNSAT
At refinement iteration 2 (OVERLAPS) 618/691 variables, 72/73 constraints. Problems are: Problem set: 45 solved, 7 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/691 variables, 0/73 constraints. Problems are: Problem set: 45 solved, 7 unsolved
At refinement iteration 4 (OVERLAPS) 711/1402 variables, 471/544 constraints. Problems are: Problem set: 45 solved, 7 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/1402 variables, 0/544 constraints. Problems are: Problem set: 45 solved, 7 unsolved
At refinement iteration 6 (OVERLAPS) 6/1408 variables, 1/545 constraints. Problems are: Problem set: 45 solved, 7 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/1408 variables, 0/545 constraints. Problems are: Problem set: 45 solved, 7 unsolved
At refinement iteration 8 (OVERLAPS) 2400/3808 variables, 1408/1953 constraints. Problems are: Problem set: 45 solved, 7 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/3808 variables, 0/1953 constraints. Problems are: Problem set: 45 solved, 7 unsolved
At refinement iteration 10 (OVERLAPS) 0/3808 variables, 0/1953 constraints. Problems are: Problem set: 45 solved, 7 unsolved
No progress, stopping.
After SMT solving in domain Real declared 3808/3808 variables, and 1953 constraints, problems are : Problem set: 45 solved, 7 unsolved in 2680 ms.
Refiners :[Positive P Invariants (semi-flows): 544/544 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 1408/1408 constraints, PredecessorRefiner: 52/52 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 45 solved, 7 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/9 variables, 0/0 constraints. Problems are: Problem set: 45 solved, 7 unsolved
At refinement iteration 1 (OVERLAPS) 579/588 variables, 10/10 constraints. Problems are: Problem set: 45 solved, 7 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/588 variables, 0/10 constraints. Problems are: Problem set: 45 solved, 7 unsolved
At refinement iteration 3 (OVERLAPS) 814/1402 variables, 534/544 constraints. Problems are: Problem set: 45 solved, 7 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1402 variables, 0/544 constraints. Problems are: Problem set: 45 solved, 7 unsolved
At refinement iteration 5 (OVERLAPS) 6/1408 variables, 1/545 constraints. Problems are: Problem set: 45 solved, 7 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/1408 variables, 0/545 constraints. Problems are: Problem set: 45 solved, 7 unsolved
At refinement iteration 7 (OVERLAPS) 2400/3808 variables, 1408/1953 constraints. Problems are: Problem set: 45 solved, 7 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/3808 variables, 7/1960 constraints. Problems are: Problem set: 45 solved, 7 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/3808 variables, 0/1960 constraints. Problems are: Problem set: 45 solved, 7 unsolved
At refinement iteration 10 (OVERLAPS) 0/3808 variables, 0/1960 constraints. Problems are: Problem set: 45 solved, 7 unsolved
No progress, stopping.
After SMT solving in domain Int declared 3808/3808 variables, and 1960 constraints, problems are : Problem set: 45 solved, 7 unsolved in 3621 ms.
Refiners :[Positive P Invariants (semi-flows): 544/544 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 1408/1408 constraints, PredecessorRefiner: 7/52 constraints, Known Traps: 0/0 constraints]
After SMT, in 6376ms problems are : Problem set: 45 solved, 7 unsolved
Finished Parikh walk after 2684 steps, including 0 resets, run visited all 7 properties in 236 ms. (steps per millisecond=11 )
Finished Parikh walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished Parikh walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished Parikh walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished Parikh walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished Parikh walk after 0 steps, including 0 resets, run visited all 0 properties in 2 ms. (steps per millisecond=0 )
Finished Parikh walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Parikh walk visited 7 properties in 260 ms.
Successfully simplified 45 atomic propositions for a total of 16 simplifications.
FORMULA HypercubeGrid-PT-C3K4P4B12-CTLCardinality-2024-00 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2024-05-26 12:52:52] [INFO ] Initial state reduction rules for CTL removed 2 formulas.
[2024-05-26 12:52:52] [INFO ] Flatten gal took : 176 ms
FORMULA HypercubeGrid-PT-C3K4P4B12-CTLCardinality-2024-07 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA HypercubeGrid-PT-C3K4P4B12-CTLCardinality-2024-03 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2024-05-26 12:52:52] [INFO ] Flatten gal took : 198 ms
[2024-05-26 12:52:52] [INFO ] Input system was already deterministic with 2400 transitions.
Support contains 59 out of 1408 places (down from 90) after GAL structural reductions.
FORMULA HypercubeGrid-PT-C3K4P4B12-CTLCardinality-2024-09 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Computed a total of 0 stabilizing places and 0 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 1408/1408 places, 2400/2400 transitions.
Applied a total of 0 rules in 79 ms. Remains 1408 /1408 variables (removed 0) and now considering 2400/2400 (removed 0) transitions.
[2024-05-26 12:52:53] [INFO ] Invariant cache hit.
[2024-05-26 12:52:54] [INFO ] Implicit Places using invariants in 1771 ms returned []
[2024-05-26 12:52:54] [INFO ] Invariant cache hit.
[2024-05-26 12:52:58] [INFO ] Implicit Places using invariants and state equation in 3917 ms returned []
Implicit Place search using SMT with State Equation took 5691 ms to find 0 implicit places.
Running 2016 sub problems to find dead transitions.
[2024-05-26 12:52:58] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/640 variables, 96/96 constraints. Problems are: Problem set: 0 solved, 2016 unsolved
Error getting values : (error "ParserException while parsing response: ((s384 1.0)
(s385 1.0)
(s386 1.0)
(s387 1.0)
(s388 1.0)
(s389 1.0)
(s390 1.0)
(s391 1.0)
(s392 1.0)
(s393 1.0)
(s394 1.0)
(s395 1.0)
(s396 1.0)
(s397 1.0)
(s398 1.0)
(s399 1.0)
(s400 1.0)
(s401 1.0)
(s402 1.0)
(s403 1.0)
(s404 1.0)
(s405 1.0)
(s406 1.0)
(s407 1.0)
(s408 1.0)
(s409 1.0)
(s410 1.0)
(s411 1.0)
(s412 1.0)
(s413 1.0)
(s414 1.0)
(s415 1.0)
(s416 1.0)
(s417 1.0)
(s418 1.0)
(s419 1.0)
(s420 1.0)
(s421 1.0)
(s422 1.0)
(s423 1.0)
(s424 1.0)
(s425 1.0)
(s426 1.0)
(s427 1.0)
(s428 1.0)
(s429 1.0)
(s430 1.0)
(s431 1.0)
(s432 1.0)
(s433 1.0)
(s434 1.0)
(s435 1.0)
(s436 1.0)
(s437 1.0)
(s438 1.0)
(s439 1.0)
(s440 1.0)
(s441 1.0)
(s442 1.0)
(s443 1.0)
(s444 1.0)
(s445 1.0)
(s446 1.0)
(s447 1.0)
(s448 1.0)
(s449 1.0)
(s450 1.0)
(s451 1.0)
(s452 1.0)
(s453 1.0)
(s454 1.0)
(s455 1.0)
(s456 1.0)
(s457 1.0)
(s458 1.0)
(s459 1.0)
(s460 1.0)
(s461 1.0)
(s462 1.0)
(s463 1.0)
(s464 1.0)
(s465 1.0)
(s466 1.0)
(s467 1.0)
(s468 1.0)
(s469 1.0)
(s470 1.0)
(s471 1.0)
(s472 1.0)
(s473 1.0)
(s474 1.0)
(s475 1.0)
(s476 1.0)
(s477 1.0)
(s478 1.0)
(s479 1.0)
(s480 1.0)
(s481 1.0)
(s482 1.0)
(s483 1.0)
(s484 1.0)
(s485 1.0)
(s486 1.0)
(s487 1.0)
(s488 1.0)
(s489 1.0)
(s490 1.0)
(s491 1.0)
(s492 1.0)
(s493 1.0)
(s494 1.0)
(s495 1.0)
(s496 1.0)
(s497 1.0)
(s498 1.0)
(s499 1.0)
(s500 1.0)
(s501 1.0)
(s502 1.0)
(s503 1.0)
(s504 1.0)
(s505 1.0)
(s506 1.0)
(s507 1.0)
(s508 1.0)
(s509 1.0)
(s510 1.0)
(s511 1.0)
(s512 1.0)
(s513 1.0)
(s514 1.0)
(s515 1.0)
(s516 1.0)
(s517 1.0)
(s518 1.0)
(s519 1.0)
(s520 1.0)
(s521 1.0)
(s522 1.0)
(s523 1.0)
(s524 1.0)
(s525 1.0)
(s526 1.0)
(s527 1.0)
(s528 0.0)
(s529 0.0)
(s530 0.0)
(s531 0.0)
(s532 1.0)
(s533 1.0)
(s534 1.0)
(s535 1.0)
(s536 1.0)
(s537 1.0)
(s538 1.0)
(s539 1.0)
(s540 1.0)
(s541 1.0)
(s542 1.0)
(s543 1.0)
(s544 1.0)
(s545 1.0)
(s546 1.0)
(s547 1.0)
(s548 0.0)
(s549 0.0)
(s550 0.0)
(s551 0.0)
(s552 1.0)
(s553 1.0)
(s554 1.0)
(s555 1.0)
(s556 1.0)
(s557 1.0)
(s558 1.0)
(s559 1.0)
(s560 1.0)
(s561 1.0)
(s562 1.0)
(s563 1.0)
(s564 1.0)
(s565 1.0)
(s566 1.0)
(s567 1.0)
(s568 0.0)
(s569 0.0)
(s570 0.0)
(s571 0.0)
(s572 1.0)
(s573 1.0)
(s574 1.0)
(s575 1.0)
(s576 1.0)
(s577 1.0)
(s578 1.0)
(s579 1.0)
(s580 1.0)
(s581 1.0)
(s582 1.0)
(s583 1.0)
(s584 1.0)
(s585 1.0)
(s586 1.0)
(s587 1.0)
(s588 0.0)
(s589 0.0)
(s590 0.0)
(s591 0.0)
(s592 1.0)
(s593 1.0)
(s594 1.0)
(s595 1.0)
(s596 1.0)
(s597 1.0)
(s598 1.0)
(s599 1.0)
(s600 1.0)
(s601 1.0)
(s602 1.0)
(s603 1.0)
(s604 1.0)
(s605 1.0)
(s606 1.0)
(s607 1.0)
(s608 0.0)
(s609 1.0)
(s610 1.0)
(s611 1.0)
(s612 1.0)
(s613 0.0)
(s614 1.0)
(s615 1.0)
(s616 1.0)
(s617 1.0)
(s618 0.0)
(s619 1.0)
(s620 1.0)
(s621 1.0)
(s622 1.0)
(s623 0.0)
(s624 1.0)
(s625 1.0)
(s626 1.0)
(s627 1.0)
(s628 0.0)
(s629 1.0)
(s630 1.0)
(s631 1.0)
(s632 1.0)
(s633 0.0)
(s634 1.0)
(s635 1.0)
(s636 1.0)
(s637 1.0)
(s638 0.0)
(s639 1.0)
(s640 1.0)
(s641 1.0)
(s642 1.0)
(s643 0.0)
(s644 1.0)
(s645 1.0)
(s646 1.0)
(s647 1.0)
(s648 0.0)
(s649 1.0)
(s650 1.0)
(s651 1.0)
(s652 1.0)
(s653 0.0)
(s654 1.0)
(s655 1.0)
(s656 1.0)
(s657 1.0)
(s658 0.0)
(s659 1.0)
(s660 1.0)
(s661 1.0)
(s662 1.0)
(s663 0.0)
(s664 1.0)
(s665 1.0)
(s666 1.0)
(s667 1.0)
(s668 0.0)
(s669 1.0)
(s670 1.0)
(s671 1.0)
(s672 1.0)
(s673 0.0)
(s674 1.0)
(s675 1.0)
(s676 1.0)
(s677 1.0)
(s678 0.0)
(s679 1.0)
(s680 1.0)
(s681 1.0)
(s682 1.0)
(s683 0.0)
(s684 1.0)
(s685 1.0)
(s686 1.0)
(s687 1.0)
(s688 0.0)
(s689 0.0)
(s690 0.0)
(s691 0.0)
(s692 0.0)
(s693 0.0)
(s694 0.0)
(s695 0.0)
(s696 0.0)
(s697 0.0)
(s698 0.0)
(s699 0.0)
(s700 0.0)
(s701 0.0)
(s702 0.0)
(s703 0.0)
(s768 1.0)
(s769 1.0)
(s770 1.0)
(s771 1.0)
(s788 timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 640/3808 variables, and 96 constraints, problems are : Problem set: 0 solved, 2016 unsolved in 30043 ms.
Refiners :[Positive P Invariants (semi-flows): 96/544 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/1408 constraints, PredecessorRefiner: 2016/2016 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2016 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/640 variables, 96/96 constraints. Problems are: Problem set: 0 solved, 2016 unsolved
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 640/3808 variables, and 96 constraints, problems are : Problem set: 0 solved, 2016 unsolved in 30062 ms.
Refiners :[Positive P Invariants (semi-flows): 96/544 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/1408 constraints, PredecessorRefiner: 0/2016 constraints, Known Traps: 0/0 constraints]
After SMT, in 62025ms problems are : Problem set: 0 solved, 2016 unsolved
Search for dead transitions found 0 dead transitions in 62051ms
Finished structural reductions in LTL mode , in 1 iterations and 67829 ms. Remains : 1408/1408 places, 2400/2400 transitions.
[2024-05-26 12:54:01] [INFO ] Flatten gal took : 146 ms
[2024-05-26 12:54:01] [INFO ] Flatten gal took : 157 ms
[2024-05-26 12:54:01] [INFO ] Input system was already deterministic with 2400 transitions.
[2024-05-26 12:54:01] [INFO ] Flatten gal took : 111 ms
[2024-05-26 12:54:01] [INFO ] Flatten gal took : 89 ms
[2024-05-26 12:54:01] [INFO ] Time to serialize gal into /tmp/CTLCardinality13715362803955085195.gal : 61 ms
[2024-05-26 12:54:01] [INFO ] Time to serialize properties into /tmp/CTLCardinality16154485538433764529.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.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality13715362803955085195.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16154485538433764529.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/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.
[2024-05-26 12:54:31] [INFO ] Flatten gal took : 80 ms
[2024-05-26 12:54:31] [INFO ] Applying decomposition
[2024-05-26 12:54:32] [INFO ] Flatten gal took : 87 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/convert-linux64' '-i' '/tmp/graph1766063537238019788.txt' '-o' '/tmp/graph1766063537238019788.bin' '-w' '/tmp/graph1766063537238019788.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph1766063537238019788.bin' '-l' '-1' '-v' '-w' '/tmp/graph1766063537238019788.weights' '-q' '0' '-e' '0.001'
[2024-05-26 12:54:32] [INFO ] Decomposing Gal with order
[2024-05-26 12:54:32] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-26 12:54:33] [INFO ] Removed a total of 3047 redundant transitions.
[2024-05-26 12:54:33] [INFO ] Flatten gal took : 355 ms
[2024-05-26 12:54:33] [INFO ] Fuse similar labels procedure discarded/fused a total of 70 labels/synchronizations in 128 ms.
[2024-05-26 12:54:34] [INFO ] Time to serialize gal into /tmp/CTLCardinality17091416734815330095.gal : 33 ms
[2024-05-26 12:54:34] [INFO ] Time to serialize properties into /tmp/CTLCardinality15766494208118607212.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.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality17091416734815330095.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality15766494208118607212.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/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.
Starting structural reductions in SI_CTL mode, iteration 0 : 1408/1408 places, 2400/2400 transitions.
Applied a total of 0 rules in 110 ms. Remains 1408 /1408 variables (removed 0) and now considering 2400/2400 (removed 0) transitions.
[2024-05-26 12:55:04] [INFO ] Invariant cache hit.
[2024-05-26 12:55:06] [INFO ] Implicit Places using invariants in 1730 ms returned []
[2024-05-26 12:55:06] [INFO ] Invariant cache hit.
[2024-05-26 12:55:10] [INFO ] Implicit Places using invariants and state equation in 4087 ms returned []
Implicit Place search using SMT with State Equation took 5823 ms to find 0 implicit places.
[2024-05-26 12:55:10] [INFO ] Redundant transitions in 247 ms returned []
Running 2016 sub problems to find dead transitions.
[2024-05-26 12:55:10] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/640 variables, 96/96 constraints. Problems are: Problem set: 0 solved, 2016 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 640/3808 variables, and 96 constraints, problems are : Problem set: 0 solved, 2016 unsolved in 30056 ms.
Refiners :[Positive P Invariants (semi-flows): 96/544 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/1408 constraints, PredecessorRefiner: 2016/2016 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2016 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/640 variables, 96/96 constraints. Problems are: Problem set: 0 solved, 2016 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 640/3808 variables, and 96 constraints, problems are : Problem set: 0 solved, 2016 unsolved in 30059 ms.
Refiners :[Positive P Invariants (semi-flows): 96/544 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/1408 constraints, PredecessorRefiner: 0/2016 constraints, Known Traps: 0/0 constraints]
After SMT, in 62322ms problems are : Problem set: 0 solved, 2016 unsolved
Search for dead transitions found 0 dead transitions in 62371ms
Finished structural reductions in SI_CTL mode , in 1 iterations and 68566 ms. Remains : 1408/1408 places, 2400/2400 transitions.
[2024-05-26 12:56:13] [INFO ] Flatten gal took : 242 ms
[2024-05-26 12:56:13] [INFO ] Flatten gal took : 123 ms
[2024-05-26 12:56:13] [INFO ] Input system was already deterministic with 2400 transitions.
[2024-05-26 12:56:13] [INFO ] Flatten gal took : 101 ms
[2024-05-26 12:56:13] [INFO ] Flatten gal took : 98 ms
[2024-05-26 12:56:13] [INFO ] Time to serialize gal into /tmp/CTLCardinality7248534649660496653.gal : 16 ms
[2024-05-26 12:56:13] [INFO ] Time to serialize properties into /tmp/CTLCardinality3785186741827963876.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.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality7248534649660496653.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality3785186741827963876.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/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.
[2024-05-26 12:56:43] [INFO ] Flatten gal took : 97 ms
[2024-05-26 12:56:43] [INFO ] Applying decomposition
[2024-05-26 12:56:43] [INFO ] Flatten gal took : 94 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/convert-linux64' '-i' '/tmp/graph7980143930344886833.txt' '-o' '/tmp/graph7980143930344886833.bin' '-w' '/tmp/graph7980143930344886833.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph7980143930344886833.bin' '-l' '-1' '-v' '-w' '/tmp/graph7980143930344886833.weights' '-q' '0' '-e' '0.001'
[2024-05-26 12:56:44] [INFO ] Decomposing Gal with order
[2024-05-26 12:56:44] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-26 12:56:44] [INFO ] Removed a total of 3071 redundant transitions.
[2024-05-26 12:56:44] [INFO ] Flatten gal took : 184 ms
[2024-05-26 12:56:44] [INFO ] Fuse similar labels procedure discarded/fused a total of 45 labels/synchronizations in 78 ms.
[2024-05-26 12:56:44] [INFO ] Time to serialize gal into /tmp/CTLCardinality7449822056108711276.gal : 16 ms
[2024-05-26 12:56:44] [INFO ] Time to serialize properties into /tmp/CTLCardinality2771983535452272297.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.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality7449822056108711276.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2771983535452272297.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/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.
Starting structural reductions in LTL mode, iteration 0 : 1408/1408 places, 2400/2400 transitions.
Applied a total of 0 rules in 49 ms. Remains 1408 /1408 variables (removed 0) and now considering 2400/2400 (removed 0) transitions.
[2024-05-26 12:57:14] [INFO ] Invariant cache hit.
[2024-05-26 12:57:16] [INFO ] Implicit Places using invariants in 2069 ms returned []
[2024-05-26 12:57:16] [INFO ] Invariant cache hit.
[2024-05-26 12:57:20] [INFO ] Implicit Places using invariants and state equation in 3630 ms returned []
Implicit Place search using SMT with State Equation took 5701 ms to find 0 implicit places.
Running 2016 sub problems to find dead transitions.
[2024-05-26 12:57:20] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/640 variables, 96/96 constraints. Problems are: Problem set: 0 solved, 2016 unsolved
(s577 1.0timeout
^^^^^^^^^^
(error "Invalid token: 1.0timeout")
Error getting values : (error "ParserException while parsing response: ((s384 1.0)
(s385 1.0)
(s386 1.0)
(s387 1.0)
(s388 1.0)
(s389 1.0)
(s390 1.0)
(s391 1.0)
(s392 1.0)
(s393 1.0)
(s394 1.0)
(s395 1.0)
(s396 1.0)
(s397 1.0)
(s398 1.0)
(s399 1.0)
(s400 1.0)
(s401 1.0)
(s402 1.0)
(s403 1.0)
(s404 1.0)
(s405 1.0)
(s406 1.0)
(s407 1.0)
(s408 1.0)
(s409 1.0)
(s410 1.0)
(s411 1.0)
(s412 1.0)
(s413 1.0)
(s414 1.0)
(s415 1.0)
(s416 1.0)
(s417 1.0)
(s418 1.0)
(s419 1.0)
(s420 1.0)
(s421 1.0)
(s422 1.0)
(s423 1.0)
(s424 1.0)
(s425 1.0)
(s426 1.0)
(s427 1.0)
(s428 1.0)
(s429 1.0)
(s430 1.0)
(s431 1.0)
(s432 1.0)
(s433 1.0)
(s434 1.0)
(s435 1.0)
(s436 1.0)
(s437 1.0)
(s438 1.0)
(s439 1.0)
(s440 1.0)
(s441 1.0)
(s442 1.0)
(s443 1.0)
(s444 1.0)
(s445 1.0)
(s446 1.0)
(s447 1.0)
(s448 1.0)
(s449 1.0)
(s450 1.0)
(s451 1.0)
(s452 1.0)
(s453 1.0)
(s454 1.0)
(s455 1.0)
(s456 1.0)
(s457 1.0)
(s458 1.0)
(s459 1.0)
(s460 1.0)
(s461 1.0)
(s462 1.0)
(s463 1.0)
(s464 1.0)
(s465 1.0)
(s466 1.0)
(s467 1.0)
(s468 1.0)
(s469 1.0)
(s470 1.0)
(s471 1.0)
(s472 1.0)
(s473 1.0)
(s474 1.0)
(s475 1.0)
(s476 1.0)
(s477 1.0)
(s478 1.0)
(s479 1.0)
(s480 1.0)
(s481 1.0)
(s482 1.0)
(s483 1.0)
(s484 1.0)
(s485 1.0)
(s486 1.0)
(s487 1.0)
(s488 1.0)
(s489 1.0)
(s490 1.0)
(s491 1.0)
(s492 1.0)
(s493 1.0)
(s494 1.0)
(s495 1.0)
(s496 1.0)
(s497 1.0)
(s498 1.0)
(s499 1.0)
(s500 1.0)
(s501 1.0)
(s502 1.0)
(s503 1.0)
(s504 1.0)
(s505 1.0)
(s506 1.0)
(s507 1.0)
(s508 1.0)
(s509 1.0)
(s510 1.0)
(s511 1.0)
(s512 1.0)
(s513 1.0)
(s514 1.0)
(s515 1.0)
(s516 1.0)
(s517 1.0)
(s518 1.0)
(s519 1.0)
(s520 1.0)
(s521 1.0)
(s522 1.0)
(s523 1.0)
(s524 1.0)
(s525 1.0)
(s526 1.0)
(s527 1.0)
(s528 0.0)
(s529 0.0)
(s530 0.0)
(s531 0.0)
(s532 1.0)
(s533 1.0)
(s534 1.0)
(s535 1.0)
(s536 1.0)
(s537 1.0)
(s538 1.0)
(s539 1.0)
(s540 1.0)
(s541 1.0)
(s542 1.0)
(s543 1.0)
(s544 1.0)
(s545 1.0)
(s546 1.0)
(s547 1.0)
(s548 0.0)
(s549 0.0)
(s550 0.0)
(s551 0.0)
(s552 1.0)
(s553 1.0)
(s554 1.0)
(s555 1.0)
(s556 1.0)
(s557 1.0)
(s558 1.0)
(s559 1.0)
(s560 1.0)
(s561 1.0)
(s562 1.0)
(s563 1.0)
(s564 1.0)
(s565 1.0)
(s566 1.0)
(s567 1.0)
(s568 0.0)
(s569 0.0)
(s570 0.0)
(s571 0.0)
(s572 1.0)
(s573 1.0)
(s574 1.0)
(s575 1.0)
(s576 1.0)
(s577 1.0timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 640/3808 variables, and 96 constraints, problems are : Problem set: 0 solved, 2016 unsolved in 30042 ms.
Refiners :[Positive P Invariants (semi-flows): 96/544 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/1408 constraints, PredecessorRefiner: 2016/2016 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2016 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/640 variables, 96/96 constraints. Problems are: Problem set: 0 solved, 2016 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/640 variables, 0/96 constraints. Problems are: Problem set: 0 solved, 2016 unsolved
SMT process timed out in 62047ms, After SMT, problems are : Problem set: 0 solved, 2016 unsolved
Search for dead transitions found 0 dead transitions in 62074ms
Finished structural reductions in LTL mode , in 1 iterations and 67829 ms. Remains : 1408/1408 places, 2400/2400 transitions.
[2024-05-26 12:58:22] [INFO ] Flatten gal took : 82 ms
[2024-05-26 12:58:22] [INFO ] Flatten gal took : 88 ms
[2024-05-26 12:58:23] [INFO ] Input system was already deterministic with 2400 transitions.
[2024-05-26 12:58:23] [INFO ] Flatten gal took : 86 ms
[2024-05-26 12:58:23] [INFO ] Flatten gal took : 90 ms
[2024-05-26 12:58:23] [INFO ] Time to serialize gal into /tmp/CTLCardinality10505220711652775632.gal : 33 ms
[2024-05-26 12:58:23] [INFO ] Time to serialize properties into /tmp/CTLCardinality12579564080418691553.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.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality10505220711652775632.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality12579564080418691553.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/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.
[2024-05-26 12:58:53] [INFO ] Flatten gal took : 81 ms
[2024-05-26 12:58:53] [INFO ] Applying decomposition
[2024-05-26 12:58:53] [INFO ] Flatten gal took : 85 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/convert-linux64' '-i' '/tmp/graph13384710328331515547.txt' '-o' '/tmp/graph13384710328331515547.bin' '-w' '/tmp/graph13384710328331515547.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph13384710328331515547.bin' '-l' '-1' '-v' '-w' '/tmp/graph13384710328331515547.weights' '-q' '0' '-e' '0.001'
[2024-05-26 12:58:53] [INFO ] Decomposing Gal with order
[2024-05-26 12:58:53] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-26 12:58:54] [INFO ] Removed a total of 3072 redundant transitions.
[2024-05-26 12:58:54] [INFO ] Flatten gal took : 200 ms
[2024-05-26 12:58:54] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 8 ms.
[2024-05-26 12:58:54] [INFO ] Time to serialize gal into /tmp/CTLCardinality12387084410133663928.gal : 35 ms
[2024-05-26 12:58:54] [INFO ] Time to serialize properties into /tmp/CTLCardinality4418562430797918789.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.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality12387084410133663928.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality4418562430797918789.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/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 : 1408/1408 places, 2400/2400 transitions.
Applied a total of 0 rules in 46 ms. Remains 1408 /1408 variables (removed 0) and now considering 2400/2400 (removed 0) transitions.
[2024-05-26 12:59:24] [INFO ] Invariant cache hit.
[2024-05-26 12:59:25] [INFO ] Implicit Places using invariants in 1485 ms returned []
[2024-05-26 12:59:25] [INFO ] Invariant cache hit.
[2024-05-26 12:59:29] [INFO ] Implicit Places using invariants and state equation in 3420 ms returned []
Implicit Place search using SMT with State Equation took 4912 ms to find 0 implicit places.
Running 2016 sub problems to find dead transitions.
[2024-05-26 12:59:29] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/640 variables, 96/96 constraints. Problems are: Problem set: 0 solved, 2016 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 640/3808 variables, and 96 constraints, problems are : Problem set: 0 solved, 2016 unsolved in 30034 ms.
Refiners :[Positive P Invariants (semi-flows): 96/544 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/1408 constraints, PredecessorRefiner: 2016/2016 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2016 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/640 variables, 96/96 constraints. Problems are: Problem set: 0 solved, 2016 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/640 variables, 0/96 constraints. Problems are: Problem set: 0 solved, 2016 unsolved
At refinement iteration 2 (OVERLAPS) 762/1402 variables, 448/544 constraints. Problems are: Problem set: 0 solved, 2016 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1402/3808 variables, and 544 constraints, problems are : Problem set: 0 solved, 2016 unsolved in 30039 ms.
Refiners :[Positive P Invariants (semi-flows): 544/544 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/1408 constraints, PredecessorRefiner: 0/2016 constraints, Known Traps: 0/0 constraints]
After SMT, in 62198ms problems are : Problem set: 0 solved, 2016 unsolved
Search for dead transitions found 0 dead transitions in 62224ms
Finished structural reductions in LTL mode , in 1 iterations and 67187 ms. Remains : 1408/1408 places, 2400/2400 transitions.
[2024-05-26 13:00:31] [INFO ] Flatten gal took : 70 ms
[2024-05-26 13:00:31] [INFO ] Flatten gal took : 81 ms
[2024-05-26 13:00:31] [INFO ] Input system was already deterministic with 2400 transitions.
[2024-05-26 13:00:32] [INFO ] Flatten gal took : 91 ms
[2024-05-26 13:00:32] [INFO ] Flatten gal took : 84 ms
[2024-05-26 13:00:32] [INFO ] Time to serialize gal into /tmp/CTLCardinality1075249274239296593.gal : 47 ms
[2024-05-26 13:00:32] [INFO ] Time to serialize properties into /tmp/CTLCardinality11031873129892863889.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.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality1075249274239296593.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality11031873129892863889.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/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.
[2024-05-26 13:01:02] [INFO ] Flatten gal took : 73 ms
[2024-05-26 13:01:02] [INFO ] Applying decomposition
[2024-05-26 13:01:02] [INFO ] Flatten gal took : 73 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/convert-linux64' '-i' '/tmp/graph16950875508882354512.txt' '-o' '/tmp/graph16950875508882354512.bin' '-w' '/tmp/graph16950875508882354512.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph16950875508882354512.bin' '-l' '-1' '-v' '-w' '/tmp/graph16950875508882354512.weights' '-q' '0' '-e' '0.001'
[2024-05-26 13:01:02] [INFO ] Decomposing Gal with order
[2024-05-26 13:01:02] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-26 13:01:02] [INFO ] Removed a total of 3088 redundant transitions.
[2024-05-26 13:01:02] [INFO ] Flatten gal took : 220 ms
[2024-05-26 13:01:03] [INFO ] Fuse similar labels procedure discarded/fused a total of 66 labels/synchronizations in 70 ms.
[2024-05-26 13:01:03] [INFO ] Time to serialize gal into /tmp/CTLCardinality7980514692767263949.gal : 16 ms
[2024-05-26 13:01:03] [INFO ] Time to serialize properties into /tmp/CTLCardinality8999980833691073236.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.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality7980514692767263949.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8999980833691073236.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/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.
Starting structural reductions in LTL mode, iteration 0 : 1408/1408 places, 2400/2400 transitions.
Applied a total of 0 rules in 46 ms. Remains 1408 /1408 variables (removed 0) and now considering 2400/2400 (removed 0) transitions.
[2024-05-26 13:01:33] [INFO ] Invariant cache hit.
[2024-05-26 13:01:36] [INFO ] Implicit Places using invariants in 2583 ms returned []
[2024-05-26 13:01:36] [INFO ] Invariant cache hit.
[2024-05-26 13:01:41] [INFO ] Implicit Places using invariants and state equation in 4920 ms returned []
Implicit Place search using SMT with State Equation took 7505 ms to find 0 implicit places.
Running 2016 sub problems to find dead transitions.
[2024-05-26 13:01:41] [INFO ] Invariant cache hit.
Error getting values : (error "ParserException while parsing response: ((s384 1.0)
(s385 1.0)
(s386 1.0)
(s387 1.0)
(s388 1.0)
(s389 1.0)
(s390 1.0)
(s391 1.0)
(s392 1.0)
(s393 1.0)
(s394 1.0)
(s395 1.0)
(s396 1.0)
(s397 1.0)
(s398 1.0)
(s399 1.0)
(s400 1.0)
(s401 1.0)
(s402 1.0)
(s403 1.0)
(s404 1.0)
(s405 1.0)
(s406 1.0)
(s407 1.0)
(s408 1.0)
(s409 1.0)
(s410 1.0)
(s411 1.0)
(s412 1.0)
(s413 1.0)
(s414 1.0)
(s415 1.0)
(s416 1.0)
(s417 1.0)
(s418 1.0)
(s419 1.0)
(s420 1.0)
(s421 1.0)
(s422 1.0)
(s423 1.0)
(s424 1.0)
(s425 1.0)
(s426 1.0)
(s427 1.0)
(s428 1.0)
(s429 1.0)
(s430 1.0)
(s431 1.0)
(s432 1.0)
(s433 1.0)
(s434 1.0)
(s435 1.0)
(s436 1.0)
(s437 1.0)
(s438 1.0)
(s439 1.0)
(s440 1.0)
(s441 1.0)
(s442 1.0)
(s443 1.0)
(s444 1.0)
(s445 1.0)
(s446 1.0)
(s447 1.0)
(s448 1.0)
(s449 1.0)
(s450 1.0)
(s451 1.0)
(s452 1.0)
(s453 1.0)
(s454 1.0)
(s455 1.0)
(s456 1.0)
(s457 1.0)
(s458 1.0)
(s459 1.0)
(s460 1.0)
(s461 1.0)
(s462 1.0)
(s463 1.0)
(s464 1.0)
(s465 1.0)
(s466 1.0)
(s467 1.0)
(s468 1.0)
(s469 1.0)
(s470 1.0)
(s471 1.0)
(s472 1.0)
(s473 1.0)
(s474 1.0)
(s475 1.0)
(s476 1.0)
(s477 1.0)
(s478 1.0)
(s479 1.0)
(s480 1.0)
(s481 1.0)
(s482 1.0)
(s483 1.0)
(s484 1.0)
(s485 1.0)
(s486 1.0)
(s487 1.0)
(s488 1.0)
(s489 1.0)
(s490 1.0)
(s491 1.0)
(s492 1.0)
(s493 1.0)
(s494 1.0)
(s495 1.0)
(s496 1.0)
(s497 1.0)
(s498 1.0)
(s499 1.0)
(s500 1.0)
(s501 1.0)
(s502 1.0)
(s503 1.0)
(s504 1.0)
(s505 1.0)
(s506 1.0)
(s507 1.0)
(s508 1.0)
(s509 1.0)
(s510 1.0)
(s511 1.0)
(s512 1.0)
(s513 1.0)
(s514 1.0)
(s515 1.0)
(s516 1.0)
(s517 1.0)
(s518 1.0)
(s519 1.0)
(s520 1.0)
(s521 1.0)
(s522 1.0)
(s523 1.0)
(s524 1.0)
(s525 1.0)
(s526 1.0)
(s527 1.0)
(s528 1.0)
(s529 1.0)
(s530 1.0)
(s531 1.0)
(s532 1.0)
(s533 1.0)
(s534 1.0)
(s535 1.0)
(s536 1.0)
(s537 1.0)
(s538 1.0)
(s539 1.0)
(s540 1.0)
(s541 1.0)
(s542 1.0)
(s543 1.0)
(s544 1.0)
(s545 1.0)
(s546 1.0)
(s547 1.0)
(s548 1.0)
(s549 1.0)
(s550 1.0)
(s551 1.0)
(s552 1.0)
(s553 1.0)
(s554 1.0)
(s555 1.0)
(s556 1.0)
(s557 1.0)
(s558 1.0)
(s559 1.0)
(s560 1.0)
(s561 1.0)
(s562 1.0)
(s563 1.0)
(s564 1.0)
(s565 1.0)
(s566 1.0)
(s567 1.0)
(s568 1.0)
(s569 1.0)
(s570 1.0)
(s571 1.0)
(s572 1.0)
(s573 1.0)
(s574 1.0)
(s575 1.0)
(s576 1.0)
(s577 1.0)
(s578 1.0)
(s579 1.0)
(s580 1.0)
(s581 1.0)
(s582 1.0)
(s583 1.0)
(s584 1.0)
(s585 1.0)
(s586 1.0)
(s587 1.0)
(s588 1.0)
(s589 1.0)
(s590 1.0)
(s591 1.0)
(s592 1.0)
(s593 1.0)
(s594 1.0)
(s595 1.0)
(s596 1.0)
(s597 1.0)
(s598 1.0)
(s599 1.0)
(s600 1.0)
(s601 1.0)
(s602 1.0)
(s603 1.0)
(s604 1.0)
(s605 1.0)
(s606 1.0)
(s607 1.0)
(s608 1.0)
(s609 1.0)
(s610 1.0)
(s611 1.0)
(s612 1.0)
(s613 1.0)
(s614 1.0)
(s615 1.0)
(s616 1.0)
(s617 1.0)
(s618 1.0)
(s619 1.0)
(s620 1.0)
(s621 1.0)
(s622 1.0)
(s623 1.0)
(s624 1.0)
(s625 1.0)
(s626 1.0)
(s627 1.0)
(s628 1.0)
(s629 1.0)
(s630 1.0)
(s631 1.0)
(s632 1.0)
(s633 1.0)
(s634 1.0)
(s635 1.0)
(s636 1.0)
(s637 1.0)
(s638 1.0)
(s639 1.0)
(s640 1.0)
(s641 1.0)
(s642 1.0)
(s643 1.0)
(s644 1.0)
(s645 1.0)
(s646 1.0)
(s647 1.0)
(s648 1.0)
(s649 1.0)
(s650 1.0)
(s651 1.0)
(s652 1.0)
(s653 1.0)
(s654 1.0)
(s655 1.0)
(s656 1.0)
(s657 1.0)
(s658 timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 0 (INCLUDED_ONLY) 0/640 variables, 96/96 constraints. Problems are: Problem set: 0 solved, 2016 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 640/3808 variables, and 96 constraints, problems are : Problem set: 0 solved, 2016 unsolved in 30054 ms.
Refiners :[Positive P Invariants (semi-flows): 96/544 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/1408 constraints, PredecessorRefiner: 2016/2016 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2016 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/640 variables, 96/96 constraints. Problems are: Problem set: 0 solved, 2016 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 640/3808 variables, and 96 constraints, problems are : Problem set: 0 solved, 2016 unsolved in 30053 ms.
Refiners :[Positive P Invariants (semi-flows): 96/544 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/1408 constraints, PredecessorRefiner: 0/2016 constraints, Known Traps: 0/0 constraints]
After SMT, in 62311ms problems are : Problem set: 0 solved, 2016 unsolved
Search for dead transitions found 0 dead transitions in 62354ms
Finished structural reductions in LTL mode , in 1 iterations and 69912 ms. Remains : 1408/1408 places, 2400/2400 transitions.
[2024-05-26 13:02:43] [INFO ] Flatten gal took : 119 ms
[2024-05-26 13:02:43] [INFO ] Flatten gal took : 134 ms
[2024-05-26 13:02:43] [INFO ] Input system was already deterministic with 2400 transitions.
[2024-05-26 13:02:44] [INFO ] Flatten gal took : 129 ms
[2024-05-26 13:02:44] [INFO ] Flatten gal took : 131 ms
[2024-05-26 13:02:44] [INFO ] Time to serialize gal into /tmp/CTLCardinality7471462399443598154.gal : 20 ms
[2024-05-26 13:02:44] [INFO ] Time to serialize properties into /tmp/CTLCardinality11967340620930270180.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.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality7471462399443598154.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality11967340620930270180.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/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.
[2024-05-26 13:03:14] [INFO ] Flatten gal took : 78 ms
[2024-05-26 13:03:14] [INFO ] Applying decomposition
[2024-05-26 13:03:14] [INFO ] Flatten gal took : 83 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/convert-linux64' '-i' '/tmp/graph13122945089281904745.txt' '-o' '/tmp/graph13122945089281904745.bin' '-w' '/tmp/graph13122945089281904745.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph13122945089281904745.bin' '-l' '-1' '-v' '-w' '/tmp/graph13122945089281904745.weights' '-q' '0' '-e' '0.001'
[2024-05-26 13:03:14] [INFO ] Decomposing Gal with order
[2024-05-26 13:03:14] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-26 13:03:14] [INFO ] Removed a total of 3061 redundant transitions.
[2024-05-26 13:03:15] [INFO ] Flatten gal took : 190 ms
[2024-05-26 13:03:15] [INFO ] Fuse similar labels procedure discarded/fused a total of 63 labels/synchronizations in 50 ms.
[2024-05-26 13:03:15] [INFO ] Time to serialize gal into /tmp/CTLCardinality8312558279420321714.gal : 13 ms
[2024-05-26 13:03:15] [INFO ] Time to serialize properties into /tmp/CTLCardinality13427120882140652040.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.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality8312558279420321714.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality13427120882140652040.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/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.
Starting structural reductions in LTL mode, iteration 0 : 1408/1408 places, 2400/2400 transitions.
Applied a total of 0 rules in 47 ms. Remains 1408 /1408 variables (removed 0) and now considering 2400/2400 (removed 0) transitions.
[2024-05-26 13:03:45] [INFO ] Invariant cache hit.
[2024-05-26 13:03:47] [INFO ] Implicit Places using invariants in 2058 ms returned []
[2024-05-26 13:03:47] [INFO ] Invariant cache hit.
[2024-05-26 13:03:52] [INFO ] Implicit Places using invariants and state equation in 4790 ms returned []
Implicit Place search using SMT with State Equation took 6855 ms to find 0 implicit places.
Running 2016 sub problems to find dead transitions.
[2024-05-26 13:03:52] [INFO ] Invariant cache hit.
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/640 variables, 96/96 constraints. Problems are: Problem set: 0 solved, 2016 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 640/3808 variables, and 96 constraints, problems are : Problem set: 0 solved, 2016 unsolved in 30055 ms.
Refiners :[Positive P Invariants (semi-flows): 96/544 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/1408 constraints, PredecessorRefiner: 2016/2016 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2016 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/640 variables, 96/96 constraints. Problems are: Problem set: 0 solved, 2016 unsolved
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 640/3808 variables, and 96 constraints, problems are : Problem set: 0 solved, 2016 unsolved in 30054 ms.
Refiners :[Positive P Invariants (semi-flows): 96/544 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/1408 constraints, PredecessorRefiner: 0/2016 constraints, Known Traps: 0/0 constraints]
After SMT, in 62213ms problems are : Problem set: 0 solved, 2016 unsolved
Search for dead transitions found 0 dead transitions in 62251ms
Finished structural reductions in LTL mode , in 1 iterations and 69159 ms. Remains : 1408/1408 places, 2400/2400 transitions.
[2024-05-26 13:04:54] [INFO ] Flatten gal took : 118 ms
[2024-05-26 13:04:54] [INFO ] Flatten gal took : 133 ms
[2024-05-26 13:04:54] [INFO ] Input system was already deterministic with 2400 transitions.
[2024-05-26 13:04:55] [INFO ] Flatten gal took : 122 ms
[2024-05-26 13:04:55] [INFO ] Flatten gal took : 87 ms
[2024-05-26 13:04:55] [INFO ] Time to serialize gal into /tmp/CTLCardinality3449341968931941903.gal : 15 ms
[2024-05-26 13:04:55] [INFO ] Time to serialize properties into /tmp/CTLCardinality9431071131802415022.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.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality3449341968931941903.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality9431071131802415022.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/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.
[2024-05-26 13:05:25] [INFO ] Flatten gal took : 123 ms
[2024-05-26 13:05:25] [INFO ] Applying decomposition
[2024-05-26 13:05:25] [INFO ] Flatten gal took : 76 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/convert-linux64' '-i' '/tmp/graph16631438269962266075.txt' '-o' '/tmp/graph16631438269962266075.bin' '-w' '/tmp/graph16631438269962266075.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph16631438269962266075.bin' '-l' '-1' '-v' '-w' '/tmp/graph16631438269962266075.weights' '-q' '0' '-e' '0.001'
[2024-05-26 13:05:25] [INFO ] Decomposing Gal with order
[2024-05-26 13:05:25] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-26 13:05:26] [INFO ] Removed a total of 3076 redundant transitions.
[2024-05-26 13:05:26] [INFO ] Flatten gal took : 205 ms
[2024-05-26 13:05:26] [INFO ] Fuse similar labels procedure discarded/fused a total of 4 labels/synchronizations in 20 ms.
[2024-05-26 13:05:26] [INFO ] Time to serialize gal into /tmp/CTLCardinality10259574350833093657.gal : 37 ms
[2024-05-26 13:05:26] [INFO ] Time to serialize properties into /tmp/CTLCardinality3707900223408458434.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.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality10259574350833093657.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality3707900223408458434.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/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.
Starting structural reductions in LTL mode, iteration 0 : 1408/1408 places, 2400/2400 transitions.
Applied a total of 0 rules in 47 ms. Remains 1408 /1408 variables (removed 0) and now considering 2400/2400 (removed 0) transitions.
[2024-05-26 13:05:56] [INFO ] Invariant cache hit.
[2024-05-26 13:05:58] [INFO ] Implicit Places using invariants in 2156 ms returned []
[2024-05-26 13:05:58] [INFO ] Invariant cache hit.
[2024-05-26 13:06:02] [INFO ] Implicit Places using invariants and state equation in 3981 ms returned []
Implicit Place search using SMT with State Equation took 6140 ms to find 0 implicit places.
Running 2016 sub problems to find dead transitions.
[2024-05-26 13:06:02] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/640 variables, 96/96 constraints. Problems are: Problem set: 0 solved, 2016 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 640/3808 variables, and 96 constraints, problems are : Problem set: 0 solved, 2016 unsolved in 30056 ms.
Refiners :[Positive P Invariants (semi-flows): 96/544 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/1408 constraints, PredecessorRefiner: 2016/2016 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2016 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/640 variables, 96/96 constraints. Problems are: Problem set: 0 solved, 2016 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 640/3808 variables, and 96 constraints, problems are : Problem set: 0 solved, 2016 unsolved in 30052 ms.
Refiners :[Positive P Invariants (semi-flows): 96/544 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/1408 constraints, PredecessorRefiner: 0/2016 constraints, Known Traps: 0/0 constraints]
After SMT, in 62068ms problems are : Problem set: 0 solved, 2016 unsolved
Search for dead transitions found 0 dead transitions in 62100ms
Finished structural reductions in LTL mode , in 1 iterations and 68292 ms. Remains : 1408/1408 places, 2400/2400 transitions.
[2024-05-26 13:07:04] [INFO ] Flatten gal took : 118 ms
[2024-05-26 13:07:05] [INFO ] Flatten gal took : 134 ms
[2024-05-26 13:07:05] [INFO ] Input system was already deterministic with 2400 transitions.
[2024-05-26 13:07:05] [INFO ] Flatten gal took : 130 ms
[2024-05-26 13:07:05] [INFO ] Flatten gal took : 135 ms
[2024-05-26 13:07:05] [INFO ] Time to serialize gal into /tmp/CTLCardinality1372604921293972881.gal : 20 ms
[2024-05-26 13:07:05] [INFO ] Time to serialize properties into /tmp/CTLCardinality14194419355593503769.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.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality1372604921293972881.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality14194419355593503769.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/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.
[2024-05-26 13:07:35] [INFO ] Flatten gal took : 80 ms
[2024-05-26 13:07:35] [INFO ] Applying decomposition
[2024-05-26 13:07:35] [INFO ] Flatten gal took : 84 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/convert-linux64' '-i' '/tmp/graph4229749767958482695.txt' '-o' '/tmp/graph4229749767958482695.bin' '-w' '/tmp/graph4229749767958482695.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph4229749767958482695.bin' '-l' '-1' '-v' '-w' '/tmp/graph4229749767958482695.weights' '-q' '0' '-e' '0.001'
[2024-05-26 13:07:36] [INFO ] Decomposing Gal with order
[2024-05-26 13:07:36] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-26 13:07:36] [INFO ] Removed a total of 3070 redundant transitions.
[2024-05-26 13:07:36] [INFO ] Flatten gal took : 194 ms
[2024-05-26 13:07:36] [INFO ] Fuse similar labels procedure discarded/fused a total of 110 labels/synchronizations in 74 ms.
[2024-05-26 13:07:36] [INFO ] Time to serialize gal into /tmp/CTLCardinality18061334987426444468.gal : 17 ms
[2024-05-26 13:07:36] [INFO ] Time to serialize properties into /tmp/CTLCardinality7383235672897092081.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.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality18061334987426444468.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality7383235672897092081.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/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.
Starting structural reductions in LTL mode, iteration 0 : 1408/1408 places, 2400/2400 transitions.
Applied a total of 0 rules in 84 ms. Remains 1408 /1408 variables (removed 0) and now considering 2400/2400 (removed 0) transitions.
[2024-05-26 13:08:07] [INFO ] Invariant cache hit.
[2024-05-26 13:08:09] [INFO ] Implicit Places using invariants in 2142 ms returned []
[2024-05-26 13:08:09] [INFO ] Invariant cache hit.
[2024-05-26 13:08:13] [INFO ] Implicit Places using invariants and state equation in 3922 ms returned []
Implicit Place search using SMT with State Equation took 6073 ms to find 0 implicit places.
Running 2016 sub problems to find dead transitions.
[2024-05-26 13:08:13] [INFO ] Invariant cache hit.
Error getting values : (error "ParserException while parsing response: ((s384 1.0)
(s385 1.0)
(s386 1.0)
(s387 1.0)
(s388 1.0)
(s389 1.0)
(s390 1.0)
(s391 1.0)
(s392 1.0)
(s393 1.0)
(s394 1.0)
(s395 1.0)
(s396 1.0)
(s397 1.0)
(s398 1.0)
(s399 1.0)
(s400 1.0)
(s401 1.0)
(s402 1.0)
(s403 1.0)
(s404 timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 0 (INCLUDED_ONLY) 0/640 variables, 96/96 constraints. Problems are: Problem set: 0 solved, 2016 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 640/3808 variables, and 96 constraints, problems are : Problem set: 0 solved, 2016 unsolved in 30054 ms.
Refiners :[Positive P Invariants (semi-flows): 96/544 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/1408 constraints, PredecessorRefiner: 2016/2016 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2016 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/640 variables, 96/96 constraints. Problems are: Problem set: 0 solved, 2016 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 640/3808 variables, and 96 constraints, problems are : Problem set: 0 solved, 2016 unsolved in 30045 ms.
Refiners :[Positive P Invariants (semi-flows): 96/544 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/1408 constraints, PredecessorRefiner: 0/2016 constraints, Known Traps: 0/0 constraints]
After SMT, in 62308ms problems are : Problem set: 0 solved, 2016 unsolved
Search for dead transitions found 0 dead transitions in 62334ms
Finished structural reductions in LTL mode , in 1 iterations and 68496 ms. Remains : 1408/1408 places, 2400/2400 transitions.
[2024-05-26 13:09:15] [INFO ] Flatten gal took : 74 ms
[2024-05-26 13:09:15] [INFO ] Flatten gal took : 89 ms
[2024-05-26 13:09:15] [INFO ] Input system was already deterministic with 2400 transitions.
[2024-05-26 13:09:16] [INFO ] Flatten gal took : 127 ms
[2024-05-26 13:09:16] [INFO ] Flatten gal took : 131 ms
[2024-05-26 13:09:16] [INFO ] Time to serialize gal into /tmp/CTLCardinality17993022620848277570.gal : 19 ms
[2024-05-26 13:09:16] [INFO ] Time to serialize properties into /tmp/CTLCardinality13923621217098299576.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.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality17993022620848277570.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality13923621217098299576.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/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.
[2024-05-26 13:09:46] [INFO ] Flatten gal took : 76 ms
[2024-05-26 13:09:46] [INFO ] Applying decomposition
[2024-05-26 13:09:46] [INFO ] Flatten gal took : 78 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/convert-linux64' '-i' '/tmp/graph10308651085870261100.txt' '-o' '/tmp/graph10308651085870261100.bin' '-w' '/tmp/graph10308651085870261100.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph10308651085870261100.bin' '-l' '-1' '-v' '-w' '/tmp/graph10308651085870261100.weights' '-q' '0' '-e' '0.001'
[2024-05-26 13:09:46] [INFO ] Decomposing Gal with order
[2024-05-26 13:09:46] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-26 13:09:47] [INFO ] Removed a total of 3070 redundant transitions.
[2024-05-26 13:09:47] [INFO ] Flatten gal took : 193 ms
[2024-05-26 13:09:47] [INFO ] Fuse similar labels procedure discarded/fused a total of 29 labels/synchronizations in 22 ms.
[2024-05-26 13:09:47] [INFO ] Time to serialize gal into /tmp/CTLCardinality13382364076952404500.gal : 19 ms
[2024-05-26 13:09:47] [INFO ] Time to serialize properties into /tmp/CTLCardinality6245344408585562234.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.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality13382364076952404500.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6245344408585562234.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/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.
Starting structural reductions in LTL mode, iteration 0 : 1408/1408 places, 2400/2400 transitions.
Applied a total of 0 rules in 47 ms. Remains 1408 /1408 variables (removed 0) and now considering 2400/2400 (removed 0) transitions.
[2024-05-26 13:10:17] [INFO ] Invariant cache hit.
[2024-05-26 13:10:19] [INFO ] Implicit Places using invariants in 2023 ms returned []
[2024-05-26 13:10:19] [INFO ] Invariant cache hit.
[2024-05-26 13:10:23] [INFO ] Implicit Places using invariants and state equation in 4233 ms returned []
Implicit Place search using SMT with State Equation took 6260 ms to find 0 implicit places.
Running 2016 sub problems to find dead transitions.
[2024-05-26 13:10:23] [INFO ] Invariant cache hit.
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/640 variables, 96/96 constraints. Problems are: Problem set: 0 solved, 2016 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 640/3808 variables, and 96 constraints, problems are : Problem set: 0 solved, 2016 unsolved in 30050 ms.
Refiners :[Positive P Invariants (semi-flows): 96/544 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/1408 constraints, PredecessorRefiner: 2016/2016 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2016 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/640 variables, 96/96 constraints. Problems are: Problem set: 0 solved, 2016 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 640/3808 variables, and 96 constraints, problems are : Problem set: 0 solved, 2016 unsolved in 30050 ms.
Refiners :[Positive P Invariants (semi-flows): 96/544 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/1408 constraints, PredecessorRefiner: 0/2016 constraints, Known Traps: 0/0 constraints]
After SMT, in 62201ms problems are : Problem set: 0 solved, 2016 unsolved
Search for dead transitions found 0 dead transitions in 62239ms
Finished structural reductions in LTL mode , in 1 iterations and 68551 ms. Remains : 1408/1408 places, 2400/2400 transitions.
[2024-05-26 13:11:26] [INFO ] Flatten gal took : 116 ms
[2024-05-26 13:11:26] [INFO ] Flatten gal took : 131 ms
[2024-05-26 13:11:26] [INFO ] Input system was already deterministic with 2400 transitions.
[2024-05-26 13:11:26] [INFO ] Flatten gal took : 128 ms
[2024-05-26 13:11:26] [INFO ] Flatten gal took : 132 ms
[2024-05-26 13:11:26] [INFO ] Time to serialize gal into /tmp/CTLCardinality10027856444601813153.gal : 20 ms
[2024-05-26 13:11:26] [INFO ] Time to serialize properties into /tmp/CTLCardinality11266788154600749032.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.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality10027856444601813153.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality11266788154600749032.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/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.
[2024-05-26 13:11:56] [INFO ] Flatten gal took : 78 ms
[2024-05-26 13:11:56] [INFO ] Applying decomposition
[2024-05-26 13:11:56] [INFO ] Flatten gal took : 81 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/convert-linux64' '-i' '/tmp/graph10756609573409357852.txt' '-o' '/tmp/graph10756609573409357852.bin' '-w' '/tmp/graph10756609573409357852.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph10756609573409357852.bin' '-l' '-1' '-v' '-w' '/tmp/graph10756609573409357852.weights' '-q' '0' '-e' '0.001'
[2024-05-26 13:11:57] [INFO ] Decomposing Gal with order
[2024-05-26 13:11:57] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-26 13:11:57] [INFO ] Removed a total of 3045 redundant transitions.
[2024-05-26 13:11:57] [INFO ] Flatten gal took : 130 ms
[2024-05-26 13:11:57] [INFO ] Fuse similar labels procedure discarded/fused a total of 150 labels/synchronizations in 38 ms.
[2024-05-26 13:11:57] [INFO ] Time to serialize gal into /tmp/CTLCardinality15479317564211613615.gal : 14 ms
[2024-05-26 13:11:57] [INFO ] Time to serialize properties into /tmp/CTLCardinality2243030215397691832.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.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality15479317564211613615.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2243030215397691832.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/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.
Starting structural reductions in LTL mode, iteration 0 : 1408/1408 places, 2400/2400 transitions.
Applied a total of 0 rules in 42 ms. Remains 1408 /1408 variables (removed 0) and now considering 2400/2400 (removed 0) transitions.
[2024-05-26 13:12:27] [INFO ] Invariant cache hit.
[2024-05-26 13:12:30] [INFO ] Implicit Places using invariants in 2509 ms returned []
[2024-05-26 13:12:30] [INFO ] Invariant cache hit.
[2024-05-26 13:12:34] [INFO ] Implicit Places using invariants and state equation in 4302 ms returned []
Implicit Place search using SMT with State Equation took 6813 ms to find 0 implicit places.
Running 2016 sub problems to find dead transitions.
[2024-05-26 13:12:34] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/640 variables, 96/96 constraints. Problems are: Problem set: 0 solved, 2016 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 640/3808 variables, and 96 constraints, problems are : Problem set: 0 solved, 2016 unsolved in 30054 ms.
Refiners :[Positive P Invariants (semi-flows): 96/544 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/1408 constraints, PredecessorRefiner: 2016/2016 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2016 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/640 variables, 96/96 constraints. Problems are: Problem set: 0 solved, 2016 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 640/3808 variables, and 96 constraints, problems are : Problem set: 0 solved, 2016 unsolved in 30055 ms.
Refiners :[Positive P Invariants (semi-flows): 96/544 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/1408 constraints, PredecessorRefiner: 0/2016 constraints, Known Traps: 0/0 constraints]
After SMT, in 62084ms problems are : Problem set: 0 solved, 2016 unsolved
Search for dead transitions found 0 dead transitions in 62110ms
Finished structural reductions in LTL mode , in 1 iterations and 68971 ms. Remains : 1408/1408 places, 2400/2400 transitions.
[2024-05-26 13:13:36] [INFO ] Flatten gal took : 116 ms
[2024-05-26 13:13:37] [INFO ] Flatten gal took : 129 ms
[2024-05-26 13:13:37] [INFO ] Input system was already deterministic with 2400 transitions.
[2024-05-26 13:13:37] [INFO ] Flatten gal took : 81 ms
[2024-05-26 13:13:37] [INFO ] Flatten gal took : 106 ms
[2024-05-26 13:13:37] [INFO ] Time to serialize gal into /tmp/CTLCardinality2495142176240583011.gal : 12 ms
[2024-05-26 13:13:37] [INFO ] Time to serialize properties into /tmp/CTLCardinality10609004933501705435.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.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality2495142176240583011.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10609004933501705435.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/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.
[2024-05-26 13:14:07] [INFO ] Flatten gal took : 78 ms
[2024-05-26 13:14:07] [INFO ] Applying decomposition
[2024-05-26 13:14:07] [INFO ] Flatten gal took : 104 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/convert-linux64' '-i' '/tmp/graph1497224695788158910.txt' '-o' '/tmp/graph1497224695788158910.bin' '-w' '/tmp/graph1497224695788158910.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph1497224695788158910.bin' '-l' '-1' '-v' '-w' '/tmp/graph1497224695788158910.weights' '-q' '0' '-e' '0.001'
[2024-05-26 13:14:07] [INFO ] Decomposing Gal with order
[2024-05-26 13:14:07] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-26 13:14:08] [INFO ] Removed a total of 3085 redundant transitions.
[2024-05-26 13:14:08] [INFO ] Flatten gal took : 192 ms
[2024-05-26 13:14:08] [INFO ] Fuse similar labels procedure discarded/fused a total of 291 labels/synchronizations in 94 ms.
[2024-05-26 13:14:08] [INFO ] Time to serialize gal into /tmp/CTLCardinality73551005987439346.gal : 16 ms
[2024-05-26 13:14:08] [INFO ] Time to serialize properties into /tmp/CTLCardinality13803553878250602255.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.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality73551005987439346.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality13803553878250602255.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/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.
Starting structural reductions in LTL mode, iteration 0 : 1408/1408 places, 2400/2400 transitions.
Applied a total of 0 rules in 44 ms. Remains 1408 /1408 variables (removed 0) and now considering 2400/2400 (removed 0) transitions.
[2024-05-26 13:14:38] [INFO ] Invariant cache hit.
[2024-05-26 13:14:41] [INFO ] Implicit Places using invariants in 2333 ms returned []
[2024-05-26 13:14:41] [INFO ] Invariant cache hit.
[2024-05-26 13:14:44] [INFO ] Implicit Places using invariants and state equation in 3386 ms returned []
Implicit Place search using SMT with State Equation took 5720 ms to find 0 implicit places.
Running 2016 sub problems to find dead transitions.
[2024-05-26 13:14:44] [INFO ] Invariant cache hit.
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
At refinement iteration 0 (INCLUDED_ONLY) 0/640 variables, 96/96 constraints. Problems are: Problem set: 0 solved, 2016 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 640/3808 variables, and 96 constraints, problems are : Problem set: 0 solved, 2016 unsolved in 30059 ms.
Refiners :[Positive P Invariants (semi-flows): 96/544 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/1408 constraints, PredecessorRefiner: 2016/2016 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2016 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/640 variables, 96/96 constraints. Problems are: Problem set: 0 solved, 2016 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 640/3808 variables, and 96 constraints, problems are : Problem set: 0 solved, 2016 unsolved in 30053 ms.
Refiners :[Positive P Invariants (semi-flows): 96/544 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/1408 constraints, PredecessorRefiner: 0/2016 constraints, Known Traps: 0/0 constraints]
After SMT, in 62181ms problems are : Problem set: 0 solved, 2016 unsolved
Search for dead transitions found 0 dead transitions in 62206ms
Finished structural reductions in LTL mode , in 1 iterations and 67975 ms. Remains : 1408/1408 places, 2400/2400 transitions.
[2024-05-26 13:15:46] [INFO ] Flatten gal took : 118 ms
[2024-05-26 13:15:47] [INFO ] Flatten gal took : 130 ms
[2024-05-26 13:15:47] [INFO ] Input system was already deterministic with 2400 transitions.
[2024-05-26 13:15:47] [INFO ] Flatten gal took : 128 ms
[2024-05-26 13:15:47] [INFO ] Flatten gal took : 131 ms
[2024-05-26 13:15:47] [INFO ] Time to serialize gal into /tmp/CTLCardinality7065122188460104567.gal : 19 ms
[2024-05-26 13:15:47] [INFO ] Time to serialize properties into /tmp/CTLCardinality7677908872639817520.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.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality7065122188460104567.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality7677908872639817520.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/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.
[2024-05-26 13:16:17] [INFO ] Flatten gal took : 87 ms
[2024-05-26 13:16:17] [INFO ] Applying decomposition
[2024-05-26 13:16:17] [INFO ] Flatten gal took : 77 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/convert-linux64' '-i' '/tmp/graph16100377881245951696.txt' '-o' '/tmp/graph16100377881245951696.bin' '-w' '/tmp/graph16100377881245951696.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph16100377881245951696.bin' '-l' '-1' '-v' '-w' '/tmp/graph16100377881245951696.weights' '-q' '0' '-e' '0.001'
[2024-05-26 13:16:17] [INFO ] Decomposing Gal with order
[2024-05-26 13:16:18] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-26 13:16:18] [INFO ] Removed a total of 3072 redundant transitions.
[2024-05-26 13:16:18] [INFO ] Flatten gal took : 188 ms
[2024-05-26 13:16:18] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 6 ms.
[2024-05-26 13:16:18] [INFO ] Time to serialize gal into /tmp/CTLCardinality1527471887996279420.gal : 34 ms
[2024-05-26 13:16:18] [INFO ] Time to serialize properties into /tmp/CTLCardinality9929399517043580402.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.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality1527471887996279420.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality9929399517043580402.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/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 : 1408/1408 places, 2400/2400 transitions.
Applied a total of 0 rules in 42 ms. Remains 1408 /1408 variables (removed 0) and now considering 2400/2400 (removed 0) transitions.
[2024-05-26 13:16:48] [INFO ] Invariant cache hit.
[2024-05-26 13:16:51] [INFO ] Implicit Places using invariants in 2442 ms returned []
[2024-05-26 13:16:51] [INFO ] Invariant cache hit.
[2024-05-26 13:16:55] [INFO ] Implicit Places using invariants and state equation in 4068 ms returned []
Implicit Place search using SMT with State Equation took 6521 ms to find 0 implicit places.
Running 2016 sub problems to find dead transitions.
[2024-05-26 13:16:55] [INFO ] Invariant cache hit.
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
At refinement iteration 0 (INCLUDED_ONLY) 0/640 variables, 96/96 constraints. Problems are: Problem set: 0 solved, 2016 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 640/3808 variables, and 96 constraints, problems are : Problem set: 0 solved, 2016 unsolved in 30050 ms.
Refiners :[Positive P Invariants (semi-flows): 96/544 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/1408 constraints, PredecessorRefiner: 2016/2016 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2016 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/640 variables, 96/96 constraints. Problems are: Problem set: 0 solved, 2016 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 640/3808 variables, and 96 constraints, problems are : Problem set: 0 solved, 2016 unsolved in 30057 ms.
Refiners :[Positive P Invariants (semi-flows): 96/544 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/1408 constraints, PredecessorRefiner: 0/2016 constraints, Known Traps: 0/0 constraints]
After SMT, in 62144ms problems are : Problem set: 0 solved, 2016 unsolved
Search for dead transitions found 0 dead transitions in 62184ms
Finished structural reductions in LTL mode , in 1 iterations and 68756 ms. Remains : 1408/1408 places, 2400/2400 transitions.
[2024-05-26 13:17:57] [INFO ] Flatten gal took : 182 ms
[2024-05-26 13:17:57] [INFO ] Flatten gal took : 127 ms
[2024-05-26 13:17:57] [INFO ] Input system was already deterministic with 2400 transitions.
[2024-05-26 13:17:57] [INFO ] Flatten gal took : 128 ms
[2024-05-26 13:17:58] [INFO ] Flatten gal took : 125 ms
[2024-05-26 13:17:58] [INFO ] Time to serialize gal into /tmp/CTLCardinality4428793545058390529.gal : 12 ms
[2024-05-26 13:17:58] [INFO ] Time to serialize properties into /tmp/CTLCardinality15993729469973866131.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.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality4428793545058390529.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality15993729469973866131.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/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.
[2024-05-26 13:18:28] [INFO ] Flatten gal took : 77 ms
[2024-05-26 13:18:28] [INFO ] Applying decomposition
[2024-05-26 13:18:28] [INFO ] Flatten gal took : 79 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/convert-linux64' '-i' '/tmp/graph13874944154524853574.txt' '-o' '/tmp/graph13874944154524853574.bin' '-w' '/tmp/graph13874944154524853574.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph13874944154524853574.bin' '-l' '-1' '-v' '-w' '/tmp/graph13874944154524853574.weights' '-q' '0' '-e' '0.001'
[2024-05-26 13:18:28] [INFO ] Decomposing Gal with order
[2024-05-26 13:18:28] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-26 13:18:28] [INFO ] Removed a total of 3072 redundant transitions.
[2024-05-26 13:18:28] [INFO ] Flatten gal took : 147 ms
[2024-05-26 13:18:28] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 5 ms.
[2024-05-26 13:18:28] [INFO ] Time to serialize gal into /tmp/CTLCardinality16774100322610440861.gal : 19 ms
[2024-05-26 13:18:28] [INFO ] Time to serialize properties into /tmp/CTLCardinality8965583801480930335.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.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality16774100322610440861.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8965583801480930335.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/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.
[2024-05-26 13:18:58] [INFO ] Flatten gal took : 79 ms
[2024-05-26 13:18:59] [INFO ] Flatten gal took : 87 ms
[2024-05-26 13:18:59] [INFO ] Applying decomposition
[2024-05-26 13:18:59] [INFO ] Flatten gal took : 132 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/convert-linux64' '-i' '/tmp/graph13820352094853534136.txt' '-o' '/tmp/graph13820352094853534136.bin' '-w' '/tmp/graph13820352094853534136.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph13820352094853534136.bin' '-l' '-1' '-v' '-w' '/tmp/graph13820352094853534136.weights' '-q' '0' '-e' '0.001'
[2024-05-26 13:18:59] [INFO ] Decomposing Gal with order
[2024-05-26 13:18:59] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-26 13:18:59] [INFO ] Removed a total of 3127 redundant transitions.
[2024-05-26 13:18:59] [INFO ] Flatten gal took : 121 ms
[2024-05-26 13:19:00] [INFO ] Fuse similar labels procedure discarded/fused a total of 466 labels/synchronizations in 51 ms.
[2024-05-26 13:19:00] [INFO ] Time to serialize gal into /tmp/CTLCardinality4254372485140706646.gal : 24 ms
[2024-05-26 13:19:00] [INFO ] Time to serialize properties into /tmp/CTLCardinality3992773812492356883.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.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality4254372485140706646.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality3992773812492356883.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 12 CTL formulae.
ITS-tools command line returned an error code 137
[2024-05-26 13:33:37] [INFO ] Flatten gal took : 85 ms
[2024-05-26 13:33:37] [INFO ] Time to serialize gal into /tmp/CTLCardinality12504389741800061935.gal : 13 ms
[2024-05-26 13:33:37] [INFO ] Time to serialize properties into /tmp/CTLCardinality3617225994619601666.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.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality12504389741800061935.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality3617225994619601666.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 12 CTL formulae.
ITS-tools command line returned an error code 137
[2024-05-26 13:47:53] [INFO ] Flatten gal took : 77 ms
[2024-05-26 13:47:53] [INFO ] Input system was already deterministic with 2400 transitions.
[2024-05-26 13:47:53] [INFO ] Transformed 1408 places.
[2024-05-26 13:47:53] [INFO ] Transformed 2400 transitions.
Running greatSPN : cd /home/mcc/execution;'/home/mcc/BenchKit/bin//../itstools/bin//..//greatspn//bin/pinvar' '/home/mcc/execution/gspn'
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Running greatSPN : cd /home/mcc/execution;'/home/mcc/BenchKit/bin//../itstools/bin//..//greatspn//bin/RGMEDD2' '/home/mcc/execution/gspn' '-META' '-varord-only'
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
[2024-05-26 13:47:54] [INFO ] Time to serialize gal into /tmp/CTLCardinality11723579485730083138.gal : 19 ms
[2024-05-26 13:47:54] [INFO ] Time to serialize properties into /tmp/CTLCardinality17385909566166993291.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.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality11723579485730083138.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17385909566166993291.ctl' '--load-order' '/home/mcc/execution/model.ord' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...330
Successfully loaded order from file /home/mcc/execution/model.ord
No direction supplied, using forward translation only.
Parsed 12 CTL formulae.
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
+ [[ CTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution CTLCardinality -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
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ 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.202405141337.jar
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLCardinality -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="HypercubeGrid-PT-C3K4P4B12"
export BK_EXAMINATION="CTLCardinality"
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-5568"
echo " Executing tool itstools"
echo " Input is HypercubeGrid-PT-C3K4P4B12, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r202-smll-171649587800257"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/HypercubeGrid-PT-C3K4P4B12.tgz
mv HypercubeGrid-PT-C3K4P4B12 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;