About the Execution of ITS-Tools for CANInsertWithFailure-PT-100
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 7526.907 | 3600000.00 | 4130147.00 | 10846.30 | F??????????????? | normal |
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-177946842200778.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-100, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r034-tall-177946842200778
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 61M
-rw-r--r-- 1 mcc users 12K Mar 6 10:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 106K Mar 6 10:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Mar 6 10:31 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Mar 6 10:31 CTLFireability.xml
-rw-r--r-- 1 mcc users 5.2K Mar 15 07:56 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K Mar 15 07:56 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Mar 15 07:56 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 15 07:56 LTLFireability.xml
-rw-r--r-- 1 mcc users 20K Mar 6 10:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 154K Mar 6 10:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Mar 6 10:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 77K Mar 6 10:35 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 60M 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-100-CTLFireability-2024-00
FORMULA_NAME CANInsertWithFailure-PT-100-CTLFireability-2024-01
FORMULA_NAME CANInsertWithFailure-PT-100-CTLFireability-2024-02
FORMULA_NAME CANInsertWithFailure-PT-100-CTLFireability-2024-03
FORMULA_NAME CANInsertWithFailure-PT-100-CTLFireability-2024-04
FORMULA_NAME CANInsertWithFailure-PT-100-CTLFireability-2024-05
FORMULA_NAME CANInsertWithFailure-PT-100-CTLFireability-2024-06
FORMULA_NAME CANInsertWithFailure-PT-100-CTLFireability-2024-07
FORMULA_NAME CANInsertWithFailure-PT-100-CTLFireability-2024-08
FORMULA_NAME CANInsertWithFailure-PT-100-CTLFireability-2024-09
FORMULA_NAME CANInsertWithFailure-PT-100-CTLFireability-2024-10
FORMULA_NAME CANInsertWithFailure-PT-100-CTLFireability-2024-11
FORMULA_NAME CANInsertWithFailure-PT-100-CTLFireability-2024-12
FORMULA_NAME CANInsertWithFailure-PT-100-CTLFireability-2024-13
FORMULA_NAME CANInsertWithFailure-PT-100-CTLFireability-2024-14
FORMULA_NAME CANInsertWithFailure-PT-100-CTLFireability-2024-15
=== Now, execution of the tool begins
BK_START 1779698967560
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=CANInsertWithFailure-PT-100
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLFireability PT
Running Version 202604301425
[2026-05-25 08:49:28] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2026-05-25 08:49:28] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-25 08:49:30] [INFO ] Load time of PNML (sax parser for PT used): 1323 ms
[2026-05-25 08:49:30] [INFO ] Transformed 21204 places.
[2026-05-25 08:49:30] [INFO ] Transformed 60600 transitions.
[2026-05-25 08:49:30] [INFO ] Parsed PT model containing 21204 places and 60600 transitions and 162000 arcs in 1590 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 26 ms.
Support contains 116 out of 21204 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 21204/21204 places, 60600/60600 transitions.
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 21203 transition count 60600
Applied a total of 1 rules in 10618 ms. Remains 21203 /21204 variables (removed 1) and now considering 60600/60600 (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-14981633281401086001.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-828665637884228679.kers'
[2026-05-25 08:49:41] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-14981633281401086001.kers, --Pflows, --basisKERS=/tmp/petrispot-output-828665637884228679.kers]
Culled 0 columns in 29 ms.
// Phase 1: matrix 60600 rows 21203 cols 122000 entries
Finished phase 1 with 21001 SingleSign rule and 100 generalized
[2026-05-25 08:49:46] [INFO ] Computed 102 invariants in 4910 ms
Computed 102 P flows in 4912 ms.
Exported basis to /tmp/petrispot-output-828665637884228679.kers
Total runtime 4948 ms.
[2026-05-25 08:50:20] [INFO ] Performed 1099/21203 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 08:50:27] [INFO ] Implicit Places using invariants in 45753 ms returned []
Implicit Place search using SMT only with invariants took 45798 ms to find 0 implicit places.
Running 60500 sub problems to find dead transitions.
[2026-05-25 08:50:27] [INFO ] Invariant cache hit.
[2026-05-25 08:50:27] [INFO ] State equation strengthened by 19900 read => feed constraints.
SMT process timed out in 419233ms, After SMT, problems are : Problem set: 0 solved, 60500 unsolved
Search for dead transitions found 0 dead transitions in 419423ms
Starting structural reductions in LTL mode, iteration 1 : 21203/21204 places, 60600/60600 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 476061 ms. Remains : 21203/21204 places, 60600/60600 transitions.
Starting structural reductions in LTL mode, iteration 0 : 21203/21203 places, 60600/60600 transitions.
Applied a total of 0 rules in 5835 ms. Remains 21203 /21203 variables (removed 0) and now considering 60600/60600 (removed 0) transitions.
[2026-05-25 08:57:32] [INFO ] Invariant cache hit.
[2026-05-25 08:58:06] [INFO ] Performed 1225/21203 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 08:58:10] [INFO ] Implicit Places using invariants in 37467 ms returned []
Implicit Place search using SMT only with invariants took 37479 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 43324 ms. Remains : 21203/21203 places, 60600/60600 transitions.
Support contains 116 out of 21203 places after structural reductions.
[2026-05-25 08:58:12] [INFO ] Flatten gal took : 1565 ms
[2026-05-25 08:58:13] [INFO ] Flatten gal took : 1055 ms
[2026-05-25 08:58:15] [INFO ] Input system was already deterministic with 60600 transitions.
RANDOM walk for 40000 steps (15 resets) in 3887 ms. (10 steps per ms) remains 41/68 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 24 ms. (160 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 24 ms. (160 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 26 ms. (148 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 20 ms. (190 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 22 ms. (174 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 22 ms. (174 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 31 ms. (125 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 21 ms. (182 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 22 ms. (174 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 24 ms. (160 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 24 ms. (160 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 23 ms. (166 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 20 ms. (190 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 25 ms. (154 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 20 ms. (190 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 25 ms. (154 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 31 ms. (125 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 23 ms. (166 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 30 ms. (129 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 23 ms. (166 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 18 ms. (210 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 19 ms. (200 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 36 ms. (108 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 31 ms. (125 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 24 ms. (160 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 29 ms. (133 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 19 ms. (200 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 20 ms. (190 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 27 ms. (143 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 17 ms. (222 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 23 ms. (166 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 24 ms. (160 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 24 ms. (160 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 22 ms. (174 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 25 ms. (154 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 22 ms. (174 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 23 ms. (166 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 20 ms. (190 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 20 ms. (190 steps per ms) remains 41/41 properties
[2026-05-25 08:58:18] [INFO ] Invariant cache hit.
[2026-05-25 08:58:18] [INFO ] State equation strengthened by 19900 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/72 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 41 unsolved
At refinement iteration 1 (OVERLAPS) 20955/21027 variables, 14/14 constraints. Problems are: Problem set: 0 solved, 41 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 21027/81803 variables, and 14 constraints, problems are : Problem set: 0 solved, 41 unsolved in 5016 ms.
Refiners :[Positive P Invariants (semi-flows): 14/100 constraints, Generalized P Invariants (flows): 0/2 constraints, State Equation: 0/21203 constraints, ReadFeed: 0/19900 constraints, PredecessorRefiner: 41/41 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 41 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/72 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 41 unsolved
At refinement iteration 1 (OVERLAPS) 20955/21027 variables, 14/14 constraints. Problems are: Problem set: 0 solved, 41 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 21027/81803 variables, and 15 constraints, problems are : Problem set: 0 solved, 41 unsolved in 5055 ms.
Refiners :[Positive P Invariants (semi-flows): 14/100 constraints, Generalized P Invariants (flows): 0/2 constraints, State Equation: 0/21203 constraints, ReadFeed: 0/19900 constraints, PredecessorRefiner: 0/41 constraints, Known Traps: 1/1 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 10776ms problems are : Problem set: 0 solved, 41 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 72 out of 21203 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 21203/21203 places, 60600/60600 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 682 transitions
Trivial Post-agglo rules discarded 682 transitions
Performed 682 trivial Post agglomeration. Transition count delta: 682
Iterating post reduction 0 with 682 rules applied. Total rules applied 682 place count 21203 transition count 59918
Reduce places removed 682 places and 0 transitions.
Iterating post reduction 1 with 682 rules applied. Total rules applied 1364 place count 20521 transition count 59918
Performed 5 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 5 Pre rules applied. Total rules applied 1364 place count 20521 transition count 59913
Deduced a syphon composed of 5 places in 19 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 2 with 10 rules applied. Total rules applied 1374 place count 20516 transition count 59913
Performed 9862 Post agglomeration using F-continuation condition.Transition count delta: 9862
Deduced a syphon composed of 9862 places in 30 ms
Reduce places removed 9862 places and 0 transitions.
Iterating global reduction 2 with 19724 rules applied. Total rules applied 21098 place count 10654 transition count 50051
Free-agglomeration rule (complex) applied 14 times.
Iterating global reduction 2 with 14 rules applied. Total rules applied 21112 place count 10654 transition count 50037
Reduce places removed 14 places and 0 transitions.
Iterating post reduction 2 with 14 rules applied. Total rules applied 21126 place count 10640 transition count 50037
Partial Free-agglomeration rule applied 10085 times.
Drop transitions (Partial Free agglomeration) removed 10085 transitions
Iterating global reduction 3 with 10085 rules applied. Total rules applied 31211 place count 10640 transition count 50037
Partial Free-agglomeration rule applied 498 times.
Drop transitions (Partial Free agglomeration) removed 498 transitions
Iterating global reduction 3 with 498 rules applied. Total rules applied 31709 place count 10640 transition count 50037
Applied a total of 31709 rules in 34122 ms. Remains 10640 /21203 variables (removed 10563) and now considering 50037/60600 (removed 10563) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 34123 ms. Remains : 10640/21203 places, 50037/60600 transitions.
RANDOM walk for 40000 steps (64 resets) in 3419 ms. (11 steps per ms) remains 21/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 21 ms. (182 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (8 resets) in 16 ms. (235 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (8 resets) in 15 ms. (250 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (8 resets) in 13 ms. (286 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (8 resets) in 16 ms. (235 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (8 resets) in 14 ms. (266 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (8 resets) in 14 ms. (266 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (8 resets) in 15 ms. (250 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (8 resets) in 16 ms. (235 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (8 resets) in 19 ms. (200 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (8 resets) in 20 ms. (190 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (8 resets) in 19 ms. (200 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (8 resets) in 19 ms. (200 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (8 resets) in 21 ms. (182 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (8 resets) in 20 ms. (190 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (8 resets) in 20 ms. (190 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (8 resets) in 20 ms. (190 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (8 resets) in 16 ms. (235 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (8 resets) in 18 ms. (210 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (8 resets) in 20 ms. (190 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (8 resets) in 267 ms. (14 steps per ms) remains 21/21 properties
[2026-05-25 08:59:04] [INFO ] Flow matrix only has 50016 transitions (discarded 21 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-470521308497136416.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-2961282032679421754.kers'
[2026-05-25 08:59:04] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-470521308497136416.kers, --Pflows, --basisKERS=/tmp/petrispot-output-2961282032679421754.kers]
Culled 0 columns in 17 ms.
// Phase 1: matrix 50016 rows 10640 cols 100930 entries
Finished phase 1 with 10438 SingleSign rule and 100 generalized
[2026-05-25 08:59:06] [INFO ] Computed 102 invariants in 2064 ms
Computed 102 P flows in 2064 ms.
Exported basis to /tmp/petrispot-output-2961282032679421754.kers
Total runtime 2101 ms.
[2026-05-25 08:59:07] [INFO ] State equation strengthened by 49592 read => feed constraints.
Excessive predecessor constraint size, skipping predecessor.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/45 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 21 unsolved
At refinement iteration 1 (OVERLAPS) 10413/10458 variables, 11/11 constraints. Problems are: Problem set: 0 solved, 21 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/10458 variables, 0/11 constraints. Problems are: Problem set: 0 solved, 21 unsolved
At refinement iteration 3 (OVERLAPS) 178/10636 variables, 89/100 constraints. Problems are: Problem set: 0 solved, 21 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/10636 variables, 0/100 constraints. Problems are: Problem set: 0 solved, 21 unsolved
At refinement iteration 5 (OVERLAPS) 2/10638 variables, 2/102 constraints. Problems are: Problem set: 0 solved, 21 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/10638 variables, 0/102 constraints. Problems are: Problem set: 0 solved, 21 unsolved
At refinement iteration 7 (OVERLAPS) 50016/60654 variables, 10638/10740 constraints. Problems are: Problem set: 0 solved, 21 unsolved
SMT process timed out in 47619ms, After SMT, problems are : Problem set: 0 solved, 21 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 45 out of 10640 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 10640/10640 places, 50037/50037 transitions.
Performed 15 Post agglomeration using F-continuation condition.Transition count delta: 15
Deduced a syphon composed of 15 places in 20 ms
Reduce places removed 15 places and 0 transitions.
Iterating global reduction 0 with 30 rules applied. Total rules applied 30 place count 10625 transition count 50022
Partial Free-agglomeration rule applied 9 times.
Drop transitions (Partial Free agglomeration) removed 9 transitions
Iterating global reduction 0 with 9 rules applied. Total rules applied 39 place count 10625 transition count 50022
Applied a total of 39 rules in 15391 ms. Remains 10625 /10640 variables (removed 15) and now considering 50022/50037 (removed 15) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 15402 ms. Remains : 10625/10640 places, 50022/50037 transitions.
[2026-05-25 09:00:08] [INFO ] Flatten gal took : 678 ms
[2026-05-25 09:00:09] [INFO ] Flatten gal took : 739 ms
[2026-05-25 09:00:10] [INFO ] Input system was already deterministic with 60600 transitions.
Computed a total of 402 stabilizing places and 700 stable transitions
Starting structural reductions in SI_CTL mode, iteration 0 : 21203/21203 places, 60600/60600 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 700 transitions
Trivial Post-agglo rules discarded 700 transitions
Performed 700 trivial Post agglomeration. Transition count delta: 700
Iterating post reduction 0 with 700 rules applied. Total rules applied 700 place count 21203 transition count 59900
Reduce places removed 700 places and 0 transitions.
Iterating post reduction 1 with 700 rules applied. Total rules applied 1400 place count 20503 transition count 59900
Performed 100 Post agglomeration using F-continuation condition.Transition count delta: 100
Deduced a syphon composed of 100 places in 15 ms
Reduce places removed 100 places and 0 transitions.
Iterating global reduction 2 with 200 rules applied. Total rules applied 1600 place count 20403 transition count 59800
Applied a total of 1600 rules in 9467 ms. Remains 20403 /21203 variables (removed 800) and now considering 59800/60600 (removed 800) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-18089161997296865083.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-1975567621216170730.kers'
[2026-05-25 09:00:20] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-18089161997296865083.kers, --Pflows, --basisKERS=/tmp/petrispot-output-1975567621216170730.kers]
Culled 0 columns in 31 ms.
// Phase 1: matrix 59800 rows 20403 cols 120300 entries
Finished phase 1 with 20201 SingleSign rule and 100 generalized
[2026-05-25 09:00:25] [INFO ] Computed 102 invariants in 4687 ms
Computed 102 P flows in 4688 ms.
Exported basis to /tmp/petrispot-output-1975567621216170730.kers
Total runtime 4730 ms.
[2026-05-25 09:00:58] [INFO ] Performed 400/20403 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 09:01:13] [INFO ] Implicit Places using invariants in 53391 ms returned []
Implicit Place search using SMT only with invariants took 53402 ms to find 0 implicit places.
Running 59700 sub problems to find dead transitions.
[2026-05-25 09:01:14] [INFO ] Invariant cache hit.
[2026-05-25 09:01:14] [INFO ] State equation strengthened by 20000 read => feed constraints.
SMT process timed out in 389210ms, After SMT, problems are : Problem set: 0 solved, 59700 unsolved
Search for dead transitions found 0 dead transitions in 389321ms
Starting structural reductions in SI_CTL mode, iteration 1 : 20403/21203 places, 59800/60600 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 452287 ms. Remains : 20403/21203 places, 59800/60600 transitions.
[2026-05-25 09:07:44] [INFO ] Flatten gal took : 648 ms
[2026-05-25 09:07:44] [INFO ] Flatten gal took : 726 ms
[2026-05-25 09:07:46] [INFO ] Input system was already deterministic with 59800 transitions.
RANDOM walk for 28524 steps (25 resets) in 3549 ms. (8 steps per ms) remains 0/1 properties
FORMULA CANInsertWithFailure-PT-100-CTLFireability-2024-00 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
[2026-05-25 09:07:49] [INFO ] Flatten gal took : 1342 ms
[2026-05-25 09:07:50] [INFO ] Flatten gal took : 845 ms
[2026-05-25 09:07:50] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality11915244091550396933.gal : 255 ms
[2026-05-25 09:07:50] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality14269576037483943538.prop : 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-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality11915244091550396933.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality14269576037483943538.prop' '--nowitness' '--gen-order' 'FOLLOW'
ITS runner timed out or was interrupted.
ITS tools runner thread asked to quit. Dying gracefully.
Starting structural reductions in LTL mode, iteration 0 : 21203/21203 places, 60600/60600 transitions.
Applied a total of 0 rules in 4099 ms. Remains 21203 /21203 variables (removed 0) and now considering 60600/60600 (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-13708806459360180548.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-11135320769205927188.kers'
[2026-05-25 09:07:54] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-13708806459360180548.kers, --Pflows, --basisKERS=/tmp/petrispot-output-11135320769205927188.kers]
Culled 0 columns in 26 ms.
// Phase 1: matrix 60600 rows 21203 cols 122000 entries
Finished phase 1 with 21001 SingleSign rule and 100 generalized
[2026-05-25 09:07:59] [INFO ] Computed 102 invariants in 4772 ms
Computed 102 P flows in 4773 ms.
Exported basis to /tmp/petrispot-output-11135320769205927188.kers
Total runtime 4814 ms.
[2026-05-25 09:08:32] [INFO ] Performed 861/21203 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 09:08:51] [INFO ] Implicit Places using invariants in 57258 ms returned []
Implicit Place search using SMT only with invariants took 57263 ms to find 0 implicit places.
Running 60500 sub problems to find dead transitions.
[2026-05-25 09:08:52] [INFO ] Invariant cache hit.
[2026-05-25 09:08:52] [INFO ] State equation strengthened by 19900 read => feed constraints.
SMT process timed out in 402462ms, After SMT, problems are : Problem set: 0 solved, 60500 unsolved
Search for dead transitions found 0 dead transitions in 402584ms
Finished structural reductions in LTL mode , in 1 iterations and 464048 ms. Remains : 21203/21203 places, 60600/60600 transitions.
[2026-05-25 09:15:35] [INFO ] Flatten gal took : 656 ms
[2026-05-25 09:15:36] [INFO ] Flatten gal took : 949 ms
[2026-05-25 09:15:38] [INFO ] Input system was already deterministic with 60600 transitions.
[2026-05-25 09:15:39] [INFO ] Flatten gal took : 851 ms
[2026-05-25 09:15:40] [INFO ] Flatten gal took : 917 ms
[2026-05-25 09:15:40] [INFO ] Time to serialize gal into /tmp/CTLFireability10872227078458352384.gal : 186 ms
[2026-05-25 09:15:40] [INFO ] Time to serialize properties into /tmp/CTLFireability10760374846716814017.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/CTLFireability10872227078458352384.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10760374846716814017.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 09:16:11] [INFO ] Flatten gal took : 846 ms
[2026-05-25 09:16:11] [INFO ] Applying decomposition
[2026-05-25 09:16:12] [INFO ] Flatten gal took : 905 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/graph12090207783113308245.txt' '-o' '/tmp/graph12090207783113308245.bin' '-w' '/tmp/graph12090207783113308245.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph12090207783113308245.bin' '-l' '-1' '-v' '-w' '/tmp/graph12090207783113308245.weights' '-q' '0' '-e' '0.001'
[2026-05-25 09:16:15] [INFO ] Decomposing Gal with order
[2026-05-25 09:16:17] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 09:16:25] [INFO ] Removed a total of 30045 redundant transitions.
[2026-05-25 09:16:26] [INFO ] Flatten gal took : 4624 ms
[2026-05-25 09:16:35] [INFO ] Fuse similar labels procedure discarded/fused a total of 40502 labels/synchronizations in 8851 ms.
[2026-05-25 09:16:36] [INFO ] Time to serialize gal into /tmp/CTLFireability1684975026495331171.gal : 277 ms
[2026-05-25 09:16:36] [INFO ] Time to serialize properties into /tmp/CTLFireability16981234788387276747.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/CTLFireability1684975026495331171.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16981234788387276747.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 -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 21203/21203 places, 60600/60600 transitions.
Applied a total of 0 rules in 4555 ms. Remains 21203 /21203 variables (removed 0) and now considering 60600/60600 (removed 0) transitions.
[2026-05-25 09:17:10] [INFO ] Invariant cache hit.
[2026-05-25 09:17:44] [INFO ] Performed 889/21203 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 09:18:02] [INFO ] Implicit Places using invariants in 51354 ms returned []
Implicit Place search using SMT only with invariants took 51356 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 55919 ms. Remains : 21203/21203 places, 60600/60600 transitions.
[2026-05-25 09:18:02] [INFO ] Flatten gal took : 692 ms
[2026-05-25 09:18:03] [INFO ] Flatten gal took : 813 ms
[2026-05-25 09:18:05] [INFO ] Input system was already deterministic with 60600 transitions.
[2026-05-25 09:18:06] [INFO ] Flatten gal took : 708 ms
[2026-05-25 09:18:07] [INFO ] Flatten gal took : 771 ms
[2026-05-25 09:18:07] [INFO ] Time to serialize gal into /tmp/CTLFireability13121417859462659243.gal : 158 ms
[2026-05-25 09:18:07] [INFO ] Time to serialize properties into /tmp/CTLFireability10081371479437292042.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/CTLFireability13121417859462659243.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10081371479437292042.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 09:18:37] [INFO ] Flatten gal took : 709 ms
[2026-05-25 09:18:37] [INFO ] Applying decomposition
[2026-05-25 09:18:38] [INFO ] Flatten gal took : 745 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/graph12556039799678413499.txt' '-o' '/tmp/graph12556039799678413499.bin' '-w' '/tmp/graph12556039799678413499.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph12556039799678413499.bin' '-l' '-1' '-v' '-w' '/tmp/graph12556039799678413499.weights' '-q' '0' '-e' '0.001'
[2026-05-25 09:18:40] [INFO ] Decomposing Gal with order
[2026-05-25 09:18:42] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 09:18:50] [INFO ] Removed a total of 30061 redundant transitions.
[2026-05-25 09:18:51] [INFO ] Flatten gal took : 4111 ms
[2026-05-25 09:18:58] [INFO ] Fuse similar labels procedure discarded/fused a total of 39700 labels/synchronizations in 6756 ms.
[2026-05-25 09:18:58] [INFO ] Time to serialize gal into /tmp/CTLFireability3262271018013393970.gal : 226 ms
[2026-05-25 09:18:58] [INFO ] Time to serialize properties into /tmp/CTLFireability1817660219649389825.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/CTLFireability3262271018013393970.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1817660219649389825.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 -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 21203/21203 places, 60600/60600 transitions.
Applied a total of 0 rules in 5477 ms. Remains 21203 /21203 variables (removed 0) and now considering 60600/60600 (removed 0) transitions.
[2026-05-25 09:19:34] [INFO ] Invariant cache hit.
[2026-05-25 09:20:07] [INFO ] Performed 889/21203 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 09:20:25] [INFO ] Implicit Places using invariants in 51356 ms returned []
Implicit Place search using SMT only with invariants took 51358 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 56838 ms. Remains : 21203/21203 places, 60600/60600 transitions.
[2026-05-25 09:20:26] [INFO ] Flatten gal took : 812 ms
[2026-05-25 09:20:27] [INFO ] Flatten gal took : 1014 ms
[2026-05-25 09:20:29] [INFO ] Input system was already deterministic with 60600 transitions.
[2026-05-25 09:20:30] [INFO ] Flatten gal took : 995 ms
[2026-05-25 09:20:31] [INFO ] Flatten gal took : 1087 ms
[2026-05-25 09:20:31] [INFO ] Time to serialize gal into /tmp/CTLFireability17580583062398157978.gal : 196 ms
[2026-05-25 09:20:31] [INFO ] Time to serialize properties into /tmp/CTLFireability42755630106351913.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/CTLFireability17580583062398157978.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability42755630106351913.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 -...282
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 09:21:02] [INFO ] Flatten gal took : 761 ms
[2026-05-25 09:21:02] [INFO ] Applying decomposition
[2026-05-25 09:21:03] [INFO ] Flatten gal took : 824 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/graph1421197518036026507.txt' '-o' '/tmp/graph1421197518036026507.bin' '-w' '/tmp/graph1421197518036026507.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph1421197518036026507.bin' '-l' '-1' '-v' '-w' '/tmp/graph1421197518036026507.weights' '-q' '0' '-e' '0.001'
[2026-05-25 09:21:05] [INFO ] Decomposing Gal with order
[2026-05-25 09:21:07] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 09:21:15] [INFO ] Removed a total of 30060 redundant transitions.
[2026-05-25 09:21:16] [INFO ] Flatten gal took : 3878 ms
[2026-05-25 09:21:22] [INFO ] Fuse similar labels procedure discarded/fused a total of 39710 labels/synchronizations in 6414 ms.
[2026-05-25 09:21:23] [INFO ] Time to serialize gal into /tmp/CTLFireability5879932520442419105.gal : 243 ms
[2026-05-25 09:21:23] [INFO ] Time to serialize properties into /tmp/CTLFireability4116304366968976866.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/CTLFireability5879932520442419105.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4116304366968976866.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 -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 21203/21203 places, 60600/60600 transitions.
Applied a total of 0 rules in 4559 ms. Remains 21203 /21203 variables (removed 0) and now considering 60600/60600 (removed 0) transitions.
[2026-05-25 09:21:57] [INFO ] Invariant cache hit.
[2026-05-25 09:22:31] [INFO ] Performed 903/21203 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 09:22:48] [INFO ] Implicit Places using invariants in 50389 ms returned []
Implicit Place search using SMT only with invariants took 50393 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 54957 ms. Remains : 21203/21203 places, 60600/60600 transitions.
[2026-05-25 09:22:48] [INFO ] Flatten gal took : 780 ms
[2026-05-25 09:22:49] [INFO ] Flatten gal took : 1000 ms
[2026-05-25 09:22:52] [INFO ] Input system was already deterministic with 60600 transitions.
[2026-05-25 09:22:53] [INFO ] Flatten gal took : 828 ms
[2026-05-25 09:22:53] [INFO ] Flatten gal took : 883 ms
[2026-05-25 09:22:54] [INFO ] Time to serialize gal into /tmp/CTLFireability309220986188271007.gal : 165 ms
[2026-05-25 09:22:54] [INFO ] Time to serialize properties into /tmp/CTLFireability6611590636203905926.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/CTLFireability309220986188271007.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6611590636203905926.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 -...282
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 09:23:24] [INFO ] Flatten gal took : 697 ms
[2026-05-25 09:23:24] [INFO ] Applying decomposition
[2026-05-25 09:23:25] [INFO ] Flatten gal took : 948 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/graph10840829645417547773.txt' '-o' '/tmp/graph10840829645417547773.bin' '-w' '/tmp/graph10840829645417547773.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph10840829645417547773.bin' '-l' '-1' '-v' '-w' '/tmp/graph10840829645417547773.weights' '-q' '0' '-e' '0.001'
[2026-05-25 09:23:28] [INFO ] Decomposing Gal with order
[2026-05-25 09:23:30] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 09:23:38] [INFO ] Removed a total of 30054 redundant transitions.
[2026-05-25 09:23:39] [INFO ] Flatten gal took : 4301 ms
[2026-05-25 09:23:47] [INFO ] Fuse similar labels procedure discarded/fused a total of 41482 labels/synchronizations in 7211 ms.
[2026-05-25 09:23:47] [INFO ] Time to serialize gal into /tmp/CTLFireability16327074584775441764.gal : 273 ms
[2026-05-25 09:23:47] [INFO ] Time to serialize properties into /tmp/CTLFireability11968923785944667304.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/CTLFireability16327074584775441764.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11968923785944667304.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 LTL mode, iteration 0 : 21203/21203 places, 60600/60600 transitions.
Applied a total of 0 rules in 7391 ms. Remains 21203 /21203 variables (removed 0) and now considering 60600/60600 (removed 0) transitions.
[2026-05-25 09:24:25] [INFO ] Invariant cache hit.
[2026-05-25 09:24:58] [INFO ] Performed 903/21203 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 09:25:15] [INFO ] Implicit Places using invariants in 49870 ms returned []
Implicit Place search using SMT only with invariants took 49871 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 57301 ms. Remains : 21203/21203 places, 60600/60600 transitions.
[2026-05-25 09:25:16] [INFO ] Flatten gal took : 828 ms
[2026-05-25 09:25:17] [INFO ] Flatten gal took : 802 ms
[2026-05-25 09:25:19] [INFO ] Input system was already deterministic with 60600 transitions.
[2026-05-25 09:25:20] [INFO ] Flatten gal took : 920 ms
[2026-05-25 09:25:21] [INFO ] Flatten gal took : 862 ms
[2026-05-25 09:25:21] [INFO ] Time to serialize gal into /tmp/CTLFireability3759062773431851366.gal : 216 ms
[2026-05-25 09:25:21] [INFO ] Time to serialize properties into /tmp/CTLFireability13552150541651849265.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/CTLFireability3759062773431851366.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13552150541651849265.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 09:25:52] [INFO ] Flatten gal took : 831 ms
[2026-05-25 09:25:52] [INFO ] Applying decomposition
[2026-05-25 09:25:53] [INFO ] Flatten gal took : 849 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/graph1289083179758169736.txt' '-o' '/tmp/graph1289083179758169736.bin' '-w' '/tmp/graph1289083179758169736.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph1289083179758169736.bin' '-l' '-1' '-v' '-w' '/tmp/graph1289083179758169736.weights' '-q' '0' '-e' '0.001'
[2026-05-25 09:25:56] [INFO ] Decomposing Gal with order
[2026-05-25 09:25:57] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 09:26:06] [INFO ] Removed a total of 30053 redundant transitions.
[2026-05-25 09:26:06] [INFO ] Flatten gal took : 4189 ms
[2026-05-25 09:26:14] [INFO ] Fuse similar labels procedure discarded/fused a total of 40705 labels/synchronizations in 6781 ms.
[2026-05-25 09:26:14] [INFO ] Time to serialize gal into /tmp/CTLFireability18090917519325439891.gal : 263 ms
[2026-05-25 09:26:14] [INFO ] Time to serialize properties into /tmp/CTLFireability2599703826373042661.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/CTLFireability18090917519325439891.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2599703826373042661.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 -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 21203/21203 places, 60600/60600 transitions.
Applied a total of 0 rules in 5144 ms. Remains 21203 /21203 variables (removed 0) and now considering 60600/60600 (removed 0) transitions.
[2026-05-25 09:26:49] [INFO ] Invariant cache hit.
[2026-05-25 09:27:23] [INFO ] Performed 875/21203 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 09:27:40] [INFO ] Implicit Places using invariants in 50256 ms returned []
Implicit Place search using SMT only with invariants took 50259 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 55423 ms. Remains : 21203/21203 places, 60600/60600 transitions.
[2026-05-25 09:27:40] [INFO ] Flatten gal took : 680 ms
[2026-05-25 09:27:41] [INFO ] Flatten gal took : 769 ms
[2026-05-25 09:27:43] [INFO ] Input system was already deterministic with 60600 transitions.
[2026-05-25 09:27:44] [INFO ] Flatten gal took : 740 ms
[2026-05-25 09:27:45] [INFO ] Flatten gal took : 778 ms
[2026-05-25 09:27:45] [INFO ] Time to serialize gal into /tmp/CTLFireability16646731451804510003.gal : 170 ms
[2026-05-25 09:27:45] [INFO ] Time to serialize properties into /tmp/CTLFireability501221441305101668.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/CTLFireability16646731451804510003.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability501221441305101668.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 09:28:16] [INFO ] Flatten gal took : 790 ms
[2026-05-25 09:28:16] [INFO ] Applying decomposition
[2026-05-25 09:28:16] [INFO ] Flatten gal took : 773 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/graph9960041129386283891.txt' '-o' '/tmp/graph9960041129386283891.bin' '-w' '/tmp/graph9960041129386283891.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph9960041129386283891.bin' '-l' '-1' '-v' '-w' '/tmp/graph9960041129386283891.weights' '-q' '0' '-e' '0.001'
[2026-05-25 09:28:18] [INFO ] Decomposing Gal with order
[2026-05-25 09:28:20] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 09:28:28] [INFO ] Removed a total of 30059 redundant transitions.
[2026-05-25 09:28:28] [INFO ] Flatten gal took : 3835 ms
[2026-05-25 09:28:35] [INFO ] Fuse similar labels procedure discarded/fused a total of 39920 labels/synchronizations in 6344 ms.
[2026-05-25 09:28:35] [INFO ] Time to serialize gal into /tmp/CTLFireability5677967696165674982.gal : 233 ms
[2026-05-25 09:28:35] [INFO ] Time to serialize properties into /tmp/CTLFireability1960587624834601198.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/CTLFireability5677967696165674982.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1960587624834601198.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 -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 21203/21203 places, 60600/60600 transitions.
Applied a total of 0 rules in 4649 ms. Remains 21203 /21203 variables (removed 0) and now considering 60600/60600 (removed 0) transitions.
[2026-05-25 09:29:10] [INFO ] Invariant cache hit.
[2026-05-25 09:29:44] [INFO ] Performed 805/21203 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 09:30:06] [INFO ] Implicit Places using invariants in 55788 ms returned []
Implicit Place search using SMT only with invariants took 55789 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 60444 ms. Remains : 21203/21203 places, 60600/60600 transitions.
[2026-05-25 09:30:07] [INFO ] Flatten gal took : 685 ms
[2026-05-25 09:30:07] [INFO ] Flatten gal took : 747 ms
[2026-05-25 09:30:10] [INFO ] Input system was already deterministic with 60600 transitions.
[2026-05-25 09:30:11] [INFO ] Flatten gal took : 950 ms
[2026-05-25 09:30:12] [INFO ] Flatten gal took : 905 ms
[2026-05-25 09:30:12] [INFO ] Time to serialize gal into /tmp/CTLFireability16029155869573033298.gal : 234 ms
[2026-05-25 09:30:12] [INFO ] Time to serialize properties into /tmp/CTLFireability7173538251750489252.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/CTLFireability16029155869573033298.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7173538251750489252.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 09:30:43] [INFO ] Flatten gal took : 877 ms
[2026-05-25 09:30:43] [INFO ] Applying decomposition
[2026-05-25 09:30:44] [INFO ] Flatten gal took : 1008 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/graph12961496428423763514.txt' '-o' '/tmp/graph12961496428423763514.bin' '-w' '/tmp/graph12961496428423763514.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph12961496428423763514.bin' '-l' '-1' '-v' '-w' '/tmp/graph12961496428423763514.weights' '-q' '0' '-e' '0.001'
[2026-05-25 09:30:47] [INFO ] Decomposing Gal with order
[2026-05-25 09:30:49] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 09:30:56] [INFO ] Removed a total of 30058 redundant transitions.
[2026-05-25 09:30:56] [INFO ] Flatten gal took : 4209 ms
[2026-05-25 09:31:04] [INFO ] Fuse similar labels procedure discarded/fused a total of 40498 labels/synchronizations in 7024 ms.
[2026-05-25 09:31:04] [INFO ] Time to serialize gal into /tmp/CTLFireability16649069772996483366.gal : 256 ms
[2026-05-25 09:31:04] [INFO ] Time to serialize properties into /tmp/CTLFireability11642003516833701949.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/CTLFireability16649069772996483366.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11642003516833701949.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 LTL mode, iteration 0 : 21203/21203 places, 60600/60600 transitions.
Applied a total of 0 rules in 5542 ms. Remains 21203 /21203 variables (removed 0) and now considering 60600/60600 (removed 0) transitions.
[2026-05-25 09:31:40] [INFO ] Invariant cache hit.
[2026-05-25 09:32:13] [INFO ] Performed 861/21203 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 09:32:32] [INFO ] Implicit Places using invariants in 52384 ms returned []
Implicit Place search using SMT only with invariants took 52385 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 57933 ms. Remains : 21203/21203 places, 60600/60600 transitions.
[2026-05-25 09:32:33] [INFO ] Flatten gal took : 696 ms
[2026-05-25 09:32:34] [INFO ] Flatten gal took : 873 ms
[2026-05-25 09:32:36] [INFO ] Input system was already deterministic with 60600 transitions.
[2026-05-25 09:32:37] [INFO ] Flatten gal took : 835 ms
[2026-05-25 09:32:38] [INFO ] Flatten gal took : 895 ms
[2026-05-25 09:32:38] [INFO ] Time to serialize gal into /tmp/CTLFireability11788354401741022829.gal : 160 ms
[2026-05-25 09:32:38] [INFO ] Time to serialize properties into /tmp/CTLFireability11957778089693466532.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/CTLFireability11788354401741022829.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11957778089693466532.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 09:33:09] [INFO ] Flatten gal took : 828 ms
[2026-05-25 09:33:09] [INFO ] Applying decomposition
[2026-05-25 09:33:10] [INFO ] Flatten gal took : 925 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/graph3868334330177102039.txt' '-o' '/tmp/graph3868334330177102039.bin' '-w' '/tmp/graph3868334330177102039.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph3868334330177102039.bin' '-l' '-1' '-v' '-w' '/tmp/graph3868334330177102039.weights' '-q' '0' '-e' '0.001'
[2026-05-25 09:33:12] [INFO ] Decomposing Gal with order
[2026-05-25 09:33:14] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 09:33:21] [INFO ] Removed a total of 30054 redundant transitions.
[2026-05-25 09:33:21] [INFO ] Flatten gal took : 4099 ms
[2026-05-25 09:33:29] [INFO ] Fuse similar labels procedure discarded/fused a total of 41102 labels/synchronizations in 6787 ms.
[2026-05-25 09:33:29] [INFO ] Time to serialize gal into /tmp/CTLFireability18331094992046423316.gal : 238 ms
[2026-05-25 09:33:29] [INFO ] Time to serialize properties into /tmp/CTLFireability2449213653136639645.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/CTLFireability18331094992046423316.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2449213653136639645.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 -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 21203/21203 places, 60600/60600 transitions.
Applied a total of 0 rules in 4723 ms. Remains 21203 /21203 variables (removed 0) and now considering 60600/60600 (removed 0) transitions.
[2026-05-25 09:34:04] [INFO ] Invariant cache hit.
[2026-05-25 09:34:38] [INFO ] Performed 861/21203 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 09:34:56] [INFO ] Implicit Places using invariants in 52674 ms returned []
Implicit Place search using SMT only with invariants took 52679 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 57406 ms. Remains : 21203/21203 places, 60600/60600 transitions.
[2026-05-25 09:34:57] [INFO ] Flatten gal took : 834 ms
[2026-05-25 09:34:58] [INFO ] Flatten gal took : 795 ms
[2026-05-25 09:35:00] [INFO ] Input system was already deterministic with 60600 transitions.
[2026-05-25 09:35:01] [INFO ] Flatten gal took : 827 ms
[2026-05-25 09:35:02] [INFO ] Flatten gal took : 922 ms
[2026-05-25 09:35:02] [INFO ] Time to serialize gal into /tmp/CTLFireability3094976085963478286.gal : 174 ms
[2026-05-25 09:35:02] [INFO ] Time to serialize properties into /tmp/CTLFireability11274766602880804052.ctl : 16 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/CTLFireability3094976085963478286.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11274766602880804052.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 09:35:33] [INFO ] Flatten gal took : 845 ms
[2026-05-25 09:35:33] [INFO ] Applying decomposition
[2026-05-25 09:35:34] [INFO ] Flatten gal took : 799 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/graph13341535348867239043.txt' '-o' '/tmp/graph13341535348867239043.bin' '-w' '/tmp/graph13341535348867239043.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph13341535348867239043.bin' '-l' '-1' '-v' '-w' '/tmp/graph13341535348867239043.weights' '-q' '0' '-e' '0.001'
[2026-05-25 09:35:37] [INFO ] Decomposing Gal with order
[2026-05-25 09:35:39] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 09:35:46] [INFO ] Removed a total of 30051 redundant transitions.
[2026-05-25 09:35:46] [INFO ] Flatten gal took : 3992 ms
[2026-05-25 09:35:53] [INFO ] Fuse similar labels procedure discarded/fused a total of 39498 labels/synchronizations in 6428 ms.
[2026-05-25 09:35:53] [INFO ] Time to serialize gal into /tmp/CTLFireability3905418002291048743.gal : 211 ms
[2026-05-25 09:35:53] [INFO ] Time to serialize properties into /tmp/CTLFireability2119327086642828334.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/CTLFireability3905418002291048743.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2119327086642828334.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 -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 21203/21203 places, 60600/60600 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 699 transitions
Trivial Post-agglo rules discarded 699 transitions
Performed 699 trivial Post agglomeration. Transition count delta: 699
Iterating post reduction 0 with 699 rules applied. Total rules applied 699 place count 21203 transition count 59901
Reduce places removed 699 places and 0 transitions.
Iterating post reduction 1 with 699 rules applied. Total rules applied 1398 place count 20504 transition count 59901
Performed 100 Post agglomeration using F-continuation condition.Transition count delta: 100
Deduced a syphon composed of 100 places in 18 ms
Reduce places removed 100 places and 0 transitions.
Iterating global reduction 2 with 200 rules applied. Total rules applied 1598 place count 20404 transition count 59801
Applied a total of 1598 rules in 12319 ms. Remains 20404 /21203 variables (removed 799) and now considering 59801/60600 (removed 799) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-8607447790852250828.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-1092751435346412276.kers'
[2026-05-25 09:36:36] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-8607447790852250828.kers, --Pflows, --basisKERS=/tmp/petrispot-output-1092751435346412276.kers]
Culled 0 columns in 27 ms.
// Phase 1: matrix 59801 rows 20404 cols 120302 entries
Finished phase 1 with 20202 SingleSign rule and 100 generalized
[2026-05-25 09:36:41] [INFO ] Computed 102 invariants in 4981 ms
Computed 102 P flows in 4981 ms.
Exported basis to /tmp/petrispot-output-1092751435346412276.kers
Total runtime 5017 ms.
[2026-05-25 09:37:14] [INFO ] Performed 376/20404 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 09:37:31] [INFO ] Implicit Places using invariants in 55901 ms returned []
Implicit Place search using SMT only with invariants took 55904 ms to find 0 implicit places.
Running 59701 sub problems to find dead transitions.
[2026-05-25 09:37:32] [INFO ] Invariant cache hit.
[2026-05-25 09:37:32] [INFO ] State equation strengthened by 20000 read => feed constraints.
SMT process timed out in 377218ms, After SMT, problems are : Problem set: 0 solved, 59701 unsolved
Search for dead transitions found 0 dead transitions in 377487ms
Starting structural reductions in SI_CTL mode, iteration 1 : 20404/21203 places, 59801/60600 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 445942 ms. Remains : 20404/21203 places, 59801/60600 transitions.
[2026-05-25 09:43:50] [INFO ] Flatten gal took : 795 ms
[2026-05-25 09:43:51] [INFO ] Flatten gal took : 955 ms
[2026-05-25 09:43:53] [INFO ] Input system was already deterministic with 59801 transitions.
[2026-05-25 09:43:54] [INFO ] Flatten gal took : 883 ms
[2026-05-25 09:43:55] [INFO ] Flatten gal took : 1074 ms
[2026-05-25 09:43:55] [INFO ] Time to serialize gal into /tmp/CTLFireability476864468256149708.gal : 181 ms
[2026-05-25 09:43:55] [INFO ] Time to serialize properties into /tmp/CTLFireability4503110640570601170.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/CTLFireability476864468256149708.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4503110640570601170.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 -...282
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 09:44:26] [INFO ] Flatten gal took : 693 ms
[2026-05-25 09:44:26] [INFO ] Applying decomposition
[2026-05-25 09:44:27] [INFO ] Flatten gal took : 772 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/graph6857598392809740723.txt' '-o' '/tmp/graph6857598392809740723.bin' '-w' '/tmp/graph6857598392809740723.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph6857598392809740723.bin' '-l' '-1' '-v' '-w' '/tmp/graph6857598392809740723.weights' '-q' '0' '-e' '0.001'
[2026-05-25 09:44:29] [INFO ] Decomposing Gal with order
[2026-05-25 09:44:30] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 09:44:36] [INFO ] Removed a total of 29645 redundant transitions.
[2026-05-25 09:44:37] [INFO ] Flatten gal took : 4079 ms
[2026-05-25 09:44:44] [INFO ] Fuse similar labels procedure discarded/fused a total of 21396 labels/synchronizations in 6491 ms.
[2026-05-25 09:44:44] [INFO ] Time to serialize gal into /tmp/CTLFireability7308132898880084677.gal : 196 ms
[2026-05-25 09:44:44] [INFO ] Time to serialize properties into /tmp/CTLFireability5951735283592216128.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/CTLFireability7308132898880084677.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5951735283592216128.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 -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 21203/21203 places, 60600/60600 transitions.
Applied a total of 0 rules in 4497 ms. Remains 21203 /21203 variables (removed 0) and now considering 60600/60600 (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-13663256405118727437.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-13888729827242635458.kers'
[2026-05-25 09:45:18] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-13663256405118727437.kers, --Pflows, --basisKERS=/tmp/petrispot-output-13888729827242635458.kers]
Culled 0 columns in 31 ms.
// Phase 1: matrix 60600 rows 21203 cols 122000 entries
Finished phase 1 with 21001 SingleSign rule and 100 generalized
[2026-05-25 09:45:23] [INFO ] Computed 102 invariants in 4987 ms
Computed 102 P flows in 4987 ms.
Exported basis to /tmp/petrispot-output-13888729827242635458.kers
Total runtime 5028 ms.
[2026-05-25 09:45:57] [INFO ] Performed 847/21203 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 09:46:16] [INFO ] Implicit Places using invariants in 57462 ms returned []
Implicit Place search using SMT only with invariants took 57466 ms to find 0 implicit places.
Running 60500 sub problems to find dead transitions.
[2026-05-25 09:46:16] [INFO ] Invariant cache hit.
[2026-05-25 09:46:16] [INFO ] State equation strengthened by 19900 read => feed constraints.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202604301425.jar
+ VERSION=202604301425
+ echo 'Running Version 202604301425'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CANInsertWithFailure-PT-100"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5973"
echo " Executing tool itstools"
echo " Input is CANInsertWithFailure-PT-100, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r034-tall-177946842200778"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CANInsertWithFailure-PT-100.tgz
mv CANInsertWithFailure-PT-100 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;