About the Execution of ITS-Tools for HypercubeGrid-PT-C5K3P3B15
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 0.000 | 3600000.00 | 0.00 | 0.00 | [undef] | Time out reached |
Execution Chart
Sorry, for this execution, no execution chart could be reported.
Trace from the execution
Formatting '/data/fkordon/mcc2025-input.r114-tall-174876422400274.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2025-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5832
Executing tool itstools
Input is HypercubeGrid-PT-C5K3P3B15, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r114-tall-174876422400274
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 9.7K May 29 14:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 84K May 29 14:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K May 29 14:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 37K May 29 14:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 29 14:32 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K May 29 14:32 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.8K May 29 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K May 29 14:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.5K May 29 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 21K May 29 14:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K May 29 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 131K May 29 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 15K May 29 14:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 88K May 29 14:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K May 29 14:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.4K May 29 14:47 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 29 14:32 equiv_col
-rw-r--r-- 1 mcc users 10 May 29 14:32 instance
-rw-r--r-- 1 mcc users 6 May 29 14:32 iscolored
-rwxr-xr-x 1 mcc users 14M May 29 14:32 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
echo here is the order used to build the result vector(from xml file)
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-CTLFireability-2023-12
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-CTLFireability-2023-13
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-CTLFireability-2023-14
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-CTLFireability-2023-15
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-CTLFireability-2025-00
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-CTLFireability-2025-01
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-CTLFireability-2025-02
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-CTLFireability-2025-03
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-CTLFireability-2025-04
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-CTLFireability-2025-05
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-CTLFireability-2025-06
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-CTLFireability-2025-07
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-CTLFireability-2025-08
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-CTLFireability-2025-09
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-CTLFireability-2025-10
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-CTLFireability-2025-11
=== Now, execution of the tool begins
BK_START 1748821213302
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=HypercubeGrid-PT-C5K3P3B15
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLFireability PT
Running Version 202505121319
[2025-06-01 23:40:14] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2025-06-01 23:40:14] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-06-01 23:40:15] [INFO ] Load time of PNML (sax parser for PT used): 681 ms
[2025-06-01 23:40:15] [INFO ] Transformed 9153 places.
[2025-06-01 23:40:15] [INFO ] Transformed 25110 transitions.
[2025-06-01 23:40:15] [INFO ] Parsed PT model containing 9153 places and 25110 transitions and 100440 arcs in 914 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 20 ms.
Support contains 145 out of 9153 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1861 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
// Phase 1: matrix 25110 rows 9153 cols
[2025-06-01 23:40:18] [INFO ] Computed 3484 invariants in 1190 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-01 23:40:32] [INFO ] Implicit Places using invariants in 14921 ms returned []
Implicit Place search using SMT only with invariants took 14961 ms to find 0 implicit places.
Running 22680 sub problems to find dead transitions.
[2025-06-01 23:40:32] [INFO ] Invariant cache hit.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
Error getting values : (error "ParserException while parsing response: ((s2430 1.0)
(s2431 1.0)
(s2432 1.0)
(s2433 1.0)
(s2434 1.0)
(s2435 1.0)
(s2436 1.0)
(s2437 1.0)
(s2438 1.0)
(s2439 1.0)
(s2440 1.0)
(s2441 1.0)
(s2442 1.0)
(s2443 1.0)
(s2444 1.0)
(s2445 1.0)
(s2446 1.0)
(s2447 1.0)
(s2448 1.0)
(s2449 1.0)
(s2450 1.0)
(s2451 1.0)
(s2452 1.0)
(s2453 1.0)
(s2454 1.0)
(s2455 1.0)
(s2456 1.0)
(s2457 1.0)
(s2458 1.0)
(s2459 1.0)
(s2460 1.0)
(s2461 1.0)
(s2462 1.0)
(s2463 1.0)
(s2464 1.0)
(s2465 1.0)
(s2466 1.0)
(s2467 1.0)
(s2468 1.0)
(s2469 1.0)
(s2470 1.0)
(s2471 1.0)
(s2472 1.0)
(s2473 1.0)
(s2474 1.0)
(s2475 1.0)
(s2476 1.0)
(s2477 1.0)
(s2478 1.0)
(s2479 1.0)
(s2480 1.0)
(s2481 1.0)
(s2482 1.0)
(s2483 1.0)
(s2484 1.0)
(s2485 1.0)
(s2486 1.0)
(s2487 1.0)
(s2488 1.0)
(s2489 1.0)
(s2490 1.0)
(s2491 1.0)
(s2492 1.0)
(s2493 1.0)
(s2494 1.0)
(s2495 1.0)
(s2496 1.0)
(s2497 1.0)
(s2498 1.0)
(s2499 1.0)
(s2500 1.0)
(s2501 1.0)
(s2502 1.0)
(s2503 1.0)
(s2504 1.0)
(s2505 1.0)
(s2506 1.0)
(s2507 1.0)
(s2508 1.0)
(s2509 1.0)
(s2510 1.0)
(s2511 1.0)
(s2512 1.0)
(s2513 1.0)
(s2514 1.0)
(s2515 1.0)
(s2516 1.0)
(s2517 1.0)
(s2518 1.0)
(s2519 1.0)
(s2520 1.0)
(s2521 1.0)
(s2522 1.0)
(s2523 1.0)
(s2524 1.0)
(s2525 1.0)
(s2526 1.0)
(s2527 1.0)
(s2528 1.0)
(s2529 1.0)
(s2530 1.0)
(s2531 1.0)
(s2532 1.0)
(s2533 1.0)
(s2534 1.0)
(s2535 1.0)
(s2536 1.0)
(s2537 1.0)
(s2538 1.0)
(s2539 1.0)
(s2540 1.0)
(s2541 1.0)
(s2542 1.0)
(s2543 1.0)
(s2544 1.0)
(s2545 1.0)
(s2546 1.0)
(s2547 1.0)
(s2548 1.0)
(s2549 1.0)
(s2550 1.0)
(s2551 1.0)
(s2552 1.0)
(s2553 1.0)
(s2554 1.0)
(s2555 1.0)
(s2556 1.0)
(s2557 1.0)
(s2558 1.0)
(s2559 1.0)
(s2560 1.0)
(s2561 1.0)
(s2562 1.0)
(s2563 1.0)
(s2564 1.0)
(s2565 1.0)
(s2566 1.0)
(s2567 1.0)
(s2568 1.0)
(s2569 1.0)
(s2570 1.0)
(s2571 1.0)
(s2572 1.0)
(s2573 1.0)
(s2574 1.0)
(s2575 1.0)
(s2576 1.0)
(s2577 1.0)
(s2578 1.0)
(s2579 1.0)
(s2580 1.0)
(s2581 1.0)
(s2582 1.0)
(s2583 1.0)
(s2584 1.0)
(s2585 1.0)
(s2586 1.0)
(s2587 1.0)
(s2588 1.0)
(s2589 1.0)
(s2590 1.0)
(s2591 1.0)
(s2592 1.0)
(s2593 1.0)
(s2594 1.0)
(s2595 1.0)
(s2596 1.0)
(s2597 1.0)
(s2598 1.0)
(s2599 1.0)
(s2600 1.0)
(s2601 1.0)
(s2602 1.0)
(s2603 1.0)
(s2604 1.0)
(s2605 1.0)
(s2606 1.0)
(s2607 1.0)
(s2608 1.0)
(s2609 1.0)
(s2610 1.0)
(s2611 1.0)
(s2612 1.0)
(s2613 1.0)
(s2614 1.0)
(s2615 1.0)
(s2616 1.0)
(s2617 1.0)
(s2618 1.0)
(s2619 1.0)
(s2620 1.0)
(s2621 1.0)
(s2622 1.0)
(s2623 1.0)
(s2624 1.0)
(s2625 1.0)
(s2626 1.0)
(s2627 1.0)
(s2628 1.0)
(s2629 1.0)
(s2630 1.0)
(s2631 1.0)
(s2632 1.0)
(s2633 1.0)
(s2634 1.0)
(s2635 1.0)
(s2636 1.0)
(s2637 1.0)
(s2638 1.0)
(s2639 1.0)
(s2640 1.0)
(s2641 1.0)
(s2642 1.0)
(s2643 1.0)
(s2644 1.0)
(s2645 1.0)
(s2646 1.0)
(s2647 1.0)
(s2648 1.0)
(s2649 1.0)
(s2650 1.0)
(s2651 1.0)
(s2652 1.0)
(s2653 1.0)
(s2654 1.0)
(s2655 1.0)
(s2656 1.0)
(s2657 1.0)
(s2658 1.0)
(s2659 1.0)
(s2660 1.0)
(s2661 1.0)
(s2662 1.0)
(s2663 1.0)
(s2664 1.0)
(s2665 1.0)
(s2666 1.0)
(s2667 1.0)
(s2668 1.0)
(s2669 1.0)
(s2670 1.0)
(s2671 1.0)
(s2672 1.0)
(s2673 1.0)
(s2674 1.0)
(s2675 1.0)
(s2676 1.0)
(s2677 1.0)
(s2678 1.0)
(s2679 1.0)
(s2680 1.0)
(s2681 1.0)
(s2682 1.0)
(s2683 1.0)
(s2684 1.0)
(s2685 1.0)
(s2686 1.0)
(s2687 1.0)
(s2688 1.0)
(s2689 1.0)
(s2690 1.0)
(s2691 1.0)
(s2692 1.0)
(s2693 1.0)
(s2694 1.0)
(s2695 1.0)
(s2696 1.0)
(s2697 1.0)
(s2698 1.0)
(s2699 1.0)
(s2700 1.0)
(s2701 1.0)
(s2702 1.0)
(s2703 1.0)
(s2704 1.0)
(s2705 1.0)
(s2706 1.0)
(s2707 1.0)
(s2708 1.0)
(s2709 1.0)
(s2710 1.0)
(s2711 1.0)
(s2712 1.0)
(s2713 1.0)
(s2714 1.0)
(s2715 1.0)
(s2716 1.0)
(s2717 1.0)
(s2718 1.0)
(s2719 1.0)
(s2720 1.0)
(s2721 1.0)
(s2722 1.0)
(s2723 1.0)
(s2724 1.0)
(s2725 1.0)
(s2726 1.0)
(s2727 1.0)
(s2728 1.0)
(s2729 1.0)
(s2730 1.0)
(s2731 1.0)
(s2732 1.0)
(s2733 1.0)
(s2734 1.0)
(s2735 1.0)
(s2736 1.0)
(s2737 1.0)
(s2738 1.0)
(s2739 1.0)
(s2740 1.0)
(s2741 1.0)
(s2742 1.0)
(s2743 1.0)
(s2744 1.0)
(s2745 1.0)
(s2746 1.0)
(s2747 1.0)
(s2748 1.0)
(s2749 1.0)
(s2750 1.0)
(s2751 1.0)
(s2752 1.0)
(s2753 1.0)
(s2754 1.0)
(s2755 1.0)
(s2756 1.0)
(s2757 1.0)
(s2758 1.0)
(s2759 1.0)
(s2760 1.0)
(s2761 1.0)
(s2762 1.0)
(s2763 1.0)
(s2764 1.0)
(s2765 1.0)
(s2766 1.0)
(s2767 1.0)
(s2768 1.0)
(s2769 1.0)
(s2770 1.0)
(s2771 1.0)
(s2772 1.0)
(s2773 1.0)
(s2774 1.0)
(s2775 1.0)
(s2776 1.0)
(s2777 1.0)
(s2778 1.0)
(s2779 1.0)
(s2780 1.0)
(s2781 1.0)
(s2782 1.0)
(s2783 1.0)
(s2784 1.0)
(s2785 1.0)
(s2786 1.0)
(s2787 1.0)
(s2788 1.0)
(s2789 1.0)
(s2790 1.0)
(s2791 1.0)
(s2792 1.0)
(s2793 1.0)
(s2794 1.0)
(s2795 1.0)
(s2796 1.0)
(s2797 1.0)
(s2798 1.0)
(s2799 1.0)
(s2800 1.0)
(s2801 1.0)
(s2802 1.0)
(s2803 1.0)
(s2804 1.0)
(s2805 1.0)
(s2806 1.0)
(s2807 1.0)
(s2808 1.0)
(s2809 1.0)
(s2810 1.0)
(s2811 1.0)
(s2812 1.0)
(s2813 1.0)
(s2814 1.0)
(s2815 1.0)
(s2816 1.0)
(s2817 1.0)
(s2818 1.0)
(s2819 1.0)
(s2820 1.0)
(s2821 1.0)
(s2822 1.0)
(s2823 1.0)
(s2824 1.0)
(s2825 1.0)
(s2826 1.0)
(s2827 1.0)
(s2828 1.0)
(s2829 1.0)
(s2830 1.0)
(s2831 1.0)
(s2832 1.0)
(s2833 1.0)
(s2834 1.0)
(s2835 1.0)
(s2836 1.0)
(s2837 1.0)
(s2838 1.0)
(s2839 1.0)
(s2840 1.0)
(s2841 1.0)
(s2842 1.0)
(s2843 1.0)
(s2844 1.0)
(s2845 1.0)
(s2846 1.0)
(s2847 1.0)
(s2848 1.0)
(s2849 1.0)
(s2850 1.0)
(s2851 1.0)
(s2852 1.0)
(s2853 1.0)
(s2854 1.0)
(s2855 1.0)
(s2856 1.0)
(s2857 1.0)
(s2858 1.0)
(s2859 1.0)
(s2860 1.0)
(s2861 1.0)
(s2862 1.0)
(s2863 1.0)
(s2864 1.0)
(s2865 1.0)
(s2866 1.0)
(s2867 1.0)
(s2868 1.0)
(s2869 1.0)
(s2870 1.0)
(s2871 1.0)
(s2872 1.0)
(s2873 1.0)
(s2874 1.0)
(s2875 1.0)
(s2876 1.0)
(s2877 1.0)
(s2878 1.0)
(s2879 1.0)
(s2880 1.0)
(s2881 1.0)
(s2882 1.0)
(s2883 1.0)
(s2884 1.0)
(s2885 1.0)
(s2886 1.0)
(s2887 1.0)
(s2888 1.0)
(s2889 1.0)
(s2890 1.0)
(s2891 1.0)
(s2892 1.0)
(s2893 1.0)
(s2894 1.0)
(s2895 1.0)
(s2896 1.0)
(s2897 1.0)
(s2898 1.0)
(s2899 1.0)
(s2900 1.0)
(s2901 1.0)
(s2902 1.0)
(s2903 1.0)
(s2904 1.0)
(s2905 1.0)
(s2906 1.0)
(s2907 1.0)
(s2908 1.0)
(s2909 1.0)
(s2910 1.0)
(s2911 1.0)
(s2912 1.0)
(s2913 1.0)
(s2914 1.0)
(s2915 1.0)
(s2916 1.0)
(s2917 1.0)
(s2918 1.0)
(s2919 1.0)
(s2920 1.0)
(s2921 1.0)
(s2922 1.0)
(s2923 1.0)
(s2924 1.0)
(s2925 1.0)
(s2926 1.0)
(s2927 1.0)
(s2928 1.0)
(s2929 1.0)
(s2930 1.0)
(s2931 1.0)
(s2932 1.0)
(s2933 1.0)
(s2934 1.0)
(s2935 1.0)
(s2936 1.0)
(s2937 1.0)
(s2938 1.0)
(s2939 1.0)
(s2940 1.0)
(s2941 1.0)
(s2942 1.0)
(s2943 1.0)
(s2944 1.0)
(s2945 1.0)
(s2946 1.0)
(s2947 1.0)
(s2948 1.0)
(s2949 1.0)
(s2950 1.0)
(s2951 1.0)
(s2952 1.0)
(s2953 1.0)
(s2954 1.0)
(s2955 1.0)
(s2956 1.0)
(s2957 1.0)
(s2958 1.0)
(s2959 1.0)
(s2960 1.0)
(s2961 1.0)
(s2962 1.0)
(s2963 1.0)
(s2964 1.0)
(s2965 1.0)
(s2966 1.0)
(s2967 1.0)
(s2968 1.0)
(s2969 1.0)
(s2970 1.0)
(s2971 1.0)
(s2972 1.0)
(s2973 1.0)
(s2974 1.0)
(s2975 1.0)
(s2976 1.0)
(s2977 1.0)
(s2978 1.0)
(s2979 1.0)
(s2980 1.0)
(s2981 1.0)
(s2982 1.0)
(s2983 1.0)
(s2984 1.0)
(s2985 1.0)
(s2986 1.0)
(s2987 1.0)
(s2988 1.0)
(s2989 1.0)
(s2990 1.0)
(s2991 1.0)
(s2992 1.0)
(s2993 1.0)
(s2994 1.0)
(s2995 1.0)
(s2996 1.0)
(s2997 0.0)
(s2998 0.0)
(s2999 0.0)
(s3000 0.0)
(s3001 0.0)
(s3002 0.0)
(s3003 0.0)
(s3004 0.0)
(s3005 0.0)
(s3006 0.0)
(s3007 0.0)
(s3008 0.0)
(s3009 0.0)
(s3010 0.0)
(s3011 0.0)
(s3012 0.0)
(s3013 0.0)
(s3014 0.0)
(s3015 0.0)
(s3016 0.0)
(s3017 0.0)
(s3018 0.0)
(s3019 0.0)
(s3020 0.0)
(s3021 0.0)
(s3022 0.0)
(s3023 0.0)
(s3024 1.0)
(s3025 1.0)
(s3026 1.0)
(s3027 1.0)
(s3028 1.0)
(s3029 1.0)
(s3030 1.0)
(s3031 1.0)
(s3032 1.0)
(s3033 1.0)
(s3034 1.0)
(s3035 1.0)
(s3036 1.0)
(s3037 1.0)
(s3038 1.0)
(s3039 1.0)
(s3040 1.0)
(s3041 1.0)
(s3042 1.0)
(s3043 1.0)
(s3044 1.0)
(s3045 1.0)
(s3046 1.0)
(s3047 1.0)
(s3048 1.0)
(s3049 1.0)
(s3050 1.0)
(s3051 1.0)
(s3052 1.0)
(s3053 1.0)
(s3054 1.0)
(s3055 1.0)
(s3056 1.0)
(s3057 1.0)
(s3058 1.0)
(s3059 1.0)
(s3060 1.0)
(s3061 1.0)
(s3062 1.0)
(s3063 1.0)
(s3064 1.0)
(s3065 1.0)
(s3066 1.0)
(s3067 1.0)
(s3068 1.0)
(s3069 1.0)
(s3070 1.0)
(s3071 1.0)
(s3072 1.0)
(s3073 1.0)
(s3074 1.0)
(s3075 1.0)
(s3076 1.0)
(s3077 1.0)
(s3078 1.0)
(s3079 1.0)
(s3080 1.0)
(s3081 1.0)
(s3082 1.0)
(s3083 1.0)
(s3084 1.0)
(s3085 1.0)
(s3086 1.0)
(s3087 1.0)
(s3088 1.0)
(s3089 1.0)
(s3090 1.0)
(s3091 1.0)
(s3092 1.0)
(s3093 1.0)
(s3094 1.0)
(s3095 1.0)
(s3096 1.0)
(s3097 1.0)
(s3098 1.0)
(s3099 1.0)
(s3100 1.0)
(s3101 1.0)
(s3102 1.0)
(s3103 1.0)
(s3104 1.0)
(s3105 0.0)
(s3106 0.0)
(s3107 0.0)
(s3108 0.0)
(s3109 0.0)
(s3110 0.0)
(s3111 timeout
0.0 org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 0 (INCLUDED_ONLY) 0/4293 variables, 810/810 constraints. Problems are: Problem set: 0 solved, 22680 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 4293/34263 variables, and 810 constraints, problems are : Problem set: 0 solved, 22680 unsolved in 30346 ms.
Refiners :[Positive P Invariants (semi-flows): 810/3483 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 22680/22680 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 22680 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/4293 variables, 810/810 constraints. Problems are: Problem set: 0 solved, 22680 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 4293/34263 variables, and 810 constraints, problems are : Problem set: 0 solved, 22680 unsolved in 30257 ms.
Refiners :[Positive P Invariants (semi-flows): 810/3483 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 0/22680 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 130190ms problems are : Problem set: 0 solved, 22680 unsolved
Search for dead transitions found 0 dead transitions in 130294ms
Finished structural reductions in LTL mode , in 1 iterations and 147234 ms. Remains : 9153/9153 places, 25110/25110 transitions.
Support contains 145 out of 9153 places after structural reductions.
[2025-06-01 23:42:44] [INFO ] Flatten gal took : 1062 ms
[2025-06-01 23:42:45] [INFO ] Flatten gal took : 812 ms
[2025-06-01 23:42:46] [INFO ] Input system was already deterministic with 25110 transitions.
Support contains 143 out of 9153 places (down from 145) after GAL structural reductions.
RANDOM walk for 40000 steps (8 resets) in 34594 ms. (1 steps per ms) remains 4/58 properties
BEST_FIRST walk for 40004 steps (8 resets) in 3087 ms. (12 steps per ms) remains 3/4 properties
BEST_FIRST walk for 40004 steps (8 resets) in 4541 ms. (8 steps per ms) remains 3/3 properties
BEST_FIRST walk for 40004 steps (8 resets) in 3118 ms. (12 steps per ms) remains 3/3 properties
BEST_FIRST walk for 40004 steps (8 resets) in 2962 ms. (13 steps per ms) remains 3/3 properties
[2025-06-01 23:42:59] [INFO ] Invariant cache hit.
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/12 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 1 (OVERLAPS) 3527/3539 variables, 12/12 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/3539 variables, 0/12 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 3 (OVERLAPS) 5604/9143 variables, 3471/3483 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/9143 variables, 0/3483 constraints. Problems are: Problem set: 0 solved, 3 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 9153/34263 variables, and 3484 constraints, problems are : Problem set: 0 solved, 3 unsolved in 5041 ms.
Refiners :[Positive P Invariants (semi-flows): 3483/3483 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 3/3 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 3 unsolved
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/12 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 1 (OVERLAPS) 3527/3539 variables, 12/12 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/3539 variables, 0/12 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 3 (OVERLAPS) 5604/9143 variables, 3471/3483 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/9143 variables, 0/3483 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 5 (OVERLAPS) 10/9153 variables, 1/3484 constraints. Problems are: Problem set: 0 solved, 3 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 9153/34263 variables, and 3484 constraints, problems are : Problem set: 0 solved, 3 unsolved in 5041 ms.
Refiners :[Positive P Invariants (semi-flows): 3483/3483 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 0/3 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 10218ms problems are : Problem set: 0 solved, 3 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 12 out of 9153 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1944 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1947 ms. Remains : 9153/9153 places, 25110/25110 transitions.
RANDOM walk for 40000 steps (8 resets) in 30600 ms. (1 steps per ms) remains 2/3 properties
BEST_FIRST walk for 40004 steps (8 resets) in 3209 ms. (12 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40004 steps (8 resets) in 3010 ms. (13 steps per ms) remains 2/2 properties
[2025-06-01 23:43:21] [INFO ] Invariant cache hit.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/10 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 1 (OVERLAPS) 3518/3528 variables, 10/10 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/3528 variables, 0/10 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 3 (OVERLAPS) 5615/9143 variables, 3473/3483 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/9143 variables, 0/3483 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 5 (OVERLAPS) 10/9153 variables, 1/3484 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/9153 variables, 0/3484 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 7 (OVERLAPS) 25110/34263 variables, 9153/12637 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/34263 variables, 0/12637 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 9 (OVERLAPS) 0/34263 variables, 0/12637 constraints. Problems are: Problem set: 0 solved, 2 unsolved
No progress, stopping.
After SMT solving in domain Real declared 34263/34263 variables, and 12637 constraints, problems are : Problem set: 0 solved, 2 unsolved in 27148 ms.
Refiners :[Positive P Invariants (semi-flows): 3483/3483 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 9153/9153 constraints, PredecessorRefiner: 2/2 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2 unsolved
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/10 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 1 (OVERLAPS) 3518/3528 variables, 10/10 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/3528 variables, 0/10 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 3 (OVERLAPS) 5615/9143 variables, 3473/3483 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/9143 variables, 0/3483 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 5 (OVERLAPS) 10/9153 variables, 1/3484 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/9153 variables, 0/3484 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 7 (OVERLAPS) 25110/34263 variables, 9153/12637 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/34263 variables, 2/12639 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/34263 variables, 0/12639 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 10 (OVERLAPS) 0/34263 variables, 0/12639 constraints. Problems are: Problem set: 0 solved, 2 unsolved
No progress, stopping.
After SMT solving in domain Int declared 34263/34263 variables, and 12639 constraints, problems are : Problem set: 0 solved, 2 unsolved in 30071 ms.
Refiners :[Positive P Invariants (semi-flows): 3483/3483 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 9153/9153 constraints, PredecessorRefiner: 2/2 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 57309ms problems are : Problem set: 0 solved, 2 unsolved
Finished Parikh walk after 5523 steps, including 0 resets, run visited all 2 properties in 3009 ms. (steps per millisecond=1 )
Finished Parikh walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Parikh walk visited 2 properties in 3036 ms.
[2025-06-01 23:44:22] [INFO ] Flatten gal took : 697 ms
[2025-06-01 23:44:22] [INFO ] Flatten gal took : 700 ms
[2025-06-01 23:44:24] [INFO ] Input system was already deterministic with 25110 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 776 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2025-06-01 23:44:25] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-01 23:44:39] [INFO ] Implicit Places using invariants in 14755 ms returned []
Implicit Place search using SMT only with invariants took 14758 ms to find 0 implicit places.
Running 22680 sub problems to find dead transitions.
[2025-06-01 23:44:39] [INFO ] Invariant cache hit.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/4293 variables, 810/810 constraints. Problems are: Problem set: 0 solved, 22680 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 4293/34263 variables, and 810 constraints, problems are : Problem set: 0 solved, 22680 unsolved in 30250 ms.
Refiners :[Positive P Invariants (semi-flows): 810/3483 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 22680/22680 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 22680 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/4293 variables, 810/810 constraints. Problems are: Problem set: 0 solved, 22680 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 4293/34263 variables, and 810 constraints, problems are : Problem set: 0 solved, 22680 unsolved in 30227 ms.
Refiners :[Positive P Invariants (semi-flows): 810/3483 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 0/22680 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 131029ms problems are : Problem set: 0 solved, 22680 unsolved
Search for dead transitions found 0 dead transitions in 131090ms
Finished structural reductions in LTL mode , in 1 iterations and 146691 ms. Remains : 9153/9153 places, 25110/25110 transitions.
[2025-06-01 23:46:51] [INFO ] Flatten gal took : 619 ms
[2025-06-01 23:46:52] [INFO ] Flatten gal took : 700 ms
[2025-06-01 23:46:53] [INFO ] Input system was already deterministic with 25110 transitions.
[2025-06-01 23:46:54] [INFO ] Flatten gal took : 691 ms
[2025-06-01 23:46:55] [INFO ] Flatten gal took : 771 ms
[2025-06-01 23:46:55] [INFO ] Time to serialize gal into /tmp/CTLFireability8180207762862234241.gal : 176 ms
[2025-06-01 23:46:55] [INFO ] Time to serialize properties into /tmp/CTLFireability9541745446260353582.ctl : 3 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability8180207762862234241.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9541745446260353582.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-01 23:47:26] [INFO ] Flatten gal took : 668 ms
[2025-06-01 23:47:26] [INFO ] Applying decomposition
[2025-06-01 23:47:26] [INFO ] Flatten gal took : 694 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph16890502892978279341.txt' '-o' '/tmp/graph16890502892978279341.bin' '-w' '/tmp/graph16890502892978279341.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph16890502892978279341.bin' '-l' '-1' '-v' '-w' '/tmp/graph16890502892978279341.weights' '-q' '0' '-e' '0.001'
[2025-06-01 23:47:28] [INFO ] Decomposing Gal with order
[2025-06-01 23:47:29] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-01 23:47:46] [INFO ] Removed a total of 38880 redundant transitions.
[2025-06-01 23:47:47] [INFO ] Flatten gal took : 1572 ms
[2025-06-01 23:47:47] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 121 ms.
[2025-06-01 23:47:47] [INFO ] Time to serialize gal into /tmp/CTLFireability10512084056253082617.gal : 160 ms
[2025-06-01 23:47:47] [INFO ] Time to serialize properties into /tmp/CTLFireability5940634117592053790.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability10512084056253082617.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5940634117592053790.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 784 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2025-06-01 23:48:18] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-01 23:48:33] [INFO ] Implicit Places using invariants in 15082 ms returned []
Implicit Place search using SMT only with invariants took 15083 ms to find 0 implicit places.
Running 22680 sub problems to find dead transitions.
[2025-06-01 23:48:33] [INFO ] Invariant cache hit.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/4293 variables, 810/810 constraints. Problems are: Problem set: 0 solved, 22680 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 4293/34263 variables, and 810 constraints, problems are : Problem set: 0 solved, 22680 unsolved in 30243 ms.
Refiners :[Positive P Invariants (semi-flows): 810/3483 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 22680/22680 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 22680 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/4293 variables, 810/810 constraints. Problems are: Problem set: 0 solved, 22680 unsolved
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 4293/34263 variables, and 810 constraints, problems are : Problem set: 0 solved, 22680 unsolved in 30233 ms.
Refiners :[Positive P Invariants (semi-flows): 810/3483 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 0/22680 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 138522ms problems are : Problem set: 0 solved, 22680 unsolved
Search for dead transitions found 0 dead transitions in 138570ms
Finished structural reductions in LTL mode , in 1 iterations and 154490 ms. Remains : 9153/9153 places, 25110/25110 transitions.
[2025-06-01 23:50:53] [INFO ] Flatten gal took : 655 ms
[2025-06-01 23:50:53] [INFO ] Flatten gal took : 713 ms
[2025-06-01 23:50:55] [INFO ] Input system was already deterministic with 25110 transitions.
[2025-06-01 23:50:55] [INFO ] Flatten gal took : 713 ms
[2025-06-01 23:50:56] [INFO ] Flatten gal took : 828 ms
[2025-06-01 23:50:56] [INFO ] Time to serialize gal into /tmp/CTLFireability13230970927125958646.gal : 115 ms
[2025-06-01 23:50:56] [INFO ] Time to serialize properties into /tmp/CTLFireability15049312646377916626.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability13230970927125958646.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15049312646377916626.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-01 23:51:27] [INFO ] Flatten gal took : 730 ms
[2025-06-01 23:51:27] [INFO ] Applying decomposition
[2025-06-01 23:51:28] [INFO ] Flatten gal took : 775 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph13429596823487272587.txt' '-o' '/tmp/graph13429596823487272587.bin' '-w' '/tmp/graph13429596823487272587.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph13429596823487272587.bin' '-l' '-1' '-v' '-w' '/tmp/graph13429596823487272587.weights' '-q' '0' '-e' '0.001'
[2025-06-01 23:51:29] [INFO ] Decomposing Gal with order
[2025-06-01 23:51:30] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-01 23:51:49] [INFO ] Removed a total of 38880 redundant transitions.
[2025-06-01 23:51:49] [INFO ] Flatten gal took : 1042 ms
[2025-06-01 23:51:50] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 62 ms.
[2025-06-01 23:51:50] [INFO ] Time to serialize gal into /tmp/CTLFireability471819968975986363.gal : 128 ms
[2025-06-01 23:51:50] [INFO ] Time to serialize properties into /tmp/CTLFireability7403483829328534483.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability471819968975986363.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7403483829328534483.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...261
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 775 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2025-06-01 23:52:21] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-01 23:52:34] [INFO ] Implicit Places using invariants in 13580 ms returned []
Implicit Place search using SMT only with invariants took 13583 ms to find 0 implicit places.
Running 22680 sub problems to find dead transitions.
[2025-06-01 23:52:34] [INFO ] Invariant cache hit.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/4293 variables, 810/810 constraints. Problems are: Problem set: 0 solved, 22680 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 4293/34263 variables, and 810 constraints, problems are : Problem set: 0 solved, 22680 unsolved in 30255 ms.
Refiners :[Positive P Invariants (semi-flows): 810/3483 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 22680/22680 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 22680 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/4293 variables, 810/810 constraints. Problems are: Problem set: 0 solved, 22680 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 4293/34263 variables, and 810 constraints, problems are : Problem set: 0 solved, 22680 unsolved in 30252 ms.
Refiners :[Positive P Invariants (semi-flows): 810/3483 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 0/22680 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 134397ms problems are : Problem set: 0 solved, 22680 unsolved
Search for dead transitions found 0 dead transitions in 134447ms
Finished structural reductions in LTL mode , in 1 iterations and 148843 ms. Remains : 9153/9153 places, 25110/25110 transitions.
[2025-06-01 23:54:50] [INFO ] Flatten gal took : 715 ms
[2025-06-01 23:54:50] [INFO ] Flatten gal took : 729 ms
[2025-06-01 23:54:52] [INFO ] Input system was already deterministic with 25110 transitions.
[2025-06-01 23:54:52] [INFO ] Flatten gal took : 691 ms
[2025-06-01 23:54:53] [INFO ] Flatten gal took : 707 ms
[2025-06-01 23:54:53] [INFO ] Time to serialize gal into /tmp/CTLFireability10090234737397817296.gal : 107 ms
[2025-06-01 23:54:53] [INFO ] Time to serialize properties into /tmp/CTLFireability5708772706178164029.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability10090234737397817296.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5708772706178164029.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-01 23:55:24] [INFO ] Flatten gal took : 691 ms
[2025-06-01 23:55:24] [INFO ] Applying decomposition
[2025-06-01 23:55:25] [INFO ] Flatten gal took : 709 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph16917533596418431176.txt' '-o' '/tmp/graph16917533596418431176.bin' '-w' '/tmp/graph16917533596418431176.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph16917533596418431176.bin' '-l' '-1' '-v' '-w' '/tmp/graph16917533596418431176.weights' '-q' '0' '-e' '0.001'
[2025-06-01 23:55:26] [INFO ] Decomposing Gal with order
[2025-06-01 23:55:27] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-01 23:55:41] [INFO ] Removed a total of 38880 redundant transitions.
[2025-06-01 23:55:41] [INFO ] Flatten gal took : 970 ms
[2025-06-01 23:55:42] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 50 ms.
[2025-06-01 23:55:42] [INFO ] Time to serialize gal into /tmp/CTLFireability12514339190857142815.gal : 106 ms
[2025-06-01 23:55:42] [INFO ] Time to serialize properties into /tmp/CTLFireability17540543967876006896.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability12514339190857142815.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17540543967876006896.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 902 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2025-06-01 23:56:13] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-01 23:56:27] [INFO ] Implicit Places using invariants in 14134 ms returned []
Implicit Place search using SMT only with invariants took 14136 ms to find 0 implicit places.
Running 22680 sub problems to find dead transitions.
[2025-06-01 23:56:27] [INFO ] Invariant cache hit.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/4293 variables, 810/810 constraints. Problems are: Problem set: 0 solved, 22680 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 4293/34263 variables, and 810 constraints, problems are : Problem set: 0 solved, 22680 unsolved in 30245 ms.
Refiners :[Positive P Invariants (semi-flows): 810/3483 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 22680/22680 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 22680 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/4293 variables, 810/810 constraints. Problems are: Problem set: 0 solved, 22680 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 4293/34263 variables, and 810 constraints, problems are : Problem set: 0 solved, 22680 unsolved in 30239 ms.
Refiners :[Positive P Invariants (semi-flows): 810/3483 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 0/22680 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 134234ms problems are : Problem set: 0 solved, 22680 unsolved
Search for dead transitions found 0 dead transitions in 134274ms
Finished structural reductions in LTL mode , in 1 iterations and 149364 ms. Remains : 9153/9153 places, 25110/25110 transitions.
[2025-06-01 23:58:42] [INFO ] Flatten gal took : 626 ms
[2025-06-01 23:58:43] [INFO ] Flatten gal took : 696 ms
[2025-06-01 23:58:44] [INFO ] Input system was already deterministic with 25110 transitions.
[2025-06-01 23:58:45] [INFO ] Flatten gal took : 681 ms
[2025-06-01 23:58:45] [INFO ] Flatten gal took : 710 ms
[2025-06-01 23:58:45] [INFO ] Time to serialize gal into /tmp/CTLFireability8596566950686212112.gal : 107 ms
[2025-06-01 23:58:45] [INFO ] Time to serialize properties into /tmp/CTLFireability1382872445467783257.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability8596566950686212112.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1382872445467783257.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-01 23:59:16] [INFO ] Flatten gal took : 680 ms
[2025-06-01 23:59:16] [INFO ] Applying decomposition
[2025-06-01 23:59:17] [INFO ] Flatten gal took : 707 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph134395531497671137.txt' '-o' '/tmp/graph134395531497671137.bin' '-w' '/tmp/graph134395531497671137.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph134395531497671137.bin' '-l' '-1' '-v' '-w' '/tmp/graph134395531497671137.weights' '-q' '0' '-e' '0.001'
[2025-06-01 23:59:18] [INFO ] Decomposing Gal with order
[2025-06-01 23:59:19] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-01 23:59:33] [INFO ] Removed a total of 38880 redundant transitions.
[2025-06-01 23:59:33] [INFO ] Flatten gal took : 1065 ms
[2025-06-01 23:59:34] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 54 ms.
[2025-06-01 23:59:34] [INFO ] Time to serialize gal into /tmp/CTLFireability11689216319717549335.gal : 113 ms
[2025-06-01 23:59:34] [INFO ] Time to serialize properties into /tmp/CTLFireability7289350395178242510.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability11689216319717549335.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7289350395178242510.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 775 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2025-06-02 00:00:05] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-02 00:00:19] [INFO ] Implicit Places using invariants in 14464 ms returned []
Implicit Place search using SMT only with invariants took 14465 ms to find 0 implicit places.
Running 22680 sub problems to find dead transitions.
[2025-06-02 00:00:19] [INFO ] Invariant cache hit.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
Error getting values : (error "ParserException while parsing response: ((s2430 1.0)
(s2431 1.0)
(s2432 1.0)
(s2433 1.0)
(s2434 1.0)
(s2435 1.0)
(s2436 1.0)
(s2437 1.0)
(s2438 1.0)
(s2439 1.0)
(s2440 1.0)
(s2441 1.0)
(s2442 1.0)
(s2443 1.0)
(s2444 1.0)
(s2445 1.0)
(s2446 1.0)
(s2447 1.0)
(s2448 1.0)
(s2449 1.0)
(s2450 1.0)
(s2451 1.0)
(s2452 1.0)
(s2453 1.0)
(s2454 1.0)
(s2455 1.0)
(s2456 1.0)
(s2457 1.0)
(s2458 1.0)
(s2459 1.0)
(s2460 1.0)
(s2461 1.0)
(s2462 1.0)
(s2463 1.0)
(s2464 1.0)
(s2465 1.0)
(s2466 1.0)
(s2467 1.0)
(s2468 1.0)
(s2469 1.0)
(s2470 1.0)
(s2471 1.0)
(s2472 1.0)
(s2473 1.0)
(s2474 1.0)
(s2475 1.0)
(s2476 1.0)
(s2477 1.0)
(s2478 1.0)
(s2479 1.0)
(s2480 1.0)
(s2481 1.0)
(s2482 1.0)
(s2483 1.0)
(s2484 1.0)
(s2485 1.0)
(s2486 1.0)
(s2487 1.0)
(s2488 1.0)
(s2489 1.0)
(s2490 1.0)
(s2491 1.0)
(s2492 1.0)
(s2493 1.0)
(s2494 1.0)
(s2495 1.0)
(s2496 1.0)
(s2497 1.0)
(s2498 1.0)
(s2499 1.0)
(s2500 1.0)
(s2501 1.0)
(s2502 1.0)
(s2503 1.0)
(s2504 1.0)
(s2505 1.0)
(s2506 1.0)
(s2507 1.0)
(s2508 1.0)
(s2509 1.0)
(s2510 1.0)
(s2511 1.0)
(s2512 1.0)
(s2513 1.0)
(s2514 1.0)
(s2515 1.0)
(s2516 1.0)
(s2517 1.0)
(s2518 1.0)
(s2519 1.0)
(s2520 1.0)
(s2521 1.0)
(s2522 1.0)
(s2523 1.0)
(s2524 1.0)
(s2525 1.0)
(s2526 1.0)
(s2527 1.0)
(s2528 1.0)
(s2529 1.0)
(s2530 1.0)
(s2531 1.0)
(s2532 1.0)
(s2533 1.0)
(s2534 1.0)
(s2535 1.0)
(s2536 1.0)
(s2537 1.0)
(s2538 1.0)
(s2539 1.0)
(s2540 1.0)
(s2541 1.0)
(s2542 1.0)
(s2543 1.0)
(s2544 1.0)
(s2545 1.0)
(s2546 1.0)
(s2547 1.0)
(s2548 1.0)
(s2549 1.0)
(s2550 1.0)
(s2551 1.0)
(s2552 1.0)
(s2553 1.0)
(s2554 1.0)
(s2555 1.0)
(s2556 1.0)
(s2557 1.0)
(s2558 1.0)
(s2559 1.0)
(s2560 1.0)
(s2561 1.0)
(s2562 1.0)
(s2563 1.0)
(s2564 1.0)
(s2565 1.0)
(s2566 1.0)
(s2567 1.0)
(s2568 1.0)
(s2569 1.0)
(s2570 1.0)
(s2571 1.0)
(s2572 1.0)
(s2573 1.0)
(s2574 1.0)
(s2575 1.0)
(s2576 1.0)
(s2577 1.0)
(s2578 1.0)
(s2579 1.0)
(s2580 1.0)
(s2581 1.0)
(s2582 1.0)
(s2583 1.0)
(s2584 1.0)
(s2585 1.0)
(s2586 1.0)
(s2587 1.0)
(s2588 1.0)
(s2589 1.0)
(s2590 1.0)
(s2591 1.0)
(s2592 1.0)
(s2593 1.0)
(s2594 1.0)
(s2595 1.0)
(s2596 1.0)
(s2597 1.0)
(s2598 1.0)
(s2599 1.0)
(s2600 1.0)
(s2601 1.0)
(s2602 1.0)
(s2603 1.0)
(s2604 1.0)
(s2605 1.0)
(s2606 1.0)
(s2607 1.0)
(s2608 1.0)
(s2609 1.0)
(s2610 1.0)
(s2611 1.0)
(s2612 1.0)
(s2613 1.0)
(s2614 1.0)
(s2615 1.0)
(s2616 1.0)
(s2617 1.0)
(s2618 1.0)
(s2619 1.0)
(s2620 1.0)
(s2621 1.0)
(s2622 1.0)
(s2623 1.0)
(s2624 1.0)
(s2625 1.0)
(s2626 1.0)
(s2627 1.0)
(s2628 1.0)
(s2629 1.0)
(s2630 1.0)
(s2631 1.0)
(s2632 1.0)
(s2633 1.0)
(s2634 1.0)
(s2635 1.0)
(s2636 1.0)
(s2637 1.0)
(s2638 1.0)
(s2639 1.0)
(s2640 1.0)
(s2641 1.0)
(s2642 1.0)
(s2643 1.0)
(s2644 1.0)
(s2645 1.0)
(s2646 1.0)
(s2647 1.0)
(s2648 1.0)
(s2649 1.0)
(s2650 1.0)
(s2651 1.0)
(s2652 1.0)
(s2653 1.0)
(s2654 1.0)
(s2655 1.0)
(s2656 1.0)
(s2657 1.0)
(s2658 1.0)
(s2659 1.0)
(s2660 1.0)
(s2661 1.0)
(s2662 1.0)
(s2663 1.0)
(s2664 1.0)
(s2665 1.0)
(s2666 1.0)
(s2667 1.0)
(s2668 1.0)
(s2669 1.0)
(s2670 1.0)
(s2671 1.0)
(s2672 1.0)
(s2673 1.0)
(s2674 1.0)
(s2675 1.0)
(s2676 1.0)
(s2677 1.0)
(s2678 1.0)
(s2679 1.0)
(s2680 1.0)
(s2681 1.0)
(s2682 1.0)
(s2683 1.0)
(s2684 1.0)
(s2685 1.0)
(s2686 1.0)
(s2687 1.0)
(s2688 1.0)
(s2689 1.0)
(s2690 1.0)
(s2691 1.0)
(s2692 1.0)
(s2693 1.0)
(s2694 1.0)
(s2695 1.0)
(s2696 1.0)
(s2697 1.0)
(s2698 1.0)
(s2699 1.0)
(s2700 1.0)
(s2701 1.0)
(s2702 1.0)
(s2703 1.0)
(s2704 1.0)
(s2705 1.0)
(s2706 1.0)
(s2707 1.0)
(s2708 1.0)
(s2709 1.0)
(s2710 1.0)
(s2711 1.0)
(s2712 1.0)
(s2713 1.0)
(s2714 1.0)
(s2715 1.0)
(s2716 1.0)
(s2717 1.0)
(s2718 1.0)
(s2719 1.0)
(s2720 1.0)
(s2721 1.0)
(s2722 1.0)
(s2723 1.0)
(s2724 1.0)
(s2725 1.0)
(s2726 1.0)
(s2727 1.0)
(s2728 1.0)
(s2729 1.0)
(s2730 1.0)
(s2731 1.0)
(s2732 1.0)
(s2733 1.0)
(s2734 1.0)
(s2735 1.0)
(s2736 1.0)
(s2737 1.0)
(s2738 1.0)
(s2739 1.0)
(s2740 1.0)
(s2741 1.0)
(s2742 1.0)
(s2743 1.0)
(s2744 1.0)
(s2745 1.0)
(s2746 1.0)
(s2747 1.0)
(s2748 1.0)
(s2749 1.0)
(s2750 1.0)
(s2751 1.0)
(s2752 1.0)
(s2753 1.0)
(s2754 1.0)
(s2755 1.0)
(s2756 1.0)
(s2757 1.0)
(s2758 1.0)
(s2759 1.0)
(s2760 1.0)
(s2761 1.0)
(s2762 1.0)
(s2763 1.0)
(s2764 1.0)
(s2765 1.0)
(s2766 1.0)
(s2767 1.0)
(s2768 1.0)
(s2769 1.0)
(s2770 1.0)
(s2771 1.0)
(s2772 1.0)
(s2773 1.0)
(s2774 1.0)
(s2775 1.0)
(s2776 1.0)
(s2777 1.0)
(s2778 1.0)
(s2779 1.0)
(s2780 1.0)
(s2781 1.0)
(s2782 1.0)
(s2783 1.0)
(s2784 1.0)
(s2785 1.0)
(s2786 1.0)
(s2787 1.0)
(s2788 1.0)
(s2789 1.0)
(s2790 1.0)
(s2791 1.0)
(s2792 1.0)
(s2793 1.0)
(s2794 1.0)
(s2795 1.0)
(s2796 1.0)
(s2797 1.0)
(s2798 1.0)
(s2799 1.0)
(s2800 1.0)
(s2801 1.0)
(s2802 1.0)
(s2803 1.0)
(s2804 1.0)
(s2805 1.0)
(s2806 1.0)
(s2807 1.0)
(s2808 1.0)
(s2809 1.0)
(s2810 1.0)
(s2811 1.0)
(s2812 1.0)
(s2813 1.0)
(s2814 1.0)
(s2815 1.0)
(s2816 1.0)
(s2817 1.0)
(s2818 1.0)
(s2819 1.0)
(s2820 1.0)
(s2821 1.0)
(s2822 1.0)
(s2823 1.0)
(s2824 1.0)
(s2825 1.0)
(s2826 1.0)
(s2827 1.0)
(s2828 1.0)
(s2829 1.0)
(s2830 1.0)
(s2831 1.0)
(s2832 1.0)
(s2833 1.0)
(s2834 1.0)
(s2835 1.0)
(s2836 1.0)
(s2837 1.0)
(s2838 1.0)
(s2839 1.0)
(s2840 1.0)
(s2841 1.0)
(s2842 1.0)
(s2843 1.0)
(s2844 1.0)
(s2845 1.0)
(s2846 1.0)
(s2847 1.0)
(s2848 1.0)
(s2849 1.0)
(s2850 1.0)
(s2851 1.0)
(s2852 1.0)
(s2853 1.0)
(s2854 1.0)
(s2855 1.0)
(s2856 1.0)
(s2857 1.0)
(s2858 1.0)
(s2859 1.0)
(s2860 1.0)
(s2861 1.0)
(s2862 1.0)
(s2863 1.0)
(s2864 1.0)
(s2865 1.0)
(s2866 1.0)
(s2867 1.0)
(s2868 1.0)
(s2869 1.0)
(s2870 1.0)
(s2871 1.0)
(s2872 1.0)
(s2873 1.0)
(s2874 1.0)
(s2875 1.0)
(s2876 1.0)
(s2877 1.0)
(s2878 1.0)
(s2879 1.0)
(s2880 1.0)
(s2881 1.0)
(s2882 1.0)
(s2883 1.0)
(s2884 1.0)
(s2885 1.0)
(s2886 1.0)
(s2887 1.0)
(s2888 1.0)
(s2889 1.0)
(s2890 1.0)
(s2891 1.0)
(s2892 1.0)
(s2893 1.0)
(s2894 1.0)
(s2895 1.0)
(s2896 1.0)
(s2897 1.0)
(s2898 1.0)
(s2899 1.0)
(s2900 1.0)
(s2901 1.0)
(s2902 1.0)
(s2903 1.0)
(s2904 1.0)
(s2905 1.0)
(s2906 1.0)
(s2907 1.0)
(s2908 1.0)
(s2909 1.0)
(s2910 1.0)
(s2911 1.0)
(s2912 1.0)
(s2913 1.0)
(s2914 1.0)
(s2915 1.0)
(s2916 1.0)
(s2917 1.0)
(s2918 1.0)
(s2919 1.0)
(s2920 1.0)
(s2921 1.0)
(s2922 1.0)
(s2923 1.0)
(s2924 1.0)
(s2925 1.0)
(s2926 1.0)
(s2927 1.0)
(s2928 1.0)
(s2929 1.0)
(s2930 1.0)
(s2931 1.0)
(s2932 1.0)
(s2933 1.0)
(s2934 1.0)
(s2935 1.0)
(s2936 1.0)
(s2937 1.0)
(s2938 1.0)
(s2939 1.0)
(s2940 1.0)
(s2941 1.0)
(s2942 1.0)
(s2943 1.0)
(s2944 1.0)
(s2945 1.0)
(s2946 1.0)
(s2947 1.0)
(s2948 1.0)
(s2949 1.0)
(s2950 1.0)
(s2951 1.0)
(s2952 1.0)
(s2953 1.0)
(s2954 1.0)
(s2955 1.0)
(s2956 1.0)
(s2957 1.0)
(s2958 1.0)
(s2959 1.0)
(s2960 1.0)
(s2961 1.0)
(s2962 1.0)
(s2963 1.0)
(s2964 1.0)
(s2965 1.0)
(s2966 1.0)
(s2967 1.0)
(s2968 1.0)
(s2969 1.0)
(s2970 1.0)
(s2971 1.0)
(s2972 1.0)
(s2973 1.0)
(s2974 1.0)
(s2975 1.0)
(s2976 1.0)
(s2977 1.0)
(s2978 1.0)
(s2979 1.0)
(s2980 1.0)
(s2981 1.0)
(s2982 1.0)
(s2983 1.0)
(s2984 1.0)
(s2985 1.0)
(s2986 1.0)
(s2987 1.0)
(s2988 1.0)
(s2989 1.0)
(s2990 1.0)
(s2991 1.0)
(s2992 1.0)
(s2993 1.0)
(s2994 1.0)
(s2995 1.0)
(s2996 1.0)
(s2997 0.0)
(s2998 0.0)
(s2999 0.0)
(s3000 0.0)
(s3001 0.0)
(s3002 0.0)
(s3003 0.0)
(s3004 0.0)
(s3005 0.0)
(s3006 0.0)
(s3007 0.0)
(s3008 0.0)
(s3009 0.0)
(s3010 0.0)
(s3011 0.0)
(s3012 0.0)
(s3013 0.0)
(s3014 0.0)
(s3015 0.0)
(s3016 0.0)
(s3017 0.0)
(s3018 0.0)
(s3019 0.0)
(s3020 0.0)
(s3021 0.0)
(s3022 0.0)
(s3023 0.0)
(s3024 1.0)
(s3025 1.0)
(s3026 1.0)
(s3027 1.0)
(s3028 1.0)
(s3029 1.0)
(s3030 1.0)
(s3031 1.0)
(s3032 1.0)
(s3033 1.0)
(s3034 1.0)
(s3035 1.0)
(s3036 1.0)
(s3037 1.0)
(s3038 1.0)
(s3039 1.0)
(s3040 1.0)
(s3041 1.0)
(s3042 1.0)
(s3043 1.0)
(s3044 1.0)
(s3045 1.0)
(s3046 1.0)
(s3047 1.0)
(s3048 1.0)
(s3049 1.0)
(s3050 1.0)
(s3051 1.0)
(s3052 1.0)
(s3053 1.0)
(s3054 1.0)
(s3055 1.0)
(s3056 1.0)
(s3057 1.0)
(s3058 1.0)
(s3059 1.0)
(s3060 1.0)
(s3061 1.0)
(s3062 1.0)
(s3063 1.0)
(s3064 1.0)
(s3065 1.0)
(s3066 1.0)
(s3067 1.0)
(s3068 1.0)
(s3069 1.0)
(s3070 1.0)
(s3071 1.0)
(s3072 1.0)
(s3073 1.0)
(s3074 1.0)
(s3075 1.0)
(s3076 1.0)
(s3077 1.0)
(s3078 1.0)
(s3079 1.0)
(s3080 1.0)
(s3081 1.0)
(s3082 1.0)
(s3083 1.0)
(s3084 1.0)
(s3085 1.0)
(s3086 1.0)
(s3087 1.0)
(s3088 1.0)
(s3089 1.0)
(s3090 1.0)
(s3091 1.0)
(s3092 1.0)
(s3093 1.0)
(s3094 1.0)
(s3095 1.0)
(s3096 1.0)
(s3097 1.0)
(s3098 1.0)
(s3099 1.0)
(s3100 1.0)
(s3101 1.0)
(s3102 1.0)
(s3103 1.0)
(s3104 1.0)
(s3105 0.0)
(s3106 0.0)
(s3107 0.0)
(s3108 0.0)
(s3109 0.0)
(s3110 0.0)
(s3111 0.0)
(s3112 0.0)
(s3113 0.0)
(s3114 0.0)
(s3115 0.0)
(s3116 0.0)
(s3117 0.0)
(s3118 0.0)
(s3119 0.0)
(s3120 0.0)
(s3121 0.0)
(s3122 0.0)
(s3123 0.0)
(s3124 0.0)
(s3125 0.0)
(s3126 0.0)
(s3127 0.0)
(s3128 0.0)
(s3129 0.0)
(s3130 0.0)
(s3131 0.0)
(s3132 1.0)
(s3133 1.0)
(s3134 1.0)
(s3135 1.0)
(s3136 1.0)
(s3137 1.0)
(s3138 1.0)
(s3139 1.0)
(s3140 1.0)
(s3141 1.0)
(s3142 1.0)
(s3143 1.0)
(s3144 1.0)
(s3145 1.0)
(s3146 1.0)
(s3147 1.0)
(s3148 1.0)
(s3149 1.0)
(s3150 1.0)
(s3151 1.0)
(s3152 1.0)
(s3153 1.0)
(s3154 1.0)
(s3155 1.0)
(s3156 1.0)
(s3157 1.0)
(s3158 1.0)
(s3159 1.0)
(s3160 1.0)
(s3161 1.0)
(s3162 1.0)
(s3163 1.0)
(s3164 1.0)
(s3165 1.0)
(s3166 1.0)
(s3167 1.0)
(s3168 1.0)
(s3169 1.0)
(s3170 1.0)
(s3171 1.0)
(s3172 1.0)
(s3173 1.0)
(s3174 1.0)
(s3175 1.0)
(s3176 1.0)
(s3177 1.0)
(s3178 1.0)
(s3179 1.0)
(s3180 1.0)
(s3181 1.0)
(s3182 1.0)
(s3183 1.0)
(s3184 1.0)
(s3185 1.0)
(s3186 1.0)
(s3187 1.0)
(s3188 1.0)
(s3189 1.0)
(s3190 1.0)
(s3191 1.0)
(s3192 1.0)
(s3193 1.0)
(s3194 1.0)
(s3195 1.0)
(s3196 1.0)
(s3197 1.0)
(s3198 1.0)
(s3199 1.0)
(s3200 1.0)
(s3201 1.0)
(s3202 1.0)
(s3203 1.0)
(s3204 1.0)
(s3205 1.0)
(s3206 1.0)
(s3207 1.0)
(s3208 1.0)
(s3209 1.0)
(s3210 1.0)
(s3211 1.0)
(s3212 1.0)
(s3213 0.0)
(s3214 0.0)
(s3215 0.0)
(s3216 0.0)
(s3217 0.0)
(s3218 0.0)
(s3219 0.0)
(s3220 0.0)
(s3221 0.0)
(s3222 0.0)
(s3223 0.0)
(s3224 0.0)
(s3225 0.0)
(s3226 0.0)
(s3227 0.0)
(s3228 0.0)
(s3229 0.0)
(s3230 0.0)
(s3231 0.0)
(s3232 0.0)
(s3233 0.0)
(s3234 0.0)
(s3235 0.0)
(s3236 0.0)
(s3237 0.0)
(s3238 0.0)timeout
(s3239 org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 0 (INCLUDED_ONLY) 0/4293 variables, 810/810 constraints. Problems are: Problem set: 0 solved, 22680 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 4293/34263 variables, and 810 constraints, problems are : Problem set: 0 solved, 22680 unsolved in 30243 ms.
Refiners :[Positive P Invariants (semi-flows): 810/3483 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 22680/22680 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 22680 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/4293 variables, 810/810 constraints. Problems are: Problem set: 0 solved, 22680 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 4293/34263 variables, and 810 constraints, problems are : Problem set: 0 solved, 22680 unsolved in 30234 ms.
Refiners :[Positive P Invariants (semi-flows): 810/3483 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 0/22680 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 143082ms problems are : Problem set: 0 solved, 22680 unsolved
Search for dead transitions found 0 dead transitions in 143122ms
Finished structural reductions in LTL mode , in 1 iterations and 158391 ms. Remains : 9153/9153 places, 25110/25110 transitions.
[2025-06-02 00:02:43] [INFO ] Flatten gal took : 637 ms
[2025-06-02 00:02:44] [INFO ] Flatten gal took : 707 ms
[2025-06-02 00:02:45] [INFO ] Input system was already deterministic with 25110 transitions.
[2025-06-02 00:02:46] [INFO ] Flatten gal took : 687 ms
[2025-06-02 00:02:46] [INFO ] Flatten gal took : 705 ms
[2025-06-02 00:02:46] [INFO ] Time to serialize gal into /tmp/CTLFireability15539246918275312355.gal : 107 ms
[2025-06-02 00:02:46] [INFO ] Time to serialize properties into /tmp/CTLFireability15657627335172080777.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability15539246918275312355.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15657627335172080777.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-02 00:03:17] [INFO ] Flatten gal took : 681 ms
[2025-06-02 00:03:17] [INFO ] Applying decomposition
[2025-06-02 00:03:18] [INFO ] Flatten gal took : 708 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph1577567308013832245.txt' '-o' '/tmp/graph1577567308013832245.bin' '-w' '/tmp/graph1577567308013832245.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph1577567308013832245.bin' '-l' '-1' '-v' '-w' '/tmp/graph1577567308013832245.weights' '-q' '0' '-e' '0.001'
[2025-06-02 00:03:19] [INFO ] Decomposing Gal with order
[2025-06-02 00:03:20] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-02 00:03:34] [INFO ] Removed a total of 38880 redundant transitions.
[2025-06-02 00:03:34] [INFO ] Flatten gal took : 1018 ms
[2025-06-02 00:03:35] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 47 ms.
[2025-06-02 00:03:35] [INFO ] Time to serialize gal into /tmp/CTLFireability12565424265786006111.gal : 93 ms
[2025-06-02 00:03:35] [INFO ] Time to serialize properties into /tmp/CTLFireability15878503136366693480.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability12565424265786006111.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15878503136366693480.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 917 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2025-06-02 00:04:06] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-02 00:04:20] [INFO ] Implicit Places using invariants in 14629 ms returned []
Implicit Place search using SMT only with invariants took 14632 ms to find 0 implicit places.
Running 22680 sub problems to find dead transitions.
[2025-06-02 00:04:20] [INFO ] Invariant cache hit.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/4293 variables, 810/810 constraints. Problems are: Problem set: 0 solved, 22680 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 4293/34263 variables, and 810 constraints, problems are : Problem set: 0 solved, 22680 unsolved in 30239 ms.
Refiners :[Positive P Invariants (semi-flows): 810/3483 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 22680/22680 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 22680 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/4293 variables, 810/810 constraints. Problems are: Problem set: 0 solved, 22680 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 4293/34263 variables, and 810 constraints, problems are : Problem set: 0 solved, 22680 unsolved in 30234 ms.
Refiners :[Positive P Invariants (semi-flows): 810/3483 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 0/22680 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 133545ms problems are : Problem set: 0 solved, 22680 unsolved
Search for dead transitions found 0 dead transitions in 133596ms
Finished structural reductions in SI_CTL mode , in 1 iterations and 149184 ms. Remains : 9153/9153 places, 25110/25110 transitions.
[2025-06-02 00:06:35] [INFO ] Flatten gal took : 624 ms
[2025-06-02 00:06:35] [INFO ] Flatten gal took : 709 ms
[2025-06-02 00:06:37] [INFO ] Input system was already deterministic with 25110 transitions.
[2025-06-02 00:06:37] [INFO ] Flatten gal took : 678 ms
[2025-06-02 00:06:38] [INFO ] Flatten gal took : 708 ms
[2025-06-02 00:06:38] [INFO ] Time to serialize gal into /tmp/CTLFireability18300616193602481728.gal : 105 ms
[2025-06-02 00:06:38] [INFO ] Time to serialize properties into /tmp/CTLFireability18282420235222797502.ctl : 5 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability18300616193602481728.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability18282420235222797502.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-02 00:07:09] [INFO ] Flatten gal took : 696 ms
[2025-06-02 00:07:09] [INFO ] Applying decomposition
[2025-06-02 00:07:10] [INFO ] Flatten gal took : 718 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph5272952040908835281.txt' '-o' '/tmp/graph5272952040908835281.bin' '-w' '/tmp/graph5272952040908835281.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph5272952040908835281.bin' '-l' '-1' '-v' '-w' '/tmp/graph5272952040908835281.weights' '-q' '0' '-e' '0.001'
[2025-06-02 00:07:11] [INFO ] Decomposing Gal with order
[2025-06-02 00:07:12] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-02 00:07:26] [INFO ] Removed a total of 38880 redundant transitions.
[2025-06-02 00:07:26] [INFO ] Flatten gal took : 999 ms
[2025-06-02 00:07:27] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 53 ms.
[2025-06-02 00:07:27] [INFO ] Time to serialize gal into /tmp/CTLFireability10454684972584615426.gal : 170 ms
[2025-06-02 00:07:27] [INFO ] Time to serialize properties into /tmp/CTLFireability8943093128800892174.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability10454684972584615426.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8943093128800892174.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 786 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2025-06-02 00:07:58] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-02 00:08:13] [INFO ] Implicit Places using invariants in 15029 ms returned []
Implicit Place search using SMT only with invariants took 15036 ms to find 0 implicit places.
Running 22680 sub problems to find dead transitions.
[2025-06-02 00:08:13] [INFO ] Invariant cache hit.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
At refinement iteration 0 (INCLUDED_ONLY) 0/4293 variables, 810/810 constraints. Problems are: Problem set: 0 solved, 22680 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 4293/34263 variables, and 810 constraints, problems are : Problem set: 0 solved, 22680 unsolved in 30244 ms.
Refiners :[Positive P Invariants (semi-flows): 810/3483 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 22680/22680 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 22680 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/4293 variables, 810/810 constraints. Problems are: Problem set: 0 solved, 22680 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 4293/34263 variables, and 810 constraints, problems are : Problem set: 0 solved, 22680 unsolved in 30240 ms.
Refiners :[Positive P Invariants (semi-flows): 810/3483 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 0/22680 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 137512ms problems are : Problem set: 0 solved, 22680 unsolved
Search for dead transitions found 0 dead transitions in 137562ms
Finished structural reductions in LTL mode , in 1 iterations and 153420 ms. Remains : 9153/9153 places, 25110/25110 transitions.
[2025-06-02 00:10:31] [INFO ] Flatten gal took : 638 ms
[2025-06-02 00:10:32] [INFO ] Flatten gal took : 706 ms
[2025-06-02 00:10:33] [INFO ] Input system was already deterministic with 25110 transitions.
[2025-06-02 00:10:34] [INFO ] Flatten gal took : 695 ms
[2025-06-02 00:10:35] [INFO ] Flatten gal took : 717 ms
[2025-06-02 00:10:35] [INFO ] Time to serialize gal into /tmp/CTLFireability6817228836954459139.gal : 105 ms
[2025-06-02 00:10:35] [INFO ] Time to serialize properties into /tmp/CTLFireability1415351574130254217.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability6817228836954459139.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1415351574130254217.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-02 00:11:06] [INFO ] Flatten gal took : 762 ms
[2025-06-02 00:11:06] [INFO ] Applying decomposition
[2025-06-02 00:11:06] [INFO ] Flatten gal took : 718 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph2779923613095347067.txt' '-o' '/tmp/graph2779923613095347067.bin' '-w' '/tmp/graph2779923613095347067.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph2779923613095347067.bin' '-l' '-1' '-v' '-w' '/tmp/graph2779923613095347067.weights' '-q' '0' '-e' '0.001'
[2025-06-02 00:11:08] [INFO ] Decomposing Gal with order
[2025-06-02 00:11:09] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-02 00:11:23] [INFO ] Removed a total of 38880 redundant transitions.
[2025-06-02 00:11:23] [INFO ] Flatten gal took : 987 ms
[2025-06-02 00:11:23] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 43 ms.
[2025-06-02 00:11:23] [INFO ] Time to serialize gal into /tmp/CTLFireability8644127841342343463.gal : 103 ms
[2025-06-02 00:11:23] [INFO ] Time to serialize properties into /tmp/CTLFireability10969039129887130927.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability8644127841342343463.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10969039129887130927.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 781 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2025-06-02 00:11:54] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-02 00:12:09] [INFO ] Implicit Places using invariants in 14906 ms returned []
Implicit Place search using SMT only with invariants took 14912 ms to find 0 implicit places.
Running 22680 sub problems to find dead transitions.
[2025-06-02 00:12:09] [INFO ] Invariant cache hit.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/4293 variables, 810/810 constraints. Problems are: Problem set: 0 solved, 22680 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 4293/34263 variables, and 810 constraints, problems are : Problem set: 0 solved, 22680 unsolved in 30239 ms.
Refiners :[Positive P Invariants (semi-flows): 810/3483 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 22680/22680 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 22680 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/4293 variables, 810/810 constraints. Problems are: Problem set: 0 solved, 22680 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 4293/34263 variables, and 810 constraints, problems are : Problem set: 0 solved, 22680 unsolved in 30220 ms.
Refiners :[Positive P Invariants (semi-flows): 810/3483 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 0/22680 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 139526ms problems are : Problem set: 0 solved, 22680 unsolved
Search for dead transitions found 0 dead transitions in 139568ms
Finished structural reductions in LTL mode , in 1 iterations and 155290 ms. Remains : 9153/9153 places, 25110/25110 transitions.
[2025-06-02 00:14:30] [INFO ] Flatten gal took : 635 ms
[2025-06-02 00:14:30] [INFO ] Flatten gal took : 721 ms
[2025-06-02 00:14:32] [INFO ] Input system was already deterministic with 25110 transitions.
[2025-06-02 00:14:32] [INFO ] Flatten gal took : 680 ms
[2025-06-02 00:14:33] [INFO ] Flatten gal took : 706 ms
[2025-06-02 00:14:33] [INFO ] Time to serialize gal into /tmp/CTLFireability2758317360065634811.gal : 107 ms
[2025-06-02 00:14:33] [INFO ] Time to serialize properties into /tmp/CTLFireability4397944979046164671.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability2758317360065634811.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4397944979046164671.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-02 00:15:04] [INFO ] Flatten gal took : 704 ms
[2025-06-02 00:15:04] [INFO ] Applying decomposition
[2025-06-02 00:15:05] [INFO ] Flatten gal took : 672 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph8092581236446191988.txt' '-o' '/tmp/graph8092581236446191988.bin' '-w' '/tmp/graph8092581236446191988.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph8092581236446191988.bin' '-l' '-1' '-v' '-w' '/tmp/graph8092581236446191988.weights' '-q' '0' '-e' '0.001'
[2025-06-02 00:15:06] [INFO ] Decomposing Gal with order
[2025-06-02 00:15:07] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-02 00:15:21] [INFO ] Removed a total of 38880 redundant transitions.
[2025-06-02 00:15:21] [INFO ] Flatten gal took : 885 ms
[2025-06-02 00:15:21] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 35 ms.
[2025-06-02 00:15:21] [INFO ] Time to serialize gal into /tmp/CTLFireability18029606713259159092.gal : 95 ms
[2025-06-02 00:15:21] [INFO ] Time to serialize properties into /tmp/CTLFireability8182726002042689165.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability18029606713259159092.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8182726002042689165.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 776 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2025-06-02 00:15:52] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-02 00:16:07] [INFO ] Implicit Places using invariants in 14660 ms returned []
Implicit Place search using SMT only with invariants took 14662 ms to find 0 implicit places.
Running 22680 sub problems to find dead transitions.
[2025-06-02 00:16:07] [INFO ] Invariant cache hit.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/4293 variables, 810/810 constraints. Problems are: Problem set: 0 solved, 22680 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 4293/34263 variables, and 810 constraints, problems are : Problem set: 0 solved, 22680 unsolved in 30265 ms.
Refiners :[Positive P Invariants (semi-flows): 810/3483 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 22680/22680 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 22680 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/4293 variables, 810/810 constraints. Problems are: Problem set: 0 solved, 22680 unsolved
Error getting values : (error "ParserException while parsing response: ((s2430 1)
(s2431 1)
(s2432 1)
(s2433 1)
(s2434 1)
(s2435 1)
(s2436 1)
(s2437 1)
(s2438 1)
(s2439 1)
(s2440 1)
(s2441 1)
(s2442 1)
(s2443 1)
(s2444 1)
(s2445 1)
(s2446 1)
(s2447 1)
(s2448 1)
(s2449 1)
(s2450 1)
(s2451 1)
(s2452 1)
(s2453 1)
(s2454 1)
(s2455 1)
(s2456 1)
(s2457 1)
(s2458 1)
(s2459 1)
(s2460 1)
(s2461 1)
(s2462 1)
(s2463 1)
(s2464 1)
(s2465 1)
(s2466 1)
(s2467 1)
(s2468 1)
(s2469 1)
(s2470 1)
(s2471 1)
(s2472 1)
(s2473 1)
(s2474 1)
(s2475 1)
(s2476 1)
(s2477 1)
(s2478 1)
(s2479 1)
(s2480 1)
(s2481 1)
(s2482 1)
(s2483 1)
(s2484 1)
(s2485 1)
(s2486 1)
(s2487 1)
(s2488 1)
(s2489 1)
(s2490 1)
(s2491 1)
(s2492 1)
(s2493 1)
(s2494 1)
(s2495 1)
(s2496 1)
(s2497 1)
(s2498 1)
(s2499 1)
(s2500 1)
(s2501 1)
(s2502 1)
(s2503 1)
(s2504 1)
(s2505 1)
(s2506 1)
(s2507 1)
(s2508 1)
(s2509 1)
(s2510 1)
(s2511 1)
(s2512 1)
(s2513 1)
(s2514 1)
(s2515 1)
(s2516 1)
(s2517 1)
(s2518 1)
(s2519 1)
(s2520 1)
(s2521 1)
(s2522 1)
(s2523 1)
(s2524 1)
(s2525 1)
(s2526 1)
(s2527 1)
(s2528 1)
(s2529 1)
(s2530 1)
(s2531 1)
(s2532 1)
(s2533 1)
(s2534 1)
(s2535 1)
(s2536 1)
(s2537 1)
(s2538 1)
(s2539 1)
(s2540 1)
(s2541 1)
(s2542 1)
(s2543 1)
(s2544 1)
(s2545 1)
(s2546 1)
(s2547 1)
(s2548 1)
(s2549 1)
(s2550 1)
(s2551 1)
(s2552 1)
(s2553 1)
(s2554 1)
(s2555 1)
(s2556 1)
(s2557 1)
(s2558 1)
(s2559 1)
(s2560 1)
(s2561 1)
(s2562 1)
(s2563 1)
(s2564 1)
(s2565 1)
(s2566 1)
(s2567 1)
(s2568 1)
(s2569 1)
(s2570 1)
(s2571 1)
(s2572 1)
(s2573 1)
(s2574 1)
(s2575 1)
(s2576 1)
(s2577 1)
(s2578 1)
(s2579 1)
(s2580 1)
(s2581 1)
(s2582 1)
(s2583 1)
(s2584 1)
(s2585 1)
(s2586 1)
(s2587 1)
(s2588 1)
(s2589 1)
(s2590 1)
(s2591 1)
(s2592 1)
(s2593 1)
(s2594 1)
(s2595 1)
(s2596 1)
(s2597 1)
(s2598 1)
(s2599 1)
(s2600 1)
(s2601 1)
(s2602 1)
(s2603 1)
(s2604 1)
(s2605 1)
(s2606 1)
(s2607 1)
(s2608 1)
(s2609 1)
(s2610 1)
(s2611 1)
(s2612 1)
(s2613 1)
(s2614 1)
(s2615 1)
(s2616 1)
(s2617 1)
(s2618 1)
(s2619 1)
(s2620 1)
(s2621 1)
(s2622 1)
(s2623 1)
(s2624 1)
(s2625 1)
(s2626 1)
(s2627 1)
(s2628 1)
(s2629 1)
(s2630 1)
(s2631 1)
(s2632 1)
(s2633 1)
(s2634 1)
(s2635 1)
(s2636 1)
(s2637 1)
(s2638 1)
(s2639 1)
(s2640 1)
(s2641 1)
(s2642 1)
(s2643 1)
(s2644 1)
(s2645 1)
(s2646 1)
(s2647 1)
(s2648 1)
(s2649 1)
(s2650 1)
(s2651 1)
(s2652 1)
(s2653 1)
(s2654 1)
(s2655 1)
(s2656 1)
(s2657 1)
(s2658 1)
(s2659 1)
(s2660 1)
(s2661 1)
(s2662 1)
(s2663 1)
(s2664 1)
(s2665 1)
(s2666 1)
(s2667 1)
(s2668 1)
(s2669 1)
(s2670 1)
(s2671 1)
(s2672 1)
(s2673 1)
(s2674 1)
(s2675 1)
(s2676 1)
(s2677 1)
(s2678 1)
(s2679 1)
(s2680 1)
(s2681 1)
(s2682 1)
(s2683 1)
(s2684 1)
(s2685 1)
(s2686 1)
(s2687 1)
(s2688 1)
(s2689 1)
(s2690 1)
(s2691 1)
(s2692 1)
(s2693 1)
(s2694 1)
(s2695 1)
(s2696 1)
(s2697 1)
(s2698 1)
(s2699 1)
(s2700 1)
(s2701 1)
(s2702 1)
(s2703 1)
(s2704 1)
(s2705 1)
(s2706 1)
(s2707 1)
(s2708 1)
(s2709 1)
(s2710 1)
(s2711 1)
(s2712 1)
(s2713 1)
(s2714 1)
(s2715 1)
(s2716 1)
(s2717 1)
(s2718 1)
(s2719 1)
(s2720 1)
(s2721 1)
(s2722 1)
(s2723 1)
(s2724 1)
(s2725 1)
(s2726 1)
(s2727 1)
(s2728 1)
(s2729 1)
(s2730 1)
(s2731 1)
(s2732 1)
(s2733 1)
(s2734 1)
(s2735 1)
(s2736 1)
(s2737 1)
(s2738 1)
(s2739 1)
(s2740 1)
(s2741 1)
(s2742 1)
(s2743 1)
(s2744 1)
(s2745 1)
(s2746 1)
(s2747 1)
(s2748 1)
(s2749 1)
(s2750 1)
(s2751 1)
(s2752 1)
(s2753 1)
(s2754 1)
(s2755 1)
(s2756 1)
(s2757 1)
(s2758 1)
(s2759 1)
(s2760 1)
(s2761 1)
(s2762 1)
(s2763 1)
(s2764 1)
(s2765 1)
(s2766 1)
(s2767 1)
(s2768 1)
(s2769 1)
(s2770 1)
(s2771 1)
(s2772 1)
(s2773 1)
(s2774 1)
(s2775 1)
(s2776 1)
(s2777 1)
(s2778 1)
(s2779 1)
(s2780 1)
(s2781 1)
(s2782 1)
(s2783 1)
(s2784 1)
(s2785 1)
(s2786 1)
(s2787 1)
(s2788 1)
(s2789 1)
(s2790 1)
(s2791 1)
(s2792 1)
(s2793 1)
(s2794 1)
(s2795 1)
(s2796 1)
(s2797 1)
(s2798 1)
(s2799 1)
(s2800 1)
(s2801 1)
(s2802 1)
(s2803 1)
(s2804 1)
(s2805 1)
(s2806 1)
(s2807 1)
(s2808 1)
(s2809 1)
(s2810 1)
(s2811 1)
(s2812 1)
(s2813 1)
(s2814 1)
(s2815 1)
(s2816 1)
(s2817 1)
(s2818 1)
(s2819 1)
(s2820 1)
(s2821 1)
(s2822 1)
(s2823 1)
(s2824 1)
(s2825 1)
(s2826 1)
(s2827 1)
(s2828 1)
(s2829 1)
(s2830 1)
(s2831 1)
(s2832 1)
(s2833 1)
(s2834 1)
(s2835 1)
(s2836 1)
(s2837 1)
(s2838 1)
(s2839 1)
(s2840 1)
(s2841 1)
(s2842 1)
(s2843 1)
(s2844 1)
(s2845 1)
(s2846 1)
(s2847 1)
(s2848 1)
(s2849 1)
(s2850 1)
(s2851 1)
(s2852 1)
(s2853 1)
(s2854 1)
(s2855 1)
(s2856 1)
(s2857 1)
(s2858 1)
(s2859 1)
(s2860 1)
(s2861 1)
(s2862 1)
(s2863 1)
(s2864 1)
(s2865 1)
(s2866 1)
(s2867 1)
(s2868 1)
(s2869 1)
(s2870 1)
(s2871 1)
(s2872 1)
(s2873 1)
(s2874 1)
(s2875 1)
(s2876 1)
(s2877 1)
(s2878 1)
(s2879 1)
(s2880 1)
(s2881 1)
(s2882 1)
(s2883 1)
(s2884 1)
(s2885 1)
(s2886 1)
(s2887 1)
(s2888 1)
(s2889 1)
(s2890 1)
(s2891 1)
(s2892 1)
(s2893 1)
(s2894 1)
(s2895 1)
(s2896 1)
(s2897 1)
(s2898 1)
(s2899 1)
(s2900 1)
(s2901 1)
(s2902 1)
(s2903 1)
(s2904 1)
(s2905 1)
(s2906 1)
(s2907 1)
(s2908 1)
(s2909 1)
(s2910 timeout
1) org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 4293/34263 variables, and 810 constraints, problems are : Problem set: 0 solved, 22680 unsolved in 30227 ms.
Refiners :[Positive P Invariants (semi-flows): 810/3483 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 0/22680 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 139467ms problems are : Problem set: 0 solved, 22680 unsolved
Search for dead transitions found 0 dead transitions in 139513ms
Finished structural reductions in LTL mode , in 1 iterations and 154988 ms. Remains : 9153/9153 places, 25110/25110 transitions.
[2025-06-02 00:18:27] [INFO ] Flatten gal took : 621 ms
[2025-06-02 00:18:28] [INFO ] Flatten gal took : 718 ms
[2025-06-02 00:18:29] [INFO ] Input system was already deterministic with 25110 transitions.
[2025-06-02 00:18:30] [INFO ] Flatten gal took : 677 ms
[2025-06-02 00:18:31] [INFO ] Flatten gal took : 743 ms
[2025-06-02 00:18:31] [INFO ] Time to serialize gal into /tmp/CTLFireability10652349357426724244.gal : 101 ms
[2025-06-02 00:18:31] [INFO ] Time to serialize properties into /tmp/CTLFireability9668151395655498839.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability10652349357426724244.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9668151395655498839.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-02 00:19:02] [INFO ] Flatten gal took : 735 ms
[2025-06-02 00:19:02] [INFO ] Applying decomposition
[2025-06-02 00:19:02] [INFO ] Flatten gal took : 726 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph17238893957151233858.txt' '-o' '/tmp/graph17238893957151233858.bin' '-w' '/tmp/graph17238893957151233858.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph17238893957151233858.bin' '-l' '-1' '-v' '-w' '/tmp/graph17238893957151233858.weights' '-q' '0' '-e' '0.001'
[2025-06-02 00:19:04] [INFO ] Decomposing Gal with order
[2025-06-02 00:19:05] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-02 00:19:19] [INFO ] Removed a total of 38880 redundant transitions.
[2025-06-02 00:19:19] [INFO ] Flatten gal took : 964 ms
[2025-06-02 00:19:19] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 42 ms.
[2025-06-02 00:19:19] [INFO ] Time to serialize gal into /tmp/CTLFireability13775885980751761505.gal : 104 ms
[2025-06-02 00:19:19] [INFO ] Time to serialize properties into /tmp/CTLFireability3105910543667147889.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability13775885980751761505.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3105910543667147889.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 938 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2025-06-02 00:19:50] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-02 00:20:05] [INFO ] Implicit Places using invariants in 14838 ms returned []
Implicit Place search using SMT only with invariants took 14840 ms to find 0 implicit places.
Running 22680 sub problems to find dead transitions.
[2025-06-02 00:20:05] [INFO ] Invariant cache hit.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/4293 variables, 810/810 constraints. Problems are: Problem set: 0 solved, 22680 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 4293/34263 variables, and 810 constraints, problems are : Problem set: 0 solved, 22680 unsolved in 30215 ms.
Refiners :[Positive P Invariants (semi-flows): 810/3483 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 22680/22680 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 22680 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/4293 variables, 810/810 constraints. Problems are: Problem set: 0 solved, 22680 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 4293/34263 variables, and 810 constraints, problems are : Problem set: 0 solved, 22680 unsolved in 30229 ms.
Refiners :[Positive P Invariants (semi-flows): 810/3483 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 0/22680 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 139943ms problems are : Problem set: 0 solved, 22680 unsolved
Search for dead transitions found 0 dead transitions in 139984ms
Finished structural reductions in LTL mode , in 1 iterations and 155797 ms. Remains : 9153/9153 places, 25110/25110 transitions.
[2025-06-02 00:22:26] [INFO ] Flatten gal took : 648 ms
[2025-06-02 00:22:27] [INFO ] Flatten gal took : 824 ms
[2025-06-02 00:22:28] [INFO ] Input system was already deterministic with 25110 transitions.
[2025-06-02 00:22:29] [INFO ] Flatten gal took : 719 ms
[2025-06-02 00:22:29] [INFO ] Flatten gal took : 740 ms
[2025-06-02 00:22:30] [INFO ] Time to serialize gal into /tmp/CTLFireability10546903115028002711.gal : 107 ms
[2025-06-02 00:22:30] [INFO ] Time to serialize properties into /tmp/CTLFireability6322178092606033928.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability10546903115028002711.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6322178092606033928.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-02 00:23:00] [INFO ] Flatten gal took : 742 ms
[2025-06-02 00:23:00] [INFO ] Applying decomposition
[2025-06-02 00:23:01] [INFO ] Flatten gal took : 747 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph9048385105072716762.txt' '-o' '/tmp/graph9048385105072716762.bin' '-w' '/tmp/graph9048385105072716762.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph9048385105072716762.bin' '-l' '-1' '-v' '-w' '/tmp/graph9048385105072716762.weights' '-q' '0' '-e' '0.001'
[2025-06-02 00:23:03] [INFO ] Decomposing Gal with order
[2025-06-02 00:23:03] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-02 00:23:17] [INFO ] Removed a total of 38880 redundant transitions.
[2025-06-02 00:23:17] [INFO ] Flatten gal took : 994 ms
[2025-06-02 00:23:18] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 52 ms.
[2025-06-02 00:23:18] [INFO ] Time to serialize gal into /tmp/CTLFireability14080417558162531283.gal : 118 ms
[2025-06-02 00:23:18] [INFO ] Time to serialize properties into /tmp/CTLFireability2092968799616424177.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability14080417558162531283.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2092968799616424177.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 775 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2025-06-02 00:23:49] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-02 00:24:03] [INFO ] Implicit Places using invariants in 14722 ms returned []
Implicit Place search using SMT only with invariants took 14724 ms to find 0 implicit places.
Running 22680 sub problems to find dead transitions.
[2025-06-02 00:24:03] [INFO ] Invariant cache hit.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/4293 variables, 810/810 constraints. Problems are: Problem set: 0 solved, 22680 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 4293/34263 variables, and 810 constraints, problems are : Problem set: 0 solved, 22680 unsolved in 30234 ms.
Refiners :[Positive P Invariants (semi-flows): 810/3483 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 22680/22680 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 22680 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/4293 variables, 810/810 constraints. Problems are: Problem set: 0 solved, 22680 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 4293/34263 variables, and 810 constraints, problems are : Problem set: 0 solved, 22680 unsolved in 30223 ms.
Refiners :[Positive P Invariants (semi-flows): 810/3483 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 0/22680 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 132686ms problems are : Problem set: 0 solved, 22680 unsolved
Search for dead transitions found 0 dead transitions in 132730ms
Finished structural reductions in LTL mode , in 1 iterations and 148259 ms. Remains : 9153/9153 places, 25110/25110 transitions.
[2025-06-02 00:26:17] [INFO ] Flatten gal took : 623 ms
[2025-06-02 00:26:18] [INFO ] Flatten gal took : 694 ms
[2025-06-02 00:26:19] [INFO ] Input system was already deterministic with 25110 transitions.
[2025-06-02 00:26:20] [INFO ] Flatten gal took : 765 ms
[2025-06-02 00:26:20] [INFO ] Flatten gal took : 667 ms
[2025-06-02 00:26:20] [INFO ] Time to serialize gal into /tmp/CTLFireability5918931132567947160.gal : 107 ms
[2025-06-02 00:26:20] [INFO ] Time to serialize properties into /tmp/CTLFireability17760243421292257218.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability5918931132567947160.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17760243421292257218.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-02 00:26:51] [INFO ] Flatten gal took : 674 ms
[2025-06-02 00:26:51] [INFO ] Applying decomposition
[2025-06-02 00:26:52] [INFO ] Flatten gal took : 697 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph3514417157092776717.txt' '-o' '/tmp/graph3514417157092776717.bin' '-w' '/tmp/graph3514417157092776717.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph3514417157092776717.bin' '-l' '-1' '-v' '-w' '/tmp/graph3514417157092776717.weights' '-q' '0' '-e' '0.001'
[2025-06-02 00:26:53] [INFO ] Decomposing Gal with order
[2025-06-02 00:26:54] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-02 00:27:08] [INFO ] Removed a total of 38880 redundant transitions.
[2025-06-02 00:27:08] [INFO ] Flatten gal took : 968 ms
[2025-06-02 00:27:08] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 42 ms.
[2025-06-02 00:27:08] [INFO ] Time to serialize gal into /tmp/CTLFireability2789807798140647747.gal : 101 ms
[2025-06-02 00:27:08] [INFO ] Time to serialize properties into /tmp/CTLFireability3956230077622190869.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability2789807798140647747.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3956230077622190869.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 962 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2025-06-02 00:27:39] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-02 00:27:54] [INFO ] Implicit Places using invariants in 14112 ms returned []
Implicit Place search using SMT only with invariants took 14113 ms to find 0 implicit places.
Running 22680 sub problems to find dead transitions.
[2025-06-02 00:27:54] [INFO ] Invariant cache hit.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/4293 variables, 810/810 constraints. Problems are: Problem set: 0 solved, 22680 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 4293/34263 variables, and 810 constraints, problems are : Problem set: 0 solved, 22680 unsolved in 30233 ms.
Refiners :[Positive P Invariants (semi-flows): 810/3483 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 22680/22680 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 22680 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/4293 variables, 810/810 constraints. Problems are: Problem set: 0 solved, 22680 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 4293/34263 variables, and 810 constraints, problems are : Problem set: 0 solved, 22680 unsolved in 30238 ms.
Refiners :[Positive P Invariants (semi-flows): 810/3483 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 0/22680 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 142154ms problems are : Problem set: 0 solved, 22680 unsolved
Search for dead transitions found 0 dead transitions in 142193ms
Finished structural reductions in SI_CTL mode , in 1 iterations and 157297 ms. Remains : 9153/9153 places, 25110/25110 transitions.
[2025-06-02 00:30:16] [INFO ] Flatten gal took : 678 ms
[2025-06-02 00:30:17] [INFO ] Flatten gal took : 713 ms
[2025-06-02 00:30:18] [INFO ] Input system was already deterministic with 25110 transitions.
[2025-06-02 00:30:19] [INFO ] Flatten gal took : 689 ms
[2025-06-02 00:30:20] [INFO ] Flatten gal took : 700 ms
[2025-06-02 00:30:20] [INFO ] Time to serialize gal into /tmp/CTLFireability13101864740385079166.gal : 105 ms
[2025-06-02 00:30:20] [INFO ] Time to serialize properties into /tmp/CTLFireability17433372288042637828.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability13101864740385079166.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17433372288042637828.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-02 00:30:51] [INFO ] Flatten gal took : 682 ms
[2025-06-02 00:30:51] [INFO ] Applying decomposition
[2025-06-02 00:30:52] [INFO ] Flatten gal took : 704 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph7394804269153868403.txt' '-o' '/tmp/graph7394804269153868403.bin' '-w' '/tmp/graph7394804269153868403.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph7394804269153868403.bin' '-l' '-1' '-v' '-w' '/tmp/graph7394804269153868403.weights' '-q' '0' '-e' '0.001'
[2025-06-02 00:30:53] [INFO ] Decomposing Gal with order
[2025-06-02 00:30:54] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-02 00:31:07] [INFO ] Removed a total of 38880 redundant transitions.
[2025-06-02 00:31:08] [INFO ] Flatten gal took : 948 ms
[2025-06-02 00:31:08] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 49 ms.
[2025-06-02 00:31:08] [INFO ] Time to serialize gal into /tmp/CTLFireability14031527206313963381.gal : 114 ms
[2025-06-02 00:31:08] [INFO ] Time to serialize properties into /tmp/CTLFireability11230958149985165516.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability14031527206313963381.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11230958149985165516.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 788 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2025-06-02 00:31:39] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-02 00:31:54] [INFO ] Implicit Places using invariants in 15178 ms returned []
Implicit Place search using SMT only with invariants took 15180 ms to find 0 implicit places.
Running 22680 sub problems to find dead transitions.
[2025-06-02 00:31:54] [INFO ] Invariant cache hit.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/4293 variables, 810/810 constraints. Problems are: Problem set: 0 solved, 22680 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 4293/34263 variables, and 810 constraints, problems are : Problem set: 0 solved, 22680 unsolved in 30243 ms.
Refiners :[Positive P Invariants (semi-flows): 810/3483 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 22680/22680 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 22680 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/4293 variables, 810/810 constraints. Problems are: Problem set: 0 solved, 22680 unsolved
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 4293/34263 variables, and 810 constraints, problems are : Problem set: 0 solved, 22680 unsolved in 30215 ms.
Refiners :[Positive P Invariants (semi-flows): 810/3483 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 0/22680 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 133230ms problems are : Problem set: 0 solved, 22680 unsolved
Search for dead transitions found 0 dead transitions in 133270ms
Finished structural reductions in LTL mode , in 1 iterations and 149268 ms. Remains : 9153/9153 places, 25110/25110 transitions.
[2025-06-02 00:34:08] [INFO ] Flatten gal took : 604 ms
[2025-06-02 00:34:09] [INFO ] Flatten gal took : 688 ms
[2025-06-02 00:34:10] [INFO ] Input system was already deterministic with 25110 transitions.
[2025-06-02 00:34:11] [INFO ] Flatten gal took : 677 ms
[2025-06-02 00:34:11] [INFO ] Flatten gal took : 703 ms
[2025-06-02 00:34:12] [INFO ] Time to serialize gal into /tmp/CTLFireability15862823902270970073.gal : 108 ms
[2025-06-02 00:34:12] [INFO ] Time to serialize properties into /tmp/CTLFireability2232789834856464799.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability15862823902270970073.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2232789834856464799.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-02 00:34:42] [INFO ] Flatten gal took : 735 ms
[2025-06-02 00:34:42] [INFO ] Applying decomposition
[2025-06-02 00:34:43] [INFO ] Flatten gal took : 720 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph180817021703099138.txt' '-o' '/tmp/graph180817021703099138.bin' '-w' '/tmp/graph180817021703099138.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph180817021703099138.bin' '-l' '-1' '-v' '-w' '/tmp/graph180817021703099138.weights' '-q' '0' '-e' '0.001'
[2025-06-02 00:34:45] [INFO ] Decomposing Gal with order
[2025-06-02 00:34:45] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-02 00:34:59] [INFO ] Removed a total of 38880 redundant transitions.
[2025-06-02 00:34:59] [INFO ] Flatten gal took : 966 ms
[2025-06-02 00:35:00] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 32 ms.
[2025-06-02 00:35:00] [INFO ] Time to serialize gal into /tmp/CTLFireability15281948851724998239.gal : 83 ms
[2025-06-02 00:35:00] [INFO ] Time to serialize properties into /tmp/CTLFireability17111562589894815499.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability15281948851724998239.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17111562589894815499.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 779 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2025-06-02 00:35:31] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-02 00:35:45] [INFO ] Implicit Places using invariants in 14579 ms returned []
Implicit Place search using SMT only with invariants took 14581 ms to find 0 implicit places.
Running 22680 sub problems to find dead transitions.
[2025-06-02 00:35:45] [INFO ] Invariant cache hit.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
Error getting values : (error "ParserException while parsing response: ((s2430 1.0)
(s2431 1.0)
(s2432 1.0)
(s2433 1.0)
(s2434 1.0)
(s2435 1.0)
(s2436 1.0)
(s2437 1.0)
(s2438 1.0)
(s2439 1.0)
(s2440 1.0)
(s2441 1.0)
(s2442 1.0)
(s2443 1.0)
(s2444 1.0)
(s2445 1.0)
(s2446 1.0)
(s2447 1.0)
(s2448 1.0)
(s2449 1.0)
(s2450 1.0)
(s2451 1.0)
(s2452 1.0)
(s2453 1.0)
(s2454 1.0)
(s2455 1.0)
(s2456 1.0)
(s2457 1.0)
(s2458 1.0)
(s2459 1.0)
(s2460 1.0)
(s2461 1.0)
(s2462 1.0)
(s2463 1.0)
(s2464 1.0)
(s2465 1.0)
(s2466 1.0)
(s2467 1.0)
(s2468 1.0)
(s2469 1.0)
(s2470 1.0)
(s2471 1.0)
(s2472 1.0)
(s2473 1.0)
(s2474 1.0)
(s2475 1.0)
(s2476 1.0)
(s2477 1.0)
(s2478 1.0)
(s2479 1.0)
(s2480 1.0)
(s2481 1.0)
(s2482 1.0)
(s2483 1.0)
(s2484 1.0)
(s2485 1.0)
(s2486 1.0)
(s2487 1.0)
(s2488 1.0)
(s2489 1.0)
(s2490 1.0)
(s2491 1.0)
(s2492 1.0)
(s2493 1.0)
(s2494 1.0)
(s2495 1.0)
(s2496 1.0)
(s2497 1.0)
(s2498 1.0)
(s2499 1.0)
(s2500 1.0)
(s2501 1.0)
(s2502 1.0)
(s2503 1.0)
(s2504 1.0)
(s2505 1.0)
(s2506 1.0)
(s2507 1.0)
(s2508 1.0)
(s2509 1.0)
(s2510 1.0)
(s2511 1.0)
(s2512 1.0)
(s2513 1.0)
(s2514 1.0)
(s2515 1.0)
(s2516 1.0)
(s2517 1.0)
(s2518 1.0)
(s2519 1.0)
(s2520 1.0)
(s2521 1.0)
(s2522 1.0)
(s2523 1.0)
(s2524 1.0)
(s2525 1.0)
(s2526 1.0)
(s2527 1.0)
(s2528 1.0)
(s2529 1.0)
(s2530 1.0)
(s2531 1.0)
(s2532 1.0)
(s2533 1.0)
(s2534 1.0)
(s2535 1.0)
(s2536 1.0)
(s2537 1.0)
(s2538 1.0)
(s2539 1.0)
(s2540 1.0)
(s2541 1.0)
(s2542 1.0)
(s2543 1.0)
(s2544 1.0)
(s2545 1.0)
(s2546 1.0)
(s2547 1.0)
(s2548 1.0)
(s2549 1.0)
(s2550 1.0)
(s2551 1.0)
(s2552 1.0)
(s2553 1.0)
(s2554 1.0)
(s2555 1.0)
(s2556 1.0)
(s2557 1.0)
(s2558 1.0)
(s2559 1.0)
(s2560 1.0)
(s2561 1.0)
(s2562 1.0)
(s2563 1.0)
(s2564 1.0)
(s2565 1.0)
(s2566 1.0)
(s2567 1.0)
(s2568 1.0)
(s2569 1.0)
(s2570 1.0)
(s2571 1.0)
(s2572 1.0)
(s2573 1.0)
(s2574 1.0)
(s2575 1.0)
(s2576 1.0)
(s2577 1.0)
(s2578 1.0)
(s2579 1.0)
(s2580 1.0)
(s2581 1.0)
(s2582 1.0)
(s2583 1.0)
(s2584 1.0)
(s2585 1.0)
(s2586 1.0)
(s2587 1.0)
(s2588 1.0)
(s2589 1.0)
(s2590 1.0)
(s2591 1.0)
(s2592 1.0)
(s2593 1.0)
(s2594 1.0)
(s2595 1.0)
(s2596 1.0)
(s2597 1.0)
(s2598 1.0)
(s2599 1.0)
(s2600 1.0)
(s2601 1.0)
(s2602 1.0)
(s2603 1.0)
(s2604 1.0)
(s2605 1.0)
(s2606 1.0)
(s2607 1.0)
(s2608 1.0)
(s2609 1.0)
(s2610 1.0)
(s2611 1.0)
(s2612 1.0)
(s2613 1.0)
(s2614 1.0)
(s2615 1.0)
(s2616 1.0)
(s2617 1.0)
(s2618 1.0)
(s2619 1.0)
(s2620 1.0)
(s2621 1.0)
(s2622 1.0)
(s2623 1.0)
(s2624 1.0)
(s2625 1.0)
(s2626 1.0)
(s2627 1.0)
(s2628 1.0)
(s2629 1.0)
(s2630 1.0)
(s2631 1.0)
(s2632 1.0)
(s2633 1.0)
(s2634 1.0)
(s2635 1.0)
(s2636 1.0)
(s2637 1.0)
(s2638 1.0)
(s2639 1.0)
(s2640 1.0)
(s2641 1.0)
(s2642 1.0)
(s2643 1.0)
(s2644 1.0)
(s2645 1.0)
(s2646 1.0)
(s2647 1.0)
(s2648 1.0)
(s2649 1.0)
(s2650 1.0)
(s2651 1.0)
(s2652 1.0)
(s2653 1.0)
(s2654 1.0)
(s2655 1.0)
(s2656 1.0)
(s2657 1.0)
(s2658 1.0)
(s2659 1.0)
(s2660 1.0)
(s2661 1.0)
(s2662 1.0)timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 0 (INCLUDED_ONLY) 0/4293 variables, 810/810 constraints. Problems are: Problem set: 0 solved, 22680 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 4293/34263 variables, and 810 constraints, problems are : Problem set: 0 solved, 22680 unsolved in 30248 ms.
Refiners :[Positive P Invariants (semi-flows): 810/3483 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 22680/22680 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 22680 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/4293 variables, 810/810 constraints. Problems are: Problem set: 0 solved, 22680 unsolved
(s5978 1timeout
^^^^^^^^
(error "Invalid token: 1timeout")
Error getting values : (error "ParserException while parsing response: ((s2430 1)
(s2431 1)
(s2432 1)
(s2433 1)
(s2434 1)
(s2435 1)
(s2436 1)
(s2437 1)
(s2438 1)
(s2439 1)
(s2440 1)
(s2441 1)
(s2442 1)
(s2443 1)
(s2444 1)
(s2445 1)
(s2446 1)
(s2447 1)
(s2448 1)
(s2449 1)
(s2450 1)
(s2451 1)
(s2452 1)
(s2453 1)
(s2454 1)
(s2455 1)
(s2456 1)
(s2457 1)
(s2458 1)
(s2459 1)
(s2460 1)
(s2461 1)
(s2462 1)
(s2463 1)
(s2464 1)
(s2465 1)
(s2466 1)
(s2467 1)
(s2468 1)
(s2469 1)
(s2470 1)
(s2471 1)
(s2472 1)
(s2473 1)
(s2474 1)
(s2475 1)
(s2476 1)
(s2477 1)
(s2478 1)
(s2479 1)
(s2480 1)
(s2481 1)
(s2482 1)
(s2483 1)
(s2484 1)
(s2485 1)
(s2486 1)
(s2487 1)
(s2488 1)
(s2489 1)
(s2490 1)
(s2491 1)
(s2492 1)
(s2493 1)
(s2494 1)
(s2495 1)
(s2496 1)
(s2497 1)
(s2498 1)
(s2499 1)
(s2500 1)
(s2501 1)
(s2502 1)
(s2503 1)
(s2504 1)
(s2505 1)
(s2506 1)
(s2507 1)
(s2508 1)
(s2509 1)
(s2510 1)
(s2511 1)
(s2512 1)
(s2513 1)
(s2514 1)
(s2515 1)
(s2516 1)
(s2517 1)
(s2518 1)
(s2519 1)
(s2520 1)
(s2521 1)
(s2522 1)
(s2523 1)
(s2524 1)
(s2525 1)
(s2526 1)
(s2527 1)
(s2528 1)
(s2529 1)
(s2530 1)
(s2531 1)
(s2532 1)
(s2533 1)
(s2534 1)
(s2535 1)
(s2536 1)
(s2537 1)
(s2538 1)
(s2539 1)
(s2540 1)
(s2541 1)
(s2542 1)
(s2543 1)
(s2544 1)
(s2545 1)
(s2546 1)
(s2547 1)
(s2548 1)
(s2549 1)
(s2550 1)
(s2551 1)
(s2552 1)
(s2553 1)
(s2554 1)
(s2555 1)
(s2556 1)
(s2557 1)
(s2558 1)
(s2559 1)
(s2560 1)
(s2561 1)
(s2562 1)
(s2563 1)
(s2564 1)
(s2565 1)
(s2566 1)
(s2567 1)
(s2568 1)
(s2569 1)
(s2570 1)
(s2571 1)
(s2572 1)
(s2573 1)
(s2574 1)
(s2575 1)
(s2576 1)
(s2577 1)
(s2578 1)
(s2579 1)
(s2580 1)
(s2581 1)
(s2582 1)
(s2583 1)
(s2584 1)
(s2585 1)
(s2586 1)
(s2587 1)
(s2588 1)
(s2589 1)
(s2590 1)
(s2591 1)
(s2592 1)
(s2593 1)
(s2594 1)
(s2595 1)
(s2596 1)
(s2597 1)
(s2598 1)
(s2599 1)
(s2600 1)
(s2601 1)
(s2602 1)
(s2603 1)
(s2604 1)
(s2605 1)
(s2606 1)
(s2607 1)
(s2608 1)
(s2609 1)
(s2610 1)
(s2611 1)
(s2612 1)
(s2613 1)
(s2614 1)
(s2615 1)
(s2616 1)
(s2617 1)
(s2618 1)
(s2619 1)
(s2620 1)
(s2621 1)
(s2622 1)
(s2623 1)
(s2624 1)
(s2625 1)
(s2626 1)
(s2627 1)
(s2628 1)
(s2629 1)
(s2630 1)
(s2631 1)
(s2632 1)
(s2633 1)
(s2634 1)
(s2635 1)
(s2636 1)
(s2637 1)
(s2638 1)
(s2639 1)
(s2640 1)
(s2641 1)
(s2642 1)
(s2643 1)
(s2644 1)
(s2645 1)
(s2646 1)
(s2647 1)
(s2648 1)
(s2649 1)
(s2650 1)
(s2651 1)
(s2652 1)
(s2653 1)
(s2654 1)
(s2655 1)
(s2656 1)
(s2657 1)
(s2658 1)
(s2659 1)
(s2660 1)
(s2661 1)
(s2662 1)
(s2663 1)
(s2664 1)
(s2665 1)
(s2666 1)
(s2667 1)
(s2668 1)
(s2669 1)
(s2670 1)
(s2671 1)
(s2672 1)
(s2673 1)
(s2674 1)
(s2675 1)
(s2676 1)
(s2677 1)
(s2678 1)
(s2679 1)
(s2680 1)
(s2681 1)
(s2682 1)
(s2683 1)
(s2684 1)
(s2685 1)
(s2686 1)
(s2687 1)
(s2688 1)
(s2689 1)
(s2690 1)
(s2691 1)
(s2692 1)
(s2693 1)
(s2694 1)
(s2695 1)
(s2696 1)
(s2697 1)
(s2698 1)
(s2699 1)
(s2700 1)
(s2701 1)
(s2702 1)
(s2703 1)
(s2704 1)
(s2705 1)
(s2706 1)
(s2707 1)
(s2708 1)
(s2709 1)
(s2710 1)
(s2711 1)
(s2712 1)
(s2713 1)
(s2714 1)
(s2715 1)
(s2716 1)
(s2717 1)
(s2718 1)
(s2719 1)
(s2720 1)
(s2721 1)
(s2722 1)
(s2723 1)
(s2724 1)
(s2725 1)
(s2726 1)
(s2727 1)
(s2728 1)
(s2729 1)
(s2730 1)
(s2731 1)
(s2732 1)
(s2733 1)
(s2734 1)
(s2735 1)
(s2736 1)
(s2737 1)
(s2738 1)
(s2739 1)
(s2740 1)
(s2741 1)
(s2742 1)
(s2743 1)
(s2744 1)
(s2745 1)
(s2746 1)
(s2747 1)
(s2748 1)
(s2749 1)
(s2750 1)
(s2751 1)
(s2752 1)
(s2753 1)
(s2754 1)
(s2755 1)
(s2756 1)
(s2757 1)
(s2758 1)
(s2759 1)
(s2760 1)
(s2761 1)
(s2762 1)
(s2763 1)
(s2764 1)
(s2765 1)
(s2766 1)
(s2767 1)
(s2768 1)
(s2769 1)
(s2770 1)
(s2771 1)
(s2772 1)
(s2773 1)
(s2774 1)
(s2775 1)
(s2776 1)
(s2777 1)
(s2778 1)
(s2779 1)
(s2780 1)
(s2781 1)
(s2782 1)
(s2783 1)
(s2784 1)
(s2785 1)
(s2786 1)
(s2787 1)
(s2788 1)
(s2789 1)
(s2790 1)
(s2791 1)
(s2792 1)
(s2793 1)
(s2794 1)
(s2795 1)
(s2796 1)
(s2797 1)
(s2798 1)
(s2799 1)
(s2800 1)
(s2801 1)
(s2802 1)
(s2803 1)
(s2804 1)
(s2805 1)
(s2806 1)
(s2807 1)
(s2808 1)
(s2809 1)
(s2810 1)
(s2811 1)
(s2812 1)
(s2813 1)
(s2814 1)
(s2815 1)
(s2816 1)
(s2817 1)
(s2818 1)
(s2819 1)
(s2820 1)
(s2821 1)
(s2822 1)
(s2823 1)
(s2824 1)
(s2825 1)
(s2826 1)
(s2827 1)
(s2828 1)
(s2829 1)
(s2830 1)
(s2831 1)
(s2832 1)
(s2833 1)
(s2834 1)
(s2835 1)
(s2836 1)
(s2837 1)
(s2838 1)
(s2839 1)
(s2840 1)
(s2841 1)
(s2842 1)
(s2843 1)
(s2844 1)
(s2845 1)
(s2846 1)
(s2847 1)
(s2848 1)
(s2849 1)
(s2850 1)
(s2851 1)
(s2852 1)
(s2853 1)
(s2854 1)
(s2855 1)
(s2856 1)
(s2857 1)
(s2858 1)
(s2859 1)
(s2860 1)
(s2861 1)
(s2862 1)
(s2863 1)
(s2864 1)
(s2865 1)
(s2866 1)
(s2867 1)
(s2868 1)
(s2869 1)
(s2870 1)
(s2871 1)
(s2872 1)
(s2873 1)
(s2874 1)
(s2875 1)
(s2876 1)
(s2877 1)
(s2878 1)
(s2879 1)
(s2880 1)
(s2881 1)
(s2882 1)
(s2883 1)
(s2884 1)
(s2885 1)
(s2886 1)
(s2887 1)
(s2888 1)
(s2889 1)
(s2890 1)
(s2891 1)
(s2892 1)
(s2893 1)
(s2894 1)
(s2895 1)
(s2896 1)
(s2897 1)
(s2898 1)
(s2899 1)
(s2900 1)
(s2901 1)
(s2902 1)
(s2903 1)
(s2904 1)
(s2905 1)
(s2906 1)
(s2907 1)
(s2908 1)
(s2909 1)
(s2910 1)
(s2911 1)
(s2912 1)
(s2913 1)
(s2914 1)
(s2915 1)
(s2916 1)
(s2917 1)
(s2918 1)
(s2919 1)
(s2920 1)
(s2921 1)
(s2922 1)
(s2923 1)
(s2924 1)
(s2925 1)
(s2926 1)
(s2927 1)
(s2928 1)
(s2929 1)
(s2930 1)
(s2931 1)
(s2932 1)
(s2933 1)
(s2934 1)
(s2935 1)
(s2936 1)
(s2937 1)
(s2938 1)
(s2939 1)
(s2940 1)
(s2941 1)
(s2942 1)
(s2943 1)
(s2944 1)
(s2945 1)
(s2946 1)
(s2947 1)
(s2948 1)
(s2949 1)
(s2950 1)
(s2951 1)
(s2952 1)
(s2953 1)
(s2954 1)
(s2955 1)
(s2956 1)
(s2957 1)
(s2958 1)
(s2959 1)
(s2960 1)
(s2961 1)
(s2962 1)
(s2963 1)
(s2964 1)
(s2965 1)
(s2966 1)
(s2967 1)
(s2968 1)
(s2969 1)
(s2970 1)
(s2971 1)
(s2972 1)
(s2973 1)
(s2974 1)
(s2975 1)
(s2976 1)
(s2977 1)
(s2978 1)
(s2979 1)
(s2980 1)
(s2981 1)
(s2982 1)
(s2983 1)
(s2984 1)
(s2985 1)
(s2986 1)
(s2987 1)
(s2988 1)
(s2989 1)
(s2990 1)
(s2991 1)
(s2992 1)
(s2993 1)
(s2994 1)
(s2995 1)
(s2996 1)
(s2997 0)
(s2998 0)
(s2999 0)
(s3000 0)
(s3001 0)
(s3002 0)
(s3003 0)
(s3004 0)
(s3005 0)
(s3006 0)
(s3007 0)
(s3008 0)
(s3009 0)
(s3010 0)
(s3011 0)
(s3012 0)
(s3013 0)
(s3014 0)
(s3015 0)
(s3016 0)
(s3017 0)
(s3018 0)
(s3019 0)
(s3020 0)
(s3021 0)
(s3022 0)
(s3023 0)
(s3024 1)
(s3025 1)
(s3026 1)
(s3027 1)
(s3028 1)
(s3029 1)
(s3030 1)
(s3031 1)
(s3032 1)
(s3033 1)
(s3034 1)
(s3035 1)
(s3036 1)
(s3037 1)
(s3038 1)
(s3039 1)
(s3040 1)
(s3041 1)
(s3042 1)
(s3043 1)
(s3044 1)
(s3045 1)
(s3046 1)
(s3047 1)
(s3048 1)
(s3049 1)
(s3050 1)
(s3051 1)
(s3052 1)
(s3053 1)
(s3054 1)
(s3055 1)
(s3056 1)
(s3057 1)
(s3058 1)
(s3059 1)
(s3060 1)
(s3061 1)
(s3062 1)
(s3063 1)
(s3064 1)
(s3065 1)
(s3066 1)
(s3067 1)
(s3068 1)
(s3069 1)
(s3070 1)
(s3071 1)
(s3072 1)
(s3073 1)
(s3074 1)
(s3075 1)
(s3076 1)
(s3077 1)
(s3078 1)
(s3079 1)
(s3080 1)
(s3081 1)
(s3082 1)
(s3083 1)
(s3084 1)
(s3085 1)
(s3086 1)
(s3087 1)
(s3088 1)
(s3089 1)
(s3090 1)
(s3091 1)
(s3092 1)
(s3093 1)
(s3094 1)
(s3095 1)
(s3096 1)
(s3097 1)
(s3098 1)
(s3099 1)
(s3100 1)
(s3101 1)
(s3102 1)
(s3103 1)
(s3104 1)
(s3105 0)
(s3106 0)
(s3107 0)
(s3108 0)
(s3109 0)
(s3110 0)
(s3111 0)
(s3112 0)
(s3113 0)
(s3114 0)
(s3115 0)
(s3116 0)
(s3117 0)
(s3118 0)
(s3119 0)
(s3120 0)
(s3121 0)
(s3122 0)
(s3123 0)
(s3124 0)
(s3125 0)
(s3126 0)
(s3127 0)
(s3128 0)
(s3129 0)
(s3130 0)
(s3131 0)
(s3132 1)
(s3133 1)
(s3134 1)
(s3135 1)
(s3136 1)
(s3137 1)
(s3138 1)
(s3139 1)
(s3140 1)
(s3141 1)
(s3142 1)
(s3143 1)
(s3144 1)
(s3145 1)
(s3146 1)
(s3147 1)
(s3148 1)
(s3149 1)
(s3150 1)
(s3151 1)
(s3152 1)
(s3153 1)
(s3154 1)
(s3155 1)
(s3156 1)
(s3157 1)
(s3158 1)
(s3159 1)
(s3160 1)
(s3161 1)
(s3162 1)
(s3163 1)
(s3164 1)
(s3165 1)
(s3166 1)
(s3167 1)
(s3168 1)
(s3169 1)
(s3170 1)
(s3171 1)
(s3172 1)
(s3173 1)
(s3174 1)
(s3175 1)
(s3176 1)
(s3177 1)
(s3178 1)
(s3179 1)
(s3180 1)
(s3181 1)
(s3182 1)
(s3183 1)
(s3184 1)
(s3185 1)
(s3186 1)
(s3187 1)
(s3188 1)
(s3189 1)
(s3190 1)
(s3191 1)
(s3192 1)
(s3193 1)
(s3194 1)
(s3195 1)
(s3196 1)
(s3197 1)
(s3198 1)
(s3199 1)
(s3200 1)
(s3201 1)
(s3202 1)
(s3203 1)
(s3204 1)
(s3205 1)
(s3206 1)
(s3207 1)
(s3208 1)
(s3209 1)
(s3210 1)
(s3211 1)
(s3212 1)
(s3213 0)
(s3214 0)
(s3215 0)
(s3216 0)
(s3217 0)
(s3218 0)
(s3219 0)
(s3220 0)
(s3221 0)
(s3222 0)
(s3223 0)
(s3224 0)
(s3225 0)
(s3226 0)
(s3227 0)
(s3228 0)
(s3229 0)
(s3230 0)
(s3231 0)
(s3232 0)
(s3233 0)
(s3234 0)
(s3235 0)
(s3236 0)
(s3237 0)
(s3238 0)
(s3239 0)
(s3240 1)
(s3241 1)
(s3242 1)
(s3243 1)
(s3244 1)
(s3245 1)
(s3246 1)
(s3247 1)
(s3248 1)
(s3249 1)
(s3250 1)
(s3251 1)
(s3252 1)
(s3253 1)
(s3254 1)
(s3255 1)
(s3256 1)
(s3257 1)
(s3258 1)
(s3259 1)
(s3260 1)
(s3261 1)
(s3262 1)
(s3263 1)
(s3264 1)
(s3265 1)
(s3266 1)
(s3267 1)
(s3268 1)
(s3269 1)
(s3270 1)
(s3271 1)
(s3272 1)
(s3273 1)
(s3274 1)
(s3275 1)
(s3276 1)
(s3277 1)
(s3278 1)
(s3279 1)
(s3280 1)
(s3281 1)
(s3282 1)
(s3283 1)
(s3284 1)
(s3285 1)
(s3286 1)
(s3287 1)
(s3288 1)
(s3289 1)
(s3290 1)
(s3291 1)
(s3292 1)
(s3293 1)
(s3294 1)
(s3295 1)
(s3296 1)
(s3297 1)
(s3298 1)
(s3299 1)
(s3300 1)
(s3301 1)
(s3302 1)
(s3303 1)
(s3304 1)
(s3305 1)
(s3306 1)
(s3307 1)
(s3308 1)
(s3309 1)
(s3310 1)
(s3311 1)
(s3312 1)
(s3313 1)
(s3314 1)
(s3315 1)
(s3316 1)
(s3317 1)
(s3318 1)
(s3319 1)
(s3320 1)
(s3321 0)
(s3322 0)
(s3323 0)
(s3324 0)
(s3325 0)
(s3326 0)
(s3327 0)
(s3328 0)
(s3329 0)
(s3330 1)
(s3331 1)
(s3332 1)
(s3333 1)
(s3334 1)
(s3335 1)
(s3336 1)
(s3337 1)
(s3338 1)
(s3339 1)
(s3340 1)
(s3341 1)
(s3342 1)
(s3343 1)
(s3344 1)
(s3345 1)
(s3346 1)
(s3347 1)
(s3348 1)
(s3349 1)
(s3350 1)
(s3351 1)
(s3352 1)
(s3353 1)
(s3354 1)
(s3355 1)
(s3356 1)
(s3357 0)
(s3358 0)
(s3359 0)
(s3360 0)
(s3361 0)
(s3362 0)
(s3363 0)
(s3364 0)
(s3365 0)
(s3366 1)
(s3367 1)
(s3368 1)
(s3369 1)
(s3370 1)
(s3371 1)
(s3372 1)
(s3373 1)
(s3374 1)
(s3375 1)
(s3376 1)
(s3377 1)
(s3378 1)
(s3379 1)
(s3380 1)
(s3381 1)
(s3382 1)
(s3383 1)
(s3384 1)
(s3385 1)
(s3386 1)
(s3387 1)
(s3388 1)
(s3389 1)
(s3390 1)
(s3391 1)
(s3392 1)
(s3393 0)
(s3394 0)
(s3395 0)
(s3396 0)
(s3397 0)
(s3398 0)
(s3399 0)
(s3400 0)
(s3401 0)
(s3402 1)
(s3403 1)
(s3404 1)
(s3405 1)
(s3406 1)
(s3407 1)
(s3408 1)
(s3409 1)
(s3410 1)
(s3411 1)
(s3412 1)
(s3413 1)
(s3414 1)
(s3415 1)
(s3416 1)
(s3417 1)
(s3418 1)
(s3419 1)
(s3420 1)
(s3421 1)
(s3422 1)
(s3423 1)
(s3424 1)
(s3425 1)
(s3426 1)
(s3427 1)
(s3428 1)
(s3429 0)
(s3430 0)
(s3431 0)
(s3432 0)
(s3433 0)
(s3434 0)
(s3435 0)
(s3436 0)
(s3437 0)
(s3438 1)
(s3439 1)
(s3440 1)
(s3441 1)
(s3442 1)
(s3443 1)
(s3444 1)
(s3445 1)
(s3446 1)
(s3447 1)
(s3448 1)
(s3449 1)
(s3450 1)
(s3451 1)
(s3452 1)
(s3453 1)
(s3454 1)
(s3455 1)
(s3456 1)
(s3457 1)
(s3458 1)
(s3459 1)
(s3460 1)
(s3461 1)
(s3462 1)
(s3463 1)
(s3464 1)
(s3465 0)
(s3466 0)
(s3467 0)
(s3468 0)
(s3469 0)
(s3470 0)
(s3471 0)
(s3472 0)
(s3473 0)
(s3474 1)
(s3475 1)
(s3476 1)
(s3477 1)
(s3478 1)
(s3479 1)
(s3480 1)
(s3481 1)
(s3482 1)
(s3483 1)
(s3484 1)
(s3485 1)
(s3486 1)
(s3487 1)
(s3488 1)
(s3489 1)
(s3490 1)
(s3491 1)
(s3492 1)
(s3493 1)
(s3494 1)
(s3495 1)
(s3496 1)
(s3497 1)
(s3498 1)
(s3499 1)
(s3500 1)
(s3501 0)
(s3502 0)
(s3503 0)
(s3504 0)
(s3505 0)
(s3506 0)
(s3507 0)
(s3508 0)
(s3509 0)
(s3510 1)
(s3511 1)
(s3512 1)
(s3513 1)
(s3514 1)
(s3515 1)
(s3516 1)
(s3517 1)
(s3518 1)
(s3519 1)
(s3520 1)
(s3521 1)
(s3522 1)
(s3523 1)
(s3524 1)
(s3525 1)
(s3526 1)
(s3527 1)
(s3528 1)
(s3529 1)
(s3530 1)
(s3531 1)
(s3532 1)
(s3533 1)
(s3534 1)
(s3535 1)
(s3536 1)
(s3537 0)
(s3538 0)
(s3539 0)
(s3540 0)
(s3541 0)
(s3542 0)
(s3543 0)
(s3544 0)
(s3545 0)
(s3546 1)
(s3547 1)
(s3548 1)
(s3549 1)
(s3550 1)
(s3551 1)
(s3552 1)
(s3553 1)
(s3554 1)
(s3555 1)
(s3556 1)
(s3557 1)
(s3558 1)
(s3559 1)
(s3560 1)
(s3561 1)
(s3562 1)
(s3563 1)
(s3564 1)
(s3565 1)
(s3566 1)
(s3567 1)
(s3568 1)
(s3569 1)
(s3570 1)
(s3571 1)
(s3572 1)
(s3573 0)
(s3574 0)
(s3575 0)
(s3576 0)
(s3577 0)
(s3578 0)
(s3579 0)
(s3580 0)
(s3581 0)
(s3582 1)
(s3583 1)
(s3584 1)
(s3585 1)
(s3586 1)
(s3587 1)
(s3588 1)
(s3589 1)
(s3590 1)
(s3591 1)
(s3592 1)
(s3593 1)
(s3594 1)
(s3595 1)
(s3596 1)
(s3597 1)
(s3598 1)
(s3599 1)
(s3600 1)
(s3601 1)
(s3602 1)
(s3603 1)
(s3604 1)
(s3605 1)
(s3606 1)
(s3607 1)
(s3608 1)
(s3609 0)
(s3610 0)
(s3611 0)
(s3612 0)
(s3613 0)
(s3614 0)
(s3615 0)
(s3616 0)
(s3617 0)
(s3618 1)
(s3619 1)
(s3620 1)
(s3621 1)
(s3622 1)
(s3623 1)
(s3624 1)
(s3625 1)
(s3626 1)
(s3627 1)
(s3628 1)
(s3629 1)
(s3630 1)
(s3631 1)
(s3632 1)
(s3633 1)
(s3634 1)
(s3635 1)
(s3636 1)
(s3637 1)
(s3638 1)
(s3639 1)
(s3640 1)
(s3641 1)
(s3642 1)
(s3643 1)
(s3644 1)
(s3645 0)
(s3646 0)
(s3647 0)
(s3648 1)
(s3649 1)
(s3650 1)
(s3651 1)
(s3652 1)
(s3653 1)
(s3654 1)
(s3655 1)
(s3656 1)
(s3657 0)
(s3658 0)
(s3659 0)
(s3660 1)
(s3661 1)
(s3662 1)
(s3663 1)
(s3664 1)
(s3665 1)
(s3666 1)
(s3667 1)
(s3668 1)
(s3669 0)
(s3670 0)
(s3671 0)
(s3672 1)
(s3673 1)
(s3674 1)
(s3675 1)
(s3676 1)
(s3677 1)
(s3678 1)
(s3679 1)
(s3680 1)
(s3681 0)
(s3682 0)
(s3683 0)
(s3684 1)
(s3685 1)
(s3686 1)
(s3687 1)
(s3688 1)
(s3689 1)
(s3690 1)
(s3691 1)
(s3692 1)
(s3693 0)
(s3694 0)
(s3695 0)
(s3696 1)
(s3697 1)
(s3698 1)
(s3699 1)
(s3700 1)
(s3701 1)
(s3702 1)
(s3703 1)
(s3704 1)
(s3705 0)
(s3706 0)
(s3707 0)
(s3708 1)
(s3709 1)
(s3710 1)
(s3711 1)
(s3712 1)
(s3713 1)
(s3714 1)
(s3715 1)
(s3716 1)
(s3717 0)
(s3718 0)
(s3719 0)
(s3720 1)
(s3721 1)
(s3722 1)
(s3723 1)
(s3724 1)
(s3725 1)
(s3726 1)
(s3727 1)
(s3728 1)
(s3729 0)
(s3730 0)
(s3731 0)
(s3732 1)
(s3733 1)
(s3734 1)
(s3735 1)
(s3736 1)
(s3737 1)
(s3738 1)
(s3739 1)
(s3740 1)
(s3741 0)
(s3742 0)
(s3743 0)
(s3744 1)
(s3745 1)
(s3746 1)
(s3747 1)
(s3748 1)
(s3749 1)
(s3750 1)
(s3751 1)
(s3752 1)
(s3753 0)
(s3754 0)
(s3755 0)
(s3756 1)
(s3757 1)
(s3758 1)
(s3759 1)
(s3760 1)
(s3761 1)
(s3762 1)
(s3763 1)
(s3764 1)
(s3765 0)
(s3766 0)
(s3767 0)
(s3768 1)
(s3769 1)
(s3770 1)
(s3771 1)
(s3772 1)
(s3773 1)
(s3774 1)
(s3775 1)
(s3776 1)
(s3777 0)
(s3778 0)
(s3779 0)
(s3780 1)
(s3781 1)
(s3782 1)
(s3783 1)
(s3784 1)
(s3785 1)
(s3786 1)
(s3787 1)
(s3788 1)
(s3789 0)
(s3790 0)
(s3791 0)
(s3792 1)
(s3793 1)
(s3794 1)
(s3795 1)
(s3796 1)
(s3797 1)
(s3798 1)
(s3799 1)
(s3800 1)
(s3801 0)
(s3802 0)
(s3803 0)
(s3804 1)
(s3805 1)
(s3806 1)
(s3807 1)
(s3808 1)
(s3809 1)
(s3810 1)
(s3811 1)
(s3812 1)
(s3813 0)
(s3814 0)
(s3815 0)
(s3816 1)
(s3817 1)
(s3818 1)
(s3819 1)
(s3820 1)
(s3821 1)
(s3822 1)
(s3823 1)
(s3824 1)
(s3825 0)
(s3826 0)
(s3827 0)
(s3828 1)
(s3829 1)
(s3830 1)
(s3831 1)
(s3832 1)
(s3833 1)
(s3834 1)
(s3835 1)
(s3836 1)
(s3837 0)
(s3838 0)
(s3839 0)
(s3840 1)
(s3841 1)
(s3842 1)
(s3843 1)
(s3844 1)
(s3845 1)
(s3846 1)
(s3847 1)
(s3848 1)
(s3849 0)
(s3850 0)
(s3851 0)
(s3852 1)
(s3853 1)
(s3854 1)
(s3855 1)
(s3856 1)
(s3857 1)
(s3858 1)
(s3859 1)
(s3860 1)
(s3861 0)
(s3862 0)
(s3863 0)
(s3864 1)
(s3865 1)
(s3866 1)
(s3867 1)
(s3868 1)
(s3869 1)
(s3870 1)
(s3871 1)
(s3872 1)
(s3873 0)
(s3874 0)
(s3875 0)
(s3876 1)
(s3877 1)
(s3878 1)
(s3879 1)
(s3880 1)
(s3881 1)
(s3882 1)
(s3883 1)
(s3884 1)
(s3885 0)
(s3886 0)
(s3887 0)
(s3888 1)
(s3889 1)
(s3890 1)
(s3891 1)
(s3892 1)
(s3893 1)
(s3894 1)
(s3895 1)
(s3896 1)
(s3897 0)
(s3898 0)
(s3899 0)
(s3900 1)
(s3901 1)
(s3902 1)
(s3903 1)
(s3904 1)
(s3905 1)
(s3906 1)
(s3907 1)
(s3908 1)
(s3909 0)
(s3910 0)
(s3911 0)
(s3912 1)
(s3913 1)
(s3914 1)
(s3915 1)
(s3916 1)
(s3917 1)
(s3918 1)
(s3919 1)
(s3920 1)
(s3921 0)
(s3922 0)
(s3923 0)
(s3924 1)
(s3925 1)
(s3926 1)
(s3927 1)
(s3928 1)
(s3929 1)
(s3930 1)
(s3931 1)
(s3932 1)
(s3933 0)
(s3934 0)
(s3935 0)
(s3936 1)
(s3937 1)
(s3938 1)
(s3939 1)
(s3940 1)
(s3941 1)
(s3942 1)
(s3943 1)
(s3944 1)
(s3945 0)
(s3946 0)
(s3947 0)
(s3948 1)
(s3949 1)
(s3950 1)
(s3951 1)
(s3952 1)
(s3953 1)
(s3954 1)
(s3955 1)
(s3956 1)
(s3957 0)
(s3958 0)
(s3959 0)
(s3960 1)
(s3961 1)
(s3962 1)
(s3963 1)
(s3964 1)
(s3965 1)
(s3966 1)
(s3967 1)
(s3968 1)
(s3969 0)
(s3970 1)
(s3971 1)
(s3972 1)
(s3973 0)
(s3974 1)
(s3975 1)
(s3976 1)
(s3977 0)
(s3978 1)
(s3979 1)
(s3980 1)
(s3981 0)
(s3982 1)
(s3983 1)
(s3984 1)
(s3985 0)
(s3986 1)
(s3987 1)
(s3988 1)
(s3989 0)
(s3990 1)
(s3991 1)
(s3992 1)
(s3993 0)
(s3994 1)
(s3995 1)
(s3996 1)
(s3997 0)
(s3998 1)
(s3999 1)
(s4000 1)
(s4001 0)
(s4002 1)
(s4003 1)
(s4004 1)
(s4005 0)
(s4006 1)
(s4007 1)
(s4008 1)
(s4009 0)
(s4010 1)
(s4011 1)
(s4012 1)
(s4013 0)
(s4014 1)
(s4015 1)
(s4016 1)
(s4017 0)
(s4018 1)
(s4019 1)
(s4020 1)
(s4021 0)
(s4022 1)
(s4023 1)
(s4024 1)
(s4025 0)
(s4026 1)
(s4027 1)
(s4028 1)
(s4029 0)
(s4030 1)
(s4031 1)
(s4032 1)
(s4033 0)
(s4034 1)
(s4035 1)
(s4036 1)
(s4037 0)
(s4038 1)
(s4039 1)
(s4040 1)
(s4041 0)
(s4042 1)
(s4043 1)
(s4044 1)
(s4045 0)
(s4046 1)
(s4047 1)
(s4048 1)
(s4049 0)
(s4050 1)
(s4051 1)
(s4052 1)
(s4053 0)
(s4054 1)
(s4055 1)
(s4056 1)
(s4057 0)
(s4058 1)
(s4059 1)
(s4060 1)
(s4061 0)
(s4062 1)
(s4063 1)
(s4064 1)
(s4065 0)
(s4066 1)
(s4067 1)
(s4068 1)
(s4069 0)
(s4070 1)
(s4071 1)
(s4072 1)
(s4073 0)
(s4074 1)
(s4075 1)
(s4076 1)
(s4077 0)
(s4078 1)
(s4079 1)
(s4080 1)
(s4081 0)
(s4082 1)
(s4083 1)
(s4084 1)
(s4085 0)
(s4086 1)
(s4087 1)
(s4088 1)
(s4089 0)
(s4090 1)
(s4091 1)
(s4092 1)
(s4093 0)
(s4094 1)
(s4095 1)
(s4096 1)
(s4097 0)
(s4098 1)
(s4099 1)
(s4100 1)
(s4101 0)
(s4102 1)
(s4103 1)
(s4104 1)
(s4105 0)
(s4106 1)
(s4107 1)
(s4108 1)
(s4109 0)
(s4110 1)
(s4111 1)
(s4112 1)
(s4113 0)
(s4114 1)
(s4115 1)
(s4116 1)
(s4117 0)
(s4118 1)
(s4119 1)
(s4120 1)
(s4121 0)
(s4122 1)
(s4123 1)
(s4124 1)
(s4125 0)
(s4126 1)
(s4127 1)
(s4128 1)
(s4129 0)
(s4130 1)
(s4131 1)
(s4132 1)
(s4133 0)
(s4134 1)
(s4135 1)
(s4136 1)
(s4137 0)
(s4138 1)
(s4139 1)
(s4140 1)
(s4141 0)
(s4142 1)
(s4143 1)
(s4144 1)
(s4145 0)
(s4146 1)
(s4147 1)
(s4148 1)
(s4149 0)
(s4150 1)
(s4151 1)
(s4152 1)
(s4153 0)
(s4154 1)
(s4155 1)
(s4156 1)
(s4157 0)
(s4158 1)
(s4159 1)
(s4160 1)
(s4161 0)
(s4162 1)
(s4163 1)
(s4164 1)
(s4165 0)
(s4166 1)
(s4167 1)
(s4168 1)
(s4169 0)
(s4170 1)
(s4171 1)
(s4172 1)
(s4173 0)
(s4174 1)
(s4175 1)
(s4176 1)
(s4177 0)
(s4178 1)
(s4179 1)
(s4180 1)
(s4181 0)
(s4182 1)
(s4183 1)
(s4184 1)
(s4185 0)
(s4186 1)
(s4187 1)
(s4188 1)
(s4189 0)
(s4190 1)
(s4191 1)
(s4192 1)
(s4193 0)
(s4194 1)
(s4195 1)
(s4196 1)
(s4197 0)
(s4198 1)
(s4199 1)
(s4200 1)
(s4201 0)
(s4202 1)
(s4203 1)
(s4204 1)
(s4205 0)
(s4206 1)
(s4207 1)
(s4208 1)
(s4209 0)
(s4210 1)
(s4211 1)
(s4212 1)
(s4213 0)
(s4214 1)
(s4215 1)
(s4216 1)
(s4217 0)
(s4218 1)
(s4219 1)
(s4220 1)
(s4221 0)
(s4222 1)
(s4223 1)
(s4224 1)
(s4225 0)
(s4226 1)
(s4227 1)
(s4228 1)
(s4229 0)
(s4230 1)
(s4231 1)
(s4232 1)
(s4233 0)
(s4234 1)
(s4235 1)
(s4236 1)
(s4237 0)
(s4238 1)
(s4239 1)
(s4240 1)
(s4241 0)
(s4242 1)
(s4243 1)
(s4244 1)
(s4245 0)
(s4246 1)
(s4247 1)
(s4248 1)
(s4249 0)
(s4250 1)
(s4251 1)
(s4252 1)
(s4253 0)
(s4254 1)
(s4255 1)
(s4256 1)
(s4257 0)
(s4258 1)
(s4259 1)
(s4260 1)
(s4261 0)
(s4262 1)
(s4263 1)
(s4264 1)
(s4265 0)
(s4266 1)
(s4267 1)
(s4268 1)
(s4269 0)
(s4270 1)
(s4271 1)
(s4272 1)
(s4273 0)
(s4274 1)
(s4275 1)
(s4276 1)
(s4277 0)
(s4278 1)
(s4279 1)
(s4280 1)
(s4281 0)
(s4282 1)
(s4283 1)
(s4284 1)
(s4285 0)
(s4286 1)
(s4287 1)
(s4288 1)
(s4289 0)
(s4290 1)
(s4291 1)
(s4292 1)
(s4293 0)
(s4294 0)
(s4295 0)
(s4296 0)
(s4297 0)
(s4298 0)
(s4299 0)
(s4300 0)
(s4301 0)
(s4302 0)
(s4303 0)
(s4304 0)
(s4305 0)
(s4306 0)
(s4307 0)
(s4308 0)
(s4309 0)
(s4310 0)
(s4311 0)
(s4312 0)
(s4313 0)
(s4314 0)
(s4315 0)
(s4316 0)
(s4317 0)
(s4318 0)
(s4319 0)
(s4320 0)
(s4321 0)
(s4322 0)
(s4323 0)
(s4324 0)
(s4325 0)
(s4326 0)
(s4327 0)
(s4328 0)
(s4329 0)
(s4330 0)
(s4331 0)
(s4332 0)
(s4333 0)
(s4334 0)
(s4335 0)
(s4336 0)
(s4337 0)
(s4338 0)
(s4339 0)
(s4340 0)
(s4341 0)
(s4342 0)
(s4343 0)
(s4344 0)
(s4345 0)
(s4346 0)
(s4347 0)
(s4348 0)
(s4349 0)
(s4350 0)
(s4351 0)
(s4352 0)
(s4353 0)
(s4354 0)
(s4355 0)
(s4356 0)
(s4357 0)
(s4358 0)
(s4359 0)
(s4360 0)
(s4361 0)
(s4362 0)
(s4363 0)
(s4364 0)
(s4365 0)
(s4366 0)
(s4367 0)
(s4368 0)
(s4369 0)
(s4370 0)
(s4371 0)
(s4372 0)
(s4373 0)
(s4617 1)
(s4618 1)
(s4619 1)
(s4620 1)
(s4621 1)
(s4622 1)
(s4623 1)
(s4624 1)
(s4625 1)
(s4626 1)
(s4627 1)
(s4628 1)
(s4629 1)
(s4630 1)
(s4631 1)
(s4632 1)
(s4633 1)
(s4634 1)
(s4635 1)
(s4636 1)
(s4637 1)
(s4638 1)
(s4639 1)
(s4640 1)
(s4641 1)
(s4642 1)
(s4643 1)
(s4725 1)
(s4726 1)
(s4727 1)
(s4728 1)
(s4729 1)
(s4730 1)
(s4731 1)
(s4732 1)
(s4733 1)
(s4734 1)
(s4735 1)
(s4736 1)
(s4737 1)
(s4738 1)
(s4739 1)
(s4740 1)
(s4741 1)
(s4742 1)
(s4743 1)
(s4744 1)
(s4745 1)
(s4746 1)
(s4747 1)
(s4748 1)
(s4749 1)
(s4750 1)
(s4751 1)
(s4833 1)
(s4834 1)
(s4835 1)
(s4836 1)
(s4837 1)
(s4838 1)
(s4839 1)
(s4840 1)
(s4841 1)
(s4842 1)
(s4843 1)
(s4844 1)
(s4845 1)
(s4846 1)
(s4847 1)
(s4848 1)
(s4849 1)
(s4850 1)
(s4851 1)
(s4852 1)
(s4853 1)
(s4854 1)
(s4855 1)
(s4856 1)
(s4857 1)
(s4858 1)
(s4859 1)
(s4941 1)
(s4942 1)
(s4943 1)
(s4944 1)
(s4945 1)
(s4946 1)
(s4947 1)
(s4948 1)
(s4949 1)
(s4977 1)
(s4978 1)
(s4979 1)
(s4980 1)
(s4981 1)
(s4982 1)
(s4983 1)
(s4984 1)
(s4985 1)
(s5013 1)
(s5014 1)
(s5015 1)
(s5016 1)
(s5017 1)
(s5018 1)
(s5019 1)
(s5020 1)
(s5021 1)
(s5049 1)
(s5050 1)
(s5051 1)
(s5052 1)
(s5053 1)
(s5054 1)
(s5055 1)
(s5056 1)
(s5057 1)
(s5085 1)
(s5086 1)
(s5087 1)
(s5088 1)
(s5089 1)
(s5090 1)
(s5091 1)
(s5092 1)
(s5093 1)
(s5121 1)
(s5122 1)
(s5123 1)
(s5124 1)
(s5125 1)
(s5126 1)
(s5127 1)
(s5128 1)
(s5129 1)
(s5157 1)
(s5158 1)
(s5159 1)
(s5160 1)
(s5161 1)
(s5162 1)
(s5163 1)
(s5164 1)
(s5165 1)
(s5193 1)
(s5194 1)
(s5195 1)
(s5196 1)
(s5197 1)
(s5198 1)
(s5199 1)
(s5200 1)
(s5201 1)
(s5229 1)
(s5230 1)
(s5231 1)
(s5232 1)
(s5233 1)
(s5234 1)
(s5235 1)
(s5236 1)
(s5237 1)
(s5265 1)
(s5266 1)
(s5267 1)
(s5277 1)
(s5278 1)
(s5279 1)
(s5289 1)
(s5290 1)
(s5291 1)
(s5301 1)
(s5302 1)
(s5303 1)
(s5313 1)
(s5314 1)
(s5315 1)
(s5325 1)
(s5326 1)
(s5327 1)
(s5337 1)
(s5338 1)
(s5339 1)
(s5349 1)
(s5350 1)
(s5351 1)
(s5361 1)
(s5362 1)
(s5363 1)
(s5373 1)
(s5374 1)
(s5375 1)
(s5385 1)
(s5386 1)
(s5387 1)
(s5397 1)
(s5398 1)
(s5399 1)
(s5409 1)
(s5410 1)
(s5411 1)
(s5421 1)
(s5422 1)
(s5423 1)
(s5433 1)
(s5434 1)
(s5435 1)
(s5445 1)
(s5446 1)
(s5447 1)
(s5457 1)
(s5458 1)
(s5459 1)
(s5469 1)
(s5470 1)
(s5471 1)
(s5481 1)
(s5482 1)
(s5483 1)
(s5493 1)
(s5494 1)
(s5495 1)
(s5505 1)
(s5506 1)
(s5507 1)
(s5517 1)
(s5518 1)
(s5519 1)
(s5529 1)
(s5530 1)
(s5531 1)
(s5541 1)
(s5542 1)
(s5543 1)
(s5553 1)
(s5554 1)
(s5555 1)
(s5565 1)
(s5566 1)
(s5567 1)
(s5577 1)
(s5578 1)
(s5579 1)
(s5589 1)
(s5593 1)
(s5597 1)
(s5601 1)
(s5605 1)
(s5609 1)
(s5613 1)
(s5617 1)
(s5621 1)
(s5625 1)
(s5629 1)
(s5633 1)
(s5637 1)
(s5641 1)
(s5645 1)
(s5649 1)
(s5653 1)
(s5657 1)
(s5661 1)
(s5665 1)
(s5669 1)
(s5673 1)
(s5677 1)
(s5681 1)
(s5685 1)
(s5689 1)
(s5693 1)
(s5697 1)
(s5701 1)
(s5705 1)
(s5709 1)
(s5713 1)
(s5717 1)
(s5721 1)
(s5725 1)
(s5729 1)
(s5733 1)
(s5737 1)
(s5741 1)
(s5745 1)
(s5749 1)
(s5753 1)
(s5757 1)
(s5761 1)
(s5765 1)
(s5769 1)
(s5773 1)
(s5777 1)
(s5781 1)
(s5785 1)
(s5789 1)
(s5793 1)
(s5797 1)
(s5801 1)
(s5805 1)
(s5809 1)
(s5813 1)
(s5817 1)
(s5821 1)
(s5825 1)
(s5829 1)
(s5833 1)
(s5837 1)
(s5841 1)
(s5845 1)
(s5849 1)
(s5853 1)
(s5857 1)
(s5861 1)
(s5865 1)
(s5869 1)
(s5873 1)
(s5877 1)
(s5881 1)
(s5885 1)
(s5889 1)
(s5893 1)
(s5897 1)
(s5901 1)
(s5905 1)
(s5909 1)
(s5913 1)
(s5914 1)
(s5915 1)
(s5916 1)
(s5917 1)
(s5918 1)
(s5919 1)
(s5920 1)
(s5921 1)
(s5922 1)
(s5923 1)
(s5924 1)
(s5925 1)
(s5926 1)
(s5927 1)
(s5928 1)
(s5929 1)
(s5930 1)
(s5931 1)
(s5932 1)
(s5933 1)
(s5934 1)
(s5935 1)
(s5936 1)
(s5937 1)
(s5938 1)
(s5939 1)
(s5940 1)
(s5941 1)
(s5942 1)
(s5943 1)
(s5944 1)
(s5945 1)
(s5946 1)
(s5947 1)
(s5948 1)
(s5949 1)
(s5950 1)
(s5951 1)
(s5952 1)
(s5953 1)
(s5954 1)
(s5955 1)
(s5956 1)
(s5957 1)
(s5958 1)
(s5959 1)
(s5960 1)
(s5961 1)
(s5962 1)
(s5963 1)
(s5964 1)
(s5965 1)
(s5966 1)
(s5967 1)
(s5968 1)
(s5969 1)
(s5970 1)
(s5971 1)
(s5972 1)
(s5973 1)
(s5974 1)
(s5975 1)
(s5976 1)
(s5977 1)
(s5978 1timeout
)
(s5979 org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 4293/34263 variables, and 810 constraints, problems are : Problem set: 0 solved, 22680 unsolved in 30229 ms.
Refiners :[Positive P Invariants (semi-flows): 810/3483 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 0/22680 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 133724ms problems are : Problem set: 0 solved, 22680 unsolved
Search for dead transitions found 0 dead transitions in 133764ms
Finished structural reductions in LTL mode , in 1 iterations and 149156 ms. Remains : 9153/9153 places, 25110/25110 transitions.
[2025-06-02 00:38:00] [INFO ] Flatten gal took : 629 ms
[2025-06-02 00:38:00] [INFO ] Flatten gal took : 702 ms
[2025-06-02 00:38:02] [INFO ] Input system was already deterministic with 25110 transitions.
[2025-06-02 00:38:02] [INFO ] Flatten gal took : 676 ms
[2025-06-02 00:38:03] [INFO ] Flatten gal took : 693 ms
[2025-06-02 00:38:03] [INFO ] Time to serialize gal into /tmp/CTLFireability2497024945689848766.gal : 103 ms
[2025-06-02 00:38:03] [INFO ] Time to serialize properties into /tmp/CTLFireability1403960576427296526.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability2497024945689848766.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1403960576427296526.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-02 00:38:34] [INFO ] Flatten gal took : 664 ms
[2025-06-02 00:38:34] [INFO ] Applying decomposition
[2025-06-02 00:38:35] [INFO ] Flatten gal took : 694 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph12272578140086954365.txt' '-o' '/tmp/graph12272578140086954365.bin' '-w' '/tmp/graph12272578140086954365.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph12272578140086954365.bin' '-l' '-1' '-v' '-w' '/tmp/graph12272578140086954365.weights' '-q' '0' '-e' '0.001'
[2025-06-02 00:38:36] [INFO ] Decomposing Gal with order
[2025-06-02 00:38:37] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-02 00:38:51] [INFO ] Removed a total of 38880 redundant transitions.
[2025-06-02 00:38:51] [INFO ] Flatten gal took : 1005 ms
[2025-06-02 00:38:51] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 42 ms.
[2025-06-02 00:38:51] [INFO ] Time to serialize gal into /tmp/CTLFireability682064279327815118.gal : 100 ms
[2025-06-02 00:38:51] [INFO ] Time to serialize properties into /tmp/CTLFireability6319493361706657831.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability682064279327815118.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6319493361706657831.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...261
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 837 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2025-06-02 00:39:22] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-02 00:39:37] [INFO ] Implicit Places using invariants in 14852 ms returned []
Implicit Place search using SMT only with invariants took 14854 ms to find 0 implicit places.
Running 22680 sub problems to find dead transitions.
[2025-06-02 00:39:37] [INFO ] Invariant cache hit.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202505121319.jar
+ VERSION=202505121319
+ echo 'Running Version 202505121319'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="HypercubeGrid-PT-C5K3P3B15"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5832"
echo " Executing tool itstools"
echo " Input is HypercubeGrid-PT-C5K3P3B15, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r114-tall-174876422400274"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/HypercubeGrid-PT-C5K3P3B15.tgz
mv HypercubeGrid-PT-C5K3P3B15 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;