About the Execution of ITS-Tools for CANConstruction-PT-030
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16202.104 | 3600000.00 | 4695606.00 | 812666.00 | TTFTFTFFFFFFFFF? | 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-177946842100635.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 CANConstruction-PT-030, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r034-tall-177946842100635
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.9M
-rw-r--r-- 1 mcc users 9.2K Mar 6 09:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 78K Mar 6 09:20 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Mar 6 09:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Mar 6 09:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.8K Mar 15 07:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Mar 15 07:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 15 07:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 15 07:50 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Mar 6 09:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 107K Mar 6 09:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Mar 6 09:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 69K Mar 6 09:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Mar 15 07:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Mar 15 07:50 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 1.4M 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 CANConstruction-PT-030-LTLCardinality-00
FORMULA_NAME CANConstruction-PT-030-LTLCardinality-01
FORMULA_NAME CANConstruction-PT-030-LTLCardinality-02
FORMULA_NAME CANConstruction-PT-030-LTLCardinality-03
FORMULA_NAME CANConstruction-PT-030-LTLCardinality-04
FORMULA_NAME CANConstruction-PT-030-LTLCardinality-05
FORMULA_NAME CANConstruction-PT-030-LTLCardinality-06
FORMULA_NAME CANConstruction-PT-030-LTLCardinality-07
FORMULA_NAME CANConstruction-PT-030-LTLCardinality-08
FORMULA_NAME CANConstruction-PT-030-LTLCardinality-09
FORMULA_NAME CANConstruction-PT-030-LTLCardinality-10
FORMULA_NAME CANConstruction-PT-030-LTLCardinality-11
FORMULA_NAME CANConstruction-PT-030-LTLCardinality-12
FORMULA_NAME CANConstruction-PT-030-LTLCardinality-13
FORMULA_NAME CANConstruction-PT-030-LTLCardinality-14
FORMULA_NAME CANConstruction-PT-030-LTLCardinality-15
=== Now, execution of the tool begins
BK_START 1779636021875
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=LTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=CANConstruction-PT-030
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
LTLCardinality PT
Running Version 202604301425
[2026-05-24 15:20:23] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLCardinality, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2026-05-24 15:20:23] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-24 15:20:23] [INFO ] Load time of PNML (sax parser for PT used): 165 ms
[2026-05-24 15:20:23] [INFO ] Transformed 2162 places.
[2026-05-24 15:20:23] [INFO ] Transformed 3840 transitions.
[2026-05-24 15:20:23] [INFO ] Parsed PT model containing 2162 places and 3840 transitions and 11400 arcs in 277 ms.
Parsed 16 properties from file /home/mcc/execution/LTLCardinality.xml in 10 ms.
Working with output stream class java.io.PrintStream
Initial state reduction rules removed 3 formulas.
FORMULA CANConstruction-PT-030-LTLCardinality-03 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA CANConstruction-PT-030-LTLCardinality-06 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA CANConstruction-PT-030-LTLCardinality-10 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Support contains 43 out of 2162 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 2162/2162 places, 3840/3840 transitions.
Discarding 823 places :
Symmetric choice reduction at 0 with 823 rule applications. Total rules 823 place count 1339 transition count 2194
Iterating global reduction 0 with 823 rules applied. Total rules applied 1646 place count 1339 transition count 2194
Applied a total of 1646 rules in 273 ms. Remains 1339 /2162 variables (removed 823) and now considering 2194/3840 (removed 1646) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-15558648552051799122.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-13618638165267234014.kers'
[2026-05-24 15:20:23] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-15558648552051799122.kers, --Pflows, --basisKERS=/tmp/petrispot-output-13618638165267234014.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 2194 rows 1339 cols 4568 entries
Finished phase 1 with 1248 SingleSign rule and 30 generalized
[2026-05-24 15:20:23] [INFO ] Computed 61 invariants in 8 ms
Computed 61 P flows in 9 ms.
Exported basis to /tmp/petrispot-output-13618638165267234014.kers
Total runtime 10 ms.
[2026-05-24 15:20:25] [INFO ] Implicit Places using invariants in 1261 ms returned [12, 26, 40, 54, 68, 82, 96, 110, 124, 138, 152, 166, 180, 194, 208, 222, 236, 250, 264, 278, 292, 306, 320, 334, 348, 362, 376, 390, 404, 418]
Discarding 30 places :
Implicit Place search using SMT only with invariants took 1295 ms to find 30 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1309/2162 places, 2194/3840 transitions.
Discarding 28 places :
Symmetric choice reduction at 0 with 28 rule applications. Total rules 28 place count 1281 transition count 2166
Iterating global reduction 0 with 28 rules applied. Total rules applied 56 place count 1281 transition count 2166
Applied a total of 56 rules in 534 ms. Remains 1281 /1309 variables (removed 28) and now considering 2166/2194 (removed 28) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-2323221004747027910.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-15658145451566902849.kers'
[2026-05-24 15:20:25] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-2323221004747027910.kers, --Pflows, --basisKERS=/tmp/petrispot-output-15658145451566902849.kers]
Culled 0 columns in 1 ms.
// Phase 1: matrix 2166 rows 1281 cols 4394 entries
Finished phase 1 with 1250 SingleSign rule and 0 generalized
[2026-05-24 15:20:25] [INFO ] Computed 31 invariants in 10 ms
Computed 31 P flows in 11 ms.
Exported basis to /tmp/petrispot-output-15658145451566902849.kers
Total runtime 12 ms.
[2026-05-24 15:20:26] [INFO ] Implicit Places using invariants in 853 ms returned []
[2026-05-24 15:20:26] [INFO ] Invariant cache hit.
[2026-05-24 15:20:27] [INFO ] State equation strengthened by 1770 read => feed constraints.
[2026-05-24 15:20:43] [INFO ] Implicit Places using invariants and state equation in 17428 ms returned []
Implicit Place search using SMT with State Equation took 18289 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 1281/2162 places, 2166/3840 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 20406 ms. Remains : 1281/2162 places, 2166/3840 transitions.
Starting structural reductions in LTL mode, iteration 0 : 1281/1281 places, 2166/2166 transitions.
Applied a total of 0 rules in 52 ms. Remains 1281 /1281 variables (removed 0) and now considering 2166/2166 (removed 0) transitions.
[2026-05-24 15:20:44] [INFO ] Invariant cache hit.
[2026-05-24 15:20:44] [INFO ] Implicit Places using invariants in 739 ms returned []
[2026-05-24 15:20:44] [INFO ] Invariant cache hit.
[2026-05-24 15:20:45] [INFO ] State equation strengthened by 1770 read => feed constraints.
[2026-05-24 15:21:02] [INFO ] Implicit Places using invariants and state equation in 17258 ms returned []
Implicit Place search using SMT with State Equation took 17999 ms to find 0 implicit places.
Running 2136 sub problems to find dead transitions.
[2026-05-24 15:21:02] [INFO ] Invariant cache hit.
[2026-05-24 15:21:02] [INFO ] State equation strengthened by 1770 read => feed constraints.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/1280 variables, 31/31 constraints. Problems are: Problem set: 0 solved, 2136 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 1280/3447 variables, and 31 constraints, problems are : Problem set: 0 solved, 2136 unsolved in 30057 ms.
Refiners :[Positive P Invariants (semi-flows): 31/31 constraints, State Equation: 0/1281 constraints, ReadFeed: 0/1770 constraints, PredecessorRefiner: 2136/2136 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2136 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/1280 variables, 31/31 constraints. Problems are: Problem set: 0 solved, 2136 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/1280 variables, 20/51 constraints. Problems are: Problem set: 0 solved, 2136 unsolved
SMT process timed out in 61091ms, After SMT, problems are : Problem set: 0 solved, 2136 unsolved
Search for dead transitions found 0 dead transitions in 61131ms
Finished structural reductions in LTL mode , in 1 iterations and 79226 ms. Remains : 1281/1281 places, 2166/2166 transitions.
Support contains 43 out of 1281 places after structural reductions.
[2026-05-24 15:22:03] [INFO ] Flatten gal took : 134 ms
[2026-05-24 15:22:03] [INFO ] Flatten gal took : 88 ms
[2026-05-24 15:22:03] [INFO ] Input system was already deterministic with 2166 transitions.
RANDOM walk for 40000 steps (73 resets) in 1707 ms. (23 steps per ms) remains 13/30 properties
BEST_FIRST walk for 40004 steps (8 resets) in 128 ms. (310 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 113 ms. (350 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 60 ms. (655 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 93 ms. (425 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40003 steps (8 resets) in 80 ms. (493 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 72 ms. (548 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 68 ms. (579 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 54 ms. (727 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 46 ms. (851 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 54 ms. (727 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 50 ms. (784 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 57 ms. (689 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 44 ms. (888 steps per ms) remains 13/13 properties
[2026-05-24 15:22:04] [INFO ] Invariant cache hit.
[2026-05-24 15:22:04] [INFO ] State equation strengthened by 1770 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/16 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 13 unsolved
Problem AtomicPropp1 is UNSAT
Problem AtomicPropp4 is UNSAT
Problem AtomicPropp6 is UNSAT
Problem AtomicPropp7 is UNSAT
Problem AtomicPropp8 is UNSAT
Problem AtomicPropp9 is UNSAT
Problem AtomicPropp11 is UNSAT
Problem AtomicPropp17 is UNSAT
Problem AtomicPropp21 is UNSAT
Problem AtomicPropp22 is UNSAT
Problem AtomicPropp25 is UNSAT
Problem AtomicPropp26 is UNSAT
At refinement iteration 1 (OVERLAPS) 1244/1260 variables, 11/11 constraints. Problems are: Problem set: 12 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1260 variables, 0/11 constraints. Problems are: Problem set: 12 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 20/1280 variables, 20/31 constraints. Problems are: Problem set: 12 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1280 variables, 0/31 constraints. Problems are: Problem set: 12 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 2166/3446 variables, 1280/1311 constraints. Problems are: Problem set: 12 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/3446 variables, 1770/3081 constraints. Problems are: Problem set: 12 solved, 1 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/3446 variables, 0/3081 constraints. Problems are: Problem set: 12 solved, 1 unsolved
At refinement iteration 8 (OVERLAPS) 1/3447 variables, 1/3082 constraints. Problems are: Problem set: 12 solved, 1 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/3447 variables, 0/3082 constraints. Problems are: Problem set: 12 solved, 1 unsolved
At refinement iteration 10 (OVERLAPS) 0/3447 variables, 0/3082 constraints. Problems are: Problem set: 12 solved, 1 unsolved
No progress, stopping.
After SMT solving in domain Real declared 3447/3447 variables, and 3082 constraints, problems are : Problem set: 12 solved, 1 unsolved in 1086 ms.
Refiners :[Positive P Invariants (semi-flows): 31/31 constraints, State Equation: 1281/1281 constraints, ReadFeed: 1770/1770 constraints, PredecessorRefiner: 13/13 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 12 solved, 1 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/4 variables, 0/0 constraints. Problems are: Problem set: 12 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 1250/1254 variables, 5/5 constraints. Problems are: Problem set: 12 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1254 variables, 2/7 constraints. Problems are: Problem set: 12 solved, 1 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/1254 variables, 0/7 constraints. Problems are: Problem set: 12 solved, 1 unsolved
At refinement iteration 4 (OVERLAPS) 26/1280 variables, 26/33 constraints. Problems are: Problem set: 12 solved, 1 unsolved
SMT process timed out in 6990ms, After SMT, problems are : Problem set: 12 solved, 1 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 4 out of 1281 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1281/1281 places, 2166/2166 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 197 transitions
Trivial Post-agglo rules discarded 197 transitions
Performed 197 trivial Post agglomeration. Transition count delta: 197
Iterating post reduction 0 with 197 rules applied. Total rules applied 197 place count 1281 transition count 1969
Reduce places removed 197 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 198 rules applied. Total rules applied 395 place count 1084 transition count 1968
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 396 place count 1083 transition count 1968
Performed 30 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 30 Pre rules applied. Total rules applied 396 place count 1083 transition count 1938
Deduced a syphon composed of 30 places in 0 ms
Reduce places removed 30 places and 0 transitions.
Iterating global reduction 3 with 60 rules applied. Total rules applied 456 place count 1053 transition count 1938
Discarding 16 places :
Symmetric choice reduction at 3 with 16 rule applications. Total rules 472 place count 1037 transition count 1906
Iterating global reduction 3 with 16 rules applied. Total rules applied 488 place count 1037 transition count 1906
Drop transitions (Trivial Post-Agglo cleanup.) removed 13 transitions
Trivial Post-agglo rules discarded 13 transitions
Performed 13 trivial Post agglomeration. Transition count delta: 13
Iterating post reduction 3 with 13 rules applied. Total rules applied 501 place count 1037 transition count 1893
Reduce places removed 13 places and 0 transitions.
Iterating post reduction 4 with 13 rules applied. Total rules applied 514 place count 1024 transition count 1893
Performed 29 Post agglomeration using F-continuation condition.Transition count delta: 29
Deduced a syphon composed of 29 places in 1 ms
Reduce places removed 29 places and 0 transitions.
Iterating global reduction 5 with 58 rules applied. Total rules applied 572 place count 995 transition count 1864
Partial Free-agglomeration rule applied 1 times.
Drop transitions (Partial Free agglomeration) removed 1 transitions
Iterating global reduction 5 with 1 rules applied. Total rules applied 573 place count 995 transition count 1864
Applied a total of 573 rules in 370 ms. Remains 995 /1281 variables (removed 286) and now considering 1864/2166 (removed 302) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 370 ms. Remains : 995/1281 places, 1864/2166 transitions.
RANDOM walk for 33679 steps (160 resets) in 436 ms. (77 steps per ms) remains 0/1 properties
Successfully simplified 12 atomic propositions for a total of 13 simplifications.
FORMULA CANConstruction-PT-030-LTLCardinality-05 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA CANConstruction-PT-030-LTLCardinality-12 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA CANConstruction-PT-030-LTLCardinality-13 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA CANConstruction-PT-030-LTLCardinality-14 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Computed a total of 93 stabilizing places and 122 stable transitions
FORMULA CANConstruction-PT-030-LTLCardinality-01 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(F(p0)))'
Support contains 4 out of 1281 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 1281/1281 places, 2166/2166 transitions.
Discarding 18 places :
Symmetric choice reduction at 0 with 18 rule applications. Total rules 18 place count 1263 transition count 2132
Iterating global reduction 0 with 18 rules applied. Total rules applied 36 place count 1263 transition count 2132
Applied a total of 36 rules in 111 ms. Remains 1263 /1281 variables (removed 18) and now considering 2132/2166 (removed 34) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-17062467891176040093.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-1685291294479805231.kers'
[2026-05-24 15:22:12] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-17062467891176040093.kers, --Pflows, --basisKERS=/tmp/petrispot-output-1685291294479805231.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 2132 rows 1263 cols 4324 entries
Finished phase 1 with 1232 SingleSign rule and 0 generalized
[2026-05-24 15:22:12] [INFO ] Computed 31 invariants in 7 ms
Computed 31 P flows in 7 ms.
Exported basis to /tmp/petrispot-output-1685291294479805231.kers
Total runtime 11 ms.
[2026-05-24 15:22:13] [INFO ] Implicit Places using invariants in 795 ms returned []
[2026-05-24 15:22:13] [INFO ] Invariant cache hit.
[2026-05-24 15:22:14] [INFO ] State equation strengthened by 1770 read => feed constraints.
[2026-05-24 15:22:32] [INFO ] Implicit Places using invariants and state equation in 18639 ms returned []
Implicit Place search using SMT with State Equation took 19437 ms to find 0 implicit places.
Running 2102 sub problems to find dead transitions.
[2026-05-24 15:22:32] [INFO ] Invariant cache hit.
[2026-05-24 15:22:32] [INFO ] State equation strengthened by 1770 read => feed constraints.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/1262 variables, 31/31 constraints. Problems are: Problem set: 0 solved, 2102 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 1262/3395 variables, and 31 constraints, problems are : Problem set: 0 solved, 2102 unsolved in 30044 ms.
Refiners :[Positive P Invariants (semi-flows): 31/31 constraints, State Equation: 0/1263 constraints, ReadFeed: 0/1770 constraints, PredecessorRefiner: 2102/2102 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2102 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/1262 variables, 31/31 constraints. Problems are: Problem set: 0 solved, 2102 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/1262 variables, 20/51 constraints. Problems are: Problem set: 0 solved, 2102 unsolved
SMT process timed out in 60800ms, After SMT, problems are : Problem set: 0 solved, 2102 unsolved
Search for dead transitions found 0 dead transitions in 60805ms
Starting structural reductions in LTL mode, iteration 1 : 1263/1281 places, 2132/2166 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 80372 ms. Remains : 1263/1281 places, 2132/2166 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(F(p0)))'
Stuttering acceptance computed with spot in 221 ms :[(NOT p0), (NOT p0)]
Running random walk in product with property : CANConstruction-PT-030-LTLCardinality-00
Product exploration explored 100000 steps with 50000 reset in 633 ms.
Product exploration explored 100000 steps with 50000 reset in 584 ms.
Computed a total of 91 stabilizing places and 120 stable transitions
Computed a total of 91 stabilizing places and 120 stable transitions
Property proved to be true by K+ with min(!phi)
Knowledge based reduction with 3 factoid took 16 ms. Proved property starting from automaton with 2 states, 2 edges and 1 AP (stutter sensitive
Knowledge-based reduction took 44 ms.
FORMULA CANConstruction-PT-030-LTLCardinality-00 TRUE TECHNIQUES KNOWLEDGE
Treatment of property CANConstruction-PT-030-LTLCardinality-00 finished in 82403 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(F(p0))'
Support contains 2 out of 1281 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 1281/1281 places, 2166/2166 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 200 transitions
Trivial Post-agglo rules discarded 200 transitions
Performed 200 trivial Post agglomeration. Transition count delta: 200
Iterating post reduction 0 with 200 rules applied. Total rules applied 200 place count 1281 transition count 1966
Reduce places removed 200 places and 0 transitions.
Iterating post reduction 1 with 200 rules applied. Total rules applied 400 place count 1081 transition count 1966
Performed 30 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 30 Pre rules applied. Total rules applied 400 place count 1081 transition count 1936
Deduced a syphon composed of 30 places in 0 ms
Reduce places removed 30 places and 0 transitions.
Iterating global reduction 2 with 60 rules applied. Total rules applied 460 place count 1051 transition count 1936
Discarding 15 places :
Symmetric choice reduction at 2 with 15 rule applications. Total rules 475 place count 1036 transition count 1906
Iterating global reduction 2 with 15 rules applied. Total rules applied 490 place count 1036 transition count 1906
Drop transitions (Trivial Post-Agglo cleanup.) removed 12 transitions
Trivial Post-agglo rules discarded 12 transitions
Performed 12 trivial Post agglomeration. Transition count delta: 12
Iterating post reduction 2 with 12 rules applied. Total rules applied 502 place count 1036 transition count 1894
Reduce places removed 12 places and 0 transitions.
Iterating post reduction 3 with 12 rules applied. Total rules applied 514 place count 1024 transition count 1894
Performed 30 Post agglomeration using F-continuation condition.Transition count delta: 30
Deduced a syphon composed of 30 places in 1 ms
Reduce places removed 30 places and 0 transitions.
Iterating global reduction 4 with 60 rules applied. Total rules applied 574 place count 994 transition count 1864
Applied a total of 574 rules in 243 ms. Remains 994 /1281 variables (removed 287) and now considering 1864/2166 (removed 302) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-15108738309557437978.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-8053006919736471299.kers'
[2026-05-24 15:23:35] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-15108738309557437978.kers, --Pflows, --basisKERS=/tmp/petrispot-output-8053006919736471299.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 1864 rows 994 cols 3820 entries
Finished phase 1 with 963 SingleSign rule and 0 generalized
[2026-05-24 15:23:35] [INFO ] Computed 31 invariants in 13 ms
Computed 31 P flows in 14 ms.
Exported basis to /tmp/petrispot-output-8053006919736471299.kers
Total runtime 18 ms.
[2026-05-24 15:23:35] [INFO ] Implicit Places using invariants in 684 ms returned []
[2026-05-24 15:23:35] [INFO ] Invariant cache hit.
[2026-05-24 15:23:36] [INFO ] State equation strengthened by 1770 read => feed constraints.
[2026-05-24 15:23:50] [INFO ] Implicit Places using invariants and state equation in 14475 ms returned []
Implicit Place search using SMT with State Equation took 15161 ms to find 0 implicit places.
[2026-05-24 15:23:50] [INFO ] Redundant transitions in 101 ms returned []
Running 1834 sub problems to find dead transitions.
[2026-05-24 15:23:50] [INFO ] Invariant cache hit.
[2026-05-24 15:23:50] [INFO ] State equation strengthened by 1770 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/993 variables, 31/31 constraints. Problems are: Problem set: 0 solved, 1834 unsolved
SMT process timed out in 30519ms, After SMT, problems are : Problem set: 0 solved, 1834 unsolved
Search for dead transitions found 0 dead transitions in 30523ms
Starting structural reductions in SI_LTL mode, iteration 1 : 994/1281 places, 1864/2166 transitions.
Finished structural reductions in SI_LTL mode , in 1 iterations and 46039 ms. Remains : 994/1281 places, 1864/2166 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(F(p0))'
Stuttering acceptance computed with spot in 37 ms :[(NOT p0)]
Running random walk in product with property : CANConstruction-PT-030-LTLCardinality-02
Stuttering criterion allowed to conclude after 222 steps with 0 reset in 2 ms.
FORMULA CANConstruction-PT-030-LTLCardinality-02 FALSE TECHNIQUES STUTTER_TEST
Treatment of property CANConstruction-PT-030-LTLCardinality-02 finished in 46111 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(G(p0))'
Support contains 2 out of 1281 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 1281/1281 places, 2166/2166 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 199 transitions
Trivial Post-agglo rules discarded 199 transitions
Performed 199 trivial Post agglomeration. Transition count delta: 199
Iterating post reduction 0 with 199 rules applied. Total rules applied 199 place count 1281 transition count 1967
Reduce places removed 199 places and 0 transitions.
Iterating post reduction 1 with 199 rules applied. Total rules applied 398 place count 1082 transition count 1967
Performed 30 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 30 Pre rules applied. Total rules applied 398 place count 1082 transition count 1937
Deduced a syphon composed of 30 places in 1 ms
Reduce places removed 30 places and 0 transitions.
Iterating global reduction 2 with 60 rules applied. Total rules applied 458 place count 1052 transition count 1937
Discarding 17 places :
Symmetric choice reduction at 2 with 17 rule applications. Total rules 475 place count 1035 transition count 1903
Iterating global reduction 2 with 17 rules applied. Total rules applied 492 place count 1035 transition count 1903
Drop transitions (Trivial Post-Agglo cleanup.) removed 13 transitions
Trivial Post-agglo rules discarded 13 transitions
Performed 13 trivial Post agglomeration. Transition count delta: 13
Iterating post reduction 2 with 13 rules applied. Total rules applied 505 place count 1035 transition count 1890
Reduce places removed 13 places and 0 transitions.
Iterating post reduction 3 with 13 rules applied. Total rules applied 518 place count 1022 transition count 1890
Performed 28 Post agglomeration using F-continuation condition.Transition count delta: 28
Deduced a syphon composed of 28 places in 1 ms
Reduce places removed 28 places and 0 transitions.
Iterating global reduction 4 with 56 rules applied. Total rules applied 574 place count 994 transition count 1862
Applied a total of 574 rules in 200 ms. Remains 994 /1281 variables (removed 287) and now considering 1862/2166 (removed 304) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-13497441705174968649.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-17573237455786721801.kers'
[2026-05-24 15:24:21] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-13497441705174968649.kers, --Pflows, --basisKERS=/tmp/petrispot-output-17573237455786721801.kers]
Culled 0 columns in 1 ms.
// Phase 1: matrix 1862 rows 994 cols 3814 entries
Finished phase 1 with 963 SingleSign rule and 0 generalized
[2026-05-24 15:24:21] [INFO ] Computed 31 invariants in 15 ms
Computed 31 P flows in 19 ms.
Exported basis to /tmp/petrispot-output-17573237455786721801.kers
Total runtime 20 ms.
[2026-05-24 15:24:21] [INFO ] Implicit Places using invariants in 620 ms returned []
[2026-05-24 15:24:21] [INFO ] Invariant cache hit.
[2026-05-24 15:24:22] [INFO ] State equation strengthened by 1770 read => feed constraints.
[2026-05-24 15:24:36] [INFO ] Implicit Places using invariants and state equation in 14277 ms returned []
Implicit Place search using SMT with State Equation took 14901 ms to find 0 implicit places.
[2026-05-24 15:24:36] [INFO ] Redundant transitions in 105 ms returned []
Running 1832 sub problems to find dead transitions.
[2026-05-24 15:24:36] [INFO ] Invariant cache hit.
[2026-05-24 15:24:36] [INFO ] State equation strengthened by 1770 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/993 variables, 31/31 constraints. Problems are: Problem set: 0 solved, 1832 unsolved
SMT process timed out in 39518ms, After SMT, problems are : Problem set: 0 solved, 1832 unsolved
Search for dead transitions found 0 dead transitions in 39522ms
Starting structural reductions in SI_LTL mode, iteration 1 : 994/1281 places, 1862/2166 transitions.
Finished structural reductions in SI_LTL mode , in 1 iterations and 54743 ms. Remains : 994/1281 places, 1862/2166 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(G(p0))'
Stuttering acceptance computed with spot in 51 ms :[true, (NOT p0)]
Running random walk in product with property : CANConstruction-PT-030-LTLCardinality-04
Entered a terminal (fully accepting) state of product in 125 steps with 0 reset in 3 ms.
FORMULA CANConstruction-PT-030-LTLCardinality-04 FALSE TECHNIQUES STUTTER_TEST
Treatment of property CANConstruction-PT-030-LTLCardinality-04 finished in 54832 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(G((p0||X((X(X(p1))||G(!p0))))))'
Support contains 2 out of 1281 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 1281/1281 places, 2166/2166 transitions.
Discarding 18 places :
Symmetric choice reduction at 0 with 18 rule applications. Total rules 18 place count 1263 transition count 2132
Iterating global reduction 0 with 18 rules applied. Total rules applied 36 place count 1263 transition count 2132
Applied a total of 36 rules in 102 ms. Remains 1263 /1281 variables (removed 18) and now considering 2132/2166 (removed 34) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-12973155729658229212.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-12913824300417371694.kers'
[2026-05-24 15:25:15] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-12973155729658229212.kers, --Pflows, --basisKERS=/tmp/petrispot-output-12913824300417371694.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 2132 rows 1263 cols 4324 entries
Finished phase 1 with 1232 SingleSign rule and 0 generalized
[2026-05-24 15:25:15] [INFO ] Computed 31 invariants in 6 ms
Computed 31 P flows in 6 ms.
Exported basis to /tmp/petrispot-output-12913824300417371694.kers
Total runtime 10 ms.
[2026-05-24 15:25:16] [INFO ] Implicit Places using invariants in 753 ms returned []
[2026-05-24 15:25:16] [INFO ] Invariant cache hit.
[2026-05-24 15:25:17] [INFO ] State equation strengthened by 1770 read => feed constraints.
[2026-05-24 15:25:33] [INFO ] Implicit Places using invariants and state equation in 17183 ms returned []
Implicit Place search using SMT with State Equation took 17938 ms to find 0 implicit places.
Running 2102 sub problems to find dead transitions.
[2026-05-24 15:25:33] [INFO ] Invariant cache hit.
[2026-05-24 15:25:33] [INFO ] State equation strengthened by 1770 read => feed constraints.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/1262 variables, 31/31 constraints. Problems are: Problem set: 0 solved, 2102 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 1262/3395 variables, and 31 constraints, problems are : Problem set: 0 solved, 2102 unsolved in 30040 ms.
Refiners :[Positive P Invariants (semi-flows): 31/31 constraints, State Equation: 0/1263 constraints, ReadFeed: 0/1770 constraints, PredecessorRefiner: 2102/2102 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2102 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/1262 variables, 31/31 constraints. Problems are: Problem set: 0 solved, 2102 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/1262 variables, 20/51 constraints. Problems are: Problem set: 0 solved, 2102 unsolved
SMT process timed out in 61182ms, After SMT, problems are : Problem set: 0 solved, 2102 unsolved
Search for dead transitions found 0 dead transitions in 61187ms
Starting structural reductions in LTL mode, iteration 1 : 1263/1281 places, 2132/2166 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 79243 ms. Remains : 1263/1281 places, 2132/2166 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(G((p0||X((X(X(p1))||G(!p0))))))'
Stuttering acceptance computed with spot in 325 ms :[false, (AND (NOT p1) p0), (NOT p1), (AND (NOT p1) p0), (NOT p1), true, (AND p0 (NOT p1)), (AND p0 p1)]
Running random walk in product with property : CANConstruction-PT-030-LTLCardinality-07
Entered a terminal (fully accepting) state of product in 82624 steps with 160 reset in 372 ms.
FORMULA CANConstruction-PT-030-LTLCardinality-07 FALSE TECHNIQUES STUTTER_TEST
Treatment of property CANConstruction-PT-030-LTLCardinality-07 finished in 79986 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(G(F((p0||G(p1)))))'
Support contains 4 out of 1281 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 1281/1281 places, 2166/2166 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 197 transitions
Trivial Post-agglo rules discarded 197 transitions
Performed 197 trivial Post agglomeration. Transition count delta: 197
Iterating post reduction 0 with 197 rules applied. Total rules applied 197 place count 1281 transition count 1969
Reduce places removed 197 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 198 rules applied. Total rules applied 395 place count 1084 transition count 1968
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 396 place count 1083 transition count 1968
Performed 30 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 30 Pre rules applied. Total rules applied 396 place count 1083 transition count 1938
Deduced a syphon composed of 30 places in 1 ms
Reduce places removed 30 places and 0 transitions.
Iterating global reduction 3 with 60 rules applied. Total rules applied 456 place count 1053 transition count 1938
Discarding 14 places :
Symmetric choice reduction at 3 with 14 rule applications. Total rules 470 place count 1039 transition count 1910
Iterating global reduction 3 with 14 rules applied. Total rules applied 484 place count 1039 transition count 1910
Drop transitions (Trivial Post-Agglo cleanup.) removed 10 transitions
Trivial Post-agglo rules discarded 10 transitions
Performed 10 trivial Post agglomeration. Transition count delta: 10
Iterating post reduction 3 with 10 rules applied. Total rules applied 494 place count 1039 transition count 1900
Reduce places removed 10 places and 0 transitions.
Iterating post reduction 4 with 10 rules applied. Total rules applied 504 place count 1029 transition count 1900
Performed 32 Post agglomeration using F-continuation condition.Transition count delta: 32
Deduced a syphon composed of 32 places in 1 ms
Reduce places removed 32 places and 0 transitions.
Iterating global reduction 5 with 64 rules applied. Total rules applied 568 place count 997 transition count 1868
Applied a total of 568 rules in 180 ms. Remains 997 /1281 variables (removed 284) and now considering 1868/2166 (removed 298) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-18145284003884916676.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-4591258207449140363.kers'
[2026-05-24 15:26:35] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-18145284003884916676.kers, --Pflows, --basisKERS=/tmp/petrispot-output-4591258207449140363.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 1868 rows 997 cols 3829 entries
Finished phase 1 with 966 SingleSign rule and 0 generalized
[2026-05-24 15:26:35] [INFO ] Computed 31 invariants in 18 ms
Computed 31 P flows in 18 ms.
Exported basis to /tmp/petrispot-output-4591258207449140363.kers
Total runtime 20 ms.
[2026-05-24 15:26:36] [INFO ] Implicit Places using invariants in 614 ms returned []
[2026-05-24 15:26:36] [INFO ] Invariant cache hit.
[2026-05-24 15:26:37] [INFO ] State equation strengthened by 1770 read => feed constraints.
[2026-05-24 15:26:50] [INFO ] Implicit Places using invariants and state equation in 14075 ms returned []
Implicit Place search using SMT with State Equation took 14692 ms to find 0 implicit places.
[2026-05-24 15:26:50] [INFO ] Redundant transitions in 37 ms returned []
Running 1838 sub problems to find dead transitions.
[2026-05-24 15:26:50] [INFO ] Invariant cache hit.
[2026-05-24 15:26:50] [INFO ] State equation strengthened by 1770 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/996 variables, 31/31 constraints. Problems are: Problem set: 0 solved, 1838 unsolved
SMT process timed out in 42118ms, After SMT, problems are : Problem set: 0 solved, 1838 unsolved
Search for dead transitions found 0 dead transitions in 42121ms
Starting structural reductions in SI_LTL mode, iteration 1 : 997/1281 places, 1868/2166 transitions.
Finished structural reductions in SI_LTL mode , in 1 iterations and 57042 ms. Remains : 997/1281 places, 1868/2166 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(G(F((p0||G(p1)))))'
Stuttering acceptance computed with spot in 69 ms :[(AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0))]
Running random walk in product with property : CANConstruction-PT-030-LTLCardinality-08
Stuttering criterion allowed to conclude after 469 steps with 1 reset in 3 ms.
FORMULA CANConstruction-PT-030-LTLCardinality-08 FALSE TECHNIQUES STUTTER_TEST
Treatment of property CANConstruction-PT-030-LTLCardinality-08 finished in 57150 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(F(p0))'
Support contains 1 out of 1281 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 1281/1281 places, 2166/2166 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 200 transitions
Trivial Post-agglo rules discarded 200 transitions
Performed 200 trivial Post agglomeration. Transition count delta: 200
Iterating post reduction 0 with 200 rules applied. Total rules applied 200 place count 1281 transition count 1966
Reduce places removed 200 places and 0 transitions.
Iterating post reduction 1 with 200 rules applied. Total rules applied 400 place count 1081 transition count 1966
Performed 30 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 30 Pre rules applied. Total rules applied 400 place count 1081 transition count 1936
Deduced a syphon composed of 30 places in 0 ms
Reduce places removed 30 places and 0 transitions.
Iterating global reduction 2 with 60 rules applied. Total rules applied 460 place count 1051 transition count 1936
Discarding 17 places :
Symmetric choice reduction at 2 with 17 rule applications. Total rules 477 place count 1034 transition count 1902
Iterating global reduction 2 with 17 rules applied. Total rules applied 494 place count 1034 transition count 1902
Drop transitions (Trivial Post-Agglo cleanup.) removed 14 transitions
Trivial Post-agglo rules discarded 14 transitions
Performed 14 trivial Post agglomeration. Transition count delta: 14
Iterating post reduction 2 with 14 rules applied. Total rules applied 508 place count 1034 transition count 1888
Reduce places removed 14 places and 0 transitions.
Iterating post reduction 3 with 14 rules applied. Total rules applied 522 place count 1020 transition count 1888
Performed 28 Post agglomeration using F-continuation condition.Transition count delta: 28
Deduced a syphon composed of 28 places in 0 ms
Reduce places removed 28 places and 0 transitions.
Iterating global reduction 4 with 56 rules applied. Total rules applied 578 place count 992 transition count 1860
Applied a total of 578 rules in 206 ms. Remains 992 /1281 variables (removed 289) and now considering 1860/2166 (removed 306) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-13212176837174090268.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-17603820573548513561.kers'
[2026-05-24 15:27:33] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-13212176837174090268.kers, --Pflows, --basisKERS=/tmp/petrispot-output-17603820573548513561.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 1860 rows 992 cols 3810 entries
Finished phase 1 with 961 SingleSign rule and 0 generalized
[2026-05-24 15:27:33] [INFO ] Computed 31 invariants in 9 ms
Computed 31 P flows in 18 ms.
Exported basis to /tmp/petrispot-output-17603820573548513561.kers
Total runtime 19 ms.
[2026-05-24 15:27:33] [INFO ] Implicit Places using invariants in 678 ms returned []
[2026-05-24 15:27:33] [INFO ] Invariant cache hit.
[2026-05-24 15:27:34] [INFO ] State equation strengthened by 1770 read => feed constraints.
[2026-05-24 15:27:47] [INFO ] Implicit Places using invariants and state equation in 13600 ms returned []
Implicit Place search using SMT with State Equation took 14283 ms to find 0 implicit places.
[2026-05-24 15:27:47] [INFO ] Redundant transitions in 35 ms returned []
Running 1830 sub problems to find dead transitions.
[2026-05-24 15:27:47] [INFO ] Invariant cache hit.
[2026-05-24 15:27:47] [INFO ] State equation strengthened by 1770 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/991 variables, 31/31 constraints. Problems are: Problem set: 0 solved, 1830 unsolved
SMT process timed out in 39301ms, After SMT, problems are : Problem set: 0 solved, 1830 unsolved
Search for dead transitions found 0 dead transitions in 39304ms
Starting structural reductions in SI_LTL mode, iteration 1 : 992/1281 places, 1860/2166 transitions.
Finished structural reductions in SI_LTL mode , in 1 iterations and 53848 ms. Remains : 992/1281 places, 1860/2166 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(F(p0))'
Stuttering acceptance computed with spot in 41 ms :[(NOT p0)]
Running random walk in product with property : CANConstruction-PT-030-LTLCardinality-09
Stuttering criterion allowed to conclude after 195 steps with 0 reset in 3 ms.
FORMULA CANConstruction-PT-030-LTLCardinality-09 FALSE TECHNIQUES STUTTER_TEST
Treatment of property CANConstruction-PT-030-LTLCardinality-09 finished in 53928 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((G((X(p0) U ((p1&&X(p0))||X(G(p0)))))||(G(F(p1))&&(X(p0) U ((p1&&X(p0))||X(G(p0)))))))'
Support contains 4 out of 1281 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 1281/1281 places, 2166/2166 transitions.
Discarding 17 places :
Symmetric choice reduction at 0 with 17 rule applications. Total rules 17 place count 1264 transition count 2133
Iterating global reduction 0 with 17 rules applied. Total rules applied 34 place count 1264 transition count 2133
Applied a total of 34 rules in 99 ms. Remains 1264 /1281 variables (removed 17) and now considering 2133/2166 (removed 33) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-15526708955542897212.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-11249338276570891328.kers'
[2026-05-24 15:28:26] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-15526708955542897212.kers, --Pflows, --basisKERS=/tmp/petrispot-output-11249338276570891328.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 2133 rows 1264 cols 4327 entries
Finished phase 1 with 1233 SingleSign rule and 0 generalized
[2026-05-24 15:28:26] [INFO ] Computed 31 invariants in 6 ms
Computed 31 P flows in 6 ms.
Exported basis to /tmp/petrispot-output-11249338276570891328.kers
Total runtime 11 ms.
[2026-05-24 15:28:27] [INFO ] Implicit Places using invariants in 762 ms returned []
[2026-05-24 15:28:27] [INFO ] Invariant cache hit.
[2026-05-24 15:28:28] [INFO ] State equation strengthened by 1770 read => feed constraints.
[2026-05-24 15:28:43] [INFO ] Implicit Places using invariants and state equation in 16173 ms returned []
Implicit Place search using SMT with State Equation took 16941 ms to find 0 implicit places.
Running 2103 sub problems to find dead transitions.
[2026-05-24 15:28:43] [INFO ] Invariant cache hit.
[2026-05-24 15:28:43] [INFO ] State equation strengthened by 1770 read => feed constraints.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/1263 variables, 31/31 constraints. Problems are: Problem set: 0 solved, 2103 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 1263/3397 variables, and 31 constraints, problems are : Problem set: 0 solved, 2103 unsolved in 30041 ms.
Refiners :[Positive P Invariants (semi-flows): 31/31 constraints, State Equation: 0/1264 constraints, ReadFeed: 0/1770 constraints, PredecessorRefiner: 2103/2103 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2103 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/1263 variables, 31/31 constraints. Problems are: Problem set: 0 solved, 2103 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/1263 variables, 20/51 constraints. Problems are: Problem set: 0 solved, 2103 unsolved
SMT process timed out in 61603ms, After SMT, problems are : Problem set: 0 solved, 2103 unsolved
Search for dead transitions found 0 dead transitions in 61613ms
Starting structural reductions in LTL mode, iteration 1 : 1264/1281 places, 2133/2166 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 78665 ms. Remains : 1264/1281 places, 2133/2166 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((G((X(p0) U ((p1&&X(p0))||X(G(p0)))))||(G(F(p1))&&(X(p0) U ((p1&&X(p0))||X(G(p0)))))))'
Stuttering acceptance computed with spot in 403 ms :[(NOT p0), (NOT p0), (NOT p0), (AND (NOT p1) (NOT p0)), true, (AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0)), (NOT p1), (AND (NOT p1) p0)]
Running random walk in product with property : CANConstruction-PT-030-LTLCardinality-11
Entered a terminal (fully accepting) state of product in 62 steps with 13 reset in 0 ms.
FORMULA CANConstruction-PT-030-LTLCardinality-11 FALSE TECHNIQUES STUTTER_TEST
Treatment of property CANConstruction-PT-030-LTLCardinality-11 finished in 79120 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(G(F(p0)))'
Support contains 2 out of 1281 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 1281/1281 places, 2166/2166 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 198 transitions
Trivial Post-agglo rules discarded 198 transitions
Performed 198 trivial Post agglomeration. Transition count delta: 198
Iterating post reduction 0 with 198 rules applied. Total rules applied 198 place count 1281 transition count 1968
Reduce places removed 198 places and 0 transitions.
Iterating post reduction 1 with 198 rules applied. Total rules applied 396 place count 1083 transition count 1968
Performed 30 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 30 Pre rules applied. Total rules applied 396 place count 1083 transition count 1938
Deduced a syphon composed of 30 places in 0 ms
Reduce places removed 30 places and 0 transitions.
Iterating global reduction 2 with 60 rules applied. Total rules applied 456 place count 1053 transition count 1938
Discarding 17 places :
Symmetric choice reduction at 2 with 17 rule applications. Total rules 473 place count 1036 transition count 1904
Iterating global reduction 2 with 17 rules applied. Total rules applied 490 place count 1036 transition count 1904
Drop transitions (Trivial Post-Agglo cleanup.) removed 14 transitions
Trivial Post-agglo rules discarded 14 transitions
Performed 14 trivial Post agglomeration. Transition count delta: 14
Iterating post reduction 2 with 14 rules applied. Total rules applied 504 place count 1036 transition count 1890
Reduce places removed 14 places and 0 transitions.
Iterating post reduction 3 with 14 rules applied. Total rules applied 518 place count 1022 transition count 1890
Performed 28 Post agglomeration using F-continuation condition.Transition count delta: 28
Deduced a syphon composed of 28 places in 1 ms
Reduce places removed 28 places and 0 transitions.
Iterating global reduction 4 with 56 rules applied. Total rules applied 574 place count 994 transition count 1862
Applied a total of 574 rules in 157 ms. Remains 994 /1281 variables (removed 287) and now considering 1862/2166 (removed 304) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-12432645044979340855.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-15477017603450363614.kers'
[2026-05-24 15:29:46] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-12432645044979340855.kers, --Pflows, --basisKERS=/tmp/petrispot-output-15477017603450363614.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 1862 rows 994 cols 3814 entries
Finished phase 1 with 963 SingleSign rule and 0 generalized
[2026-05-24 15:29:46] [INFO ] Computed 31 invariants in 9 ms
Computed 31 P flows in 9 ms.
Exported basis to /tmp/petrispot-output-15477017603450363614.kers
Total runtime 13 ms.
[2026-05-24 15:29:46] [INFO ] Implicit Places using invariants in 635 ms returned []
[2026-05-24 15:29:46] [INFO ] Invariant cache hit.
[2026-05-24 15:29:47] [INFO ] State equation strengthened by 1770 read => feed constraints.
[2026-05-24 15:30:02] [INFO ] Implicit Places using invariants and state equation in 15705 ms returned []
Implicit Place search using SMT with State Equation took 16345 ms to find 0 implicit places.
[2026-05-24 15:30:02] [INFO ] Redundant transitions in 31 ms returned []
Running 1832 sub problems to find dead transitions.
[2026-05-24 15:30:02] [INFO ] Invariant cache hit.
[2026-05-24 15:30:02] [INFO ] State equation strengthened by 1770 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/993 variables, 31/31 constraints. Problems are: Problem set: 0 solved, 1832 unsolved
SMT process timed out in 40286ms, After SMT, problems are : Problem set: 0 solved, 1832 unsolved
Search for dead transitions found 0 dead transitions in 40289ms
Starting structural reductions in SI_LTL mode, iteration 1 : 994/1281 places, 1862/2166 transitions.
Finished structural reductions in SI_LTL mode , in 1 iterations and 56833 ms. Remains : 994/1281 places, 1862/2166 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(G(F(p0)))'
Stuttering acceptance computed with spot in 90 ms :[(NOT p0), (NOT p0)]
Running random walk in product with property : CANConstruction-PT-030-LTLCardinality-15
Product exploration explored 100000 steps with 495 reset in 550 ms.
Product exploration explored 100000 steps with 496 reset in 681 ms.
Computed a total of 33 stabilizing places and 62 stable transitions
Computed a total of 33 stabilizing places and 62 stable transitions
Knowledge based reduction with 2 factoid took 67 ms. Reduced automaton from 2 states, 3 edges and 1 AP (stutter insensitive) to 2 states, 3 edges and 1 AP (stutter insensitive).
RANDOM walk for 29243 steps (143 resets) in 227 ms. (128 steps per ms) remains 0/1 properties
Knowledge based reduction with 2 factoid took 61 ms. Reduced automaton from 2 states, 3 edges and 1 AP (stutter insensitive) to 2 states, 3 edges and 1 AP (stutter insensitive).
Stuttering acceptance computed with spot in 85 ms :[(NOT p0), (NOT p0)]
Knowledge-based reduction took 317 ms.
Stuttering acceptance computed with spot in 75 ms :[(NOT p0), (NOT p0)]
Support contains 2 out of 994 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 994/994 places, 1862/1862 transitions.
Applied a total of 0 rules in 56 ms. Remains 994 /994 variables (removed 0) and now considering 1862/1862 (removed 0) transitions.
[2026-05-24 15:30:44] [INFO ] Invariant cache hit.
[2026-05-24 15:30:45] [INFO ] Implicit Places using invariants in 625 ms returned []
[2026-05-24 15:30:45] [INFO ] Invariant cache hit.
[2026-05-24 15:30:45] [INFO ] State equation strengthened by 1770 read => feed constraints.
[2026-05-24 15:31:00] [INFO ] Implicit Places using invariants and state equation in 15329 ms returned []
Implicit Place search using SMT with State Equation took 15960 ms to find 0 implicit places.
[2026-05-24 15:31:00] [INFO ] Redundant transitions in 34 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 16063 ms. Remains : 994/994 places, 1862/1862 transitions.
Computed a total of 33 stabilizing places and 62 stable transitions
Computed a total of 33 stabilizing places and 62 stable transitions
Knowledge based reduction with 2 factoid took 78 ms. Reduced automaton from 2 states, 3 edges and 1 AP (stutter insensitive) to 2 states, 3 edges and 1 AP (stutter insensitive).
RANDOM walk for 14691 steps (71 resets) in 125 ms. (116 steps per ms) remains 0/1 properties
Knowledge based reduction with 2 factoid took 92 ms. Reduced automaton from 2 states, 3 edges and 1 AP (stutter insensitive) to 2 states, 3 edges and 1 AP (stutter insensitive).
Stuttering acceptance computed with spot in 84 ms :[(NOT p0), (NOT p0)]
Knowledge-based reduction took 343 ms.
Stuttering acceptance computed with spot in 89 ms :[(NOT p0), (NOT p0)]
Stuttering acceptance computed with spot in 81 ms :[(NOT p0), (NOT p0)]
Product exploration explored 100000 steps with 493 reset in 548 ms.
Product exploration explored 100000 steps with 495 reset in 568 ms.
Built C files in :
/tmp/ltsmin18443886444899256133
[2026-05-24 15:31:02] [INFO ] Too many transitions (1862) to apply POR reductions. Disabling POR matrices.
[2026-05-24 15:31:02] [INFO ] Built C files in 40ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin18443886444899256133
Running compilation step : cd /tmp/ltsmin18443886444899256133;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin18443886444899256133;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin18443886444899256133;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:94)
at java.base/java.lang.Thread.run(Thread.java:1583)
Support contains 2 out of 994 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 994/994 places, 1862/1862 transitions.
Applied a total of 0 rules in 50 ms. Remains 994 /994 variables (removed 0) and now considering 1862/1862 (removed 0) transitions.
[2026-05-24 15:31:05] [INFO ] Invariant cache hit.
[2026-05-24 15:31:06] [INFO ] Implicit Places using invariants in 655 ms returned []
[2026-05-24 15:31:06] [INFO ] Invariant cache hit.
[2026-05-24 15:31:06] [INFO ] State equation strengthened by 1770 read => feed constraints.
[2026-05-24 15:31:21] [INFO ] Implicit Places using invariants and state equation in 15214 ms returned []
Implicit Place search using SMT with State Equation took 15872 ms to find 0 implicit places.
[2026-05-24 15:31:21] [INFO ] Redundant transitions in 36 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 15963 ms. Remains : 994/994 places, 1862/1862 transitions.
Built C files in :
/tmp/ltsmin8367223525122652472
[2026-05-24 15:31:21] [INFO ] Too many transitions (1862) to apply POR reductions. Disabling POR matrices.
[2026-05-24 15:31:21] [INFO ] Built C files in 21ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin8367223525122652472
Running compilation step : cd /tmp/ltsmin8367223525122652472;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin8367223525122652472;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin8367223525122652472;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:94)
at java.base/java.lang.Thread.run(Thread.java:1583)
[2026-05-24 15:31:24] [INFO ] Flatten gal took : 64 ms
[2026-05-24 15:31:24] [INFO ] Flatten gal took : 59 ms
[2026-05-24 15:31:24] [INFO ] Time to serialize gal into /tmp/LTL7770550618569766611.gal : 16 ms
[2026-05-24 15:31:24] [INFO ] Time to serialize properties into /tmp/LTL809033170193717825.prop : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL7770550618569766611.gal' '-t' 'CGAL' '-hoa' '/tmp/aut6022014918617156344.hoa' '-atoms' '/tmp/LTL809033170193717825.prop' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...316
Loading property file /tmp/LTL809033170193717825.prop.
Loaded 1 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut6022014918617156344.hoa
Detected timeout of ITS tools.
[2026-05-24 15:31:39] [INFO ] Flatten gal took : 47 ms
[2026-05-24 15:31:39] [INFO ] Flatten gal took : 47 ms
[2026-05-24 15:31:39] [INFO ] Time to serialize gal into /tmp/LTL8668381658928524943.gal : 9 ms
[2026-05-24 15:31:39] [INFO ] Time to serialize properties into /tmp/LTL16899255661138498064.ltl : 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-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL8668381658928524943.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL16899255661138498064.ltl' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...276
Read 1 LTL properties
Checking formula 0 : !((G(F("(Node19ResZone<=Node8requestsent22)"))))
Formula 0 simplified : FG!"(Node19ResZone<=Node8requestsent22)"
Detected timeout of ITS tools.
[2026-05-24 15:31:54] [INFO ] Flatten gal took : 35 ms
[2026-05-24 15:31:54] [INFO ] Applying decomposition
[2026-05-24 15:31:55] [INFO ] Flatten gal took : 58 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/graph14602774440979196588.txt' '-o' '/tmp/graph14602774440979196588.bin' '-w' '/tmp/graph14602774440979196588.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph14602774440979196588.bin' '-l' '-1' '-v' '-w' '/tmp/graph14602774440979196588.weights' '-q' '0' '-e' '0.001'
[2026-05-24 15:31:55] [INFO ] Decomposing Gal with order
[2026-05-24 15:31:55] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 15:31:55] [INFO ] Removed a total of 1767 redundant transitions.
[2026-05-24 15:31:55] [INFO ] Flatten gal took : 384 ms
[2026-05-24 15:31:55] [INFO ] Fuse similar labels procedure discarded/fused a total of 1678 labels/synchronizations in 102 ms.
[2026-05-24 15:31:56] [INFO ] Time to serialize gal into /tmp/LTL9752483546139750896.gal : 11 ms
[2026-05-24 15:31:56] [INFO ] Time to serialize properties into /tmp/LTL1007432280825281535.ltl : 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-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL9752483546139750896.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL1007432280825281535.ltl' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...275
Read 1 LTL properties
Checking formula 0 : !((G(F("(gu20.Node19ResZone<=gu20.Node8requestsent22)"))))
Formula 0 simplified : FG!"(gu20.Node19ResZone<=gu20.Node8requestsent22)"
Detected timeout of ITS tools.
Treatment of property CANConstruction-PT-030-LTLCardinality-15 finished in 145190 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(G(F(p0)))'
Spot run failed in 78 ms. Status :1
Traceback (most recent call last):
File "/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/senseclsl.py", line 2, in
import spot, sys
ModuleNotFoundError: No module named 'spot'
Warning : SL/CL computation failed.
[2026-05-24 15:32:11] [INFO ] Flatten gal took : 74 ms
Using solver Z3 to compute partial order matrices.
Built C files in :
/tmp/ltsmin11382194133358471205
[2026-05-24 15:32:11] [INFO ] Too many transitions (2166) to apply POR reductions. Disabling POR matrices.
[2026-05-24 15:32:11] [INFO ] Applying decomposition
[2026-05-24 15:32:11] [INFO ] Built C files in 36ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin11382194133358471205
Running compilation step : cd /tmp/ltsmin11382194133358471205;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '720' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
[2026-05-24 15:32:11] [INFO ] Flatten gal took : 148 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/graph7247298610665082607.txt' '-o' '/tmp/graph7247298610665082607.bin' '-w' '/tmp/graph7247298610665082607.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph7247298610665082607.bin' '-l' '-1' '-v' '-w' '/tmp/graph7247298610665082607.weights' '-q' '0' '-e' '0.001'
[2026-05-24 15:32:11] [INFO ] Decomposing Gal with order
[2026-05-24 15:32:11] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 15:32:12] [INFO ] Removed a total of 1804 redundant transitions.
[2026-05-24 15:32:12] [INFO ] Flatten gal took : 326 ms
[2026-05-24 15:32:12] [INFO ] Fuse similar labels procedure discarded/fused a total of 1668 labels/synchronizations in 215 ms.
[2026-05-24 15:32:12] [INFO ] Time to serialize gal into /tmp/LTLCardinality14837937763539731822.gal : 9 ms
[2026-05-24 15:32:12] [INFO ] Time to serialize properties into /tmp/LTLCardinality13708958316242153368.ltl : 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-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTLCardinality14837937763539731822.gal' '-t' 'CGAL' '-LTL' '/tmp/LTLCardinality13708958316242153368.ltl' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...299
Read 1 LTL properties
Checking formula 0 : !((G(F("(gu136.Node19ResZone<=gu136.Node8requestsent22)"))))
Formula 0 simplified : FG!"(gu136.Node19ResZone<=gu136.Node8requestsent22)"
Compilation finished in 4677 ms.
Running link step : cd /tmp/ltsmin11382194133358471205;'gcc' '-shared' '-o' 'gal.so' 'model.o'
Link finished in 53 ms.
Running LTSmin : cd /tmp/ltsmin11382194133358471205;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '-p' '--pins-guards' '--when' '--ltl' '[](<>((LTLAPp0==true)))' '--buchi-type=spotba'
Detected timeout of ITS tools.
[2026-05-24 15:56:15] [INFO ] Flatten gal took : 432 ms
[2026-05-24 15:56:15] [INFO ] Time to serialize gal into /tmp/LTLCardinality15709895134392576463.gal : 62 ms
[2026-05-24 15:56:15] [INFO ] Time to serialize properties into /tmp/LTLCardinality18050094009275515779.ltl : 5 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTLCardinality15709895134392576463.gal' '-t' 'CGAL' '-LTL' '/tmp/LTLCardinality18050094009275515779.ltl' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...299
Read 1 LTL properties
Checking formula 0 : !((G(F("(Node19ResZone<=Node8requestsent22)"))))
Formula 0 simplified : FG!"(Node19ResZone<=Node8requestsent22)"
Detected timeout of ITS tools.
[2026-05-24 16:20:14] [INFO ] Flatten gal took : 487 ms
[2026-05-24 16:20:17] [INFO ] Input system was already deterministic with 2166 transitions.
[2026-05-24 16:20:18] [INFO ] Transformed 1281 places.
[2026-05-24 16:20:18] [INFO ] Transformed 2166 transitions.
Running greatSPN : cd /home/mcc/execution;'/home/mcc/BenchKit/bin//../itstools/bin//..//greatspn//bin/pinvar' '/home/mcc/execution/gspn'
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Running greatSPN : cd /home/mcc/execution;'/home/mcc/BenchKit/bin//../itstools/bin//..//greatspn//bin/RGMEDD2' '/home/mcc/execution/gspn' '-META' '-varord-only'
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
[2026-05-24 16:20:18] [INFO ] Time to serialize gal into /tmp/LTLCardinality13362628798636584987.gal : 27 ms
[2026-05-24 16:20:18] [INFO ] Time to serialize properties into /tmp/LTLCardinality15844099434702379451.ltl : 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-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTLCardinality13362628798636584987.gal' '-t' 'CGAL' '-LTL' '/tmp/LTLCardinality15844099434702379451.ltl' '-c' '-stutter-deadlock' '--load-order' '/home/mcc/execution/model.ord' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...344
Read 1 LTL properties
Successfully loaded order from file /home/mcc/execution/model.ord
Checking formula 0 : !((G(F("(Node19ResZone<=Node8requestsent22)"))))
Formula 0 simplified : FG!"(Node19ResZone<=Node8requestsent22)"
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
+ [[ LTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution LTLCardinality -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 LTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CANConstruction-PT-030"
export BK_EXAMINATION="LTLCardinality"
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 CANConstruction-PT-030, examination is LTLCardinality"
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-177946842100635"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CANConstruction-PT-030.tgz
mv CANConstruction-PT-030 execution
cd execution
if [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "UpperBounds" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] || [ "LTLCardinality" = "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 [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "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 "LTLCardinality.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 [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLCardinality"
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 ;