About the Execution of ITS-Tools for CANInsertWithFailure-PT-090
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 7674.020 | 3600000.00 | 4033333.00 | 12030.70 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2026-input.r034-tall-177946842200769.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2026-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-5973
Executing tool itstools
Input is CANInsertWithFailure-PT-090, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r034-tall-177946842200769
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 50M
-rw-r--r-- 1 mcc users 9.7K Mar 6 10:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 81K Mar 6 10:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Mar 6 10:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 41K Mar 6 10:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 5.0K Mar 15 07:56 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Mar 15 07:56 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Mar 15 07:56 LTLFireability.txt
-rw-r--r-- 1 mcc users 21K Mar 15 07:56 LTLFireability.xml
-rw-r--r-- 1 mcc users 18K Mar 6 10:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 138K Mar 6 10:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Mar 6 10:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 63K Mar 6 10:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Mar 15 07:56 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Mar 15 07:56 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 3 18:30 instance
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 iscolored
-rw-r--r-- 1 mcc users 49M Mar 3 18:30 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 CANInsertWithFailure-PT-090-CTLCardinality-2024-00
FORMULA_NAME CANInsertWithFailure-PT-090-CTLCardinality-2024-01
FORMULA_NAME CANInsertWithFailure-PT-090-CTLCardinality-2024-02
FORMULA_NAME CANInsertWithFailure-PT-090-CTLCardinality-2024-03
FORMULA_NAME CANInsertWithFailure-PT-090-CTLCardinality-2024-04
FORMULA_NAME CANInsertWithFailure-PT-090-CTLCardinality-2024-05
FORMULA_NAME CANInsertWithFailure-PT-090-CTLCardinality-2024-06
FORMULA_NAME CANInsertWithFailure-PT-090-CTLCardinality-2024-07
FORMULA_NAME CANInsertWithFailure-PT-090-CTLCardinality-2024-08
FORMULA_NAME CANInsertWithFailure-PT-090-CTLCardinality-2024-09
FORMULA_NAME CANInsertWithFailure-PT-090-CTLCardinality-2024-10
FORMULA_NAME CANInsertWithFailure-PT-090-CTLCardinality-2024-11
FORMULA_NAME CANInsertWithFailure-PT-090-CTLCardinality-2024-12
FORMULA_NAME CANInsertWithFailure-PT-090-CTLCardinality-2024-13
FORMULA_NAME CANInsertWithFailure-PT-090-CTLCardinality-2024-14
FORMULA_NAME CANInsertWithFailure-PT-090-CTLCardinality-2024-15
=== Now, execution of the tool begins
BK_START 1779694288859
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=CANInsertWithFailure-PT-090
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLCardinality PT
Running Version 202604301425
[2026-05-25 07:31:29] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2026-05-25 07:31:29] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-25 07:31:31] [INFO ] Load time of PNML (sax parser for PT used): 1073 ms
[2026-05-25 07:31:31] [INFO ] Transformed 17284 places.
[2026-05-25 07:31:31] [INFO ] Transformed 49140 transitions.
[2026-05-25 07:31:31] [INFO ] Parsed PT model containing 17284 places and 49140 transitions and 131400 arcs in 1297 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 31 ms.
Support contains 164 out of 17284 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 17284/17284 places, 49140/49140 transitions.
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 17283 transition count 49140
Applied a total of 1 rules in 7325 ms. Remains 17283 /17284 variables (removed 1) and now considering 49140/49140 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-14127943351120786901.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-16921216825311328085.kers'
[2026-05-25 07:31:39] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-14127943351120786901.kers, --Pflows, --basisKERS=/tmp/petrispot-output-16921216825311328085.kers]
Culled 0 columns in 20 ms.
// Phase 1: matrix 49140 rows 17283 cols 99000 entries
Finished phase 1 with 17101 SingleSign rule and 90 generalized
[2026-05-25 07:31:42] [INFO ] Computed 92 invariants in 3182 ms
Computed 92 P flows in 3184 ms.
Exported basis to /tmp/petrispot-output-16921216825311328085.kers
Total runtime 3215 ms.
[2026-05-25 07:32:16] [INFO ] Performed 1225/17283 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 07:32:17] [INFO ] Implicit Places using invariants in 38062 ms returned []
Implicit Place search using SMT only with invariants took 38094 ms to find 0 implicit places.
Running 49050 sub problems to find dead transitions.
[2026-05-25 07:32:17] [INFO ] Invariant cache hit.
[2026-05-25 07:32:17] [INFO ] State equation strengthened by 16110 read => feed constraints.
SMT process timed out in 244169ms, After SMT, problems are : Problem set: 0 solved, 49050 unsolved
Search for dead transitions found 0 dead transitions in 244332ms
Starting structural reductions in LTL mode, iteration 1 : 17283/17284 places, 49140/49140 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 289930 ms. Remains : 17283/17284 places, 49140/49140 transitions.
Starting structural reductions in LTL mode, iteration 0 : 17283/17283 places, 49140/49140 transitions.
Applied a total of 0 rules in 6775 ms. Remains 17283 /17283 variables (removed 0) and now considering 49140/49140 (removed 0) transitions.
[2026-05-25 07:36:28] [INFO ] Invariant cache hit.
[2026-05-25 07:37:00] [INFO ] Performed 1225/17283 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 07:37:01] [INFO ] Implicit Places using invariants in 33219 ms returned []
Implicit Place search using SMT only with invariants took 33222 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 40015 ms. Remains : 17283/17283 places, 49140/49140 transitions.
Support contains 164 out of 17283 places after structural reductions.
[2026-05-25 07:37:02] [INFO ] Flatten gal took : 1057 ms
[2026-05-25 07:37:03] [INFO ] Flatten gal took : 719 ms
[2026-05-25 07:37:05] [INFO ] Input system was already deterministic with 49140 transitions.
Support contains 162 out of 17283 places (down from 164) after GAL structural reductions.
RANDOM walk for 40000 steps (16 resets) in 3628 ms. (11 steps per ms) remains 61/96 properties
BEST_FIRST walk for 4004 steps (8 resets) in 31 ms. (125 steps per ms) remains 61/61 properties
BEST_FIRST walk for 4004 steps (8 resets) in 25 ms. (154 steps per ms) remains 61/61 properties
BEST_FIRST walk for 4004 steps (8 resets) in 36 ms. (108 steps per ms) remains 61/61 properties
BEST_FIRST walk for 4004 steps (8 resets) in 23 ms. (166 steps per ms) remains 61/61 properties
BEST_FIRST walk for 4004 steps (8 resets) in 24 ms. (160 steps per ms) remains 61/61 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 61/61 properties
BEST_FIRST walk for 4004 steps (8 resets) in 25 ms. (154 steps per ms) remains 61/61 properties
BEST_FIRST walk for 4004 steps (8 resets) in 25 ms. (154 steps per ms) remains 61/61 properties
BEST_FIRST walk for 4004 steps (8 resets) in 23 ms. (166 steps per ms) remains 61/61 properties
BEST_FIRST walk for 4004 steps (8 resets) in 19 ms. (200 steps per ms) remains 61/61 properties
BEST_FIRST walk for 4004 steps (8 resets) in 16 ms. (235 steps per ms) remains 61/61 properties
BEST_FIRST walk for 4004 steps (8 resets) in 20 ms. (190 steps per ms) remains 60/61 properties
BEST_FIRST walk for 4004 steps (8 resets) in 19 ms. (200 steps per ms) remains 60/60 properties
BEST_FIRST walk for 4004 steps (8 resets) in 20 ms. (190 steps per ms) remains 60/60 properties
BEST_FIRST walk for 4004 steps (8 resets) in 16 ms. (235 steps per ms) remains 60/60 properties
BEST_FIRST walk for 4004 steps (8 resets) in 24 ms. (160 steps per ms) remains 60/60 properties
BEST_FIRST walk for 4004 steps (8 resets) in 22 ms. (174 steps per ms) remains 60/60 properties
BEST_FIRST walk for 4004 steps (8 resets) in 28 ms. (138 steps per ms) remains 60/60 properties
BEST_FIRST walk for 4004 steps (8 resets) in 20 ms. (190 steps per ms) remains 60/60 properties
BEST_FIRST walk for 4004 steps (8 resets) in 21 ms. (182 steps per ms) remains 60/60 properties
BEST_FIRST walk for 4004 steps (8 resets) in 21 ms. (182 steps per ms) remains 60/60 properties
BEST_FIRST walk for 4004 steps (8 resets) in 26 ms. (148 steps per ms) remains 60/60 properties
BEST_FIRST walk for 4004 steps (8 resets) in 17 ms. (222 steps per ms) remains 60/60 properties
BEST_FIRST walk for 4004 steps (8 resets) in 19 ms. (200 steps per ms) remains 60/60 properties
BEST_FIRST walk for 4004 steps (8 resets) in 15 ms. (250 steps per ms) remains 60/60 properties
BEST_FIRST walk for 4004 steps (8 resets) in 15 ms. (250 steps per ms) remains 60/60 properties
BEST_FIRST walk for 4004 steps (8 resets) in 17 ms. (222 steps per ms) remains 60/60 properties
BEST_FIRST walk for 4004 steps (8 resets) in 20 ms. (190 steps per ms) remains 60/60 properties
BEST_FIRST walk for 4004 steps (8 resets) in 15 ms. (250 steps per ms) remains 60/60 properties
BEST_FIRST walk for 4004 steps (8 resets) in 19 ms. (200 steps per ms) remains 60/60 properties
BEST_FIRST walk for 4004 steps (8 resets) in 16 ms. (235 steps per ms) remains 60/60 properties
BEST_FIRST walk for 4004 steps (8 resets) in 16 ms. (235 steps per ms) remains 60/60 properties
BEST_FIRST walk for 4004 steps (8 resets) in 15 ms. (250 steps per ms) remains 60/60 properties
BEST_FIRST walk for 4004 steps (8 resets) in 19 ms. (200 steps per ms) remains 60/60 properties
BEST_FIRST walk for 4004 steps (8 resets) in 16 ms. (235 steps per ms) remains 60/60 properties
BEST_FIRST walk for 4004 steps (8 resets) in 15 ms. (250 steps per ms) remains 60/60 properties
BEST_FIRST walk for 4004 steps (8 resets) in 21 ms. (182 steps per ms) remains 60/60 properties
BEST_FIRST walk for 4004 steps (8 resets) in 16 ms. (235 steps per ms) remains 60/60 properties
BEST_FIRST walk for 4004 steps (8 resets) in 19 ms. (200 steps per ms) remains 60/60 properties
BEST_FIRST walk for 4004 steps (8 resets) in 15 ms. (250 steps per ms) remains 60/60 properties
BEST_FIRST walk for 4004 steps (8 resets) in 15 ms. (250 steps per ms) remains 60/60 properties
BEST_FIRST walk for 4004 steps (8 resets) in 17 ms. (222 steps per ms) remains 60/60 properties
BEST_FIRST walk for 4004 steps (8 resets) in 14 ms. (266 steps per ms) remains 60/60 properties
BEST_FIRST walk for 4004 steps (8 resets) in 16 ms. (235 steps per ms) remains 60/60 properties
BEST_FIRST walk for 4004 steps (8 resets) in 14 ms. (266 steps per ms) remains 60/60 properties
BEST_FIRST walk for 4004 steps (8 resets) in 17 ms. (222 steps per ms) remains 60/60 properties
BEST_FIRST walk for 4004 steps (8 resets) in 16 ms. (235 steps per ms) remains 60/60 properties
BEST_FIRST walk for 4004 steps (8 resets) in 14 ms. (266 steps per ms) remains 60/60 properties
BEST_FIRST walk for 4004 steps (8 resets) in 15 ms. (250 steps per ms) remains 60/60 properties
BEST_FIRST walk for 4004 steps (8 resets) in 15 ms. (250 steps per ms) remains 60/60 properties
BEST_FIRST walk for 4004 steps (8 resets) in 16 ms. (235 steps per ms) remains 60/60 properties
BEST_FIRST walk for 4004 steps (8 resets) in 16 ms. (235 steps per ms) remains 60/60 properties
BEST_FIRST walk for 4004 steps (8 resets) in 15 ms. (250 steps per ms) remains 60/60 properties
BEST_FIRST walk for 4004 steps (8 resets) in 18 ms. (210 steps per ms) remains 60/60 properties
BEST_FIRST walk for 4004 steps (8 resets) in 17 ms. (222 steps per ms) remains 60/60 properties
BEST_FIRST walk for 4004 steps (8 resets) in 16 ms. (235 steps per ms) remains 60/60 properties
BEST_FIRST walk for 4004 steps (8 resets) in 13 ms. (286 steps per ms) remains 60/60 properties
BEST_FIRST walk for 4004 steps (8 resets) in 16 ms. (235 steps per ms) remains 60/60 properties
BEST_FIRST walk for 4004 steps (8 resets) in 13 ms. (286 steps per ms) remains 60/60 properties
BEST_FIRST walk for 4004 steps (8 resets) in 16 ms. (235 steps per ms) remains 60/60 properties
[2026-05-25 07:37:06] [INFO ] Invariant cache hit.
[2026-05-25 07:37:07] [INFO ] State equation strengthened by 16110 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/100 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 60 unsolved
Problem AtomicPropp57 is UNSAT
At refinement iteration 1 (OVERLAPS) 17009/17109 variables, 5/5 constraints. Problems are: Problem set: 1 solved, 59 unsolved
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Stream closed")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 17109/66423 variables, and 5 constraints, problems are : Problem set: 1 solved, 59 unsolved in 5066 ms.
Refiners :[Positive P Invariants (semi-flows): 5/90 constraints, Generalized P Invariants (flows): 0/2 constraints, State Equation: 0/17283 constraints, ReadFeed: 0/16110 constraints, PredecessorRefiner: 60/60 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 1 solved, 59 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/99 variables, 0/0 constraints. Problems are: Problem set: 1 solved, 59 unsolved
At refinement iteration 1 (OVERLAPS) 17008/17107 variables, 4/4 constraints. Problems are: Problem set: 1 solved, 59 unsolved
SMT process timed out in 11201ms, After SMT, problems are : Problem set: 1 solved, 59 unsolved
Fused 59 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 99 out of 17283 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 17283/17283 places, 49140/49140 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 623 transitions
Trivial Post-agglo rules discarded 623 transitions
Performed 623 trivial Post agglomeration. Transition count delta: 623
Iterating post reduction 0 with 623 rules applied. Total rules applied 623 place count 17283 transition count 48517
Reduce places removed 623 places and 0 transitions.
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Iterating post reduction 1 with 626 rules applied. Total rules applied 1249 place count 16660 transition count 48514
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 2 with 3 rules applied. Total rules applied 1252 place count 16657 transition count 48514
Performed 7783 Post agglomeration using F-continuation condition.Transition count delta: 7783
Deduced a syphon composed of 7783 places in 20 ms
Reduce places removed 7783 places and 0 transitions.
Iterating global reduction 3 with 15566 rules applied. Total rules applied 16818 place count 8874 transition count 40731
Free-agglomeration rule (complex) applied 3 times.
Iterating global reduction 3 with 3 rules applied. Total rules applied 16821 place count 8874 transition count 40728
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 3 with 3 rules applied. Total rules applied 16824 place count 8871 transition count 40728
Partial Free-agglomeration rule applied 8405 times.
Drop transitions (Partial Free agglomeration) removed 8405 transitions
Iterating global reduction 4 with 8405 rules applied. Total rules applied 25229 place count 8871 transition count 40728
Applied a total of 25229 rules in 22262 ms. Remains 8871 /17283 variables (removed 8412) and now considering 40728/49140 (removed 8412) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 22264 ms. Remains : 8871/17283 places, 40728/49140 transitions.
RANDOM walk for 40000 steps (70 resets) in 2540 ms. (15 steps per ms) remains 33/59 properties
BEST_FIRST walk for 4004 steps (8 resets) in 23 ms. (166 steps per ms) remains 33/33 properties
BEST_FIRST walk for 4004 steps (8 resets) in 26 ms. (148 steps per ms) remains 33/33 properties
BEST_FIRST walk for 4004 steps (8 resets) in 23 ms. (166 steps per ms) remains 33/33 properties
BEST_FIRST walk for 4004 steps (8 resets) in 17 ms. (222 steps per ms) remains 33/33 properties
BEST_FIRST walk for 4004 steps (8 resets) in 20 ms. (190 steps per ms) remains 33/33 properties
BEST_FIRST walk for 4004 steps (8 resets) in 16 ms. (235 steps per ms) remains 33/33 properties
BEST_FIRST walk for 4004 steps (8 resets) in 17 ms. (222 steps per ms) remains 33/33 properties
BEST_FIRST walk for 4004 steps (8 resets) in 21 ms. (182 steps per ms) remains 33/33 properties
BEST_FIRST walk for 4004 steps (8 resets) in 18 ms. (210 steps per ms) remains 33/33 properties
BEST_FIRST walk for 4004 steps (8 resets) in 16 ms. (235 steps per ms) remains 33/33 properties
BEST_FIRST walk for 4004 steps (8 resets) in 18 ms. (210 steps per ms) remains 33/33 properties
BEST_FIRST walk for 4004 steps (8 resets) in 18 ms. (210 steps per ms) remains 33/33 properties
BEST_FIRST walk for 4004 steps (8 resets) in 18 ms. (210 steps per ms) remains 33/33 properties
BEST_FIRST walk for 4004 steps (8 resets) in 103 ms. (38 steps per ms) remains 33/33 properties
BEST_FIRST walk for 4004 steps (8 resets) in 14 ms. (266 steps per ms) remains 33/33 properties
BEST_FIRST walk for 4004 steps (8 resets) in 17 ms. (222 steps per ms) remains 33/33 properties
BEST_FIRST walk for 4004 steps (8 resets) in 16 ms. (235 steps per ms) remains 33/33 properties
BEST_FIRST walk for 4004 steps (8 resets) in 13 ms. (286 steps per ms) remains 33/33 properties
BEST_FIRST walk for 4004 steps (8 resets) in 16 ms. (235 steps per ms) remains 33/33 properties
BEST_FIRST walk for 4004 steps (8 resets) in 15 ms. (250 steps per ms) remains 33/33 properties
BEST_FIRST walk for 4004 steps (8 resets) in 17 ms. (222 steps per ms) remains 33/33 properties
BEST_FIRST walk for 4004 steps (8 resets) in 13 ms. (286 steps per ms) remains 33/33 properties
BEST_FIRST walk for 4004 steps (8 resets) in 13 ms. (286 steps per ms) remains 33/33 properties
BEST_FIRST walk for 4004 steps (8 resets) in 13 ms. (286 steps per ms) remains 33/33 properties
BEST_FIRST walk for 4004 steps (8 resets) in 13 ms. (286 steps per ms) remains 33/33 properties
BEST_FIRST walk for 4004 steps (8 resets) in 12 ms. (308 steps per ms) remains 33/33 properties
BEST_FIRST walk for 4004 steps (8 resets) in 12 ms. (308 steps per ms) remains 33/33 properties
BEST_FIRST walk for 4004 steps (8 resets) in 12 ms. (308 steps per ms) remains 33/33 properties
BEST_FIRST walk for 4004 steps (8 resets) in 15 ms. (250 steps per ms) remains 33/33 properties
BEST_FIRST walk for 4004 steps (8 resets) in 16 ms. (235 steps per ms) remains 33/33 properties
BEST_FIRST walk for 4004 steps (8 resets) in 16 ms. (235 steps per ms) remains 33/33 properties
BEST_FIRST walk for 4004 steps (8 resets) in 16 ms. (235 steps per ms) remains 33/33 properties
BEST_FIRST walk for 4004 steps (8 resets) in 16 ms. (235 steps per ms) remains 33/33 properties
[2026-05-25 07:37:41] [INFO ] Flow matrix only has 40686 transitions (discarded 42 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-15464181160463856875.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-3443100842956463540.kers'
[2026-05-25 07:37:41] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-15464181160463856875.kers, --Pflows, --basisKERS=/tmp/petrispot-output-3443100842956463540.kers]
Culled 0 columns in 13 ms.
// Phase 1: matrix 40686 rows 8871 cols 82621 entries
Finished phase 1 with 8689 SingleSign rule and 90 generalized
[2026-05-25 07:37:42] [INFO ] Computed 92 invariants in 1348 ms
Computed 92 P flows in 1349 ms.
Exported basis to /tmp/petrispot-output-3443100842956463540.kers
Total runtime 1382 ms.
[2026-05-25 07:37:42] [INFO ] State equation strengthened by 39683 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/61 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 33 unsolved
At refinement iteration 1 (OVERLAPS) 8632/8693 variables, 3/3 constraints. Problems are: Problem set: 0 solved, 33 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/8693 variables, 0/3 constraints. Problems are: Problem set: 0 solved, 33 unsolved
At refinement iteration 3 (OVERLAPS) 174/8867 variables, 87/90 constraints. Problems are: Problem set: 0 solved, 33 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/8867 variables, 0/90 constraints. Problems are: Problem set: 0 solved, 33 unsolved
At refinement iteration 5 (OVERLAPS) 2/8869 variables, 2/92 constraints. Problems are: Problem set: 0 solved, 33 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/8869 variables, 0/92 constraints. Problems are: Problem set: 0 solved, 33 unsolved
At refinement iteration 7 (OVERLAPS) 40686/49555 variables, 8869/8961 constraints. Problems are: Problem set: 0 solved, 33 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
SMT process timed out in 46751ms, After SMT, problems are : Problem set: 0 solved, 33 unsolved
Fused 33 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 61 out of 8871 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 8871/8871 places, 40728/40728 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 8871 transition count 40727
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 8870 transition count 40727
Performed 17 Post agglomeration using F-continuation condition.Transition count delta: 17
Deduced a syphon composed of 17 places in 13 ms
Reduce places removed 17 places and 0 transitions.
Iterating global reduction 2 with 34 rules applied. Total rules applied 36 place count 8853 transition count 40710
Partial Free-agglomeration rule applied 19 times.
Drop transitions (Partial Free agglomeration) removed 19 transitions
Iterating global reduction 2 with 19 rules applied. Total rules applied 55 place count 8853 transition count 40710
Applied a total of 55 rules in 9510 ms. Remains 8853 /8871 variables (removed 18) and now considering 40710/40728 (removed 18) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 9510 ms. Remains : 8853/8871 places, 40710/40728 transitions.
RANDOM walk for 40000 steps (72 resets) in 3021 ms. (13 steps per ms) remains 20/33 properties
BEST_FIRST walk for 4004 steps (8 resets) in 15 ms. (250 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 14 ms. (266 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 12 ms. (308 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 12 ms. (308 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 13 ms. (286 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 16 ms. (235 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 13 ms. (286 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 13 ms. (286 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 14 ms. (266 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 14 ms. (266 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 13 ms. (286 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 15 ms. (250 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 16 ms. (235 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 15 ms. (250 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 13 ms. (286 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 15 ms. (250 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 15 ms. (250 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 14 ms. (266 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 13 ms. (286 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 15 ms. (250 steps per ms) remains 20/20 properties
[2026-05-25 07:38:38] [INFO ] Flow matrix only has 40687 transitions (discarded 23 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-8823363239825123845.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-10531430583774334308.kers'
[2026-05-25 07:38:38] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-8823363239825123845.kers, --Pflows, --basisKERS=/tmp/petrispot-output-10531430583774334308.kers]
Culled 0 columns in 13 ms.
// Phase 1: matrix 40687 rows 8853 cols 82623 entries
Finished phase 1 with 8671 SingleSign rule and 90 generalized
[2026-05-25 07:38:40] [INFO ] Computed 92 invariants in 1383 ms
Computed 92 P flows in 1384 ms.
Exported basis to /tmp/petrispot-output-10531430583774334308.kers
Total runtime 1410 ms.
[2026-05-25 07:38:40] [INFO ] State equation strengthened by 39755 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/28 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 1 (OVERLAPS) 8643/8671 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/8671 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 3 (OVERLAPS) 178/8849 variables, 89/90 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/8849 variables, 0/90 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 5 (OVERLAPS) 2/8851 variables, 2/92 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/8851 variables, 0/92 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 7 (OVERLAPS) 40687/49538 variables, 8851/8943 constraints. Problems are: Problem set: 0 solved, 20 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 49538/49540 variables, and 48698 constraints, problems are : Problem set: 0 solved, 20 unsolved in 75132 ms.
Refiners :[Positive P Invariants (semi-flows): 90/90 constraints, Generalized P Invariants (flows): 2/2 constraints, State Equation: 8851/8853 constraints, ReadFeed: 39755/39755 constraints, PredecessorRefiner: 20/20 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 20 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/28 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 1 (OVERLAPS) 8643/8671 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/8671 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/8671 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 4 (OVERLAPS) 178/8849 variables, 89/91 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/8849 variables, 0/91 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 6 (OVERLAPS) 2/8851 variables, 2/93 constraints. Problems are: Problem set: 0 solved, 20 unsolved
SMT process timed out in 163978ms, After SMT, problems are : Problem set: 0 solved, 20 unsolved
Fused 20 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 28 out of 8853 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 8853/8853 places, 40710/40710 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 8853 transition count 40709
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 8852 transition count 40709
Performed 24 Post agglomeration using F-continuation condition.Transition count delta: 24
Deduced a syphon composed of 24 places in 11 ms
Reduce places removed 24 places and 0 transitions.
Iterating global reduction 2 with 48 rules applied. Total rules applied 50 place count 8828 transition count 40685
Free-agglomeration rule applied 1 times.
Iterating global reduction 2 with 1 rules applied. Total rules applied 51 place count 8828 transition count 40684
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 52 place count 8827 transition count 40684
Partial Free-agglomeration rule applied 274 times.
Drop transitions (Partial Free agglomeration) removed 274 transitions
Iterating global reduction 3 with 274 rules applied. Total rules applied 326 place count 8827 transition count 40684
Applied a total of 326 rules in 12638 ms. Remains 8827 /8853 variables (removed 26) and now considering 40684/40710 (removed 26) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 12638 ms. Remains : 8827/8853 places, 40684/40710 transitions.
Successfully simplified 1 atomic propositions for a total of 16 simplifications.
[2026-05-25 07:41:35] [INFO ] Flatten gal took : 575 ms
[2026-05-25 07:41:36] [INFO ] Flatten gal took : 591 ms
[2026-05-25 07:41:37] [INFO ] Input system was already deterministic with 49140 transitions.
Support contains 156 out of 17283 places (down from 157) after GAL structural reductions.
Computed a total of 362 stabilizing places and 630 stable transitions
Starting structural reductions in SI_CTL mode, iteration 0 : 17283/17283 places, 49140/49140 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 630 transitions
Trivial Post-agglo rules discarded 630 transitions
Performed 630 trivial Post agglomeration. Transition count delta: 630
Iterating post reduction 0 with 630 rules applied. Total rules applied 630 place count 17283 transition count 48510
Reduce places removed 630 places and 0 transitions.
Iterating post reduction 1 with 630 rules applied. Total rules applied 1260 place count 16653 transition count 48510
Performed 90 Post agglomeration using F-continuation condition.Transition count delta: 90
Deduced a syphon composed of 90 places in 16 ms
Reduce places removed 90 places and 0 transitions.
Iterating global reduction 2 with 180 rules applied. Total rules applied 1440 place count 16563 transition count 48420
Applied a total of 1440 rules in 11303 ms. Remains 16563 /17283 variables (removed 720) and now considering 48420/49140 (removed 720) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-946761475904196513.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-3023065270599210801.kers'
[2026-05-25 07:41:49] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-946761475904196513.kers, --Pflows, --basisKERS=/tmp/petrispot-output-3023065270599210801.kers]
Culled 0 columns in 21 ms.
// Phase 1: matrix 48420 rows 16563 cols 97470 entries
Finished phase 1 with 16381 SingleSign rule and 90 generalized
[2026-05-25 07:41:52] [INFO ] Computed 92 invariants in 3074 ms
Computed 92 P flows in 3075 ms.
Exported basis to /tmp/petrispot-output-3023065270599210801.kers
Total runtime 3105 ms.
[2026-05-25 07:42:24] [INFO ] Performed 538/16563 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 07:42:24] [INFO ] Implicit Places using invariants in 35442 ms returned []
Implicit Place search using SMT only with invariants took 35448 ms to find 0 implicit places.
Running 48330 sub problems to find dead transitions.
[2026-05-25 07:42:24] [INFO ] Invariant cache hit.
[2026-05-25 07:42:24] [INFO ] State equation strengthened by 16200 read => feed constraints.
SMT process timed out in 242749ms, After SMT, problems are : Problem set: 0 solved, 48330 unsolved
Search for dead transitions found 0 dead transitions in 242851ms
Starting structural reductions in SI_CTL mode, iteration 1 : 16563/17283 places, 48420/49140 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 289706 ms. Remains : 16563/17283 places, 48420/49140 transitions.
[2026-05-25 07:46:28] [INFO ] Flatten gal took : 624 ms
[2026-05-25 07:46:28] [INFO ] Flatten gal took : 517 ms
[2026-05-25 07:46:29] [INFO ] Input system was already deterministic with 48420 transitions.
[2026-05-25 07:46:30] [INFO ] Flatten gal took : 525 ms
[2026-05-25 07:46:31] [INFO ] Flatten gal took : 562 ms
[2026-05-25 07:46:31] [INFO ] Time to serialize gal into /tmp/CTLCardinality15823876153885780957.gal : 194 ms
[2026-05-25 07:46:31] [INFO ] Time to serialize properties into /tmp/CTLCardinality16033529133012429613.ctl : 3 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality15823876153885780957.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16033529133012429613.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/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.
[2026-05-25 07:47:02] [INFO ] Flatten gal took : 533 ms
[2026-05-25 07:47:02] [INFO ] Applying decomposition
[2026-05-25 07:47:02] [INFO ] Flatten gal took : 567 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph7732279999406411899.txt' '-o' '/tmp/graph7732279999406411899.bin' '-w' '/tmp/graph7732279999406411899.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph7732279999406411899.bin' '-l' '-1' '-v' '-w' '/tmp/graph7732279999406411899.weights' '-q' '0' '-e' '0.001'
[2026-05-25 07:47:04] [INFO ] Decomposing Gal with order
[2026-05-25 07:47:06] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 07:47:11] [INFO ] Removed a total of 23952 redundant transitions.
[2026-05-25 07:47:12] [INFO ] Flatten gal took : 4124 ms
[2026-05-25 07:47:17] [INFO ] Fuse similar labels procedure discarded/fused a total of 15838 labels/synchronizations in 4332 ms.
[2026-05-25 07:47:19] [INFO ] Time to serialize gal into /tmp/CTLCardinality10237332000213315839.gal : 176 ms
[2026-05-25 07:47:19] [INFO ] Time to serialize properties into /tmp/CTLCardinality12976477183094790068.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality10237332000213315839.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality12976477183094790068.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 17283/17283 places, 49140/49140 transitions.
Applied a total of 0 rules in 5277 ms. Remains 17283 /17283 variables (removed 0) and now considering 49140/49140 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-5159809473119287601.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-9186750725630819871.kers'
[2026-05-25 07:47:54] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-5159809473119287601.kers, --Pflows, --basisKERS=/tmp/petrispot-output-9186750725630819871.kers]
Culled 0 columns in 21 ms.
// Phase 1: matrix 49140 rows 17283 cols 99000 entries
Finished phase 1 with 17101 SingleSign rule and 90 generalized
[2026-05-25 07:47:58] [INFO ] Computed 92 invariants in 3274 ms
Computed 92 P flows in 3275 ms.
Exported basis to /tmp/petrispot-output-9186750725630819871.kers
Total runtime 3314 ms.
[2026-05-25 07:48:30] [INFO ] Performed 1197/17283 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 07:48:32] [INFO ] Implicit Places using invariants in 37516 ms returned []
Implicit Place search using SMT only with invariants took 37517 ms to find 0 implicit places.
Running 49050 sub problems to find dead transitions.
[2026-05-25 07:48:32] [INFO ] Invariant cache hit.
[2026-05-25 07:48:32] [INFO ] State equation strengthened by 16110 read => feed constraints.
SMT process timed out in 270656ms, After SMT, problems are : Problem set: 0 solved, 49050 unsolved
Search for dead transitions found 0 dead transitions in 270729ms
Finished structural reductions in LTL mode , in 1 iterations and 313600 ms. Remains : 17283/17283 places, 49140/49140 transitions.
[2026-05-25 07:53:03] [INFO ] Flatten gal took : 667 ms
[2026-05-25 07:53:04] [INFO ] Flatten gal took : 706 ms
[2026-05-25 07:53:05] [INFO ] Input system was already deterministic with 49140 transitions.
[2026-05-25 07:53:06] [INFO ] Flatten gal took : 668 ms
[2026-05-25 07:53:07] [INFO ] Flatten gal took : 717 ms
[2026-05-25 07:53:07] [INFO ] Time to serialize gal into /tmp/CTLCardinality10081192836493084674.gal : 143 ms
[2026-05-25 07:53:07] [INFO ] Time to serialize properties into /tmp/CTLCardinality15329802641637496701.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality10081192836493084674.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality15329802641637496701.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/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.
[2026-05-25 07:53:38] [INFO ] Flatten gal took : 628 ms
[2026-05-25 07:53:38] [INFO ] Applying decomposition
[2026-05-25 07:53:38] [INFO ] Flatten gal took : 682 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph14805472908962374081.txt' '-o' '/tmp/graph14805472908962374081.bin' '-w' '/tmp/graph14805472908962374081.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph14805472908962374081.bin' '-l' '-1' '-v' '-w' '/tmp/graph14805472908962374081.weights' '-q' '0' '-e' '0.001'
[2026-05-25 07:53:40] [INFO ] Decomposing Gal with order
[2026-05-25 07:53:42] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 07:53:48] [INFO ] Removed a total of 24353 redundant transitions.
[2026-05-25 07:53:48] [INFO ] Flatten gal took : 3408 ms
[2026-05-25 07:53:53] [INFO ] Fuse similar labels procedure discarded/fused a total of 15839 labels/synchronizations in 4706 ms.
[2026-05-25 07:53:55] [INFO ] Time to serialize gal into /tmp/CTLCardinality12069280923605228068.gal : 163 ms
[2026-05-25 07:53:55] [INFO ] Time to serialize properties into /tmp/CTLCardinality12772703940293810055.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality12069280923605228068.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality12772703940293810055.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 17283/17283 places, 49140/49140 transitions.
Applied a total of 0 rules in 5340 ms. Remains 17283 /17283 variables (removed 0) and now considering 49140/49140 (removed 0) transitions.
[2026-05-25 07:54:31] [INFO ] Invariant cache hit.
[2026-05-25 07:55:03] [INFO ] Performed 1211/17283 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 07:55:04] [INFO ] Implicit Places using invariants in 33596 ms returned []
Implicit Place search using SMT only with invariants took 33598 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 38941 ms. Remains : 17283/17283 places, 49140/49140 transitions.
[2026-05-25 07:55:05] [INFO ] Flatten gal took : 531 ms
[2026-05-25 07:55:06] [INFO ] Flatten gal took : 990 ms
[2026-05-25 07:55:07] [INFO ] Input system was already deterministic with 49140 transitions.
[2026-05-25 07:55:08] [INFO ] Flatten gal took : 630 ms
[2026-05-25 07:55:08] [INFO ] Flatten gal took : 704 ms
[2026-05-25 07:55:09] [INFO ] Time to serialize gal into /tmp/CTLCardinality10093378833296011956.gal : 141 ms
[2026-05-25 07:55:09] [INFO ] Time to serialize properties into /tmp/CTLCardinality1185553215354170690.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality10093378833296011956.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality1185553215354170690.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/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.
[2026-05-25 07:55:39] [INFO ] Flatten gal took : 629 ms
[2026-05-25 07:55:39] [INFO ] Applying decomposition
[2026-05-25 07:55:40] [INFO ] Flatten gal took : 681 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph860854233992632528.txt' '-o' '/tmp/graph860854233992632528.bin' '-w' '/tmp/graph860854233992632528.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph860854233992632528.bin' '-l' '-1' '-v' '-w' '/tmp/graph860854233992632528.weights' '-q' '0' '-e' '0.001'
[2026-05-25 07:55:42] [INFO ] Decomposing Gal with order
[2026-05-25 07:55:43] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 07:55:49] [INFO ] Removed a total of 24538 redundant transitions.
[2026-05-25 07:55:50] [INFO ] Flatten gal took : 3401 ms
[2026-05-25 07:55:55] [INFO ] Fuse similar labels procedure discarded/fused a total of 16020 labels/synchronizations in 4648 ms.
[2026-05-25 07:55:58] [INFO ] Time to serialize gal into /tmp/CTLCardinality161368369967568252.gal : 161 ms
[2026-05-25 07:55:58] [INFO ] Time to serialize properties into /tmp/CTLCardinality16706283072590878731.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality161368369967568252.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16706283072590878731.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 17283/17283 places, 49140/49140 transitions.
Applied a total of 0 rules in 5961 ms. Remains 17283 /17283 variables (removed 0) and now considering 49140/49140 (removed 0) transitions.
[2026-05-25 07:56:34] [INFO ] Invariant cache hit.
[2026-05-25 07:57:06] [INFO ] Performed 1085/17283 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 07:57:11] [INFO ] Implicit Places using invariants in 36894 ms returned []
Implicit Place search using SMT only with invariants took 36895 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 42858 ms. Remains : 17283/17283 places, 49140/49140 transitions.
[2026-05-25 07:57:11] [INFO ] Flatten gal took : 583 ms
[2026-05-25 07:57:12] [INFO ] Flatten gal took : 642 ms
[2026-05-25 07:57:13] [INFO ] Input system was already deterministic with 49140 transitions.
[2026-05-25 07:57:14] [INFO ] Flatten gal took : 611 ms
[2026-05-25 07:57:15] [INFO ] Flatten gal took : 662 ms
[2026-05-25 07:57:15] [INFO ] Time to serialize gal into /tmp/CTLCardinality4583832988941721812.gal : 132 ms
[2026-05-25 07:57:15] [INFO ] Time to serialize properties into /tmp/CTLCardinality16922154903527526792.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality4583832988941721812.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16922154903527526792.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/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.
[2026-05-25 07:57:45] [INFO ] Flatten gal took : 565 ms
[2026-05-25 07:57:45] [INFO ] Applying decomposition
[2026-05-25 07:57:46] [INFO ] Flatten gal took : 616 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph14769468468718746299.txt' '-o' '/tmp/graph14769468468718746299.bin' '-w' '/tmp/graph14769468468718746299.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph14769468468718746299.bin' '-l' '-1' '-v' '-w' '/tmp/graph14769468468718746299.weights' '-q' '0' '-e' '0.001'
[2026-05-25 07:57:48] [INFO ] Decomposing Gal with order
[2026-05-25 07:57:49] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 07:57:54] [INFO ] Removed a total of 24362 redundant transitions.
[2026-05-25 07:57:55] [INFO ] Flatten gal took : 3153 ms
[2026-05-25 07:58:00] [INFO ] Fuse similar labels procedure discarded/fused a total of 15840 labels/synchronizations in 4418 ms.
[2026-05-25 07:58:02] [INFO ] Time to serialize gal into /tmp/CTLCardinality7714313206715013665.gal : 150 ms
[2026-05-25 07:58:02] [INFO ] Time to serialize properties into /tmp/CTLCardinality5146692865400233367.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality7714313206715013665.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality5146692865400233367.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 17283/17283 places, 49140/49140 transitions.
Applied a total of 0 rules in 5891 ms. Remains 17283 /17283 variables (removed 0) and now considering 49140/49140 (removed 0) transitions.
[2026-05-25 07:58:38] [INFO ] Invariant cache hit.
[2026-05-25 07:59:10] [INFO ] Performed 1090/17283 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 07:59:15] [INFO ] Implicit Places using invariants in 36952 ms returned []
Implicit Place search using SMT only with invariants took 36953 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 42847 ms. Remains : 17283/17283 places, 49140/49140 transitions.
[2026-05-25 07:59:16] [INFO ] Flatten gal took : 544 ms
[2026-05-25 07:59:16] [INFO ] Flatten gal took : 641 ms
[2026-05-25 07:59:18] [INFO ] Input system was already deterministic with 49140 transitions.
[2026-05-25 07:59:18] [INFO ] Flatten gal took : 597 ms
[2026-05-25 07:59:19] [INFO ] Flatten gal took : 640 ms
[2026-05-25 07:59:19] [INFO ] Time to serialize gal into /tmp/CTLCardinality15994331341602678435.gal : 118 ms
[2026-05-25 07:59:19] [INFO ] Time to serialize properties into /tmp/CTLCardinality15205427759387390696.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality15994331341602678435.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality15205427759387390696.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/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.
[2026-05-25 07:59:50] [INFO ] Flatten gal took : 606 ms
[2026-05-25 07:59:50] [INFO ] Applying decomposition
[2026-05-25 07:59:50] [INFO ] Flatten gal took : 675 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph14456532642148836154.txt' '-o' '/tmp/graph14456532642148836154.bin' '-w' '/tmp/graph14456532642148836154.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph14456532642148836154.bin' '-l' '-1' '-v' '-w' '/tmp/graph14456532642148836154.weights' '-q' '0' '-e' '0.001'
[2026-05-25 07:59:52] [INFO ] Decomposing Gal with order
[2026-05-25 07:59:54] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 07:59:59] [INFO ] Removed a total of 24369 redundant transitions.
[2026-05-25 07:59:59] [INFO ] Flatten gal took : 3182 ms
[2026-05-25 08:00:04] [INFO ] Fuse similar labels procedure discarded/fused a total of 15852 labels/synchronizations in 4326 ms.
[2026-05-25 08:00:07] [INFO ] Time to serialize gal into /tmp/CTLCardinality16627283856199674504.gal : 147 ms
[2026-05-25 08:00:07] [INFO ] Time to serialize properties into /tmp/CTLCardinality7083026414878903947.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality16627283856199674504.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality7083026414878903947.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 17283/17283 places, 49140/49140 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 628 transitions
Trivial Post-agglo rules discarded 628 transitions
Performed 628 trivial Post agglomeration. Transition count delta: 628
Iterating post reduction 0 with 628 rules applied. Total rules applied 628 place count 17283 transition count 48512
Reduce places removed 628 places and 0 transitions.
Iterating post reduction 1 with 628 rules applied. Total rules applied 1256 place count 16655 transition count 48512
Performed 90 Post agglomeration using F-continuation condition.Transition count delta: 90
Deduced a syphon composed of 90 places in 18 ms
Reduce places removed 90 places and 0 transitions.
Iterating global reduction 2 with 180 rules applied. Total rules applied 1436 place count 16565 transition count 48422
Applied a total of 1436 rules in 13518 ms. Remains 16565 /17283 variables (removed 718) and now considering 48422/49140 (removed 718) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-2946997833861020692.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-6229876588054250410.kers'
[2026-05-25 08:00:50] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-2946997833861020692.kers, --Pflows, --basisKERS=/tmp/petrispot-output-6229876588054250410.kers]
Culled 0 columns in 21 ms.
// Phase 1: matrix 48422 rows 16565 cols 97474 entries
Finished phase 1 with 16383 SingleSign rule and 90 generalized
[2026-05-25 08:00:53] [INFO ] Computed 92 invariants in 3054 ms
Computed 92 P flows in 3055 ms.
Exported basis to /tmp/petrispot-output-6229876588054250410.kers
Total runtime 3087 ms.
[2026-05-25 08:01:26] [INFO ] Performed 540/16565 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 08:01:26] [INFO ] Implicit Places using invariants in 35780 ms returned []
Implicit Place search using SMT only with invariants took 35782 ms to find 0 implicit places.
Running 48332 sub problems to find dead transitions.
[2026-05-25 08:01:26] [INFO ] Invariant cache hit.
[2026-05-25 08:01:26] [INFO ] State equation strengthened by 16200 read => feed constraints.
SMT process timed out in 256186ms, After SMT, problems are : Problem set: 0 solved, 48332 unsolved
Search for dead transitions found 0 dead transitions in 256293ms
Starting structural reductions in SI_CTL mode, iteration 1 : 16565/17283 places, 48422/49140 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 305721 ms. Remains : 16565/17283 places, 48422/49140 transitions.
[2026-05-25 08:05:43] [INFO ] Flatten gal took : 673 ms
[2026-05-25 08:05:44] [INFO ] Flatten gal took : 583 ms
[2026-05-25 08:05:45] [INFO ] Input system was already deterministic with 48422 transitions.
[2026-05-25 08:05:46] [INFO ] Flatten gal took : 587 ms
[2026-05-25 08:05:46] [INFO ] Flatten gal took : 637 ms
[2026-05-25 08:05:46] [INFO ] Time to serialize gal into /tmp/CTLCardinality4627955297646573151.gal : 133 ms
[2026-05-25 08:05:46] [INFO ] Time to serialize properties into /tmp/CTLCardinality6661338416797779857.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality4627955297646573151.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6661338416797779857.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/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.
[2026-05-25 08:06:17] [INFO ] Flatten gal took : 578 ms
[2026-05-25 08:06:17] [INFO ] Applying decomposition
[2026-05-25 08:06:18] [INFO ] Flatten gal took : 635 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph10921950156672798995.txt' '-o' '/tmp/graph10921950156672798995.bin' '-w' '/tmp/graph10921950156672798995.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph10921950156672798995.bin' '-l' '-1' '-v' '-w' '/tmp/graph10921950156672798995.weights' '-q' '0' '-e' '0.001'
[2026-05-25 08:06:19] [INFO ] Decomposing Gal with order
[2026-05-25 08:06:21] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 08:06:25] [INFO ] Removed a total of 23946 redundant transitions.
[2026-05-25 08:06:26] [INFO ] Flatten gal took : 3226 ms
[2026-05-25 08:06:30] [INFO ] Fuse similar labels procedure discarded/fused a total of 15837 labels/synchronizations in 4412 ms.
[2026-05-25 08:06:32] [INFO ] Time to serialize gal into /tmp/CTLCardinality8662282037505094585.gal : 144 ms
[2026-05-25 08:06:32] [INFO ] Time to serialize properties into /tmp/CTLCardinality13417571929912970528.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality8662282037505094585.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality13417571929912970528.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 17283/17283 places, 49140/49140 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 630 transitions
Trivial Post-agglo rules discarded 630 transitions
Performed 630 trivial Post agglomeration. Transition count delta: 630
Iterating post reduction 0 with 630 rules applied. Total rules applied 630 place count 17283 transition count 48510
Reduce places removed 630 places and 0 transitions.
Iterating post reduction 1 with 630 rules applied. Total rules applied 1260 place count 16653 transition count 48510
Performed 90 Post agglomeration using F-continuation condition.Transition count delta: 90
Deduced a syphon composed of 90 places in 15 ms
Reduce places removed 90 places and 0 transitions.
Iterating global reduction 2 with 180 rules applied. Total rules applied 1440 place count 16563 transition count 48420
Applied a total of 1440 rules in 11603 ms. Remains 16563 /17283 variables (removed 720) and now considering 48420/49140 (removed 720) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-3512956754926866455.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-6358118395183046003.kers'
[2026-05-25 08:07:14] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-3512956754926866455.kers, --Pflows, --basisKERS=/tmp/petrispot-output-6358118395183046003.kers]
Culled 0 columns in 21 ms.
// Phase 1: matrix 48420 rows 16563 cols 97470 entries
Finished phase 1 with 16381 SingleSign rule and 90 generalized
[2026-05-25 08:07:17] [INFO ] Computed 92 invariants in 3064 ms
Computed 92 P flows in 3066 ms.
Exported basis to /tmp/petrispot-output-6358118395183046003.kers
Total runtime 3101 ms.
[2026-05-25 08:07:49] [INFO ] Performed 10687/16563 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 08:07:49] [INFO ] Implicit Places using invariants in 35351 ms returned []
Implicit Place search using SMT only with invariants took 35352 ms to find 0 implicit places.
Running 48330 sub problems to find dead transitions.
[2026-05-25 08:07:49] [INFO ] Invariant cache hit.
[2026-05-25 08:07:50] [INFO ] State equation strengthened by 16200 read => feed constraints.
SMT process timed out in 246795ms, After SMT, problems are : Problem set: 0 solved, 48330 unsolved
Search for dead transitions found 0 dead transitions in 246862ms
Starting structural reductions in SI_CTL mode, iteration 1 : 16563/17283 places, 48420/49140 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 293880 ms. Remains : 16563/17283 places, 48420/49140 transitions.
[2026-05-25 08:11:57] [INFO ] Flatten gal took : 525 ms
[2026-05-25 08:11:57] [INFO ] Flatten gal took : 613 ms
[2026-05-25 08:11:59] [INFO ] Input system was already deterministic with 48420 transitions.
[2026-05-25 08:11:59] [INFO ] Flatten gal took : 574 ms
[2026-05-25 08:12:00] [INFO ] Flatten gal took : 612 ms
[2026-05-25 08:12:00] [INFO ] Time to serialize gal into /tmp/CTLCardinality10320840752009895201.gal : 130 ms
[2026-05-25 08:12:00] [INFO ] Time to serialize properties into /tmp/CTLCardinality5893589253935671617.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality10320840752009895201.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality5893589253935671617.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/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.
[2026-05-25 08:12:31] [INFO ] Flatten gal took : 566 ms
[2026-05-25 08:12:31] [INFO ] Applying decomposition
[2026-05-25 08:12:31] [INFO ] Flatten gal took : 736 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph9803321685315750548.txt' '-o' '/tmp/graph9803321685315750548.bin' '-w' '/tmp/graph9803321685315750548.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph9803321685315750548.bin' '-l' '-1' '-v' '-w' '/tmp/graph9803321685315750548.weights' '-q' '0' '-e' '0.001'
[2026-05-25 08:12:33] [INFO ] Decomposing Gal with order
[2026-05-25 08:12:35] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 08:12:39] [INFO ] Removed a total of 23977 redundant transitions.
[2026-05-25 08:12:39] [INFO ] Flatten gal took : 3273 ms
[2026-05-25 08:12:44] [INFO ] Fuse similar labels procedure discarded/fused a total of 17100 labels/synchronizations in 4335 ms.
[2026-05-25 08:12:44] [INFO ] Time to serialize gal into /tmp/CTLCardinality18286748259659197078.gal : 178 ms
[2026-05-25 08:12:44] [INFO ] Time to serialize properties into /tmp/CTLCardinality11764417558070795908.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality18286748259659197078.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality11764417558070795908.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/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 : 17283/17283 places, 49140/49140 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 630 transitions
Trivial Post-agglo rules discarded 630 transitions
Performed 630 trivial Post agglomeration. Transition count delta: 630
Iterating post reduction 0 with 630 rules applied. Total rules applied 630 place count 17283 transition count 48510
Reduce places removed 630 places and 0 transitions.
Iterating post reduction 1 with 630 rules applied. Total rules applied 1260 place count 16653 transition count 48510
Performed 90 Post agglomeration using F-continuation condition.Transition count delta: 90
Deduced a syphon composed of 90 places in 16 ms
Reduce places removed 90 places and 0 transitions.
Iterating global reduction 2 with 180 rules applied. Total rules applied 1440 place count 16563 transition count 48420
Applied a total of 1440 rules in 11894 ms. Remains 16563 /17283 variables (removed 720) and now considering 48420/49140 (removed 720) transitions.
[2026-05-25 08:13:26] [INFO ] Invariant cache hit.
[2026-05-25 08:13:58] [INFO ] Performed 520/16563 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 08:14:00] [INFO ] Implicit Places using invariants in 33635 ms returned []
Implicit Place search using SMT only with invariants took 33640 ms to find 0 implicit places.
Skipped dead transition search.
Starting structural reductions in SI_CTL mode, iteration 1 : 16563/17283 places, 48420/49140 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 45537 ms. Remains : 16563/17283 places, 48420/49140 transitions.
[2026-05-25 08:14:00] [INFO ] Flatten gal took : 556 ms
[2026-05-25 08:14:01] [INFO ] Flatten gal took : 613 ms
[2026-05-25 08:14:02] [INFO ] Input system was already deterministic with 48420 transitions.
[2026-05-25 08:14:03] [INFO ] Flatten gal took : 653 ms
[2026-05-25 08:14:04] [INFO ] Flatten gal took : 640 ms
[2026-05-25 08:14:04] [INFO ] Time to serialize gal into /tmp/CTLCardinality14532282819643985166.gal : 128 ms
[2026-05-25 08:14:04] [INFO ] Time to serialize properties into /tmp/CTLCardinality15384508361390321475.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality14532282819643985166.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality15384508361390321475.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/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.
[2026-05-25 08:14:34] [INFO ] Flatten gal took : 631 ms
[2026-05-25 08:14:34] [INFO ] Applying decomposition
[2026-05-25 08:14:35] [INFO ] Flatten gal took : 590 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph7104907919834690995.txt' '-o' '/tmp/graph7104907919834690995.bin' '-w' '/tmp/graph7104907919834690995.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph7104907919834690995.bin' '-l' '-1' '-v' '-w' '/tmp/graph7104907919834690995.weights' '-q' '0' '-e' '0.001'
[2026-05-25 08:14:37] [INFO ] Decomposing Gal with order
[2026-05-25 08:14:38] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 08:14:43] [INFO ] Removed a total of 23942 redundant transitions.
[2026-05-25 08:14:43] [INFO ] Flatten gal took : 3250 ms
[2026-05-25 08:14:48] [INFO ] Fuse similar labels procedure discarded/fused a total of 15838 labels/synchronizations in 4346 ms.
[2026-05-25 08:14:49] [INFO ] Time to serialize gal into /tmp/CTLCardinality12844631837388387772.gal : 142 ms
[2026-05-25 08:14:49] [INFO ] Time to serialize properties into /tmp/CTLCardinality8100143322681732283.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality12844631837388387772.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8100143322681732283.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 17283/17283 places, 49140/49140 transitions.
Applied a total of 0 rules in 6162 ms. Remains 17283 /17283 variables (removed 0) and now considering 49140/49140 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-13150289327079251462.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-4497300700416846121.kers'
[2026-05-25 08:15:26] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-13150289327079251462.kers, --Pflows, --basisKERS=/tmp/petrispot-output-4497300700416846121.kers]
Culled 0 columns in 21 ms.
// Phase 1: matrix 49140 rows 17283 cols 99000 entries
Finished phase 1 with 17101 SingleSign rule and 90 generalized
[2026-05-25 08:15:29] [INFO ] Computed 92 invariants in 3212 ms
Computed 92 P flows in 3212 ms.
Exported basis to /tmp/petrispot-output-4497300700416846121.kers
Total runtime 3248 ms.
[2026-05-25 08:16:01] [INFO ] Performed 1174/17283 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 08:16:03] [INFO ] Implicit Places using invariants in 37804 ms returned []
Implicit Place search using SMT only with invariants took 37805 ms to find 0 implicit places.
Running 49050 sub problems to find dead transitions.
[2026-05-25 08:16:04] [INFO ] Invariant cache hit.
[2026-05-25 08:16:04] [INFO ] State equation strengthened by 16110 read => feed constraints.
SMT process timed out in 290783ms, After SMT, problems are : Problem set: 0 solved, 49050 unsolved
Search for dead transitions found 0 dead transitions in 290898ms
Finished structural reductions in LTL mode , in 1 iterations and 334946 ms. Remains : 17283/17283 places, 49140/49140 transitions.
[2026-05-25 08:20:55] [INFO ] Flatten gal took : 542 ms
[2026-05-25 08:20:56] [INFO ] Flatten gal took : 624 ms
[2026-05-25 08:20:57] [INFO ] Input system was already deterministic with 49140 transitions.
[2026-05-25 08:20:58] [INFO ] Flatten gal took : 588 ms
[2026-05-25 08:20:58] [INFO ] Flatten gal took : 618 ms
[2026-05-25 08:20:58] [INFO ] Time to serialize gal into /tmp/CTLCardinality14954707374720282517.gal : 132 ms
[2026-05-25 08:20:58] [INFO ] Time to serialize properties into /tmp/CTLCardinality4253969698776531903.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality14954707374720282517.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality4253969698776531903.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/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.
[2026-05-25 08:21:29] [INFO ] Flatten gal took : 708 ms
[2026-05-25 08:21:29] [INFO ] Applying decomposition
[2026-05-25 08:21:30] [INFO ] Flatten gal took : 620 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph8249932408161721024.txt' '-o' '/tmp/graph8249932408161721024.bin' '-w' '/tmp/graph8249932408161721024.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph8249932408161721024.bin' '-l' '-1' '-v' '-w' '/tmp/graph8249932408161721024.weights' '-q' '0' '-e' '0.001'
[2026-05-25 08:21:31] [INFO ] Decomposing Gal with order
[2026-05-25 08:21:33] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 08:21:38] [INFO ] Removed a total of 24355 redundant transitions.
[2026-05-25 08:21:39] [INFO ] Flatten gal took : 3351 ms
[2026-05-25 08:21:44] [INFO ] Fuse similar labels procedure discarded/fused a total of 15844 labels/synchronizations in 4538 ms.
[2026-05-25 08:21:46] [INFO ] Time to serialize gal into /tmp/CTLCardinality6998449171690439061.gal : 148 ms
[2026-05-25 08:21:46] [INFO ] Time to serialize properties into /tmp/CTLCardinality6866879010643020748.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality6998449171690439061.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6866879010643020748.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 17283/17283 places, 49140/49140 transitions.
Applied a total of 0 rules in 6085 ms. Remains 17283 /17283 variables (removed 0) and now considering 49140/49140 (removed 0) transitions.
[2026-05-25 08:22:22] [INFO ] Invariant cache hit.
[2026-05-25 08:22:55] [INFO ] Performed 1211/17283 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 08:22:56] [INFO ] Implicit Places using invariants in 33306 ms returned []
Implicit Place search using SMT only with invariants took 33307 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 39397 ms. Remains : 17283/17283 places, 49140/49140 transitions.
[2026-05-25 08:22:56] [INFO ] Flatten gal took : 535 ms
[2026-05-25 08:22:57] [INFO ] Flatten gal took : 599 ms
[2026-05-25 08:22:58] [INFO ] Input system was already deterministic with 49140 transitions.
[2026-05-25 08:22:59] [INFO ] Flatten gal took : 566 ms
[2026-05-25 08:22:59] [INFO ] Flatten gal took : 649 ms
[2026-05-25 08:22:59] [INFO ] Time to serialize gal into /tmp/CTLCardinality16187551893393797680.gal : 126 ms
[2026-05-25 08:22:59] [INFO ] Time to serialize properties into /tmp/CTLCardinality10344897347998928547.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality16187551893393797680.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10344897347998928547.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/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.
[2026-05-25 08:23:30] [INFO ] Flatten gal took : 566 ms
[2026-05-25 08:23:30] [INFO ] Applying decomposition
[2026-05-25 08:23:31] [INFO ] Flatten gal took : 602 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph3119634815157369418.txt' '-o' '/tmp/graph3119634815157369418.bin' '-w' '/tmp/graph3119634815157369418.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph3119634815157369418.bin' '-l' '-1' '-v' '-w' '/tmp/graph3119634815157369418.weights' '-q' '0' '-e' '0.001'
[2026-05-25 08:23:33] [INFO ] Decomposing Gal with order
[2026-05-25 08:23:35] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 08:23:40] [INFO ] Removed a total of 24356 redundant transitions.
[2026-05-25 08:23:40] [INFO ] Flatten gal took : 3438 ms
[2026-05-25 08:23:45] [INFO ] Fuse similar labels procedure discarded/fused a total of 15838 labels/synchronizations in 4582 ms.
[2026-05-25 08:23:49] [INFO ] Time to serialize gal into /tmp/CTLCardinality17380106665554810038.gal : 163 ms
[2026-05-25 08:23:49] [INFO ] Time to serialize properties into /tmp/CTLCardinality6517519184551222817.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality17380106665554810038.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6517519184551222817.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 17283/17283 places, 49140/49140 transitions.
Applied a total of 0 rules in 6116 ms. Remains 17283 /17283 variables (removed 0) and now considering 49140/49140 (removed 0) transitions.
[2026-05-25 08:24:25] [INFO ] Invariant cache hit.
[2026-05-25 08:24:58] [INFO ] Performed 1197/17283 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 08:24:59] [INFO ] Implicit Places using invariants in 34207 ms returned []
Implicit Place search using SMT only with invariants took 34208 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 40328 ms. Remains : 17283/17283 places, 49140/49140 transitions.
[2026-05-25 08:25:00] [INFO ] Flatten gal took : 546 ms
[2026-05-25 08:25:00] [INFO ] Flatten gal took : 615 ms
[2026-05-25 08:25:02] [INFO ] Input system was already deterministic with 49140 transitions.
[2026-05-25 08:25:02] [INFO ] Flatten gal took : 596 ms
[2026-05-25 08:25:03] [INFO ] Flatten gal took : 599 ms
[2026-05-25 08:25:03] [INFO ] Time to serialize gal into /tmp/CTLCardinality7187589109212238608.gal : 121 ms
[2026-05-25 08:25:03] [INFO ] Time to serialize properties into /tmp/CTLCardinality16080707897087041219.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality7187589109212238608.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16080707897087041219.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/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.
[2026-05-25 08:25:34] [INFO ] Flatten gal took : 609 ms
[2026-05-25 08:25:34] [INFO ] Applying decomposition
[2026-05-25 08:25:34] [INFO ] Flatten gal took : 593 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph4505525063696957374.txt' '-o' '/tmp/graph4505525063696957374.bin' '-w' '/tmp/graph4505525063696957374.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph4505525063696957374.bin' '-l' '-1' '-v' '-w' '/tmp/graph4505525063696957374.weights' '-q' '0' '-e' '0.001'
[2026-05-25 08:25:36] [INFO ] Decomposing Gal with order
[2026-05-25 08:25:38] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 08:25:42] [INFO ] Removed a total of 24348 redundant transitions.
[2026-05-25 08:25:43] [INFO ] Flatten gal took : 3124 ms
[2026-05-25 08:25:48] [INFO ] Fuse similar labels procedure discarded/fused a total of 15841 labels/synchronizations in 4301 ms.
[2026-05-25 08:25:49] [INFO ] Time to serialize gal into /tmp/CTLCardinality13670980227816673208.gal : 149 ms
[2026-05-25 08:25:49] [INFO ] Time to serialize properties into /tmp/CTLCardinality17022263917320110240.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality13670980227816673208.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17022263917320110240.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 17283/17283 places, 49140/49140 transitions.
Applied a total of 0 rules in 5495 ms. Remains 17283 /17283 variables (removed 0) and now considering 49140/49140 (removed 0) transitions.
[2026-05-25 08:26:25] [INFO ] Invariant cache hit.
[2026-05-25 08:26:57] [INFO ] Performed 1211/17283 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 08:26:59] [INFO ] Implicit Places using invariants in 33662 ms returned []
Implicit Place search using SMT only with invariants took 33663 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 39161 ms. Remains : 17283/17283 places, 49140/49140 transitions.
[2026-05-25 08:26:59] [INFO ] Flatten gal took : 529 ms
[2026-05-25 08:27:00] [INFO ] Flatten gal took : 622 ms
[2026-05-25 08:27:01] [INFO ] Input system was already deterministic with 49140 transitions.
[2026-05-25 08:27:02] [INFO ] Flatten gal took : 586 ms
[2026-05-25 08:27:02] [INFO ] Flatten gal took : 578 ms
[2026-05-25 08:27:02] [INFO ] Time to serialize gal into /tmp/CTLCardinality10477844236905446710.gal : 117 ms
[2026-05-25 08:27:02] [INFO ] Time to serialize properties into /tmp/CTLCardinality1460692039200345310.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality10477844236905446710.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality1460692039200345310.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/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.
[2026-05-25 08:27:33] [INFO ] Flatten gal took : 576 ms
[2026-05-25 08:27:33] [INFO ] Applying decomposition
[2026-05-25 08:27:34] [INFO ] Flatten gal took : 623 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph7439053513368619148.txt' '-o' '/tmp/graph7439053513368619148.bin' '-w' '/tmp/graph7439053513368619148.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph7439053513368619148.bin' '-l' '-1' '-v' '-w' '/tmp/graph7439053513368619148.weights' '-q' '0' '-e' '0.001'
[2026-05-25 08:27:35] [INFO ] Decomposing Gal with order
[2026-05-25 08:27:37] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 08:27:42] [INFO ] Removed a total of 24361 redundant transitions.
[2026-05-25 08:27:43] [INFO ] Flatten gal took : 3351 ms
[2026-05-25 08:27:47] [INFO ] Fuse similar labels procedure discarded/fused a total of 15840 labels/synchronizations in 4282 ms.
[2026-05-25 08:27:50] [INFO ] Time to serialize gal into /tmp/CTLCardinality41825334833949422.gal : 149 ms
[2026-05-25 08:27:50] [INFO ] Time to serialize properties into /tmp/CTLCardinality1224158066029733011.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality41825334833949422.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality1224158066029733011.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/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.
Starting structural reductions in LTL mode, iteration 0 : 17283/17283 places, 49140/49140 transitions.
Applied a total of 0 rules in 5858 ms. Remains 17283 /17283 variables (removed 0) and now considering 49140/49140 (removed 0) transitions.
[2026-05-25 08:28:26] [INFO ] Invariant cache hit.
[2026-05-25 08:28:58] [INFO ] Performed 1197/17283 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 08:29:00] [INFO ] Implicit Places using invariants in 33746 ms returned []
Implicit Place search using SMT only with invariants took 33749 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 39611 ms. Remains : 17283/17283 places, 49140/49140 transitions.
[2026-05-25 08:29:00] [INFO ] Flatten gal took : 526 ms
[2026-05-25 08:29:01] [INFO ] Flatten gal took : 617 ms
[2026-05-25 08:29:02] [INFO ] Input system was already deterministic with 49140 transitions.
[2026-05-25 08:29:03] [INFO ] Flatten gal took : 617 ms
[2026-05-25 08:29:04] [INFO ] Flatten gal took : 602 ms
[2026-05-25 08:29:04] [INFO ] Time to serialize gal into /tmp/CTLCardinality3100138932505003186.gal : 122 ms
[2026-05-25 08:29:04] [INFO ] Time to serialize properties into /tmp/CTLCardinality11518846880873598536.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality3100138932505003186.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality11518846880873598536.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/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.
[2026-05-25 08:29:34] [INFO ] Flatten gal took : 572 ms
[2026-05-25 08:29:34] [INFO ] Applying decomposition
[2026-05-25 08:29:35] [INFO ] Flatten gal took : 642 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph51571173282298632.txt' '-o' '/tmp/graph51571173282298632.bin' '-w' '/tmp/graph51571173282298632.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph51571173282298632.bin' '-l' '-1' '-v' '-w' '/tmp/graph51571173282298632.weights' '-q' '0' '-e' '0.001'
[2026-05-25 08:29:37] [INFO ] Decomposing Gal with order
[2026-05-25 08:29:38] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 08:29:43] [INFO ] Removed a total of 24360 redundant transitions.
[2026-05-25 08:29:44] [INFO ] Flatten gal took : 3169 ms
[2026-05-25 08:29:49] [INFO ] Fuse similar labels procedure discarded/fused a total of 15842 labels/synchronizations in 4321 ms.
[2026-05-25 08:29:51] [INFO ] Time to serialize gal into /tmp/CTLCardinality13214353830663181346.gal : 145 ms
[2026-05-25 08:29:51] [INFO ] Time to serialize properties into /tmp/CTLCardinality3142879357325421796.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality13214353830663181346.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality3142879357325421796.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 17283/17283 places, 49140/49140 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 627 transitions
Trivial Post-agglo rules discarded 627 transitions
Performed 627 trivial Post agglomeration. Transition count delta: 627
Iterating post reduction 0 with 627 rules applied. Total rules applied 627 place count 17283 transition count 48513
Reduce places removed 627 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 628 rules applied. Total rules applied 1255 place count 16656 transition count 48512
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 1256 place count 16655 transition count 48512
Performed 89 Post agglomeration using F-continuation condition.Transition count delta: 89
Deduced a syphon composed of 89 places in 15 ms
Reduce places removed 89 places and 0 transitions.
Iterating global reduction 3 with 178 rules applied. Total rules applied 1434 place count 16566 transition count 48423
Applied a total of 1434 rules in 11644 ms. Remains 16566 /17283 variables (removed 717) and now considering 48423/49140 (removed 717) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-3103095056858327077.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-10248356641108896624.kers'
[2026-05-25 08:30:33] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-3103095056858327077.kers, --Pflows, --basisKERS=/tmp/petrispot-output-10248356641108896624.kers]
Culled 0 columns in 21 ms.
// Phase 1: matrix 48423 rows 16566 cols 97477 entries
Finished phase 1 with 16384 SingleSign rule and 90 generalized
[2026-05-25 08:30:36] [INFO ] Computed 92 invariants in 3088 ms
Computed 92 P flows in 3088 ms.
Exported basis to /tmp/petrispot-output-10248356641108896624.kers
Total runtime 3119 ms.
[2026-05-25 08:31:08] [INFO ] Performed 535/16566 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 08:31:09] [INFO ] Implicit Places using invariants in 35834 ms returned []
Implicit Place search using SMT only with invariants took 35834 ms to find 0 implicit places.
Running 48333 sub problems to find dead transitions.
[2026-05-25 08:31:09] [INFO ] Invariant cache hit.
[2026-05-25 08:31:09] [INFO ] State equation strengthened by 16199 read => feed constraints.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution CTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202604301425.jar
+ VERSION=202604301425
+ echo 'Running Version 202604301425'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CANInsertWithFailure-PT-090"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5973"
echo " Executing tool itstools"
echo " Input is CANInsertWithFailure-PT-090, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r034-tall-177946842200769"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CANInsertWithFailure-PT-090.tgz
mv CANInsertWithFailure-PT-090 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;