About the Execution of ITS-Tools for CANConstruction-PT-050
| 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 | ????F????T?????? | normal |
Execution Chart
Sorry, for this execution, no execution chart could be reported.
Trace from the execution
Formatting '/data/fkordon/mcc2025-input.r030-smll-174853813500202.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 CANConstruction-PT-050, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r030-smll-174853813500202
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.3M
-rw-r--r-- 1 mcc users 8.9K May 29 14:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 73K May 29 14:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K May 29 14:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K May 29 14:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.9K May 29 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K May 29 14:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K May 29 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 29 14:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K May 29 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 122K 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 99K May 29 14:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K May 29 14:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K 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 4 May 29 14:32 instance
-rw-r--r-- 1 mcc users 6 May 29 14:32 iscolored
-rw-r--r-- 1 mcc users 3.8M 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 CANConstruction-PT-050-CTLFireability-2023-12
FORMULA_NAME CANConstruction-PT-050-CTLFireability-2023-13
FORMULA_NAME CANConstruction-PT-050-CTLFireability-2023-14
FORMULA_NAME CANConstruction-PT-050-CTLFireability-2023-15
FORMULA_NAME CANConstruction-PT-050-CTLFireability-2025-00
FORMULA_NAME CANConstruction-PT-050-CTLFireability-2025-01
FORMULA_NAME CANConstruction-PT-050-CTLFireability-2025-02
FORMULA_NAME CANConstruction-PT-050-CTLFireability-2025-03
FORMULA_NAME CANConstruction-PT-050-CTLFireability-2025-04
FORMULA_NAME CANConstruction-PT-050-CTLFireability-2025-05
FORMULA_NAME CANConstruction-PT-050-CTLFireability-2025-06
FORMULA_NAME CANConstruction-PT-050-CTLFireability-2025-07
FORMULA_NAME CANConstruction-PT-050-CTLFireability-2025-08
FORMULA_NAME CANConstruction-PT-050-CTLFireability-2025-09
FORMULA_NAME CANConstruction-PT-050-CTLFireability-2025-10
FORMULA_NAME CANConstruction-PT-050-CTLFireability-2025-11
=== Now, execution of the tool begins
BK_START 1748666724911
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=CANConstruction-PT-050
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLFireability PT
Running Version 202505121319
[2025-05-31 04:45:27] [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-05-31 04:45:27] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-05-31 04:45:28] [INFO ] Load time of PNML (sax parser for PT used): 784 ms
[2025-05-31 04:45:28] [INFO ] Transformed 5602 places.
[2025-05-31 04:45:28] [INFO ] Transformed 10400 transitions.
[2025-05-31 04:45:28] [INFO ] Parsed PT model containing 5602 places and 10400 transitions and 31000 arcs in 1131 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 31 ms.
Support contains 108 out of 5602 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 5602/5602 places, 10400/10400 transitions.
Discarding 2360 places :
Symmetric choice reduction at 0 with 2360 rule applications. Total rules 2360 place count 3242 transition count 5680
Iterating global reduction 0 with 2360 rules applied. Total rules applied 4720 place count 3242 transition count 5680
Applied a total of 4720 rules in 1617 ms. Remains 3242 /5602 variables (removed 2360) and now considering 5680/10400 (removed 4720) transitions.
// Phase 1: matrix 5680 rows 3242 cols
[2025-05-31 04:45:30] [INFO ] Computed 101 invariants in 116 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 04:45:37] [INFO ] Implicit Places using invariants in 7003 ms returned [12, 26, 40, 54, 68, 82, 96, 110, 124, 138, 152, 166, 180, 194, 208, 222, 236, 250, 264, 278, 292, 306, 320, 334, 348, 362, 376, 390, 404, 418, 432, 446, 460, 474, 488, 502, 516, 530, 544, 558, 572, 586, 600, 614, 628, 642, 656, 670, 684, 698]
Discarding 50 places :
Implicit Place search using SMT only with invariants took 7086 ms to find 50 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3192/5602 places, 5680/10400 transitions.
Discarding 50 places :
Symmetric choice reduction at 0 with 50 rule applications. Total rules 50 place count 3142 transition count 5630
Iterating global reduction 0 with 50 rules applied. Total rules applied 100 place count 3142 transition count 5630
Applied a total of 100 rules in 1072 ms. Remains 3142 /3192 variables (removed 50) and now considering 5630/5680 (removed 50) transitions.
// Phase 1: matrix 5630 rows 3142 cols
[2025-05-31 04:45:38] [INFO ] Computed 51 invariants in 195 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 04:45:44] [INFO ] Implicit Places using invariants in 5580 ms returned []
[2025-05-31 04:45:44] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 04:45:47] [INFO ] State equation strengthened by 4950 read => feed constraints.
[2025-05-31 04:46:18] [INFO ] Performed 887/3142 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-05-31 04:46:48] [INFO ] Performed 1246/3142 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-05-31 04:47:18] [INFO ] Performed 1632/3142 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-05-31 04:47:48] [INFO ] Performed 1998/3142 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2025-05-31 04:47:48] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2025-05-31 04:47:48] [INFO ] Implicit Places using invariants and state equation in 124170 ms returned []
Implicit Place search using SMT with State Equation took 129756 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3142/5602 places, 5630/10400 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 139569 ms. Remains : 3142/5602 places, 5630/10400 transitions.
Support contains 108 out of 3142 places after structural reductions.
[2025-05-31 04:47:49] [INFO ] Flatten gal took : 584 ms
[2025-05-31 04:47:49] [INFO ] Flatten gal took : 264 ms
[2025-05-31 04:47:50] [INFO ] Input system was already deterministic with 5630 transitions.
Support contains 104 out of 3142 places (down from 108) after GAL structural reductions.
RANDOM walk for 40000 steps (42 resets) in 2972 ms. (13 steps per ms) remains 14/69 properties
BEST_FIRST walk for 40004 steps (8 resets) in 170 ms. (233 steps per ms) remains 14/14 properties
BEST_FIRST walk for 40004 steps (8 resets) in 127 ms. (312 steps per ms) remains 13/14 properties
BEST_FIRST walk for 40004 steps (8 resets) in 126 ms. (314 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 130 ms. (305 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 136 ms. (292 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 97 ms. (408 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 139 ms. (285 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 104 ms. (380 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 103 ms. (384 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 97 ms. (408 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 107 ms. (370 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 109 ms. (363 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 104 ms. (380 steps per ms) remains 13/13 properties
[2025-05-31 04:47:52] [INFO ] Invariant cache hit.
[2025-05-31 04:47:52] [INFO ] State equation strengthened by 4950 read => feed constraints.
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/20 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 13 unsolved
At refinement iteration 1 (OVERLAPS) 3088/3108 variables, 18/18 constraints. Problems are: Problem set: 0 solved, 13 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 04:47:57] [INFO ] Deduced a trap composed of 5 places in 4259 ms of which 119 ms to minimize.
SMT process timed out in 5413ms, After SMT, problems are : Problem set: 0 solved, 13 unsolved
Fused 13 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 20 out of 3142 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 3142/3142 places, 5630/5630 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 322 transitions
Trivial Post-agglo rules discarded 322 transitions
Performed 322 trivial Post agglomeration. Transition count delta: 322
Iterating post reduction 0 with 322 rules applied. Total rules applied 322 place count 3142 transition count 5308
Reduce places removed 322 places and 0 transitions.
Iterating post reduction 1 with 322 rules applied. Total rules applied 644 place count 2820 transition count 5308
Performed 50 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 50 Pre rules applied. Total rules applied 644 place count 2820 transition count 5258
Deduced a syphon composed of 50 places in 3 ms
Reduce places removed 50 places and 0 transitions.
Iterating global reduction 2 with 100 rules applied. Total rules applied 744 place count 2770 transition count 5258
Discarding 24 places :
Symmetric choice reduction at 2 with 24 rule applications. Total rules 768 place count 2746 transition count 5210
Iterating global reduction 2 with 24 rules applied. Total rules applied 792 place count 2746 transition count 5210
Drop transitions (Trivial Post-Agglo cleanup.) removed 13 transitions
Trivial Post-agglo rules discarded 13 transitions
Performed 13 trivial Post agglomeration. Transition count delta: 13
Iterating post reduction 2 with 13 rules applied. Total rules applied 805 place count 2746 transition count 5197
Reduce places removed 13 places and 0 transitions.
Iterating post reduction 3 with 13 rules applied. Total rules applied 818 place count 2733 transition count 5197
Performed 62 Post agglomeration using F-continuation condition.Transition count delta: 62
Deduced a syphon composed of 62 places in 1 ms
Reduce places removed 62 places and 0 transitions.
Iterating global reduction 4 with 124 rules applied. Total rules applied 942 place count 2671 transition count 5135
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 4 with 2 rules applied. Total rules applied 944 place count 2671 transition count 5133
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 4 with 2 rules applied. Total rules applied 946 place count 2669 transition count 5133
Partial Free-agglomeration rule applied 1 times.
Drop transitions (Partial Free agglomeration) removed 1 transitions
Iterating global reduction 5 with 1 rules applied. Total rules applied 947 place count 2669 transition count 5133
Applied a total of 947 rules in 3077 ms. Remains 2669 /3142 variables (removed 473) and now considering 5133/5630 (removed 497) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3079 ms. Remains : 2669/3142 places, 5133/5630 transitions.
RANDOM walk for 40000 steps (114 resets) in 1331 ms. (30 steps per ms) remains 5/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 108 ms. (367 steps per ms) remains 5/5 properties
BEST_FIRST walk for 40004 steps (8 resets) in 163 ms. (243 steps per ms) remains 5/5 properties
BEST_FIRST walk for 40004 steps (8 resets) in 105 ms. (377 steps per ms) remains 5/5 properties
BEST_FIRST walk for 40004 steps (8 resets) in 95 ms. (416 steps per ms) remains 5/5 properties
BEST_FIRST walk for 40004 steps (8 resets) in 103 ms. (384 steps per ms) remains 5/5 properties
// Phase 1: matrix 5133 rows 2669 cols
[2025-05-31 04:48:01] [INFO ] Computed 51 invariants in 82 ms
[2025-05-31 04:48:01] [INFO ] State equation strengthened by 4950 read => feed constraints.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/11 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 1 (OVERLAPS) 2616/2627 variables, 10/10 constraints. Problems are: Problem set: 0 solved, 5 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 04:48:06] [INFO ] Deduced a trap composed of 2 places in 3895 ms of which 55 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 04:48:06] [INFO ] Deduced a trap composed of 53 places in 397 ms of which 67 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 04:48:07] [INFO ] Deduced a trap composed of 53 places in 399 ms of which 14 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 04:48:07] [INFO ] Deduced a trap composed of 53 places in 344 ms of which 13 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 04:48:08] [INFO ] Deduced a trap composed of 53 places in 333 ms of which 13 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 04:48:08] [INFO ] Deduced a trap composed of 53 places in 263 ms of which 9 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 04:48:08] [INFO ] Deduced a trap composed of 53 places in 207 ms of which 8 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 04:48:09] [INFO ] Deduced a trap composed of 53 places in 248 ms of which 10 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 04:48:09] [INFO ] Deduced a trap composed of 53 places in 388 ms of which 50 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 04:48:10] [INFO ] Deduced a trap composed of 53 places in 379 ms of which 13 ms to minimize.
At refinement iteration 2 (INCLUDED_ONLY) 0/2627 variables, 10/20 constraints. Problems are: Problem set: 0 solved, 5 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 04:48:10] [INFO ] Deduced a trap composed of 53 places in 342 ms of which 13 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 04:48:11] [INFO ] Deduced a trap composed of 53 places in 449 ms of which 49 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 04:48:11] [INFO ] Deduced a trap composed of 53 places in 449 ms of which 48 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/2627 variables, 3/23 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/2627 variables, 0/23 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 5 (OVERLAPS) 41/2668 variables, 41/64 constraints. Problems are: Problem set: 0 solved, 5 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 04:48:30] [INFO ] Deduced a trap composed of 53 places in 17322 ms of which 12008 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 04:48:47] [INFO ] Deduced a trap composed of 53 places in 17166 ms of which 12009 ms to minimize.
SMT process timed out in 46163ms, After SMT, problems are : Problem set: 0 solved, 5 unsolved
Fused 5 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 11 out of 2669 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2669/2669 places, 5133/5133 transitions.
Discarding 7 places :
Symmetric choice reduction at 0 with 7 rule applications. Total rules 7 place count 2662 transition count 5119
Iterating global reduction 0 with 7 rules applied. Total rules applied 14 place count 2662 transition count 5119
Applied a total of 14 rules in 879 ms. Remains 2662 /2669 variables (removed 7) and now considering 5119/5133 (removed 14) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 880 ms. Remains : 2662/2669 places, 5119/5133 transitions.
RANDOM walk for 40000 steps (115 resets) in 1066 ms. (37 steps per ms) remains 4/5 properties
BEST_FIRST walk for 40004 steps (8 resets) in 95 ms. (416 steps per ms) remains 4/4 properties
BEST_FIRST walk for 40004 steps (8 resets) in 97 ms. (408 steps per ms) remains 4/4 properties
BEST_FIRST walk for 40004 steps (8 resets) in 97 ms. (408 steps per ms) remains 4/4 properties
BEST_FIRST walk for 40004 steps (8 resets) in 85 ms. (465 steps per ms) remains 4/4 properties
// Phase 1: matrix 5119 rows 2662 cols
[2025-05-31 04:48:48] [INFO ] Computed 51 invariants in 59 ms
[2025-05-31 04:48:48] [INFO ] State equation strengthened by 4950 read => feed constraints.
Starting Z3 with timeout 75.0 s and query timeout 7500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/8 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 1 (OVERLAPS) 2609/2617 variables, 7/7 constraints. Problems are: Problem set: 0 solved, 4 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 04:48:53] [INFO ] Deduced a trap composed of 2 places in 3744 ms of which 57 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 04:48:53] [INFO ] Deduced a trap composed of 53 places in 240 ms of which 7 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 04:48:53] [INFO ] Deduced a trap composed of 53 places in 208 ms of which 7 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 04:48:54] [INFO ] Deduced a trap composed of 53 places in 203 ms of which 6 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 04:48:54] [INFO ] Deduced a trap composed of 53 places in 231 ms of which 9 ms to minimize.
At refinement iteration 2 (INCLUDED_ONLY) 0/2617 variables, 5/12 constraints. Problems are: Problem set: 0 solved, 4 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 04:48:54] [INFO ] Deduced a trap composed of 53 places in 279 ms of which 11 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/2617 variables, 1/13 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/2617 variables, 0/13 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 5 (OVERLAPS) 44/2661 variables, 44/57 constraints. Problems are: Problem set: 0 solved, 4 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 04:49:13] [INFO ] Deduced a trap composed of 53 places in 17113 ms of which 12016 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 04:49:29] [INFO ] Deduced a trap composed of 53 places in 16449 ms of which 12005 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 04:49:47] [INFO ] Deduced a trap composed of 53 places in 17114 ms of which 12010 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 04:50:03] [INFO ] Deduced a trap composed of 53 places in 16292 ms of which 12005 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 04:50:19] [INFO ] Deduced a trap composed of 53 places in 16201 ms of which 12008 ms to minimize.
SMT process timed out in 90910ms, After SMT, problems are : Problem set: 0 solved, 4 unsolved
Fused 4 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 2 ms.
Support contains 8 out of 2662 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2662/2662 places, 5119/5119 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 2661 transition count 5117
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 2661 transition count 5117
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 4 place count 2660 transition count 5116
Applied a total of 4 rules in 1207 ms. Remains 2660 /2662 variables (removed 2) and now considering 5116/5119 (removed 3) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1208 ms. Remains : 2660/2662 places, 5116/5119 transitions.
[2025-05-31 04:50:21] [INFO ] Flatten gal took : 197 ms
[2025-05-31 04:50:21] [INFO ] Flatten gal took : 210 ms
[2025-05-31 04:50:21] [INFO ] Input system was already deterministic with 5630 transitions.
Computed a total of 151 stabilizing places and 200 stable transitions
Starting structural reductions in SI_CTL mode, iteration 0 : 3142/3142 places, 5630/5630 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 323 transitions
Trivial Post-agglo rules discarded 323 transitions
Performed 323 trivial Post agglomeration. Transition count delta: 323
Iterating post reduction 0 with 323 rules applied. Total rules applied 323 place count 3142 transition count 5307
Reduce places removed 323 places and 0 transitions.
Iterating post reduction 1 with 323 rules applied. Total rules applied 646 place count 2819 transition count 5307
Performed 50 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 50 Pre rules applied. Total rules applied 646 place count 2819 transition count 5257
Deduced a syphon composed of 50 places in 1 ms
Reduce places removed 50 places and 0 transitions.
Iterating global reduction 2 with 100 rules applied. Total rules applied 746 place count 2769 transition count 5257
Discarding 40 places :
Symmetric choice reduction at 2 with 40 rule applications. Total rules 786 place count 2729 transition count 5177
Iterating global reduction 2 with 40 rules applied. Total rules applied 826 place count 2729 transition count 5177
Drop transitions (Trivial Post-Agglo cleanup.) removed 27 transitions
Trivial Post-agglo rules discarded 27 transitions
Performed 27 trivial Post agglomeration. Transition count delta: 27
Iterating post reduction 2 with 27 rules applied. Total rules applied 853 place count 2729 transition count 5150
Reduce places removed 27 places and 0 transitions.
Iterating post reduction 3 with 27 rules applied. Total rules applied 880 place count 2702 transition count 5150
Performed 49 Post agglomeration using F-continuation condition.Transition count delta: 49
Deduced a syphon composed of 49 places in 1 ms
Reduce places removed 49 places and 0 transitions.
Iterating global reduction 4 with 98 rules applied. Total rules applied 978 place count 2653 transition count 5101
Applied a total of 978 rules in 1610 ms. Remains 2653 /3142 variables (removed 489) and now considering 5101/5630 (removed 529) transitions.
// Phase 1: matrix 5101 rows 2653 cols
[2025-05-31 04:50:23] [INFO ] Computed 51 invariants in 95 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 04:50:28] [INFO ] Implicit Places using invariants in 5301 ms returned []
[2025-05-31 04:50:28] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 04:50:31] [INFO ] State equation strengthened by 4950 read => feed constraints.
[2025-05-31 04:51:02] [INFO ] Performed 461/2653 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-05-31 04:51:32] [INFO ] Performed 841/2653 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-05-31 04:52:02] [INFO ] Performed 1220/2653 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-05-31 04:52:32] [INFO ] Performed 1606/2653 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2025-05-31 04:52:32] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2025-05-31 04:52:32] [INFO ] Implicit Places using invariants and state equation in 124032 ms returned []
Implicit Place search using SMT with State Equation took 129338 ms to find 0 implicit places.
Starting Z3 with timeout 200.0 s and query timeout 20000.0 ms
[2025-05-31 04:52:33] [INFO ] Redundant transitions in 580 ms returned []
Running 5051 sub problems to find dead transitions.
[2025-05-31 04:52:33] [INFO ] Invariant cache hit.
[2025-05-31 04:52:33] [INFO ] State equation strengthened by 4950 read => feed constraints.
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/2652 variables, 51/51 constraints. Problems are: Problem set: 0 solved, 5051 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 2652/7754 variables, and 51 constraints, problems are : Problem set: 0 solved, 5051 unsolved in 30179 ms.
Refiners :[Positive P Invariants (semi-flows): 51/51 constraints, State Equation: 0/2653 constraints, ReadFeed: 0/4950 constraints, PredecessorRefiner: 5051/5051 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 5051 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/2652 variables, 51/51 constraints. Problems are: Problem set: 0 solved, 5051 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 04:53:45] [INFO ] Deduced a trap composed of 53 places in 16914 ms of which 12006 ms to minimize.
SMT process timed out in 72420ms, After SMT, problems are : Problem set: 0 solved, 5051 unsolved
Search for dead transitions found 0 dead transitions in 72463ms
Starting structural reductions in SI_CTL mode, iteration 1 : 2653/3142 places, 5101/5630 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 204036 ms. Remains : 2653/3142 places, 5101/5630 transitions.
[2025-05-31 04:53:46] [INFO ] Flatten gal took : 287 ms
[2025-05-31 04:53:46] [INFO ] Flatten gal took : 249 ms
[2025-05-31 04:53:46] [INFO ] Input system was already deterministic with 5101 transitions.
RANDOM walk for 19988 steps (56 resets) in 505 ms. (39 steps per ms) remains 0/1 properties
FORMULA CANConstruction-PT-050-CTLFireability-2025-00 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
[2025-05-31 04:53:47] [INFO ] Flatten gal took : 168 ms
[2025-05-31 04:53:47] [INFO ] Flatten gal took : 239 ms
[2025-05-31 04:53:47] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality4272260507621538756.gal : 137 ms
[2025-05-31 04:53:47] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality18274261921124023138.prop : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality4272260507621538756.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality18274261921124023138.prop' '--nowitness' '--gen-order' 'FOLLOW'
ITS runner timed out or was interrupted.
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...329
ITS tools runner thread asked to quit. Dying gracefully.
Starting structural reductions in LTL mode, iteration 0 : 3142/3142 places, 5630/5630 transitions.
Discarding 34 places :
Symmetric choice reduction at 0 with 34 rule applications. Total rules 34 place count 3108 transition count 5562
Iterating global reduction 0 with 34 rules applied. Total rules applied 68 place count 3108 transition count 5562
Applied a total of 68 rules in 953 ms. Remains 3108 /3142 variables (removed 34) and now considering 5562/5630 (removed 68) transitions.
// Phase 1: matrix 5562 rows 3108 cols
[2025-05-31 04:53:48] [INFO ] Computed 51 invariants in 83 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 04:53:53] [INFO ] Implicit Places using invariants in 5357 ms returned []
[2025-05-31 04:53:53] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 04:53:57] [INFO ] State equation strengthened by 4950 read => feed constraints.
[2025-05-31 04:54:28] [INFO ] Performed 833/3108 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-05-31 04:54:58] [INFO ] Performed 1174/3108 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-05-31 04:55:28] [INFO ] Performed 1508/3108 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-05-31 04:55:58] [INFO ] Performed 1852/3108 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2025-05-31 04:55:58] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2025-05-31 04:55:58] [INFO ] Implicit Places using invariants and state equation in 124426 ms returned []
Implicit Place search using SMT with State Equation took 129795 ms to find 0 implicit places.
Running 5512 sub problems to find dead transitions.
[2025-05-31 04:55:58] [INFO ] Invariant cache hit.
[2025-05-31 04:55:58] [INFO ] State equation strengthened by 4950 read => feed constraints.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/3107 variables, 51/51 constraints. Problems are: Problem set: 0 solved, 5512 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 3107/8670 variables, and 51 constraints, problems are : Problem set: 0 solved, 5512 unsolved in 30114 ms.
Refiners :[Positive P Invariants (semi-flows): 51/51 constraints, State Equation: 0/3108 constraints, ReadFeed: 0/4950 constraints, PredecessorRefiner: 5512/5512 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 5512 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/3107 variables, 51/51 constraints. Problems are: Problem set: 0 solved, 5512 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 3107/8670 variables, and 51 constraints, problems are : Problem set: 0 solved, 5512 unsolved in 30174 ms.
Refiners :[Positive P Invariants (semi-flows): 51/51 constraints, State Equation: 0/3108 constraints, ReadFeed: 0/4950 constraints, PredecessorRefiner: 0/5512 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 63915ms problems are : Problem set: 0 solved, 5512 unsolved
Search for dead transitions found 0 dead transitions in 63942ms
Starting structural reductions in LTL mode, iteration 1 : 3108/3142 places, 5562/5630 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 194709 ms. Remains : 3108/3142 places, 5562/5630 transitions.
[2025-05-31 04:57:02] [INFO ] Flatten gal took : 202 ms
[2025-05-31 04:57:02] [INFO ] Flatten gal took : 223 ms
[2025-05-31 04:57:03] [INFO ] Input system was already deterministic with 5562 transitions.
[2025-05-31 04:57:03] [INFO ] Flatten gal took : 182 ms
[2025-05-31 04:57:03] [INFO ] Flatten gal took : 120 ms
[2025-05-31 04:57:03] [INFO ] Time to serialize gal into /tmp/CTLFireability11407239494878362464.gal : 41 ms
[2025-05-31 04:57:03] [INFO ] Time to serialize properties into /tmp/CTLFireability6030406953027999410.ctl : 9 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/CTLFireability11407239494878362464.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6030406953027999410.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-05-31 04:57:33] [INFO ] Flatten gal took : 128 ms
[2025-05-31 04:57:33] [INFO ] Applying decomposition
[2025-05-31 04:57:33] [INFO ] Flatten gal took : 135 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/graph4960162331892218642.txt' '-o' '/tmp/graph4960162331892218642.bin' '-w' '/tmp/graph4960162331892218642.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph4960162331892218642.bin' '-l' '-1' '-v' '-w' '/tmp/graph4960162331892218642.weights' '-q' '0' '-e' '0.001'
[2025-05-31 04:57:34] [INFO ] Decomposing Gal with order
[2025-05-31 04:57:34] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 04:57:35] [INFO ] Removed a total of 5041 redundant transitions.
[2025-05-31 04:57:36] [INFO ] Flatten gal took : 1373 ms
[2025-05-31 04:57:37] [INFO ] Fuse similar labels procedure discarded/fused a total of 9866 labels/synchronizations in 727 ms.
[2025-05-31 04:57:37] [INFO ] Time to serialize gal into /tmp/CTLFireability4848286755313687023.gal : 62 ms
[2025-05-31 04:57:37] [INFO ] Time to serialize properties into /tmp/CTLFireability10911506881265110507.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/CTLFireability4848286755313687023.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10911506881265110507.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 : 3142/3142 places, 5630/5630 transitions.
Discarding 40 places :
Symmetric choice reduction at 0 with 40 rule applications. Total rules 40 place count 3102 transition count 5550
Iterating global reduction 0 with 40 rules applied. Total rules applied 80 place count 3102 transition count 5550
Applied a total of 80 rules in 1192 ms. Remains 3102 /3142 variables (removed 40) and now considering 5550/5630 (removed 80) transitions.
// Phase 1: matrix 5550 rows 3102 cols
[2025-05-31 04:58:08] [INFO ] Computed 51 invariants in 39 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 04:58:14] [INFO ] Implicit Places using invariants in 5754 ms returned []
[2025-05-31 04:58:14] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 04:58:17] [INFO ] State equation strengthened by 4950 read => feed constraints.
[2025-05-31 04:58:48] [INFO ] Performed 814/3102 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-05-31 04:59:18] [INFO ] Performed 1122/3102 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-05-31 04:59:48] [INFO ] Performed 1421/3102 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-05-31 05:00:18] [INFO ] Performed 1733/3102 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2025-05-31 05:00:18] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2025-05-31 05:00:18] [INFO ] Implicit Places using invariants and state equation in 124593 ms returned []
Implicit Place search using SMT with State Equation took 130352 ms to find 0 implicit places.
Running 5500 sub problems to find dead transitions.
[2025-05-31 05:00:18] [INFO ] Invariant cache hit.
[2025-05-31 05:00:18] [INFO ] State equation strengthened by 4950 read => feed constraints.
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: Stream closed")
At refinement iteration 0 (INCLUDED_ONLY) 0/3101 variables, 51/51 constraints. Problems are: Problem set: 0 solved, 5500 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 3101/8652 variables, and 51 constraints, problems are : Problem set: 0 solved, 5500 unsolved in 30120 ms.
Refiners :[Positive P Invariants (semi-flows): 51/51 constraints, State Equation: 0/3102 constraints, ReadFeed: 0/4950 constraints, PredecessorRefiner: 5500/5500 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 5500 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/3101 variables, 51/51 constraints. Problems are: Problem set: 0 solved, 5500 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 3101/8652 variables, and 51 constraints, problems are : Problem set: 0 solved, 5500 unsolved in 30107 ms.
Refiners :[Positive P Invariants (semi-flows): 51/51 constraints, State Equation: 0/3102 constraints, ReadFeed: 0/4950 constraints, PredecessorRefiner: 0/5500 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 64220ms problems are : Problem set: 0 solved, 5500 unsolved
Search for dead transitions found 0 dead transitions in 64233ms
Starting structural reductions in LTL mode, iteration 1 : 3102/3142 places, 5550/5630 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 195796 ms. Remains : 3102/3142 places, 5550/5630 transitions.
[2025-05-31 05:01:23] [INFO ] Flatten gal took : 134 ms
[2025-05-31 05:01:23] [INFO ] Flatten gal took : 163 ms
[2025-05-31 05:01:23] [INFO ] Input system was already deterministic with 5550 transitions.
[2025-05-31 05:01:23] [INFO ] Flatten gal took : 148 ms
[2025-05-31 05:01:24] [INFO ] Flatten gal took : 156 ms
[2025-05-31 05:01:24] [INFO ] Time to serialize gal into /tmp/CTLFireability16917476471451709535.gal : 26 ms
[2025-05-31 05:01:24] [INFO ] Time to serialize properties into /tmp/CTLFireability3513385878332509044.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/CTLFireability16917476471451709535.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3513385878332509044.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-05-31 05:01:54] [INFO ] Flatten gal took : 128 ms
[2025-05-31 05:01:54] [INFO ] Applying decomposition
[2025-05-31 05:01:54] [INFO ] Flatten gal took : 159 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/graph7871462677859620485.txt' '-o' '/tmp/graph7871462677859620485.bin' '-w' '/tmp/graph7871462677859620485.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph7871462677859620485.bin' '-l' '-1' '-v' '-w' '/tmp/graph7871462677859620485.weights' '-q' '0' '-e' '0.001'
[2025-05-31 05:01:54] [INFO ] Decomposing Gal with order
[2025-05-31 05:01:54] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 05:01:55] [INFO ] Removed a total of 5045 redundant transitions.
[2025-05-31 05:01:55] [INFO ] Flatten gal took : 656 ms
[2025-05-31 05:01:56] [INFO ] Fuse similar labels procedure discarded/fused a total of 9800 labels/synchronizations in 498 ms.
[2025-05-31 05:01:56] [INFO ] Time to serialize gal into /tmp/CTLFireability17196993529236024064.gal : 49 ms
[2025-05-31 05:01:56] [INFO ] Time to serialize properties into /tmp/CTLFireability8693864728593182004.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/CTLFireability17196993529236024064.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8693864728593182004.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 : 3142/3142 places, 5630/5630 transitions.
Discarding 40 places :
Symmetric choice reduction at 0 with 40 rule applications. Total rules 40 place count 3102 transition count 5550
Iterating global reduction 0 with 40 rules applied. Total rules applied 80 place count 3102 transition count 5550
Applied a total of 80 rules in 938 ms. Remains 3102 /3142 variables (removed 40) and now considering 5550/5630 (removed 80) transitions.
[2025-05-31 05:02:27] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 05:02:33] [INFO ] Implicit Places using invariants in 5939 ms returned []
[2025-05-31 05:02:33] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 05:02:36] [INFO ] State equation strengthened by 4950 read => feed constraints.
[2025-05-31 05:03:07] [INFO ] Performed 822/3102 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-05-31 05:03:37] [INFO ] Performed 1139/3102 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-05-31 05:04:07] [INFO ] Performed 1454/3102 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-05-31 05:04:37] [INFO ] Performed 1766/3102 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2025-05-31 05:04:37] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2025-05-31 05:04:37] [INFO ] Implicit Places using invariants and state equation in 124164 ms returned []
Implicit Place search using SMT with State Equation took 130117 ms to find 0 implicit places.
Running 5500 sub problems to find dead transitions.
[2025-05-31 05:04:37] [INFO ] Invariant cache hit.
[2025-05-31 05:04:37] [INFO ] State equation strengthened by 4950 read => feed constraints.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 0 (INCLUDED_ONLY) 0/3101 variables, 51/51 constraints. Problems are: Problem set: 0 solved, 5500 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 3101/8652 variables, and 51 constraints, problems are : Problem set: 0 solved, 5500 unsolved in 30155 ms.
Refiners :[Positive P Invariants (semi-flows): 51/51 constraints, State Equation: 0/3102 constraints, ReadFeed: 0/4950 constraints, PredecessorRefiner: 5500/5500 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 5500 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/3101 variables, 51/51 constraints. Problems are: Problem set: 0 solved, 5500 unsolved
Error getting values : (error "ParserException while parsing response: ((s0 1)
(s2 0)
(s3 0)
(s4 0)
(s5 0)
(s6 0)
(s7 0)
(s8 0)
(s9 0)
(s10 0)
(s11 0)
(s12 0)
(s13 1)
(s14 0)
(s15 0)
(s16 0)
(s17 0)
(s18 0)
(s19 0)
(s20 0)
(s21 0)
(s22 0)
(s23 0)
(s24 0)
(s25 1)
(s26 0)
(s27 0)
(s28 0)
(s29 0)
(s30 0)
(s31 0)
(s32 0)
(s33 0)
(s34 0)
(s35 0)
(s36 0)
(s37 1)
(s38 0)
(s39 0)
(s40 0)
(s41 0)
(s42 0)
(s43 0)
(s44 0)
(s45 0)
(s46 0)
(s47 0)
(s48 0)
(s49 1)
(s50 0)
(s51 0)
(s52 0)
(s53 0)
(s54 0)
(s55 0)
(s56 0)
(s57 0)
(s58 0)
(s59 0)
(s60 0)
(s61 1)
(s62 0)
(s63 0)
(s64 0)
(s65 0)
(s66 0)
(s67 0)
(s68 0)
(s69 0)
(s70 0)
(s71 0)
(s72 0)
(s73 1)
(s74 0)
(s75 0)
(s76 0)
(s77 0)
(s78 0)
(s79 0)
(s80 0)
(s81 0)
(s82 0)
(s83 0)
(s84 0)
(s85 1)
(s86 0)
(s87 0)
(s88 0)
(s89 0)
(s90 0)
(s91 0)
(s92 0)
(s93 0)
(s94 0)
(s95 0)
(s96 0)
(s97 1)
(s98 0)
(s99 0)
(s100 0)
(s101 0)
(s102 0)
(s103 0)
(s104 0)
(s105 0)
(s106 0)
(s107 0)
(s108 0)
(s109 1)
(s110 0)
(s111 0)
(s112 0)
(s113 0)
(s114 0)
(s115 0)
(s116 0)
(s117 0)
(s118 0)
(s119 0)
(s120 0)
(s121 1)
(s122 0)
(s123 0)
(s124 0)
(s125 0)
(s126 0)
(s127 0)
(s128 0)
(s129 0)
(s130 0)
(s131 0)
(s132 0)
(s133 1)
(s134 0)
(s135 0)
(s136 0)
(s137 0)
(s138 0)
(s139 0)
(s140 0)
(s141 0)
(s142 0)
(s143 0)
(s144 0)
(s145 1)
(s146 0)
(s147 0)
(s148 0)
(s149 0)
(s150 0)
(s151 0)
(s152 0)
(s153 0)
(s154 0)
(s155 0)
(s156 0)
(s157 1)
(s158 0)
(s159 0)
(s160 0)
(s161 0)
(s162 0)
(s163 0)
(s164 0)
(s165 0)
(s166 0)
(s167 0)
(s168 0)
(s169 1)
(s170 0)
(s171 0)
(s172 0)
(s173 0)
(s174 0)
(s175 0)
(s176 0)
(s177 0)
(s178 0)
(s179 0)
(s180 0)
(s181 1)
(s182 0)
(s183 0)
(s184 0)
(s185 0)
(s186 0)
(s187 0)
(s188 0)
(s189 0)
(s190 0)
(s191 0)
(s192 0)
(s193 1)
(s194 0)
(s195 0)
(s196 0)
(s197 0)
(s198 0)
(s199 0)
(s200 0)
(s201 0)
(s202 0)
(s203 0)
(s204 0)
(s205 1)
(s206 0)
(s207 0)
(s208 0)
(s209 0)
(s210 0)
(s211 0)
(s212 0)
(s213 0)
(s214 0)
(s215 0)
(s216 0)
(s217 1)
(s218 0)
(s219 0)
(s220 0)
(s221 0)
(s222 0)
(s223 0)
(s224 0)
(s225 0)
(s226 0)
(s227 0)
(s228 0)
(s229 1)
(s230 0)
(s231 0)
(s232 0)
(s233 0)
(s234 0)
(s235 0)
(s236 0)
(s237 0)
(s238 0)
(s239 0)
(s240 0)
(s241 1)
(s242 0)
(s243 0)
(s244 0)
(s245 0)
(s246 0)
(s247 0)
(s248 0)
(s249 0)
(s250 0)
(s251 0)
(s252 0)
(s253 1)
(s254 0)
(s255 0)
(s256 0)
(s257 0)
(s258 0)
(s259 0)
(s260 0)
(s261 0)
(s262 0)
(s263 0)
(s264 0)
(s265 1)
(s266 0)
(s267 0)
(s268 0)
(s269 0)
(s270 0)
(s271 0)
(s272 0)
(s273 0)
(s274 0)
(s275 0)
(s276 0)
(s277 1)
(s278 0)
(s279 0)
(s280 0)
(s281 0)
(s282 0)
(s283 0)
(s284 0)
(s285 0)
(s286 0)
(s287 0)
(s288 0)
(s289 1)
(s290 0)
(s291 0)
(s292 0)
(s293 0)
(s294 0)
(s295 0)
(s296 0)
(s297 0)
(s298 0)
(s299 0)
(s300 0)
(s301 0)
(s302 0)
(s303 0)
(s304 0)
(s305 0)
(s306 0)
(s307 0)
(s308 0)
(s309 0)
(s310 0)
(s311 0)
(s312 0)
(s313 0)
(s314 0)
(s315 0)
(s316 0)
(s317 0)
(s318 0)
(s319 0)
(s320 0)
(s321 0)
(s322 0)
(s323 0)
(s324 0)
(s325 0)
(s326 0)
(s327 0)
(s328 0)
(s329 0)
(s330 0)
(s331 0)
(s332 0)
(s333 0)
(s334 0)
(s335 0)
(s336 0)
(s337 0)
(s338 0)
(s339 0)
(s340 0)
(s341 0)
(s342 0)
(s343 0)
(s344 0)
(s345 0)
(s346 0)
(s347 0)
(s348 0)
(s349 0)
(s350 0)
(s351 0)
(s352 0)
(s353 0)
(s354 0)
(s355 0)
(s356 0)
(s357 0)
(s358 0)
(s359 0)
(s360 0)
(s361 0)
(s362 0)
(s363 0)
(s364 0)
(s365 0)
(s366 0)
(s367 0)
(s368 0)
(s369 0)
(s370 0)
(s371 0)
(s372 0)
(s373 0)
(s374 0)
(s375 0)
(s376 0)
(s377 0)
(s378 0)
(s379 0)
(s380 0)
(s381 0)
(s382 0)
(s383 0)
(s384 0)
(s385 0)
(s386 0)
(s387 0)
(s388 0)
(s389 0)
(s390 0)
(s391 0)
(s392 0)
(s393 0)
(s394 0)
(s395 0)
(s396 0)
(s397 0)
(s398 0)
(s399 0)
(s400 0)
(s401 0)
(s402 0)
(s403 0)
(s404 0)
(s405 0)
(s406 0)
(s407 0)
(s408 0)
(s409 0)
(s410 0)
(s411 0)
(s412 0)
(s413 0)
(s414 0)
(s415 0)
(s416 0)
(s417 0)
(s418 0)
(s419 0)
(s420 0)
(s421 0)
(s422 0)
(s423 0)
(s424 0)
(s425 0)
(s426 0)
(s427 0)
(s428 0)
(s429 0)
(s430 0)
(s431 0)
(s432 0)
(s433 0)
(s434 0)
(s435 0)
(s436 0)
(s437 0)
(s438 0)
(s439 0)
(s440 0)
(s441 0)
(s442 0)
(s443 0)
(s444 0)
(s445 0)
(s446 0)
(s447 0)
(s448 0)
(s449 0)
(s450 0)
(s451 0)
(s452 0)
(s453 0)
(s454 0)
(s455 0)
(s456 0)
(s457 0)
(s458 0)
(s459 0)
(s460 0)
(s461 0)
(s462 0)
(s463 0)
(s464 0)
(s465 0)
(s466 0)
(s467 0)
(s468 0)
(s469 0)
(s470 0)
(s471 0)
(s472 0)
(s473 0)
(s474 0)
(s475 0)
(s476 0)
(s477 0)
(s478 0)
(s479 0)
(s480 0)
(s481 0)
(s482 0)
(s483 0)
(s484 0)
(s485 0)
(s486 0)
(s487 0)
(s488 0)
(s489 0)
(s490 0)
(s491 0)
(s492 0)
(s493 0)
(s494 0)
(s495 0)
(s496 0)
(s497 0)
(s498 0)
(s499 0)
(s500 0)
(s501 0)
(s502 0)
(s503 0)
(s504 0)
(s505 0)
(s506 0)
(s507 0)
(s508 0)
(s509 0)
(s510 0)
(s511 0)
(s512 0)
(s513 0)
(s514 0)
(s515 0)
(s516 0)
(s517 0)
(s518 0)
(s519 0)
(s520 0)
(s521 0)
(s522 0)
(s523 0)
(s524 0)
(s525 0)
(s526 0)
(s527 0)
(s528 0)
(s529 0)
(s530 0)
(s531 0)
(s532 0)
(s533 0)
(s534 0)
(s535 0)
(s536 0)
(s537 0)
(s538 0)
(s539 0)
(s540 0)
(s541 0)
(s542 0)
(s543 0)
(s544 0)
(s545 0)
(s546 0)
(s547 0)
(s548 0)
(s549 0)
(s550 0)
(s551 0)
(s552 0)
(s553 0)
(s554 0)
(s555 0)
(s556 0)
(s557 0)
(s558 0)
(s559 0)
(s560 0)
(s561 0)
(s562 0)
(s563 0)
(s564 0)
(s565 0)
(s566 0)
(s567 0)
(s568 0)
(s569 0)
(s570 0)
(s571 0)
(s572 0)
(s573 0)
(s574 0)
(s575 0)
(s576 0)
(s577 0)
(s578 0)
(s579 0)
(s580 0)
(s581 0)
(s582 0)
(s583 0)
(s584 0)
(s585 0)
(s586 0)
(s587 0)
(s588 0)
(s589 0)
(s590 0)
(s591 0)
(s592 0)
(s593 0)
(s594 1)
(s595 0)
(s596 0)
(s597 0)
(s598 0)
(s599 0)
(s600 0)
(s601 0)
(s602 0)
(s603 0)
(s604 0)
(s605 0)
(s606 0)
(s607 0)
(s608 0)
(s609 0)
(s610 0)
(s611 0)
(s612 0)
(s613 0)
(s614 0)
(s615 0)
(s616 0)
(s617 0)
(s618 0)
(s619 0)
(s620 0)
(s621 0)
(s622 0)
(s623 0)
(s624 0)
(s625 0)
(s626 0)
(s627 0)
(s628 0)
(s629 0)
(s630 0)
(s631 0)
(s632 0)
(s633 0)
(s634 0)
(s635 0)
(s636 0)
(s637 0)
(s638 0)
(s639 0)
(s640 0)
(s641 0)
(s642 0)
(s643 0)
(s644 0)
(s645 0)
(s646 0)
(s647 0)
(s648 0)
(s649 0)
(s650 0)
(s651 0)
(s652 0)
(s653 0)
(s654 0)
(s655 0)
(s656 0)
(s657 0)
(s658 0)
(s659 0)
(s660 0)
(s661 0)
(s662 0)
(s663 0)
(s664 0)
(s665 0)
(s666 0)
(s667 0)
(s668 0)
(s669 0)
(s670 0)
(s671 0)
(s672 0)
(s673 0)
(s674 0)
(s675 0)
(s676 0)
(s677 0)
(s678 0)
(s679 0)
(s680 0)
(s681 0)
(s682 0)
(s683 0)
(s684 0)
(s685 0)
(s686 0)
(s687 0)
(s688 0)
(s689 0)
(s690 0)
(s691 0)
(s692 0)
(s693 0)
(s694 0)
(s695 0)
(s696 0)
(s697 0)
(s698 0)
(s699 0)
(s700 0)
(s701 0)
(s702 0)
(s703 0)
(s704 0)
(s705 0)
(s706 0)
(s707 0)
(s708 0)
(s709 0)
(s710 0)
(s711 0)
(s712 0)
(s713 0)
(s714 0)
(s715 0)
(s716 0)
(s717 0)
(s718 0)
(s719 0)
(s720 0)
(s721 0)
(s722 0)
(s723 0)
(s724 0)
(s725 0)
(s726 0)
(s727 0)
(s728 0)
(s729 0)
(s730 0)
(s731 0)
(s732 0)
(s733 0)
(s734 0)
(s735 0)
(s736 0)
(s737 0)
(s738 0)
(s739 0)
(s740 0)
(s741 0)
(s742 0)
(s743 0)
(s744 0)
(s745 0)
(s746 0)
(s747 0)
(s748 0)
(s749 0)
(s750 0)
(s751 0)
(s752 0)
(s753 0)
(s754 0)
(s755 0)
(s756 0)
(s757 0)
(s758 0)
(s759 0)
(s760 0)
(s761 0)
(s762 0)
(s763 0)
(s764 0)
(s765 0)
(s766 0)
(s767 0)
(s768 0)
(s769 0)
(s770 0)
(s771 0)
(s772 0)
(s773 0)
(s774 0)
(s775 0)
(s776 0)
(s777 0)
(s778 0)
(s779 0)
(s780 0)
(s781 0)
(s782 0)
(s783 0)
(s784 0)
(s785 0)
(s786 0)
(s787 0)
(s788 0)
(s789 0)
(s790 0)
(s791 0)
(s792 0)
(s793 0)
(s794 0)
(s795 0)
(s796 0)
(s797 0)
(s798 0)
(s799 0)
(s800 0)
(s801 0)
(s802 0)
(s803 0)
(s804 0)
(s805 0)
(s806 0)
(s807 0)
(s808 0)
(s809 0)
(s810 0)
(s811 0)
(s812 0)
(s813 0)
(s814 0)
(s815 0)
(s816 0)
(s817 0)
(s818 0)
(s819 0)
(s820 0)
(s821 0)
(s822 0)
(s823 0)
(s824 0)
(s825 0)
(s826 0)
(s827 0)
(s828 0)
(s829 0)
(s830 0)
(s831 0)
(s832 0)
(s833 0)
(s834 0)
(s835 0)
(s836 0)
(s837 0)
(s838 0)
(s839 0)
(s840 0)
(s841 0)
(s842 0)
(s843 0)
(s844 0)
(s845 0)
(s846 0)
(s847 0)
(s848 0)
(s849 0)
(s850 0)
(s851 0)
(s852 0)
(s853 0)
(s854 0)
(s855 0)
(s856 0)
(s857 0)
(s858 0)
(s859 0)
(s860 0)
(s861 0)
(s862 0)
(s863 0)
(s864 0)
(s865 0)
(s866 0)
(s867 0)
(s868 0)
(s869 0)
(s870 0)
(s871 0)
(s872 0)
(s873 0)
(s874 0)
(s875 0)
(s876 0)
(s877 0)
(s878 0)
(s879 0)
(s880 0)
(s881 0)
(s882 0)
(s883 0)
(s884 0)
(s885 0)
(s886 0)
(s887 0)
(s888 0)
(s889 0)
(s890 0)
(s891 0)
(s892 0)
(s893 0)
(s894 0)
(s895 0)
(s896 0)
(s897 0)
(s898 0)
(s899 0)
(s900 0)
(s901 0)
(s902 0)
(s903 0)
(s904 0)
(s905 0)
(s906 0)
(s907 0)
(s908 0)
(s909 0)
(s910 0)
(s911 0)
(s912 0)
(s913 0)
(s914 0)
(s915 0)
(s916 0)
(s917 0)
(s918 0)
(s919 0)
(s920 0)
(s921 0)
(s922 0)
(s923 0)
(s924 0)
(s925 0)
(s926 0)
(s927 0)
(s928 0)
(s929 0)
(s930 0)
(s931 0)
(s932 0)
(s933 0)
(s934 0)
(s935 0)
(s936 0)
(s937 0)
(s938 0)
(s939 0)
(s940 0)
(s941 0)
(s942 0)
(s943 0)
(s944 0)
(s945 0)
(s946 0)
(s947 0)
(s948 0)
(s949 0)
(s950 0)
(s951 0)
(s952 0)
(s953 0)
(s954 0)
(s955 0)
(s956 0)
(s957 0)
(s958 0)
(s959 0)
(s960 0)
(s961 0)
(s962 0)
(s963 0)
(s964 0)
(s965 0)
(s966 0)
(s967 0)
(s968 0)
(s969 0)
(s970 0)
(s971 0)
(s972 0)
(s973 0)
(s974 0)
(s975 0)
(s976 0)
(s977 0)
(s978 0)
(s979 0)
(s980 0)
(s981 0)
(s982 0)
(s983 0)
(s984 0)
(s985 0)
(s986 0)
(s987 0)
(s988 0)
(s989 0)
(s990 0)
(s991 0)
(s992 0)
(s993 0)
(s994 0)
(s995 0)
(s996 0)
(s997 0)
(s998 0)
(s999 0)
(s1000 0)
(s1001 0)
(s1002 0)
(s1003 0)
(s1004 0)
(s1005 0)
(s1006 0)
(s1007 0)
(s1008 0)
(s1009 0)
(s1010 0)
(s1011 0)
(s1012 0)
(s1013 0)
(s1014 0)
(s1015 0)
(s1016 0)
(s1017 0)
(s1018 0)
(s1019 0)
(s1020 0)
(s1021 0)
(s1022 0)
(s1023 0)
(s1024 0)
(s1025 0)
(s1026 0)
(s1027 0)
(s1028 0)
(s1029 0)
(s1030 0)
(s1031 0)
(s1032 0)
(s1033 0)
(s1034 0)
(s1035 0)
(s1036 0)
(s1037 0)
(s1038 0)
(s1039 0)
(s1040 0)
(s1041 0)
(s1042 0)
(s1043 0)
(s1044 0)
(s1045 0)
(s1046 0)
(s1047 0)
(s1048 0)
(s1049 0)
(s1050 0)
(s1051 0)
(s1052 0)
(s1053 0)
(s1054 0)
(s1055 0)
(s1056 0)
(s1057 0)
(s1058 0)
(s1059 0)
(s1060 0)
(s1061 0)
(s1062 0)
(s1063 0)
(s1064 0)
(s1065 0)
(s1066 0)
(s1067 0)
(s1068 0)
(s1069 0)
(s1070 0)
(s1071 0)
(s1072 0)
(s1073 0)
(s1074 0)
(s1075 0)
(s1076 0)
(s1077 0)
(s1078 0)
(s1079 0)
(s1080 0)
(s1081 0)
(s1082 0)
(s1083 0)
(s1084 0)
(s1085 0)
(s1086 0)
(s1087 0)
(s1088 0)
(s1089 0)
(s1090 0)
(s1091 0)
(s1092 0)
(s1093 0)
(s1094 0)
(s1095 0)
(s1096 0)
(s1097 0)
(s1098 0)
(s1099 0)
(s1100 0)
(s1101 0)
(s1102 0)
(s1103 0)
(s1104 0)
(s1105 0)
(s1106 0)
(s1107 0)
(s1108 0)
(s1109 0)
(s1110 0)
(s1111 0)
(s1112 0)
(s1113 0)
(s1114 0)
(s1115 0)
(s1116 0)
(s1117 0)
(s1118 0)
(s1119 0)
(s1120 0)
(s1121 0)
(s1122 0)
(s1123 0)
(s1124 0)
(s1125 0)
(s1126 0)
(s1127 0)
(s1128 0)
(s1129 0)
(s1130 0)
(s1131 0)
(s1132 0)
(s1133 0)
(s1134 0)
(s1135 0)
(s1136 0)
(s1137 0)
(s1138 0)
(s1139 0)
(s1140 0)
(s1141 0)
(s1142 0)
(s1143 0)
(s1144 0)
(s1145 0)
(s1146 0)
(s1147 0)
(s1148 0)
(s1149 0)
(s1150 0)
(s1151 0)
(s1152 0)
(s1153 0)
(s1154 0)
(s1155 0)
(s1156 0)
(s1157 0)
(s1158 0)
(s1159 0)
(s1160 0)
(s1161 0)
(s1162 0)
(s1163 0)
(s1164 0)
(s1165 0)
(s1166 0)
(s1167 0)
(s1168 0)
(s1169 0)
(s1170 0)
(s1171 0)
(s1172 0)
(s1173 0)
(s1174 0)
(s1175 0)
(s1176 0)
(s1177 0)
(s1178 0)
(s1179 0)
(s1180 0)
(s1181 0)
(s1182 0)
(s1183 0)
(s1184 0)
(s1185 0)
(s1186 0)
(s1187 0)
(s1188 0)
(s1189 0)
(s1190 0)
(s1191 0)
(s1192 0)
(s1193 0)
(s1194 0)
(s1195 0)
(s1196 0)
(s1197 0)
(s1198 0)
(s1199 0)
(s1200 0)
(s1201 0)
(s1202 0)
(s1203 0)
(s1204 0)
(s1205 0)
(s1206 0)
(s1207 0)
(s1208 0)
(s1209 0)
(s1210 0)
(s1211 0)
(s1212 0)
(s1213 0)
(s1214 0)
(s1215 0)
(s1216 0)
(s1217 0)
(s1218 0)
(s1219 0)
(s1220 0)
(s1221 0)
(s1222 0)
(s1223 0)
(s1224 0)
(s1225 0)
(s1226 0)
(s1227 0)
(s1228 0)
(s1229 0)
(s1230 0)
(s1231 0)
(s1232 0)
(s1233 0)
(s1234 0)
(s1235 0)
(s1236 0)
(s1237 0)
(s1238 0)
(s1239 0)
(s1240 0)
(s1241 0)
(s1242 0)
(s1243 0)
(s1244 0)
(s1245 0)
(s1246 0)
(s1247 0)
(s1248 0)
(s1249 0)
(s1250 0)
(s1251 0)
(s1252 0)
(s1253 0)
(s1254 0)
(s1255 0)
(s1256 0)
(s1257 0)
(s1258 0)
(s1259 0)
(s1260 0)
(s1261 0)
(s1262 0)
(s1263 0)
(s1264 0)
(s1265 0)
(s1266 0)
(s1267 0)
(s1268 0)
(s1269 0)
(s1270 0)
(s1271 0)
(s1272 0)
(s1273 0)
(s1274 0)
(s1275 0)
(s1276 0)
(s1277 0)
(s1278 0)
(s1279 0)
(s1280 0)
(s1281 0)
(s1282 0)
(s1283 0)
(s1284 0)
(s1285 0)
(s1286 0)
(s1287 0)
(s1288 0)
(s1289 0)
(s1290 0)
(s1291 0)
(s1292 0)
(s1293 0)
(s1294 0)
(s1295 0)
(s1296 0)
(s1297 0)
(s1298 0)
(s1299 0)
(s1300 0)
(s1301 0)
(s1302 0)
(s1303 0)
(s1304 0)
(s1305 0)
(s1306 0)
(s1307 0)
(s1308 0)
(s1309 0)
(s1310 0)
(s1311 0)
(s1312 0)
(s1313 0)
(s1314 0)
(s1315 0)
(s1316 0)
(s1317 0)
(s1318 0)
(s1319 0)
(s1320 0)
(s1321 0)
(s1322 0)
(s1323 0)
(s1324 0)
(s1325 0)
(s1326 0)
(s1327 0)
(s1328 0)
(s1329 0)
(s1330 0)
(s1331 0)
(s1332 0)
(s1333 0)
(s1334 0)
(s1335 0)
(s1336 0)
(s1337 0)
(s1338 0)
(s1339 0)
(s1340 0)
(s1341 0)
(s1342 0)
(s1343 0)
(s1344 0)
(s1345 0)
(s1346 0)
(s1347 0)
(s1348 0)
(s1349 0)
(s1350 0)
(s1351 0)
(s1352 0)
(s1353 0)
(s1354 0)
(s1355 0)
(s1356 0)
(s1357 0)
(s1358 0)
(s1359 0)
(s1360 0)
(s1361 0)
(s1362 0)
(s1363 0)
(s1364 0)
(s1365 0)
(s1366 0)
(s1367 0)
(s1368 0)
(s1369 0)
(s1370 0)
(s1371 0)
(s1372 0)
(s1373 0)
(s1374 0)
(s1375 0)
(s1376 0)
(s1377 0)
(s1378 0)
(s1379 0)
(s1380 0)
(s1381 0)
(s1382 0)
(s1383 0)
(s1384 0)
(s1385 0)
(s1386 0)
(s1387 0)
(s1388 0)
(s1389 0)
(s1390 0)
(s1391 0)
(s1392 0)
(s1393 0)
(s1394 0)
(s1395 0)
(s1396 0)
(s1397 0)
(s1398 0)
(s1399 0)
(s1400 0)
(s1401 0)
(s1402 0)
(s1403 0)
(s1404 0)
(s1405 0)
(s1406 0)
(s1407 0)
(s1408 0)
(s1409 0)
(s1410 0)
(s1411 0)
(s1412 0)
(s1413 0)
(s1414 0)
(s1415 0)
(s1416 0)
(s1417 0)
(s1418 0)
(s1419 0)
(s1420 0)
(s1421 0)
(s1422 0)
(s1423 0)
(s1424 0)
(s1425 0)
(s1426 0)
(s1427 0)
(s1428 0)
(s1429 0)
(s1430 0)
(s1431 0)
(s1432 0)
(s1433 0)
(s1434 0)
(s1435 0)
(s1436 0)
(s1437 0)
(s1438 0)
(s1439 0)
(s1440 0)
(s1441 0)
(s1442 0)
(s1443 0)
(s1444 0)
(s1445 0)
(s1446 0)
(s1447 0)
(s1448 0)
(s1449 0)
(s1450 0)
(s1451 0)
(s1452 0)
(s1453 0)
(s1454 0)
(s1455 0)
(s1456 0)
(s1457 0)
(s1458 0)
(s1459 0)
(s1460 0)
(s1461 0)
(s1462 0)
(s1463 0)
(s1464 0)
(s1465 0)
(s1466 0)
(s1467 0)
(s1468 0)
(s1469 0)
(s1470 0)
(s1471 0)
(s1472 0)
(s1473 0)
(s1474 0)
(s1475 0)
(s1476 0)
(s1477 0)
(s1478 0)
(s1479 0)
(s1480 0)
(s1481 0)
(s1482 0)
(s1483 0)
(s1484 0)
(s1485 0)
(s1486 0)
(s1487 0)
(s1488 0)
(s1489 0)
(s1490 0)
(s1491 0)
(s1492 0)
(s1493 0)
(s1494 0)
(s1495 0)
(s1496 0)
(s1497 0)
(s1498 0)
(s1499 0)
(s1500 0)
(s1501 0)
(s1502 0)
(s1503 0)
(s1504 0)
(s1505 0)
(s1506 0)
(s1507 0)
(s1508 0)
(s1509 0)
(s1510 0)
(s1511 0)
(s1512 0)
(s1513 0)
(s1514 0)
(s1515 0)
(s1516 0)
(s1517 0)
(s1518 0)
(s1519 0)
(s1520 0)
(s1521 0)
(s1522 0)
(s1523 0)
(s1524 0)
(s1525 0)
(s1526 0)
(s1527 0)
(s1528 0)
(s1529 0)
(s1530 0)
(s1531 0)
(s1532 0)
(s1533 0)
(s1534 0)
(s1535 0)
(s1536 0)
(s1537 0)
(s1538 0)
(s1539 0)
(s1540 0)
(s1541 0)
(s1542 0)
(s1543 0)
(s1544 0)
(s1545 0)
(s1546 0)
(s1547 0)
(s1548 0)
(s1549 0)
(s1550 0)
(s1551 0)
(s1552 0)
(s1553 0)
(s1554 0)
(s1555 0)
(s1556 0)
(s1557 0)
(s1558 0)
(s1559 0)
(s1560 0)
(s1561 0)
(s1562 0)
(s1563 0)
(s1564 0)
(s1565 0)
(s1566 0)
(s1567 0)
(s1568 0)
(s1569 0)
(s1570 0)
(s1571 0)
(s1572 0)
(s1573 0)
(s1574 0)
(s1575 0)
(s1576 0)
(s1577 0)
(s1578 0)
(s1579 0)
(s1580 0)
(s1581 0)
(s1582 0)
(s1583 0)
(s1584 0)
(s1585 0)
(s1586 0)
(s1587 0)
(s1588 0)
(s1589 0)
(s1590 0)
(s1591 timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 3101/8652 variables, and 51 constraints, problems are : Problem set: 0 solved, 5500 unsolved in 30101 ms.
Refiners :[Positive P Invariants (semi-flows): 51/51 constraints, State Equation: 0/3102 constraints, ReadFeed: 0/4950 constraints, PredecessorRefiner: 0/5500 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 63848ms problems are : Problem set: 0 solved, 5500 unsolved
Search for dead transitions found 0 dead transitions in 63861ms
Starting structural reductions in LTL mode, iteration 1 : 3102/3142 places, 5550/5630 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 194928 ms. Remains : 3102/3142 places, 5550/5630 transitions.
[2025-05-31 05:05:41] [INFO ] Flatten gal took : 115 ms
[2025-05-31 05:05:41] [INFO ] Flatten gal took : 139 ms
[2025-05-31 05:05:42] [INFO ] Input system was already deterministic with 5550 transitions.
[2025-05-31 05:05:42] [INFO ] Flatten gal took : 145 ms
[2025-05-31 05:05:42] [INFO ] Flatten gal took : 156 ms
[2025-05-31 05:05:42] [INFO ] Time to serialize gal into /tmp/CTLFireability3262815756930357271.gal : 27 ms
[2025-05-31 05:05:42] [INFO ] Time to serialize properties into /tmp/CTLFireability5364853763118027108.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/CTLFireability3262815756930357271.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5364853763118027108.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-05-31 05:06:12] [INFO ] Flatten gal took : 126 ms
[2025-05-31 05:06:12] [INFO ] Applying decomposition
[2025-05-31 05:06:12] [INFO ] Flatten gal took : 130 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/graph15222221979136572623.txt' '-o' '/tmp/graph15222221979136572623.bin' '-w' '/tmp/graph15222221979136572623.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph15222221979136572623.bin' '-l' '-1' '-v' '-w' '/tmp/graph15222221979136572623.weights' '-q' '0' '-e' '0.001'
[2025-05-31 05:06:13] [INFO ] Decomposing Gal with order
[2025-05-31 05:06:13] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 05:06:13] [INFO ] Removed a total of 5045 redundant transitions.
[2025-05-31 05:06:13] [INFO ] Flatten gal took : 591 ms
[2025-05-31 05:06:14] [INFO ] Fuse similar labels procedure discarded/fused a total of 9800 labels/synchronizations in 486 ms.
[2025-05-31 05:06:14] [INFO ] Time to serialize gal into /tmp/CTLFireability7015829864684320752.gal : 53 ms
[2025-05-31 05:06:14] [INFO ] Time to serialize properties into /tmp/CTLFireability9935891545118814467.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/CTLFireability7015829864684320752.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9935891545118814467.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 : 3142/3142 places, 5630/5630 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 323 transitions
Trivial Post-agglo rules discarded 323 transitions
Performed 323 trivial Post agglomeration. Transition count delta: 323
Iterating post reduction 0 with 323 rules applied. Total rules applied 323 place count 3142 transition count 5307
Reduce places removed 323 places and 0 transitions.
Iterating post reduction 1 with 323 rules applied. Total rules applied 646 place count 2819 transition count 5307
Performed 50 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 50 Pre rules applied. Total rules applied 646 place count 2819 transition count 5257
Deduced a syphon composed of 50 places in 2 ms
Reduce places removed 50 places and 0 transitions.
Iterating global reduction 2 with 100 rules applied. Total rules applied 746 place count 2769 transition count 5257
Discarding 40 places :
Symmetric choice reduction at 2 with 40 rule applications. Total rules 786 place count 2729 transition count 5177
Iterating global reduction 2 with 40 rules applied. Total rules applied 826 place count 2729 transition count 5177
Drop transitions (Trivial Post-Agglo cleanup.) removed 27 transitions
Trivial Post-agglo rules discarded 27 transitions
Performed 27 trivial Post agglomeration. Transition count delta: 27
Iterating post reduction 2 with 27 rules applied. Total rules applied 853 place count 2729 transition count 5150
Reduce places removed 27 places and 0 transitions.
Iterating post reduction 3 with 27 rules applied. Total rules applied 880 place count 2702 transition count 5150
Performed 46 Post agglomeration using F-continuation condition.Transition count delta: 46
Deduced a syphon composed of 46 places in 1 ms
Reduce places removed 46 places and 0 transitions.
Iterating global reduction 4 with 92 rules applied. Total rules applied 972 place count 2656 transition count 5104
Applied a total of 972 rules in 1332 ms. Remains 2656 /3142 variables (removed 486) and now considering 5104/5630 (removed 526) transitions.
// Phase 1: matrix 5104 rows 2656 cols
[2025-05-31 05:06:46] [INFO ] Computed 51 invariants in 84 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 05:06:50] [INFO ] Implicit Places using invariants in 4429 ms returned []
[2025-05-31 05:06:50] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 05:06:53] [INFO ] State equation strengthened by 4950 read => feed constraints.
[2025-05-31 05:07:24] [INFO ] Performed 437/2656 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-05-31 05:07:54] [INFO ] Performed 815/2656 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-05-31 05:08:24] [INFO ] Performed 1170/2656 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-05-31 05:08:54] [INFO ] Performed 1547/2656 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2025-05-31 05:08:54] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2025-05-31 05:08:54] [INFO ] Implicit Places using invariants and state equation in 123870 ms returned []
Implicit Place search using SMT with State Equation took 128305 ms to find 0 implicit places.
Starting Z3 with timeout 200.0 s and query timeout 20000.0 ms
[2025-05-31 05:08:55] [INFO ] Redundant transitions in 758 ms returned []
Running 5054 sub problems to find dead transitions.
[2025-05-31 05:08:55] [INFO ] Invariant cache hit.
[2025-05-31 05:08:55] [INFO ] State equation strengthened by 4950 read => feed constraints.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/2655 variables, 51/51 constraints. Problems are: Problem set: 0 solved, 5054 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 2655/7760 variables, and 51 constraints, problems are : Problem set: 0 solved, 5054 unsolved in 30141 ms.
Refiners :[Positive P Invariants (semi-flows): 51/51 constraints, State Equation: 0/2656 constraints, ReadFeed: 0/4950 constraints, PredecessorRefiner: 5054/5054 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 5054 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/2655 variables, 51/51 constraints. Problems are: Problem set: 0 solved, 5054 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 05:10:06] [INFO ] Deduced a trap composed of 53 places in 16755 ms of which 12006 ms to minimize.
SMT process timed out in 71705ms, After SMT, problems are : Problem set: 0 solved, 5054 unsolved
Search for dead transitions found 0 dead transitions in 71717ms
Starting structural reductions in SI_CTL mode, iteration 1 : 2656/3142 places, 5104/5630 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 202134 ms. Remains : 2656/3142 places, 5104/5630 transitions.
[2025-05-31 05:10:06] [INFO ] Flatten gal took : 102 ms
[2025-05-31 05:10:07] [INFO ] Flatten gal took : 126 ms
[2025-05-31 05:10:07] [INFO ] Input system was already deterministic with 5104 transitions.
[2025-05-31 05:10:07] [INFO ] Flatten gal took : 119 ms
[2025-05-31 05:10:07] [INFO ] Flatten gal took : 125 ms
[2025-05-31 05:10:07] [INFO ] Time to serialize gal into /tmp/CTLFireability7473384551510915662.gal : 27 ms
[2025-05-31 05:10:07] [INFO ] Time to serialize properties into /tmp/CTLFireability16289559246764125039.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/CTLFireability7473384551510915662.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16289559246764125039.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-05-31 05:10:37] [INFO ] Flatten gal took : 124 ms
[2025-05-31 05:10:37] [INFO ] Applying decomposition
[2025-05-31 05:10:37] [INFO ] Flatten gal took : 128 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/graph11711411593860375714.txt' '-o' '/tmp/graph11711411593860375714.bin' '-w' '/tmp/graph11711411593860375714.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph11711411593860375714.bin' '-l' '-1' '-v' '-w' '/tmp/graph11711411593860375714.weights' '-q' '0' '-e' '0.001'
[2025-05-31 05:10:38] [INFO ] Decomposing Gal with order
[2025-05-31 05:10:38] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 05:10:38] [INFO ] Removed a total of 4933 redundant transitions.
[2025-05-31 05:10:38] [INFO ] Flatten gal took : 601 ms
[2025-05-31 05:10:39] [INFO ] Fuse similar labels procedure discarded/fused a total of 4896 labels/synchronizations in 447 ms.
[2025-05-31 05:10:39] [INFO ] Time to serialize gal into /tmp/CTLFireability3348809543836516255.gal : 30 ms
[2025-05-31 05:10:39] [INFO ] Time to serialize properties into /tmp/CTLFireability2985508799065595737.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/CTLFireability3348809543836516255.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2985508799065595737.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 : 3142/3142 places, 5630/5630 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 322 transitions
Trivial Post-agglo rules discarded 322 transitions
Performed 322 trivial Post agglomeration. Transition count delta: 322
Iterating post reduction 0 with 322 rules applied. Total rules applied 322 place count 3142 transition count 5308
Reduce places removed 322 places and 0 transitions.
Iterating post reduction 1 with 322 rules applied. Total rules applied 644 place count 2820 transition count 5308
Performed 50 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 50 Pre rules applied. Total rules applied 644 place count 2820 transition count 5258
Deduced a syphon composed of 50 places in 3 ms
Reduce places removed 50 places and 0 transitions.
Iterating global reduction 2 with 100 rules applied. Total rules applied 744 place count 2770 transition count 5258
Discarding 40 places :
Symmetric choice reduction at 2 with 40 rule applications. Total rules 784 place count 2730 transition count 5178
Iterating global reduction 2 with 40 rules applied. Total rules applied 824 place count 2730 transition count 5178
Drop transitions (Trivial Post-Agglo cleanup.) removed 27 transitions
Trivial Post-agglo rules discarded 27 transitions
Performed 27 trivial Post agglomeration. Transition count delta: 27
Iterating post reduction 2 with 27 rules applied. Total rules applied 851 place count 2730 transition count 5151
Reduce places removed 27 places and 0 transitions.
Iterating post reduction 3 with 27 rules applied. Total rules applied 878 place count 2703 transition count 5151
Performed 49 Post agglomeration using F-continuation condition.Transition count delta: 49
Deduced a syphon composed of 49 places in 2 ms
Reduce places removed 49 places and 0 transitions.
Iterating global reduction 4 with 98 rules applied. Total rules applied 976 place count 2654 transition count 5102
Applied a total of 976 rules in 1783 ms. Remains 2654 /3142 variables (removed 488) and now considering 5102/5630 (removed 528) transitions.
// Phase 1: matrix 5102 rows 2654 cols
[2025-05-31 05:11:11] [INFO ] Computed 51 invariants in 82 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 05:11:16] [INFO ] Implicit Places using invariants in 4765 ms returned []
[2025-05-31 05:11:16] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 05:11:18] [INFO ] State equation strengthened by 4950 read => feed constraints.
[2025-05-31 05:11:49] [INFO ] Performed 449/2654 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-05-31 05:12:19] [INFO ] Performed 829/2654 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-05-31 05:12:49] [INFO ] Performed 1209/2654 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-05-31 05:13:19] [INFO ] Performed 1597/2654 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2025-05-31 05:13:19] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2025-05-31 05:13:19] [INFO ] Implicit Places using invariants and state equation in 123766 ms returned []
Implicit Place search using SMT with State Equation took 128536 ms to find 0 implicit places.
Starting Z3 with timeout 200.0 s and query timeout 20000.0 ms
[2025-05-31 05:13:20] [INFO ] Redundant transitions in 420 ms returned []
Running 5052 sub problems to find dead transitions.
[2025-05-31 05:13:20] [INFO ] Invariant cache hit.
[2025-05-31 05:13:20] [INFO ] State equation strengthened by 4950 read => feed constraints.
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/2653 variables, 51/51 constraints. Problems are: Problem set: 0 solved, 5052 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 2653/7756 variables, and 51 constraints, problems are : Problem set: 0 solved, 5052 unsolved in 30089 ms.
Refiners :[Positive P Invariants (semi-flows): 51/51 constraints, State Equation: 0/2654 constraints, ReadFeed: 0/4950 constraints, PredecessorRefiner: 5052/5052 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 5052 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/2653 variables, 51/51 constraints. Problems are: Problem set: 0 solved, 5052 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 05:14:32] [INFO ] Deduced a trap composed of 53 places in 17361 ms of which 12006 ms to minimize.
SMT process timed out in 72301ms, After SMT, problems are : Problem set: 0 solved, 5052 unsolved
Search for dead transitions found 0 dead transitions in 72312ms
Starting structural reductions in SI_CTL mode, iteration 1 : 2654/3142 places, 5102/5630 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 203086 ms. Remains : 2654/3142 places, 5102/5630 transitions.
[2025-05-31 05:14:32] [INFO ] Flatten gal took : 168 ms
[2025-05-31 05:14:32] [INFO ] Flatten gal took : 159 ms
[2025-05-31 05:14:33] [INFO ] Input system was already deterministic with 5102 transitions.
RANDOM walk for 4606 steps (10 resets) in 70 ms. (64 steps per ms) remains 0/1 properties
FORMULA CANConstruction-PT-050-CTLFireability-2025-05 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
[2025-05-31 05:14:33] [INFO ] Flatten gal took : 125 ms
[2025-05-31 05:14:33] [INFO ] Flatten gal took : 157 ms
[2025-05-31 05:14:33] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality7397647401371818272.gal : 26 ms
[2025-05-31 05:14:33] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality6541996170511922551.prop : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality7397647401371818272.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality6541996170511922551.prop' '--nowitness' '--gen-order' 'FOLLOW'
ITS runner timed out or was interrupted.
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...328
ITS tools runner thread asked to quit. Dying gracefully.
Starting structural reductions in LTL mode, iteration 0 : 3142/3142 places, 5630/5630 transitions.
Discarding 38 places :
Symmetric choice reduction at 0 with 38 rule applications. Total rules 38 place count 3104 transition count 5554
Iterating global reduction 0 with 38 rules applied. Total rules applied 76 place count 3104 transition count 5554
Applied a total of 76 rules in 1182 ms. Remains 3104 /3142 variables (removed 38) and now considering 5554/5630 (removed 76) transitions.
// Phase 1: matrix 5554 rows 3104 cols
[2025-05-31 05:14:34] [INFO ] Computed 51 invariants in 37 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 05:14:39] [INFO ] Implicit Places using invariants in 4977 ms returned []
[2025-05-31 05:14:39] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 05:14:43] [INFO ] State equation strengthened by 4950 read => feed constraints.
[2025-05-31 05:15:14] [INFO ] Performed 837/3104 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-05-31 05:15:44] [INFO ] Performed 1148/3104 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-05-31 05:16:14] [INFO ] Performed 1470/3104 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-05-31 05:16:44] [INFO ] Performed 1789/3104 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2025-05-31 05:16:44] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2025-05-31 05:16:44] [INFO ] Implicit Places using invariants and state equation in 124500 ms returned []
Implicit Place search using SMT with State Equation took 129491 ms to find 0 implicit places.
Running 5504 sub problems to find dead transitions.
[2025-05-31 05:16:44] [INFO ] Invariant cache hit.
[2025-05-31 05:16:44] [INFO ] State equation strengthened by 4950 read => feed constraints.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
Error getting values : (error "ParserException while parsing response: ((s0 1.0)
(s2 0.0)
(s3 0.0)
(s4 0.0)
(s5 0.0)
(s6 0.0)
(s7 0.0)
(s8 0.0)
(s9 0.0)
(s10 0.0)
(s11 0.0)
(s12 0.0)
(s13 1.0)
(s14 0.0)
(s15 0.0)
(s16 0.0)
(s17 0.0)
(s18 0.0)
(s19 0.0)
(s20 0.0)
(s21 0.0)
(s22 0.0)
(s23 0.0)
(s24 0.0)
(s25 1.0)
(s26 0.0)
(s27 0.0)
(s28 0.0)
(s29 0.0)
(s30 0.0)
(s31 0.0)
(s32 0.0)
(s33 0.0)
(s34 0.0)
(s35 0.0)
(s36 0.0)
(s37 1.0)
(s38 0.0)
(s39 0.0)
(s40 0.0)
(s41 0.0)
(s42 0.0)
(s43 0.0)
(s44 0.0)
(s45 0.0)
(s46 0.0)
(s47 0.0)
(s48 0.0)
(s49 1.0)
(s50 0.0)
(s51 0.0)
(s52 0.0)
(s53 0.0)
(s54 0.0)
(s55 0.0)
(s56 0.0)
(s57 0.0)
(s58 0.0)
(s59 0.0)
(s60 0.0)
(s61 1.0)
(s62 0.0)
(s63 0.0)
(s64 0.0)
(s65 0.0)
(s66 0.0)
(s67 0.0)
(s68 0.0)
(s69 0.0)
(s70 0.0)
(s71 0.0)
(s72 0.0)
(s73 1.0)
(s74 0.0)
(s75 0.0)
(s76 0.0)
(s77 0.0)
(s78 0.0)
(s79 0.0)
(s80 0.0)
(s81 0.0)
(s82 0.0)
(s83 0.0)
(s84 0.0)
(s85 1.0)
(s86 0.0)
(s87 0.0)
(s88 0.0)
(s89 0.0)
(s90 0.0)
(s91 0.0)
(s92 0.0)
(s93 0.0)
(s94 0.0)
(s95 0.0)
(s96 0.0)
(s97 1.0)
(s98 0.0)
(s99 0.0)
(s100 0.0)
(s101 0.0)
(s102 0.0)
(s103 0.0)
(s104 0.0)
(s105 0.0)
(s106 0.0)
(s107 0.0)
(s108 0.0)
(s109 1.0)
(s110 0.0)
(s111 0.0)
(s112 0.0)
(s113 0.0)
(s114 0.0)
(s115 0.0)
(s116 0.0)
(s117 0.0)
(s118 0.0)
(s119 0.0)
(s120 0.0)
(s121 1.0)
(s122 0.0)
(s123 0.0)
(s124 0.0)
(s125 0.0)
(s126 0.0)
(s127 0.0)
(s128 0.0)
(s129 0.0)
(s130 0.0)
(s131 0.0)
(s132 0.0)
(s133 1.0)
(s134 0.0)
(s135 0.0)
(s136 0.0)
(s137 0.0)
(s138 0.0)
(s139 0.0)
(s140 0.0)
(s141 0.0)
(s142 0.0)
(s143 0.0)
(s144 0.0)
(s145 1.0)
(s146 0.0)
(s147 0.0)
(s148 0.0)
(s149 0.0)
(s150 0.0)
(s151 0.0)
(s152 0.0)
(s153 0.0)
(s154 0.0)
(s155 0.0)
(s156 0.0)
(s157 1.0)
(s158 0.0)
(s159 0.0)
(s160 0.0)
(s161 0.0)
(s162 0.0)
(s163 0.0)
(s164 0.0)
(s165 0.0)
(s166 0.0)
(s167 0.0)
(s168 0.0)
(s169 1.0)
(s170 0.0)
(s171 0.0)
(s172 0.0)
(s173 0.0)
(s174 0.0)
(s175 0.0)
(s176 0.0)
(s177 0.0)
(s178 0.0)
(s179 0.0)
(s180 0.0)
(s181 1.0)
(s182 0.0)
(s183 0.0)
(s184 0.0)
(s185 0.0)
(s186 0.0)
(s187 0.0)
(s188 0.0)
(s189 0.0)
(s190 0.0)
(s191 0.0)
(s192 0.0)
(s193 1.0)
(s194 0.0)
(s195 0.0)
(s196 0.0)
(s197 0.0)
(s198 0.0)
(s199 0.0)
(s200 0.0)
(s201 0.0)
(s202 0.0)
(s203 0.0)
(s204 0.0)
(s205 1.0)
(s206 0.0)
(s207 0.0)
(s208 0.0)
(s209 0.0)
(s210 0.0)
(s211 0.0)
(s212 0.0)
(s213 0.0)
(s214 0.0)
(s215 0.0)
(s216 0.0)
(s217 1.0)
(s218 0.0)
(s219 0.0)
(s220 0.0)
(s221 0.0)
(s222 0.0)
(s223 0.0)
(s224 0.0)
(s225 0.0)
(s226 0.0)
(s227 0.0)
(s228 0.0)
(s229 1.0)
(s230 0.0)
(s231 0.0)
(s232 0.0)
(s233 0.0)
(s234 0.0)
(s235 0.0)
(s236 0.0)
(s237 0.0)
(s238 0.0)
(s239 0.0)
(s240 0.0)
(s241 1.0)
(s242 0.0)
(s243 0.0)
(s244 0.0)
(s245 0.0)
(s246 0.0)
(s247 0.0)
(s248 0.0)
(s249 0.0)
(s250 0.0)
(s251 0.0)
(s252 0.0)
(s253 1.0)
(s254 0.0)
(s255 0.0)
(s256 0.0)
(s257 0.0)
(s258 0.0)
(s259 0.0)
(s260 0.0)
(s261 0.0)
(s262 0.0)
(s263 0.0)
(s264 0.0)
(s265 1.0)
(s266 0.0)
(s267 0.0)
(s268 0.0)
(s269 0.0)
(s270 0.0)
(s271 0.0)
(s272 0.0)
(s273 0.0)
(s274 0.0)
(s275 0.0)
(s276 0.0)
(s277 1.0)
(s278 0.0)
(s279 0.0)
(s280 0.0)
(s281 0.0)
(s282 0.0)
(s283 0.0)
(s284 0.0)
(s285 0.0)
(s286 0.0)
(s287 0.0)
(s288 0.0)
(s289 1.0)
(s290 0.0)
(s291 0.0)
(s292 0.0)
(s293 0.0)
(s294 0.0)
(s295 0.0)
(s296 0.0)
(s297 0.0)
(s298 0.0)
(s299 0.0)
(s300 0.0)
(s301 1.0)
(s302 0.0)
(s303 0.0)
(s304 0.0)
(s305 0.0)
(s306 0.0)
(s307 0.0)
(s308 0.0)
(s309 0.0)
(s310 0.0)
(s311 0.0)
(s312 0.0)
(s313 1.0)
(s314 0.0)
(s315 0.0)
(s316 0.0)
(s317 0.0)
(s318 0.0)
(s319 0.0)
(s320 1.0)
(s321 0.0)
(s322 0.0)
(s323 0.0)
(s324 0.0)
(s325 0.0)
(s326 0.0)
(s327 0.0)
(s328 0.0)
(s329 0.0)
(s330 0.0)
(s331 0.0)
(s332 0.0)
(s333 0.0)
(s334 0.0)
(s335 0.0)
(s336 0.0)
(s337 0.0)
(s338 0.0)
(s339 0.0)
(s340 0.0)
(s341 0.0)
(s342 0.0)
(s343 0.0)
(s344 0.0)
(s345 0.0)
(s346 0.0)
(s347 0.0)
(s348 0.0)
(s349 0.0)
(s350 0.0)
(s351 0.0)
(s352 0.0)
(s353 0.0)
(s354 0.0)
(s355 0.0)
(s356 0.0)
(s357 0.0)
(s358 0.0)
(s359 0.0)
(s360 0.0)
(s361 0.0)
(s362 0.0)
(s363 0.0)
(s364 0.0)
(s365 0.0)
(s366 0.0)
(s367 0.0)
(s368 0.0)
(s369 0.0)
(s370 0.0)
(s371 0.0)
(s372 0.0)
(s373 0.0)
(s374 0.0)
(s375 0.0)
(s376 0.0)
(s377 0.0)
(s378 0.0)
(s379 0.0)
(s380 0.0)
(s381 0.0)
(s382 0.0)
(s383 0.0)
(s384 0.0)
(s385 0.0)
(s386 0.0)
(s387 0.0)
(s388 0.0)
(s389 0.0)
(s390 0.0)
(s391 0.0)
(s392 0.0)
(s393 0.0)
(s394 0.0)
(s395 0.0)
(s396 0.0)
(s397 0.0)
(s398 0.0)
(s399 0.0)
(s400 0.0)
(s401 0.0)
(s402 0.0)
(s403 0.0)
(s404 0.0)
(s405 0.0)
(s406 0.0)
(s407 0.0)
(s408 0.0)
(s409 0.0)
(s410 0.0)
(s411 0.0)
(s412 0.0)
(s413 0.0)
(s414 0.0)
(s415 0.0)
(s416 0.0)
(s417 0.0)
(s418 0.0)
(s419 0.0)
(s420 0.0)
(s421 0.0)
(s422 0.0)
(s423 0.0)
(s424 0.0)
(s425 0.0)
(s426 0.0)
(s427 0.0)
(s428 0.0)
(s429 0.0)
(s430 0.0)
(s431 0.0)
(s432 0.0)
(s433 0.0)
(s434 0.0)
(s435 0.0)
(s436 0.0)
(s437 0.0)
(s438 0.0)
(s439 0.0)
(s440 0.0)
(s441 0.0)
(s442 0.0)
(s443 0.0)
(s444 0.0)
(s445 0.0)
(s446 0.0)
(s447 0.0)
(s448 0.0)
(s449 0.0)
(s450 0.0)
(s451 0.0)
(s452 0.0)
(s453 0.0)
(s454 0.0)
(s455 0.0)
(s456 0.0)
(s457 0.0)
(s458 0.0)
(s459 0.0)
(s460 0.0)
(s461 0.0)
(s462 0.0)
(s463 0.0)
(s464 0.0)
(s465 0.0)
(s466 0.0)
(s467 0.0)
(s468 0.0)
(s469 0.0)
(s470 0.0)
(s471 0.0)
(s472 0.0)
(s473 0.0)
(s474 0.0)
(s475 0.0)
(s476 0.0)
(s477 0.0)
(s478 0.0)
(s479 0.0)
(s480 0.0)
(s481 0.0)
(s482 0.0)
(s483 0.0)
(s484 0.0)
(s485 0.0)
(s486 0.0)
(s487 0.0)
(s488 0.0)
(s489 0.0)
(s490 0.0)
(s491 0.0)
(s492 0.0)
(s493 0.0)
(s494 0.0)
(s495 0.0)
(s496 0.0)
(s497 0.0)
(s498 0.0)
(s499 0.0)
(s500 0.0)
(s501 0.0)
(s502 0.0)
(s503 0.0)
(s504 0.0)
(s505 0.0)
(s506 0.0)
(s507 0.0)
(s508 0.0)
(s509 0.0)
(s510 0.0)
(s511 0.0)
(s512 0.0)
(s513 0.0)
(s514 0.0)
(s515 0.0)
(s516 0.0)
(s517 0.0)
(s518 0.0)
(s519 0.0)
(s520 0.0)
(s521 0.0)
(s522 0.0)
(s523 0.0)
(s524 0.0)
(s525 0.0)
(s526 0.0)
(s527 0.0)
(s528 0.0)
(s529 0.0)
(s530 0.0)
(s531 0.0)
(s532 0.0)
(s533 0.0)
(s534 0.0)
(s535 0.0)
(s536 0.0)
(s537 0.0)
(s538 0.0)
(s539 0.0)
(s540 0.0)
(s541 0.0)
(s542 0.0)
(s543 0.0)
(s544 0.0)
(s545 0.0)
(s546 0.0)
(s547 0.0)
(s548 0.0)
(s549 0.0)
(s550 0.0)
(s551 0.0)
(s552 0.0)
(s553 0.0)
(s554 0.0)
(s555 0.0)
(s556 0.0)
(s557 0.0)
(s558 0.0)
(s559 0.0)
(s560 0.0)
(s561 0.0)
(s562 0.0)
(s563 0.0)
(s564 0.0)
(s565 0.0)
(s566 0.0)
(s567 0.0)
(s568 0.0)
(s569 0.0)
(s570 0.0)
(s571 0.0)
(s572 0.0)
(s573 0.0)
(s574 0.0)
(s575 0.0)
(s576 0.0)
(s577 0.0)
(s578 0.0)
(s579 0.0)
(s580 0.0)
(s581 0.0)
(s582 0.0)
(s583 0.0)
(s584 0.0)
(s585 0.0)
(s586 0.0)
(s587 0.0)
(s588 0.0)
(s589 0.0)
(s590 0.0)
(s591 0.0)
(s592 0.0)
(s593 0.0)
(s594 1.0)
(s595 0.0)
(s596 0.0)
(s597 0.0)
(s598 0.0)
(s599 0.0)
(s600 0.0)
(s601 0.0)
(s602 0.0)
(s603 0.0)
(s604 0.0)
(s605 0.0)
(s606 0.0)
(s607 0.0)
(s608 0.0)
(s609 0.0)
(s610 0.0)
(s611 0.0)
(s612 0.0)
(s613 0.0)
(s614 0.0)
(s615 0.0)
(s616 0.0)
(s617 0.0)
(s618 0.0)
(s619 0.0)
(s620 0.0)
(s621 0.0)
(s622 0.0)
(s623 0.0)
(s624 0.0)
(s625 0.0)
(s626 0.0)
(s627 0.0)
(s628 0.0)
(s629 0.0)
(s630 0.0)
(s631 0.0)
(s632 0.0)
(s633 0.0)
(s634 0.0)
(s635 0.0)
(s636 0.0)
(s637 0.0)
(s638 0.0)
(s639 0.0)
(s640 0.0)
(s641 0.0)
(s642 0.0)
(s643 0.0)
(s644 0.0)
(s645 0.0)
(s646 0.0)
(s647 0.0)
(s648 0.0)
(s649 0.0)
(s650 0.0)
(s651 0.0)
(s652 0.0)
(s653 0.0)
(s654 0.0)
(s655 0.0)
(s656 0.0)
(s657 0.0)
(s658 0.0)
(s659 0.0)
(s660 0.0)
(s661 0.0)
(s662 0.0)
(s663 0.0)
(s664 0.0)
(s665 0.0)
(s666 0.0)
(s667 0.0)
(s668 0.0)
(s669 0.0)
(s670 0.0)
(s671 0.0)
(s672 0.0)
(s673 0.0)
(s674 0.0)
(s675 0.0)
(s676 0.0)
(s677 0.0)
(s678 0.0)
(s679 0.0)
(s680 0.0)
(s681 0.0)
(s682 0.0)
(s683 0.0)
(s684 0.0)
(s685 0.0)
(s686 0.0)
(s687 0.0)
(s688 0.0)
(s689 0.0)
(s690 0.0)
(s691 0.0)
(s692 0.0)
(s693 0.0)
(s694 0.0)
(s695 0.0)
(s696 0.0)
(s697 0.0)
(s698 0.0)
(s699 0.0)
(s700 0.0)
(s701 0.0)
(s702 0.0)
(s703 0.0)
(s704 0.0)
(s705 0.0)
(s706 0.0)
(s707 0.0)
(s708 0.0)
(s709 0.0)
(s710 0.0)
(s711 0.0)
(s712 0.0)
(s713 0.0)
(s714 0.0)
(s715 0.0)
(s716 0.0)
(s717 0.0)
(s718 0.0)
(s719 0.0)
(s720 0.0)
(s721 0.0)
(s722 0.0)
(s723 0.0)
(s724 0.0)
(s725 0.0)
(s726 0.0)
(s727 0.0)
(s728 0.0)
(s729 0.0)
(s730 0.0)
(s731 0.0)
(s732 0.0)
(s733 0.0)
(s734 0.0)
(s735 0.0)
(s736 0.0)
(s737 0.0)
(s738 0.0)
(s739 0.0)
(s740 0.0)
(s741 0.0)
(s742 0.0)
(s743 0.0)
(s744 0.0)
(s745 0.0)
(s746 0.0)
(s747 0.0)
(s748 0.0)
(s749 0.0)
(s750 0.0)
(s751 0.0)
(s752 0.0)
(s753 0.0)
(s754 0.0)
(s755 0.0)
(s756 0.0)
(s757 0.0)
(s758 0.0)
(s759 0.0)
(s760 0.0)
(s761 0.0)
(s762 0.0)
(s763 0.0)
(s764 0.0)
(s765 0.0)
(s766 0.0)
(s767 0.0)
(s768 0.0)
(s769 0.0)
(s770 0.0)
(s771 0.0)
(s772 0.0)
(s773 0.0)
(s774 0.0)
(s775 0.0)
(s776 0.0)
(s777 0.0)
(s778 0.0)
(s779 0.0)
(s780 0.0)
(s781 0.0)
(s782 0.0)
(s783 0.0)
(s784 0.0)
(s785 0.0)
(s786 0.0)
(s787 0.0)
(s788 0.0)
(s789 0.0)
(s790 0.0)
(s791 0.0)
(s792 0.0)
(s793 0.0)
(s794 0.0)
(s795 0.0)
(s796 0.0)
(s797 0.0)
(s798 0.0)
(s799 0.0)
(s800 0.0)
(s801 0.0)
(s802 0.0)
(s803 0.0)
(s804 0.0)
(s805 0.0)
(s806 0.0)
(s807 0.0)
(s808 0.0)
(s809 0.0)
(s810 0.0)
(s811 0.0)
(s812 0.0)
(s813 0.0)
(s814 0.0)
(s815 0.0)
(s816 0.0)
(s817 0.0)
(s818 0.0)
(s819 0.0)
(s820 0.0)
(s821 0.0)
(s822 0.0)
(s823 0.0)
(s824 0.0)
(s825 0.0)
(s826 0.0)
(s827 0.0)
(s828 0.0)
(s829 0.0)
(s830 0.0)
(s831 0.0)
(s832 0.0)
(s833 0.0)
(s834 0.0)
(s835 0.0)
(s836 0.0)
(s837 0.0)
(s838 0.0)
(s839 0.0)
(s840 0.0)
(s841 0.0)
(s842 0.0)
(s843 0.0)
(s844 0.0)
(s845 0.0)
(s846 0.0)
(s847 0.0)
(s848 0.0)
(s849 0.0)
(s850 0.0)
(s851 0.0)
(s852 0.0)
(s853 0.0)
(s854 0.0)
(s855 0.0)
(s856 0.0)
(s857 0.0)
(s858 0.0)
(s859 0.0)
(s860 0.0)
(s861 0.0)
(s862 0.0)
(s863 0.0)
(s864 0.0)
(s865 0.0)
(s866 0.0)
(s867 0.0)
(s868 0.0)
(s869 0.0)
(s870 0.0)
(s871 0.0)
(s872 0.0)
(s873 0.0)
(s874 0.0)
(s875 0.0)
(s876 0.0)
(s877 0.0)
(s878 0.0)
(s879 0.0)
(s880 0.0)
(s881 0.0)
(s882 0.0)
(s883 0.0)
(s884 0.0)
(s885 0.0)
(s886 0.0)
(s887 0.0)
(s888 0.0)
(s889 0.0)
(s890 0.0)
(s891 0.0)
(s892 0.0)
(s893 0.0)
(s894 0.0)
(s895 0.0)
(s896 0.0)
(s897 0.0)
(s898 0.0)
(s899 0.0)
(s900 0.0)
(s901 0.0)
(s902 0.0)
(s903 0.0)
(s904 0.0)
(s905 0.0)
(s906 0.0)
(s907 0.0)
(s908 0.0)
(s909 0.0)
(s910 0.0)
(s911 0.0)
(s912 0.0)
(s913 0.0)
(s914 0.0)
(s915 0.0)
(s916 0.0)
(s917 0.0)
(s918 0.0)
(s919 0.0)
(s920 0.0)
(s921 0.0)
(s922 0.0)
(s923 0.0)
(s924 0.0)
(s925 0.0)
(s926 0.0)
(s927 0.0)
(s928 0.0)
(s929 0.0)
(s930 0.0)
(s931 0.0)
(s932 0.0)
(s933 0.0)
(s934 0.0)
(s935 0.0)
(s936 0.0)
(s937 0.0)
(s938 0.0)
(s939 0.0)
(s940 0.0)
(s941 0.0)
(s942 0.0)
(s943 0.0)
(s944 0.0)
(s945 0.0)
(s946 0.0)
(s947 0.0)
(s948 0.0)
(s949 0.0)
(s950 0.0)
(s951 0.0)
(s952 0.0)
(s953 0.0)
(s954 0.0)
(s955 0.0)
(s956 0.0)
(s957 0.0)
(s958 0.0)
(s959 0.0)
(s960 0.0)
(s961 0.0)
(s962 0.0)
(s963 0.0)
(s964 0.0)
(s965 0.0)
(s966 0.0)
(s967 0.0)
(s968 0.0)
(s969 0.0)
(s970 0.0)
(s971 0.0)
(s972 0.0)
(s973 0.0)
(s974 0.0)
(s975 0.0)
(s976 0.0)
(s977 0.0)
(s978 0.0)
(s979 0.0)
(s980 0.0)
(s981 0.0)
(s982 0.0)
(s983 0.0)
(s984 0.0)
(s985 0.0)
(s986 0.0)
(s987 0.0)
(s988 0.0)
(s989 0.0)
(s990 0.0)
(s991 0.0)
(s992 0.0)
(s993 0.0)
(s994 0.0)
(s995 0.0)
(s996 0.0)
(s997 0.0)
(s998 0.0)
(s999 0.0)
(s1000 0.0)
(s1001 0.0)
(s1002 0.0)
(s1003 0.0)
(s1004 0.0)
(s1005 0.0)
(s1006 0.0)
(s1007 0.0)
(s1008 0.0)
(s1009 0.0)
(s1010 0.0)
(s1011 0.0)
(s1012 0.0)
(s1013 0.0)
(s1014 0.0)
(s1015 0.0)
(s1016 0.0)
(s1017 0.0)
(s1018 0.0)
(s1019 0.0)
(s1020 0.0)
(s1021 0.0)
(s1022 0.0)
(s1023 0.0)
(s1024 0.0)
(s1025 0.0)
(s1026 0.0)
(s1027 0.0)
(s1028 0.0)
(s1029 0.0)
(s1030 0.0)
(s1031 0.0)
(s1032 0.0)
(s1033 0.0)
(s1034 0.0)
(s1035 0.0)
(s1036 0.0)
(s1037 0.0)
(s1038 0.0)
(s1039 0.0)
(s1040 0.0)
(s1041 0.0)
(s1042 0.0)
(s1043 0.0)
(s1044 0.0)
(s1045 0.0)
(s1046 0.0)
(s1047 0.0)
(s1048 0.0)
(s1049 0.0)
(s1050 0.0)
(s1051 0.0)
(s1052 0.0)
(s1053 0.0)
(s1054 0.0)
(s1055 0.0)
(s1056 0.0)
(s1057 0.0)
(s1058 0.0)
(s1059 0.0)
(s1060 0.0)
(s1061 0.0)
(s1062 0.0)
(s1063 0.0)
(s1064 0.0)
(s1065 0.0)
(s1066 0.0)
(s1067 0.0)
(s1068 0.0)
(s1069 0.0)
(s1070 0.0)
(s1071 0.0)
(s1072 0.0)
(s1073 0.0)
(s1074 0.0)
(s1075 0.0)
(s1076 0.0)
(s1077 0.0)
(s1078 0.0)
(s1079 0.0)
(s1080 0.0)
(s1081 0.0)
(s1082 0.0)
(s1083 0.0)
(s1084 0.0)
(s1085 0.0)
(s1086 0.0)
(s1087 0.0)
(s1088 0.0)
(s1089 0.0)
(s1090 0.0)
(s1091 0.0)
(s1092 0.0)
(s1093 0.0)
(s1094 0.0)
(s1095 0.0)
(s1096 0.0)
(s1097 0.0)
(s1098 0.0)
(s1099 0.0)
(s1100 0.0)
(s1101 0.0)
(s1102 0.0)
(s1103 0.0)
(s1104 0.0)
(s1105 0.0)
(s1106 0.0)
(s1107 0.0)
(s1108 0.0)
(s1109 0.0)
(s1110 0.0)
(s1111 0.0)
(s1112 0.0)
(s1113 0.0)
(s1114 0.0)
(s1115 0.0)
(s1116 0.0)
(s1117 0.0)
(s1118 0.0)
(s1119 0.0)
(s1120 0.0)
(s1121 0.0)
(s1122 0.0)
(s1123 0.0)
(s1124 0.0)
(s1125 0.0)
(s1126 0.0)
(s1127 0.0)
(s1128 0.0)
(s1129 0.0)
(s1130 0.0)
(s1131 0.0)
(s1132 0.0)
(s1133 0.0)
(s1134 0.0)
(s1135 0.0)
(s1136 0.0)
(s1137 0.0)
(s1138 0.0)
(s1139 0.0)
(s1140 0.0)
(s1141 0.0)
(s1142 0.0)
(s1143 0.0)
(s1144 0.0)
(s1145 0.0)
(s1146 0.0)
(s1147 0.0)
(s1148 0.0)
(s1149 0.0)
(s1150 0.0)
(s1151 0.0)
(s1152 0.0)
(s1153 0.0)
(s1154 0.0)
(s1155 0.0)
(s1156 0.0)
(s1157 0.0)
(s1158 0.0)
(s1159 0.0)
(s1160 0.0)
(s1161 0.0)
(s1162 0.0)
(s1163 0.0)
(s1164 0.0)
(s1165 0.0)
(s1166 0.0)
(s1167 0.0)
(s1168 0.0)
(s1169 0.0)
(s1170 0.0)
(s1171 0.0)
(s1172 0.0)
(s1173 0.0)
(s1174 0.0)
(s1175 0.0)
(s1176 0.0)
(s1177 0.0)
(s1178 0.0)
(s1179 0.0)
(s1180 0.0)
(s1181 0.0)
(s1182 0.0)
(s1183 0.0)
(s1184 0.0)
(s1185 0.0)
(s1186 0.0)
(s1187 0.0)
(s1188 0.0)
(s1189 0.0)
(s1190 0.0)
(s1191 0.0)
(s1192 0.0)
(s1193 0.0)
(s1194 0.0)
(s1195 0.0)
(s1196 0.0)
(s1197 0.0)
(s1198 0.0)
(s1199 0.0)
(s1200 0.0)
(s1201 0.0)
(s1202 0.0)
(s1203 0.0)
(s1204 0.0)
(s1205 0.0)
(s1206 0.0)
(s1207 0.0)
(s1208 0.0)
(s1209 0.0)
(s1210 0.0)
(s1211 0.0)
(s1212 0.0)
(s1213 0.0)
(s1214 0.0)
(s1215 0.0)
(s1216 0.0)
(s1217 0.0)
(s1218 0.0)
(s1219 0.0)
(s1220 0.0)
(s1221 0.0)
(s1222 0.0)
(s1223 0.0)
(s1224 0.0)
(s1225 0.0)
(s1226 0.0)
(s1227 0.0)
(s1228 0.0)
(s1229 0.0)
(s1230 0.0)
(s1231 0.0)
(s1232 0.0)
(s1233 0.0)
(s1234 0.0)
(s1235 0.0)
(s1236 0.0)
(s1237 0.0)
(s1238 0.0)
(s1239 0.0)
(s1240 0.0)
(s1241 0.0)
(s1242 0.0)
(s1243 0.0)
(s1244 0.0)
(s1245 0.0)
(s1246 0.0)
(s1247 0.0)
(s1248 0.0)
(s1249 0.0)
(s1250 0.0)
(s1251 0.0)
(s1252 0.0)
(s1253 0.0)
(s1254 0.0)
(s1255 0.0)
(s1256 0.0)
(s1257 0.0)
(s1258 0.0)
(s1259 0.0)
(s1260 0.0)
(s1261 0.0)
(s1262 0.0)
(s1263 0.0)
(s1264 0.0)
(s1265 0.0)
(s1266 0.0)
(s1267 0.0)
(s1268 0.0)
(s1269 0.0)
(s1270 0.0)
(s1271 0.0)
(s1272 0.0)
(s1273 0.0)
(s1274 0.0)
(s1275 0.0)
(s1276 0.0)
(s1277 0.0)
(s1278 0.0)
(s1279 0.0)
(s1280 0.0)
(s1281 0.0)
(s1282 0.0)
(s1283 0.0)
(s1284 0.0)
(s1285 0.0)
(s1286 0.0)
(s1287 0.0)
(s1288 0.0)
(s1289 0.0)
(s1290 0.0)
(s1291 0.0)
(s1292 0.0)
(s1293 0.0)
(s1294 0.0)
(s1295 0.0)
(s1296 0.0)
(s1297 0.0)
(s1298 0.0)
(s1299 0.0)
(s1300 0.0)
(s1301 0.0)
(s1302 0.0)
(s1303 0.0)
(s1304 0.0)
(s1305 0.0)
(s1306 0.0)
(s1307 0.0)
(s1308 0.0)
(s1309 0.0)
(s1310 0.0)
(s1311 0.0)
(s1312 0.0)
(s1313 0.0)
(s1314 0.0)
(s1315 0.0)
(s1316 0.0)
(s1317 0.0)
(s1318 0.0)
(s1319 0.0)
(s1320 0.0)
(s1321 0.0)
(s1322 0.0)
(s1323 0.0)
(s1324 0.0)
(s1325 0.0)
(s1326 0.0)
(s1327 0.0)
(s1328 0.0)
(s1329 0.0)
(s1330 0.0)
(s1331 0.0)
(s1332 0.0)
(s1333 0.0)
(s1334 0.0)
(s1335 0.0)
(s1336 0.0)
(s1337 0.0)
(s1338 0.0)
(s1339 0.0)
(s1340 0.0)
(s1341 0.0)
(s1342 0.0)
(s1343 0.0)
(s1344 0.0)
(s1345 0.0)
(s1346 0.0)
(s1347 0.0)
(s1348 0.0)
(s1349 0.0)
(s1350 0.0)
(s1351 0.0)
(s1352 0.0)
(s1353 0.0)
(s1354 0.0)
(s1355 0.0)
(s1356 0.0)
(s1357 0.0)
(s1358 0.0)
(s1359 0.0)
(s1360 0.0)
(s1361 0.0)
(s1362 0.0)
(s1363 0.0)
(s1364 0.0)
(s1365 0.0)
(s1366 0.0)
(s1367 0.0)
(s1368 0.0)
(s1369 0.0)
(s1370 0.0)
(s1371 0.0)
(s1372 0.0)
(s1373 0.0)
(s1374 0.0)
(s1375 0.0)
(s1376 0.0)
(s1377 0.0)
(s1378 0.0)
(s1379 0.0)
(s1380 0.0)
(s1381 0.0)
(s1382 0.0)
(s1383 0.0)
(s1384 0.0)
(s1385 0.0)
(s1386 0.0)
(s1387 0.0)
(s1388 0.0)
(s1389 0.0)
(s1390 0.0)
(s1391 0.0)
(s1392 0.0)
(s1393 0.0)
(s1394 0.0)
(s1395 0.0)
(s1396 0.0)
(s1397 0.0)
(s1398 0.0)
(s1399 0.0)
(s1400 0.0)
(s1401 0.0)timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 0 (INCLUDED_ONLY) 0/3103 variables, 51/51 constraints. Problems are: Problem set: 0 solved, 5504 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 3103/8658 variables, and 51 constraints, problems are : Problem set: 0 solved, 5504 unsolved in 30158 ms.
Refiners :[Positive P Invariants (semi-flows): 51/51 constraints, State Equation: 0/3104 constraints, ReadFeed: 0/4950 constraints, PredecessorRefiner: 5504/5504 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 5504 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/3103 variables, 51/51 constraints. Problems are: Problem set: 0 solved, 5504 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 3103/8658 variables, and 51 constraints, problems are : Problem set: 0 solved, 5504 unsolved in 30114 ms.
Refiners :[Positive P Invariants (semi-flows): 51/51 constraints, State Equation: 0/3104 constraints, ReadFeed: 0/4950 constraints, PredecessorRefiner: 0/5504 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 64240ms problems are : Problem set: 0 solved, 5504 unsolved
Search for dead transitions found 0 dead transitions in 64260ms
Starting structural reductions in LTL mode, iteration 1 : 3104/3142 places, 5554/5630 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 194954 ms. Remains : 3104/3142 places, 5554/5630 transitions.
[2025-05-31 05:17:48] [INFO ] Flatten gal took : 107 ms
[2025-05-31 05:17:48] [INFO ] Flatten gal took : 132 ms
[2025-05-31 05:17:49] [INFO ] Input system was already deterministic with 5554 transitions.
[2025-05-31 05:17:49] [INFO ] Flatten gal took : 129 ms
[2025-05-31 05:17:49] [INFO ] Flatten gal took : 135 ms
[2025-05-31 05:17:49] [INFO ] Time to serialize gal into /tmp/CTLFireability10373392020539345088.gal : 23 ms
[2025-05-31 05:17:49] [INFO ] Time to serialize properties into /tmp/CTLFireability3089361279177152320.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/CTLFireability10373392020539345088.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3089361279177152320.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-05-31 05:18:19] [INFO ] Flatten gal took : 135 ms
[2025-05-31 05:18:19] [INFO ] Applying decomposition
[2025-05-31 05:18:19] [INFO ] Flatten gal took : 141 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/graph343101698986388197.txt' '-o' '/tmp/graph343101698986388197.bin' '-w' '/tmp/graph343101698986388197.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph343101698986388197.bin' '-l' '-1' '-v' '-w' '/tmp/graph343101698986388197.weights' '-q' '0' '-e' '0.001'
[2025-05-31 05:18:19] [INFO ] Decomposing Gal with order
[2025-05-31 05:18:20] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 05:18:20] [INFO ] Removed a total of 5042 redundant transitions.
[2025-05-31 05:18:20] [INFO ] Flatten gal took : 613 ms
[2025-05-31 05:18:21] [INFO ] Fuse similar labels procedure discarded/fused a total of 9788 labels/synchronizations in 445 ms.
[2025-05-31 05:18:21] [INFO ] Time to serialize gal into /tmp/CTLFireability3036925350493515502.gal : 39 ms
[2025-05-31 05:18:21] [INFO ] Time to serialize properties into /tmp/CTLFireability10448670277552329784.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/CTLFireability3036925350493515502.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10448670277552329784.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 3142/3142 places, 5630/5630 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 323 transitions
Trivial Post-agglo rules discarded 323 transitions
Performed 323 trivial Post agglomeration. Transition count delta: 323
Iterating post reduction 0 with 323 rules applied. Total rules applied 323 place count 3142 transition count 5307
Reduce places removed 323 places and 0 transitions.
Iterating post reduction 1 with 323 rules applied. Total rules applied 646 place count 2819 transition count 5307
Performed 50 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 50 Pre rules applied. Total rules applied 646 place count 2819 transition count 5257
Deduced a syphon composed of 50 places in 1 ms
Reduce places removed 50 places and 0 transitions.
Iterating global reduction 2 with 100 rules applied. Total rules applied 746 place count 2769 transition count 5257
Discarding 37 places :
Symmetric choice reduction at 2 with 37 rule applications. Total rules 783 place count 2732 transition count 5183
Iterating global reduction 2 with 37 rules applied. Total rules applied 820 place count 2732 transition count 5183
Drop transitions (Trivial Post-Agglo cleanup.) removed 24 transitions
Trivial Post-agglo rules discarded 24 transitions
Performed 24 trivial Post agglomeration. Transition count delta: 24
Iterating post reduction 2 with 24 rules applied. Total rules applied 844 place count 2732 transition count 5159
Reduce places removed 24 places and 0 transitions.
Iterating post reduction 3 with 24 rules applied. Total rules applied 868 place count 2708 transition count 5159
Performed 53 Post agglomeration using F-continuation condition.Transition count delta: 53
Deduced a syphon composed of 53 places in 1 ms
Reduce places removed 53 places and 0 transitions.
Iterating global reduction 4 with 106 rules applied. Total rules applied 974 place count 2655 transition count 5106
Applied a total of 974 rules in 1502 ms. Remains 2655 /3142 variables (removed 487) and now considering 5106/5630 (removed 524) transitions.
// Phase 1: matrix 5106 rows 2655 cols
[2025-05-31 05:18:53] [INFO ] Computed 51 invariants in 48 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 05:18:58] [INFO ] Implicit Places using invariants in 5122 ms returned []
[2025-05-31 05:18:58] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 05:19:00] [INFO ] State equation strengthened by 4950 read => feed constraints.
[2025-05-31 05:19:31] [INFO ] Performed 427/2655 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-05-31 05:20:01] [INFO ] Performed 797/2655 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-05-31 05:20:31] [INFO ] Performed 1162/2655 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-05-31 05:21:01] [INFO ] Performed 1542/2655 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2025-05-31 05:21:01] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2025-05-31 05:21:01] [INFO ] Implicit Places using invariants and state equation in 123847 ms returned []
Implicit Place search using SMT with State Equation took 128977 ms to find 0 implicit places.
Starting Z3 with timeout 200.0 s and query timeout 20000.0 ms
[2025-05-31 05:21:02] [INFO ] Redundant transitions in 420 ms returned []
Running 5056 sub problems to find dead transitions.
[2025-05-31 05:21:02] [INFO ] Invariant cache hit.
[2025-05-31 05:21:02] [INFO ] State equation strengthened by 4950 read => feed constraints.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/2654 variables, 51/51 constraints. Problems are: Problem set: 0 solved, 5056 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 2654/7761 variables, and 51 constraints, problems are : Problem set: 0 solved, 5056 unsolved in 30115 ms.
Refiners :[Positive P Invariants (semi-flows): 51/51 constraints, State Equation: 0/2655 constraints, ReadFeed: 0/4950 constraints, PredecessorRefiner: 5056/5056 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 5056 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/2654 variables, 51/51 constraints. Problems are: Problem set: 0 solved, 5056 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 05:21:46] [INFO ] Deduced a trap composed of 53 places in 3050 ms of which 213 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 05:21:49] [INFO ] Deduced a trap composed of 53 places in 3042 ms of which 202 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 05:21:52] [INFO ] Deduced a trap composed of 53 places in 3155 ms of which 46 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 05:22:01] [INFO ] Deduced a trap composed of 53 places in 4518 ms of which 65 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 05:22:06] [INFO ] Deduced a trap composed of 53 places in 4791 ms of which 69 ms to minimize.
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 2654/7761 variables, and 56 constraints, problems are : Problem set: 0 solved, 5056 unsolved in 30086 ms.
Refiners :[Positive P Invariants (semi-flows): 51/51 constraints, State Equation: 0/2655 constraints, ReadFeed: 0/4950 constraints, PredecessorRefiner: 0/5056 constraints, Known Traps: 5/5 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 63946ms problems are : Problem set: 0 solved, 5056 unsolved
Search for dead transitions found 0 dead transitions in 63961ms
Starting structural reductions in SI_CTL mode, iteration 1 : 2655/3142 places, 5106/5630 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 194885 ms. Remains : 2655/3142 places, 5106/5630 transitions.
[2025-05-31 05:22:06] [INFO ] Flatten gal took : 110 ms
[2025-05-31 05:22:06] [INFO ] Flatten gal took : 169 ms
[2025-05-31 05:22:06] [INFO ] Input system was already deterministic with 5106 transitions.
[2025-05-31 05:22:06] [INFO ] Flatten gal took : 122 ms
[2025-05-31 05:22:07] [INFO ] Flatten gal took : 129 ms
[2025-05-31 05:22:07] [INFO ] Time to serialize gal into /tmp/CTLFireability6350474551541167654.gal : 21 ms
[2025-05-31 05:22:07] [INFO ] Time to serialize properties into /tmp/CTLFireability17346172341873943557.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/CTLFireability6350474551541167654.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17346172341873943557.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-05-31 05:22:37] [INFO ] Flatten gal took : 122 ms
[2025-05-31 05:22:37] [INFO ] Applying decomposition
[2025-05-31 05:22:37] [INFO ] Flatten gal took : 135 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/graph13420288192212303525.txt' '-o' '/tmp/graph13420288192212303525.bin' '-w' '/tmp/graph13420288192212303525.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph13420288192212303525.bin' '-l' '-1' '-v' '-w' '/tmp/graph13420288192212303525.weights' '-q' '0' '-e' '0.001'
[2025-05-31 05:22:37] [INFO ] Decomposing Gal with order
[2025-05-31 05:22:37] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 05:22:38] [INFO ] Removed a total of 4953 redundant transitions.
[2025-05-31 05:22:38] [INFO ] Flatten gal took : 572 ms
[2025-05-31 05:22:38] [INFO ] Fuse similar labels procedure discarded/fused a total of 4812 labels/synchronizations in 382 ms.
[2025-05-31 05:22:38] [INFO ] Time to serialize gal into /tmp/CTLFireability12116766203464455290.gal : 26 ms
[2025-05-31 05:22:38] [INFO ] Time to serialize properties into /tmp/CTLFireability3725625322749104373.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/CTLFireability12116766203464455290.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3725625322749104373.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 : 3142/3142 places, 5630/5630 transitions.
Discarding 36 places :
Symmetric choice reduction at 0 with 36 rule applications. Total rules 36 place count 3106 transition count 5558
Iterating global reduction 0 with 36 rules applied. Total rules applied 72 place count 3106 transition count 5558
Applied a total of 72 rules in 949 ms. Remains 3106 /3142 variables (removed 36) and now considering 5558/5630 (removed 72) transitions.
// Phase 1: matrix 5558 rows 3106 cols
[2025-05-31 05:23:09] [INFO ] Computed 51 invariants in 35 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 05:23:15] [INFO ] Implicit Places using invariants in 5177 ms returned []
[2025-05-31 05:23:15] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 05:23:18] [INFO ] State equation strengthened by 4950 read => feed constraints.
[2025-05-31 05:23:48] [INFO ] Performed 824/3106 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-05-31 05:24:18] [INFO ] Performed 1115/3106 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-05-31 05:24:48] [INFO ] Performed 1416/3106 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-05-31 05:25:19] [INFO ] Performed 1720/3106 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2025-05-31 05:25:19] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2025-05-31 05:25:19] [INFO ] Implicit Places using invariants and state equation in 123929 ms returned []
Implicit Place search using SMT with State Equation took 129112 ms to find 0 implicit places.
Running 5508 sub problems to find dead transitions.
[2025-05-31 05:25:19] [INFO ] Invariant cache hit.
[2025-05-31 05:25:19] [INFO ] State equation strengthened by 4950 read => feed constraints.
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/3105 variables, 51/51 constraints. Problems are: Problem set: 0 solved, 5508 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 3105/8664 variables, and 51 constraints, problems are : Problem set: 0 solved, 5508 unsolved in 30149 ms.
Refiners :[Positive P Invariants (semi-flows): 51/51 constraints, State Equation: 0/3106 constraints, ReadFeed: 0/4950 constraints, PredecessorRefiner: 5508/5508 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 5508 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/3105 variables, 51/51 constraints. Problems are: Problem set: 0 solved, 5508 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 3105/8664 variables, and 51 constraints, problems are : Problem set: 0 solved, 5508 unsolved in 30149 ms.
Refiners :[Positive P Invariants (semi-flows): 51/51 constraints, State Equation: 0/3106 constraints, ReadFeed: 0/4950 constraints, PredecessorRefiner: 0/5508 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 64200ms problems are : Problem set: 0 solved, 5508 unsolved
Search for dead transitions found 0 dead transitions in 64213ms
Starting structural reductions in LTL mode, iteration 1 : 3106/3142 places, 5558/5630 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 194288 ms. Remains : 3106/3142 places, 5558/5630 transitions.
[2025-05-31 05:26:23] [INFO ] Flatten gal took : 112 ms
[2025-05-31 05:26:23] [INFO ] Flatten gal took : 209 ms
[2025-05-31 05:26:23] [INFO ] Input system was already deterministic with 5558 transitions.
[2025-05-31 05:26:24] [INFO ] Flatten gal took : 142 ms
[2025-05-31 05:26:24] [INFO ] Flatten gal took : 147 ms
[2025-05-31 05:26:24] [INFO ] Time to serialize gal into /tmp/CTLFireability6354938698590694908.gal : 24 ms
[2025-05-31 05:26:24] [INFO ] Time to serialize properties into /tmp/CTLFireability4645383816086412052.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/CTLFireability6354938698590694908.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4645383816086412052.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-05-31 05:26:54] [INFO ] Flatten gal took : 126 ms
[2025-05-31 05:26:54] [INFO ] Applying decomposition
[2025-05-31 05:26:54] [INFO ] Flatten gal took : 137 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/graph4937685300240807458.txt' '-o' '/tmp/graph4937685300240807458.bin' '-w' '/tmp/graph4937685300240807458.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph4937685300240807458.bin' '-l' '-1' '-v' '-w' '/tmp/graph4937685300240807458.weights' '-q' '0' '-e' '0.001'
[2025-05-31 05:26:54] [INFO ] Decomposing Gal with order
[2025-05-31 05:26:54] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 05:26:55] [INFO ] Removed a total of 5041 redundant transitions.
[2025-05-31 05:26:55] [INFO ] Flatten gal took : 567 ms
[2025-05-31 05:26:56] [INFO ] Fuse similar labels procedure discarded/fused a total of 9780 labels/synchronizations in 445 ms.
[2025-05-31 05:26:56] [INFO ] Time to serialize gal into /tmp/CTLFireability12276813332723874939.gal : 39 ms
[2025-05-31 05:26:56] [INFO ] Time to serialize properties into /tmp/CTLFireability13794486994543295829.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/CTLFireability12276813332723874939.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13794486994543295829.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 : 3142/3142 places, 5630/5630 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 319 transitions
Trivial Post-agglo rules discarded 319 transitions
Performed 319 trivial Post agglomeration. Transition count delta: 319
Iterating post reduction 0 with 319 rules applied. Total rules applied 319 place count 3142 transition count 5311
Reduce places removed 319 places and 0 transitions.
Iterating post reduction 1 with 319 rules applied. Total rules applied 638 place count 2823 transition count 5311
Performed 50 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 50 Pre rules applied. Total rules applied 638 place count 2823 transition count 5261
Deduced a syphon composed of 50 places in 1 ms
Reduce places removed 50 places and 0 transitions.
Iterating global reduction 2 with 100 rules applied. Total rules applied 738 place count 2773 transition count 5261
Discarding 35 places :
Symmetric choice reduction at 2 with 35 rule applications. Total rules 773 place count 2738 transition count 5191
Iterating global reduction 2 with 35 rules applied. Total rules applied 808 place count 2738 transition count 5191
Drop transitions (Trivial Post-Agglo cleanup.) removed 23 transitions
Trivial Post-agglo rules discarded 23 transitions
Performed 23 trivial Post agglomeration. Transition count delta: 23
Iterating post reduction 2 with 23 rules applied. Total rules applied 831 place count 2738 transition count 5168
Reduce places removed 23 places and 0 transitions.
Iterating post reduction 3 with 23 rules applied. Total rules applied 854 place count 2715 transition count 5168
Performed 49 Post agglomeration using F-continuation condition.Transition count delta: 49
Deduced a syphon composed of 49 places in 1 ms
Reduce places removed 49 places and 0 transitions.
Iterating global reduction 4 with 98 rules applied. Total rules applied 952 place count 2666 transition count 5119
Applied a total of 952 rules in 1521 ms. Remains 2666 /3142 variables (removed 476) and now considering 5119/5630 (removed 511) transitions.
// Phase 1: matrix 5119 rows 2666 cols
[2025-05-31 05:27:27] [INFO ] Computed 51 invariants in 74 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 05:27:32] [INFO ] Implicit Places using invariants in 4756 ms returned []
[2025-05-31 05:27:32] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 05:27:35] [INFO ] State equation strengthened by 4950 read => feed constraints.
[2025-05-31 05:28:06] [INFO ] Performed 447/2666 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-05-31 05:28:36] [INFO ] Performed 828/2666 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-05-31 05:29:06] [INFO ] Performed 1215/2666 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-05-31 05:29:36] [INFO ] Performed 1599/2666 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2025-05-31 05:29:36] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2025-05-31 05:29:36] [INFO ] Implicit Places using invariants and state equation in 123603 ms returned []
Implicit Place search using SMT with State Equation took 128361 ms to find 0 implicit places.
Starting Z3 with timeout 200.0 s and query timeout 20000.0 ms
[2025-05-31 05:29:36] [INFO ] Redundant transitions in 368 ms returned []
Running 5069 sub problems to find dead transitions.
[2025-05-31 05:29:36] [INFO ] Invariant cache hit.
[2025-05-31 05:29:36] [INFO ] State equation strengthened by 4950 read => feed constraints.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 0 (INCLUDED_ONLY) 0/2665 variables, 51/51 constraints. Problems are: Problem set: 0 solved, 5069 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 2665/7785 variables, and 51 constraints, problems are : Problem set: 0 solved, 5069 unsolved in 30146 ms.
Refiners :[Positive P Invariants (semi-flows): 51/51 constraints, State Equation: 0/2666 constraints, ReadFeed: 0/4950 constraints, PredecessorRefiner: 5069/5069 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 5069 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/2665 variables, 51/51 constraints. Problems are: Problem set: 0 solved, 5069 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 05:30:20] [INFO ] Deduced a trap composed of 53 places in 2991 ms of which 198 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 05:30:24] [INFO ] Deduced a trap composed of 53 places in 3372 ms of which 199 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 05:30:27] [INFO ] Deduced a trap composed of 53 places in 3311 ms of which 183 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 05:30:31] [INFO ] Deduced a trap composed of 53 places in 3284 ms of which 271 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 05:30:34] [INFO ] Deduced a trap composed of 53 places in 3189 ms of which 58 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 05:30:43] [INFO ] Deduced a trap composed of 53 places in 4883 ms of which 70 ms to minimize.
SMT process timed out in 67310ms, After SMT, problems are : Problem set: 0 solved, 5069 unsolved
Search for dead transitions found 0 dead transitions in 67320ms
Starting structural reductions in SI_CTL mode, iteration 1 : 2666/3142 places, 5119/5630 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 197593 ms. Remains : 2666/3142 places, 5119/5630 transitions.
[2025-05-31 05:30:44] [INFO ] Flatten gal took : 174 ms
[2025-05-31 05:30:44] [INFO ] Flatten gal took : 210 ms
[2025-05-31 05:30:44] [INFO ] Input system was already deterministic with 5119 transitions.
[2025-05-31 05:30:44] [INFO ] Flatten gal took : 126 ms
[2025-05-31 05:30:44] [INFO ] Flatten gal took : 135 ms
[2025-05-31 05:30:44] [INFO ] Time to serialize gal into /tmp/CTLFireability14233769736645277444.gal : 22 ms
[2025-05-31 05:30:44] [INFO ] Time to serialize properties into /tmp/CTLFireability5731687918367007743.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/CTLFireability14233769736645277444.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5731687918367007743.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-05-31 05:31:15] [INFO ] Flatten gal took : 119 ms
[2025-05-31 05:31:15] [INFO ] Applying decomposition
[2025-05-31 05:31:15] [INFO ] Flatten gal took : 123 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/graph15172718231453891621.txt' '-o' '/tmp/graph15172718231453891621.bin' '-w' '/tmp/graph15172718231453891621.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph15172718231453891621.bin' '-l' '-1' '-v' '-w' '/tmp/graph15172718231453891621.weights' '-q' '0' '-e' '0.001'
[2025-05-31 05:31:15] [INFO ] Decomposing Gal with order
[2025-05-31 05:31:15] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 05:31:16] [INFO ] Removed a total of 4944 redundant transitions.
[2025-05-31 05:31:16] [INFO ] Flatten gal took : 677 ms
[2025-05-31 05:31:16] [INFO ] Fuse similar labels procedure discarded/fused a total of 4915 labels/synchronizations in 379 ms.
[2025-05-31 05:31:16] [INFO ] Time to serialize gal into /tmp/CTLFireability13636513791771300587.gal : 25 ms
[2025-05-31 05:31:16] [INFO ] Time to serialize properties into /tmp/CTLFireability1793211795276333645.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/CTLFireability13636513791771300587.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1793211795276333645.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 : 3142/3142 places, 5630/5630 transitions.
Discarding 38 places :
Symmetric choice reduction at 0 with 38 rule applications. Total rules 38 place count 3104 transition count 5554
Iterating global reduction 0 with 38 rules applied. Total rules applied 76 place count 3104 transition count 5554
Applied a total of 76 rules in 937 ms. Remains 3104 /3142 variables (removed 38) and now considering 5554/5630 (removed 76) transitions.
// Phase 1: matrix 5554 rows 3104 cols
[2025-05-31 05:31:47] [INFO ] Computed 51 invariants in 37 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 05:31:52] [INFO ] Implicit Places using invariants in 4945 ms returned []
[2025-05-31 05:31:52] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 05:31:56] [INFO ] State equation strengthened by 4950 read => feed constraints.
[2025-05-31 05:32:26] [INFO ] Performed 834/3104 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-05-31 05:32:56] [INFO ] Performed 1182/3104 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-05-31 05:33:26] [INFO ] Performed 1531/3104 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-05-31 05:33:56] [INFO ] Performed 1873/3104 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2025-05-31 05:33:56] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2025-05-31 05:33:56] [INFO ] Implicit Places using invariants and state equation in 124362 ms returned []
Implicit Place search using SMT with State Equation took 129315 ms to find 0 implicit places.
Running 5504 sub problems to find dead transitions.
[2025-05-31 05:33:57] [INFO ] Invariant cache hit.
[2025-05-31 05:33:57] [INFO ] State equation strengthened by 4950 read => feed constraints.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 0 (INCLUDED_ONLY) 0/3103 variables, 51/51 constraints. Problems are: Problem set: 0 solved, 5504 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 3103/8658 variables, and 51 constraints, problems are : Problem set: 0 solved, 5504 unsolved in 30148 ms.
Refiners :[Positive P Invariants (semi-flows): 51/51 constraints, State Equation: 0/3104 constraints, ReadFeed: 0/4950 constraints, PredecessorRefiner: 5504/5504 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 5504 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/3103 variables, 51/51 constraints. Problems are: Problem set: 0 solved, 5504 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 3103/8658 variables, and 51 constraints, problems are : Problem set: 0 solved, 5504 unsolved in 30142 ms.
Refiners :[Positive P Invariants (semi-flows): 51/51 constraints, State Equation: 0/3104 constraints, ReadFeed: 0/4950 constraints, PredecessorRefiner: 0/5504 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 64424ms problems are : Problem set: 0 solved, 5504 unsolved
Search for dead transitions found 0 dead transitions in 64437ms
Starting structural reductions in LTL mode, iteration 1 : 3104/3142 places, 5554/5630 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 194701 ms. Remains : 3104/3142 places, 5554/5630 transitions.
[2025-05-31 05:35:01] [INFO ] Flatten gal took : 181 ms
[2025-05-31 05:35:01] [INFO ] Flatten gal took : 174 ms
[2025-05-31 05:35:02] [INFO ] Input system was already deterministic with 5554 transitions.
[2025-05-31 05:35:02] [INFO ] Flatten gal took : 204 ms
[2025-05-31 05:35:02] [INFO ] Flatten gal took : 160 ms
[2025-05-31 05:35:02] [INFO ] Time to serialize gal into /tmp/CTLFireability1484602585115644827.gal : 22 ms
[2025-05-31 05:35:02] [INFO ] Time to serialize properties into /tmp/CTLFireability6848403827214850681.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/CTLFireability1484602585115644827.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6848403827214850681.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-05-31 05:35:32] [INFO ] Flatten gal took : 125 ms
[2025-05-31 05:35:32] [INFO ] Applying decomposition
[2025-05-31 05:35:32] [INFO ] Flatten gal took : 130 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/graph7765437876982265222.txt' '-o' '/tmp/graph7765437876982265222.bin' '-w' '/tmp/graph7765437876982265222.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph7765437876982265222.bin' '-l' '-1' '-v' '-w' '/tmp/graph7765437876982265222.weights' '-q' '0' '-e' '0.001'
[2025-05-31 05:35:33] [INFO ] Decomposing Gal with order
[2025-05-31 05:35:33] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 05:35:33] [INFO ] Removed a total of 5043 redundant transitions.
[2025-05-31 05:35:33] [INFO ] Flatten gal took : 552 ms
[2025-05-31 05:35:34] [INFO ] Fuse similar labels procedure discarded/fused a total of 9790 labels/synchronizations in 447 ms.
[2025-05-31 05:35:34] [INFO ] Time to serialize gal into /tmp/CTLFireability6519582033211837128.gal : 35 ms
[2025-05-31 05:35:34] [INFO ] Time to serialize properties into /tmp/CTLFireability18019105000064266787.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/CTLFireability6519582033211837128.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability18019105000064266787.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 3142/3142 places, 5630/5630 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 323 transitions
Trivial Post-agglo rules discarded 323 transitions
Performed 323 trivial Post agglomeration. Transition count delta: 323
Iterating post reduction 0 with 323 rules applied. Total rules applied 323 place count 3142 transition count 5307
Reduce places removed 323 places and 0 transitions.
Iterating post reduction 1 with 323 rules applied. Total rules applied 646 place count 2819 transition count 5307
Performed 50 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 50 Pre rules applied. Total rules applied 646 place count 2819 transition count 5257
Deduced a syphon composed of 50 places in 1 ms
Reduce places removed 50 places and 0 transitions.
Iterating global reduction 2 with 100 rules applied. Total rules applied 746 place count 2769 transition count 5257
Discarding 33 places :
Symmetric choice reduction at 2 with 33 rule applications. Total rules 779 place count 2736 transition count 5191
Iterating global reduction 2 with 33 rules applied. Total rules applied 812 place count 2736 transition count 5191
Drop transitions (Trivial Post-Agglo cleanup.) removed 20 transitions
Trivial Post-agglo rules discarded 20 transitions
Performed 20 trivial Post agglomeration. Transition count delta: 20
Iterating post reduction 2 with 20 rules applied. Total rules applied 832 place count 2736 transition count 5171
Reduce places removed 20 places and 0 transitions.
Iterating post reduction 3 with 20 rules applied. Total rules applied 852 place count 2716 transition count 5171
Performed 57 Post agglomeration using F-continuation condition.Transition count delta: 57
Deduced a syphon composed of 57 places in 1 ms
Reduce places removed 57 places and 0 transitions.
Iterating global reduction 4 with 114 rules applied. Total rules applied 966 place count 2659 transition count 5114
Applied a total of 966 rules in 1488 ms. Remains 2659 /3142 variables (removed 483) and now considering 5114/5630 (removed 516) transitions.
// Phase 1: matrix 5114 rows 2659 cols
[2025-05-31 05:36:06] [INFO ] Computed 51 invariants in 76 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 05:36:11] [INFO ] Implicit Places using invariants in 5098 ms returned []
[2025-05-31 05:36:11] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 05:36:13] [INFO ] State equation strengthened by 4950 read => feed constraints.
[2025-05-31 05:36:44] [INFO ] Performed 437/2659 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-05-31 05:37:14] [INFO ] Performed 816/2659 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-05-31 05:37:44] [INFO ] Performed 1194/2659 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-05-31 05:38:14] [INFO ] Performed 1554/2659 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2025-05-31 05:38:14] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2025-05-31 05:38:14] [INFO ] Implicit Places using invariants and state equation in 123617 ms returned []
Implicit Place search using SMT with State Equation took 128731 ms to find 0 implicit places.
Starting Z3 with timeout 200.0 s and query timeout 20000.0 ms
[2025-05-31 05:38:15] [INFO ] Redundant transitions in 374 ms returned []
Running 5064 sub problems to find dead transitions.
[2025-05-31 05:38:15] [INFO ] Invariant cache hit.
[2025-05-31 05:38:15] [INFO ] State equation strengthened by 4950 read => feed constraints.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/2658 variables, 51/51 constraints. Problems are: Problem set: 0 solved, 5064 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 2658/7773 variables, and 51 constraints, problems are : Problem set: 0 solved, 5064 unsolved in 30105 ms.
Refiners :[Positive P Invariants (semi-flows): 51/51 constraints, State Equation: 0/2659 constraints, ReadFeed: 0/4950 constraints, PredecessorRefiner: 5064/5064 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 5064 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/2658 variables, 51/51 constraints. Problems are: Problem set: 0 solved, 5064 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 05:38:59] [INFO ] Deduced a trap composed of 53 places in 3386 ms of which 235 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 05:39:02] [INFO ] Deduced a trap composed of 53 places in 3513 ms of which 222 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 05:39:06] [INFO ] Deduced a trap composed of 53 places in 3493 ms of which 216 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 05:39:09] [INFO ] Deduced a trap composed of 53 places in 3136 ms of which 213 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 05:39:12] [INFO ] Deduced a trap composed of 53 places in 2923 ms of which 234 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 05:39:15] [INFO ] Deduced a trap composed of 53 places in 2971 ms of which 194 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 05:39:18] [INFO ] Deduced a trap composed of 53 places in 2857 ms of which 44 ms to minimize.
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 2658/7773 variables, and 58 constraints, problems are : Problem set: 0 solved, 5064 unsolved in 30085 ms.
Refiners :[Positive P Invariants (semi-flows): 51/51 constraints, State Equation: 0/2659 constraints, ReadFeed: 0/4950 constraints, PredecessorRefiner: 0/5064 constraints, Known Traps: 7/7 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 63569ms problems are : Problem set: 0 solved, 5064 unsolved
Search for dead transitions found 0 dead transitions in 63578ms
Starting structural reductions in SI_CTL mode, iteration 1 : 2659/3142 places, 5114/5630 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 194192 ms. Remains : 2659/3142 places, 5114/5630 transitions.
[2025-05-31 05:39:18] [INFO ] Flatten gal took : 105 ms
[2025-05-31 05:39:18] [INFO ] Flatten gal took : 145 ms
[2025-05-31 05:39:19] [INFO ] Input system was already deterministic with 5114 transitions.
[2025-05-31 05:39:19] [INFO ] Flatten gal took : 174 ms
[2025-05-31 05:39:19] [INFO ] Flatten gal took : 120 ms
[2025-05-31 05:39:19] [INFO ] Time to serialize gal into /tmp/CTLFireability19325849476142813.gal : 18 ms
[2025-05-31 05:39:19] [INFO ] Time to serialize properties into /tmp/CTLFireability8463952260045308814.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/CTLFireability19325849476142813.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8463952260045308814.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 -...281
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-05-31 05:39:49] [INFO ] Flatten gal took : 121 ms
[2025-05-31 05:39:49] [INFO ] Applying decomposition
[2025-05-31 05:39:49] [INFO ] Flatten gal took : 122 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/graph11769591753888064932.txt' '-o' '/tmp/graph11769591753888064932.bin' '-w' '/tmp/graph11769591753888064932.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph11769591753888064932.bin' '-l' '-1' '-v' '-w' '/tmp/graph11769591753888064932.weights' '-q' '0' '-e' '0.001'
[2025-05-31 05:39:50] [INFO ] Decomposing Gal with order
[2025-05-31 05:39:50] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 05:39:50] [INFO ] Removed a total of 4961 redundant transitions.
[2025-05-31 05:39:51] [INFO ] Flatten gal took : 760 ms
[2025-05-31 05:39:51] [INFO ] Fuse similar labels procedure discarded/fused a total of 4828 labels/synchronizations in 348 ms.
[2025-05-31 05:39:51] [INFO ] Time to serialize gal into /tmp/CTLFireability13732263141570364582.gal : 23 ms
[2025-05-31 05:39:51] [INFO ] Time to serialize properties into /tmp/CTLFireability16703330805109795355.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/CTLFireability13732263141570364582.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16703330805109795355.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 : 3142/3142 places, 5630/5630 transitions.
Discarding 39 places :
Symmetric choice reduction at 0 with 39 rule applications. Total rules 39 place count 3103 transition count 5552
Iterating global reduction 0 with 39 rules applied. Total rules applied 78 place count 3103 transition count 5552
Applied a total of 78 rules in 962 ms. Remains 3103 /3142 variables (removed 39) and now considering 5552/5630 (removed 78) transitions.
// Phase 1: matrix 5552 rows 3103 cols
[2025-05-31 05:40:22] [INFO ] Computed 51 invariants in 35 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 05:40:27] [INFO ] Implicit Places using invariants in 5325 ms returned []
[2025-05-31 05:40:27] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 05:40:31] [INFO ] State equation strengthened by 4950 read => feed constraints.
[2025-05-31 05:41:01] [INFO ] Performed 795/3103 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-05-31 05:41:31] [INFO ] Performed 1089/3103 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-05-31 05:42:01] [INFO ] Performed 1403/3103 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-05-31 05:42:32] [INFO ] Performed 1710/3103 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2025-05-31 05:42:32] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2025-05-31 05:42:32] [INFO ] Implicit Places using invariants and state equation in 124216 ms returned []
Implicit Place search using SMT with State Equation took 129552 ms to find 0 implicit places.
Running 5502 sub problems to find dead transitions.
[2025-05-31 05:42:32] [INFO ] Invariant cache hit.
[2025-05-31 05:42:32] [INFO ] State equation strengthened by 4950 read => feed constraints.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 0 (INCLUDED_ONLY) 0/3102 variables, 51/51 constraints. Problems are: Problem set: 0 solved, 5502 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 3102/8655 variables, and 51 constraints, problems are : Problem set: 0 solved, 5502 unsolved in 30142 ms.
Refiners :[Positive P Invariants (semi-flows): 51/51 constraints, State Equation: 0/3103 constraints, ReadFeed: 0/4950 constraints, PredecessorRefiner: 5502/5502 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 5502 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/3102 variables, 51/51 constraints. Problems are: Problem set: 0 solved, 5502 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 3102/8655 variables, and 51 constraints, problems are : Problem set: 0 solved, 5502 unsolved in 30145 ms.
Refiners :[Positive P Invariants (semi-flows): 51/51 constraints, State Equation: 0/3103 constraints, ReadFeed: 0/4950 constraints, PredecessorRefiner: 0/5502 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 63521ms problems are : Problem set: 0 solved, 5502 unsolved
Search for dead transitions found 0 dead transitions in 63530ms
Starting structural reductions in LTL mode, iteration 1 : 3103/3142 places, 5552/5630 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 194050 ms. Remains : 3103/3142 places, 5552/5630 transitions.
[2025-05-31 05:43:35] [INFO ] Flatten gal took : 184 ms
[2025-05-31 05:43:36] [INFO ] Flatten gal took : 217 ms
[2025-05-31 05:43:36] [INFO ] Input system was already deterministic with 5552 transitions.
[2025-05-31 05:43:36] [INFO ] Flatten gal took : 150 ms
[2025-05-31 05:43:36] [INFO ] Flatten gal took : 141 ms
[2025-05-31 05:43:36] [INFO ] Time to serialize gal into /tmp/CTLFireability18407899462447296303.gal : 68 ms
[2025-05-31 05:43:36] [INFO ] Time to serialize properties into /tmp/CTLFireability16804635460859073470.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/CTLFireability18407899462447296303.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16804635460859073470.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-05-31 05:44:06] [INFO ] Flatten gal took : 205 ms
[2025-05-31 05:44:06] [INFO ] Applying decomposition
[2025-05-31 05:44:07] [INFO ] Flatten gal took : 151 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/graph8873151340788902130.txt' '-o' '/tmp/graph8873151340788902130.bin' '-w' '/tmp/graph8873151340788902130.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph8873151340788902130.bin' '-l' '-1' '-v' '-w' '/tmp/graph8873151340788902130.weights' '-q' '0' '-e' '0.001'
[2025-05-31 05:44:07] [INFO ] Decomposing Gal with order
[2025-05-31 05:44:07] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 05:44:08] [INFO ] Removed a total of 5043 redundant transitions.
[2025-05-31 05:44:08] [INFO ] Flatten gal took : 766 ms
[2025-05-31 05:44:09] [INFO ] Fuse similar labels procedure discarded/fused a total of 9790 labels/synchronizations in 450 ms.
[2025-05-31 05:44:09] [INFO ] Time to serialize gal into /tmp/CTLFireability327374452710219971.gal : 36 ms
[2025-05-31 05:44:09] [INFO ] Time to serialize properties into /tmp/CTLFireability11193516790543632405.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/CTLFireability327374452710219971.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11193516790543632405.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 3142/3142 places, 5630/5630 transitions.
Discarding 39 places :
Symmetric choice reduction at 0 with 39 rule applications. Total rules 39 place count 3103 transition count 5552
Iterating global reduction 0 with 39 rules applied. Total rules applied 78 place count 3103 transition count 5552
Applied a total of 78 rules in 935 ms. Remains 3103 /3142 variables (removed 39) and now considering 5552/5630 (removed 78) transitions.
// Phase 1: matrix 5552 rows 3103 cols
[2025-05-31 05:44:40] [INFO ] Computed 51 invariants in 33 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 05:44:44] [INFO ] Implicit Places using invariants in 4573 ms returned []
[2025-05-31 05:44:44] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 05:44:48] [INFO ] State equation strengthened by 4950 read => feed constraints.
[2025-05-31 05:45:18] [INFO ] Performed 848/3103 implicitness test of which 0 returned IMPLICIT in 30 seconds.
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="CANConstruction-PT-050"
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 CANConstruction-PT-050, 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 r030-smll-174853813500202"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CANConstruction-PT-050.tgz
mv CANConstruction-PT-050 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 ;