About the Execution of ITS-Tools for Echo-PT-d02r19
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 3152.235 | 3600000.00 | 3796482.00 | 10993.50 | ???T???????F??T? | 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.r114-smll-177955740400161.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 Echo-PT-d02r19, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r114-smll-177955740400161
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.0M
-rw-r--r-- 1 mcc users 6.7K Mar 7 05:21 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Mar 7 05:21 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Mar 7 05:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 60K Mar 7 05:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Mar 3 18:30 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K Mar 3 18:30 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.8K Mar 15 09:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Mar 15 09:44 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 15 09:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 15 09:44 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Mar 7 05:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 114K Mar 7 05:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.1K Mar 7 05:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 67K Mar 7 05:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 15 09:44 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 15 09:44 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 3 18:30 instance
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 iscolored
-rw-r--r-- 1 mcc users 1.5M 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 Echo-PT-d02r19-CTLCardinality-2024-00
FORMULA_NAME Echo-PT-d02r19-CTLCardinality-2024-01
FORMULA_NAME Echo-PT-d02r19-CTLCardinality-2024-02
FORMULA_NAME Echo-PT-d02r19-CTLCardinality-2024-03
FORMULA_NAME Echo-PT-d02r19-CTLCardinality-2024-04
FORMULA_NAME Echo-PT-d02r19-CTLCardinality-2024-05
FORMULA_NAME Echo-PT-d02r19-CTLCardinality-2024-06
FORMULA_NAME Echo-PT-d02r19-CTLCardinality-2024-07
FORMULA_NAME Echo-PT-d02r19-CTLCardinality-2024-08
FORMULA_NAME Echo-PT-d02r19-CTLCardinality-2024-09
FORMULA_NAME Echo-PT-d02r19-CTLCardinality-2024-10
FORMULA_NAME Echo-PT-d02r19-CTLCardinality-2024-11
FORMULA_NAME Echo-PT-d02r19-CTLCardinality-2024-12
FORMULA_NAME Echo-PT-d02r19-CTLCardinality-2024-13
FORMULA_NAME Echo-PT-d02r19-CTLCardinality-2024-14
FORMULA_NAME Echo-PT-d02r19-CTLCardinality-2024-15
=== Now, execution of the tool begins
BK_START 1779693533018
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Echo-PT-d02r19
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLCardinality PT
Running Version 202604301425
[2026-05-25 07:18:55] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2026-05-25 07:18:55] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-25 07:18:56] [INFO ] Load time of PNML (sax parser for PT used): 650 ms
[2026-05-25 07:18:56] [INFO ] Transformed 3455 places.
[2026-05-25 07:18:56] [INFO ] Transformed 2730 transitions.
[2026-05-25 07:18:56] [INFO ] Found NUPN structural information;
[2026-05-25 07:18:56] [INFO ] Parsed PT model containing 3455 places and 2730 transitions and 15940 arcs in 928 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 31 ms.
Support contains 122 out of 3455 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 3455/3455 places, 2730/2730 transitions.
Reduce places removed 351 places and 0 transitions.
Iterating post reduction 0 with 351 rules applied. Total rules applied 351 place count 3104 transition count 2730
Applied a total of 351 rules in 752 ms. Remains 3104 /3455 variables (removed 351) and now considering 2730/2730 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-8978681778263441804.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-10669798093552904773.kers'
[2026-05-25 07:18:57] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-8978681778263441804.kers, --Pflows, --basisKERS=/tmp/petrispot-output-10669798093552904773.kers]
Culled 0 columns in 6 ms.
// Phase 1: matrix 2730 rows 3104 cols 14612 entries
Finished phase 1 with 1280 SingleSign rule and 446 generalized
[2026-05-25 07:19:17] [INFO ] Computed 1378 invariants in 19356 ms
Computed 1378 P flows in 19358 ms.
Exported basis to /tmp/petrispot-output-10669798093552904773.kers
Total runtime 19393 ms.
[2026-05-25 07:19:17] [WARNING] KERS value 5143465152 at col=33 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221296573738 at col=44 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221296573738 at col=45 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=46 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221296573738 at col=47 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221296573738 at col=48 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221296573738 at col=49 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221296573738 at col=50 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 5143465152 at col=58 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 5143465152 at col=59 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 4714843056 at col=60 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221296573738 at col=73 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=74 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 2571732576 at col=80 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 2571732576 at col=81 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 2571732576 at col=82 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 2571732576 at col=83 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 4714843056 at col=84 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 2571732576 at col=85 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 4714843056 at col=86 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 4714843056 at col=87 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221296573738 at col=101 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221296573738 at col=102 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=103 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221296573738 at col=104 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 5143465152 at col=109 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 2571732576 at col=110 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 5143465152 at col=111 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 5143465152 at col=112 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 5143465152 at col=113 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 5143465152 at col=114 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 4714843056 at col=115 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221296573738 at col=126 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221296573738 at col=127 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 5143465152 at col=135 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 5143465152 at col=136 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 5143465152 at col=137 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 5143465152 at col=138 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 5143465152 at col=139 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 4714843056 at col=140 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 5143465152 at col=141 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221296573738 at col=142 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 220939388658 at col=143 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=144 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221296573738 at col=145 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221296573738 at col=149 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221296573738 at col=150 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221296573738 at col=151 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=152 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221296573738 at col=154 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221296573738 at col=155 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 5143465152 at col=161 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 5143465152 at col=162 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 5143465152 at col=163 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 5143465152 at col=164 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 5143465152 at col=165 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 5143465152 at col=166 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 4714843056 at col=167 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 216224545602 at col=168 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=169 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=170 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221296573738 at col=171 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=172 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=173 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=174 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=175 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=176 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221296573738 at col=177 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=178 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221296573738 at col=179 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=180 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=181 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221296573738 at col=182 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 5143465152 at col=186 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 36004257172 at col=187 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 41147722324 at col=188 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 36004257172 at col=189 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 180220288430 at col=190 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=191 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=192 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=193 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221296573738 at col=194 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 110684005377 at col=195 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221296573738 at col=196 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=197 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=198 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=199 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=200 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=201 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=202 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=203 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=204 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=205 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=206 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=207 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221296573738 at col=208 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=209 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221296573738 at col=210 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=211 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221296573738 at col=212 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221296573738 at col=213 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 36004257172 at col=214 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 36004257172 at col=215 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 41147722324 at col=216 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 41147722324 at col=217 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 41147722324 at col=218 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 20573861162 at col=219 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 41147722324 at col=220 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 20573861162 at col=221 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 20573861162 at col=222 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 180220288430 at col=223 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=224 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=225 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=226 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 110684005377 at col=227 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 110684005377 at col=228 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 110684005377 at col=229 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=230 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 110684005377 at col=231 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=232 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=233 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=234 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221362908110 at col=235 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=236 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221362908110 at col=237 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=238 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221296573738 at col=239 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=240 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221296573738 at col=241 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=242 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221296573738 at col=243 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=244 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221296573738 at col=245 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=246 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221296573738 at col=247 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221296573738 at col=248 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 41147721774 at col=249 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 41147722323 at col=250 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 41147722324 at col=251 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 41147722323 at col=252 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 41147722324 at col=253 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 41147722323 at col=254 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 41147722324 at col=255 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 41147722323 at col=256 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 20573861162 at col=257 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010753 at col=258 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 180220288430 at col=259 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=260 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=261 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 110684005377 at col=262 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=263 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=264 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221347599898 at col=296 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221347600010 at col=298 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221347600178 at col=302 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221352702822 at col=305 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221347600010 at col=349 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 3000354672 at col=743 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 3000354672 at col=746 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221225136722 at col=765 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221082262690 at col=768 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 220939388658 at col=773 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 3000354672 at col=788 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 2571732576 at col=792 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 220867951642 at col=821 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 3000354672 at col=831 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 3000354672 at col=835 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 3428976768 at col=837 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 220760796118 at col=867 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 220689359102 at col=872 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 3000354672 at col=882 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 3000354672 at col=885 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 3000354672 at col=887 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 4286220960 at col=888 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 220582203578 at col=913 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 3000354672 at col=923 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 3000354672 at col=926 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 4929154104 at col=927 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 4714843056 at col=929 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 2385486350 at col=934 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 218696776340 at col=935 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 218982524404 at col=937 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 2314049334 at col=939 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 219288683324 at col=948 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 219431557356 at col=950 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 220439329546 at col=961 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 3000354672 at col=969 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 3000354672 at col=972 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 4929154104 at col=973 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 4929154104 at col=975 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 4929154104 at col=978 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 2671234414 at col=979 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 5143465152 at col=980 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 213553311188 at col=981 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 219053961420 at col=982 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 2242612318 at col=984 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 219268272468 at col=990 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 219502994372 at col=992 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 219502994372 at col=995 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 219502994372 at col=998 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 219574431388 at col=1001 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 220367892530 at col=1005 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 3000354672 at col=1015 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 3000354672 at col=1018 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 5143465152 at col=1020 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 25717326314 at col=1022 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 10286930858 at col=1023 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 5143465152 at col=1024 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 15430396010 at col=1025 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 20573861162 at col=1026 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 7814699566 at col=1027 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 41147722324 at col=1028 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 172405588864 at col=1029 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 219125398436 at col=1030 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 2242612318 at col=1031 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 219125398436 at col=1033 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 2171175302 at col=1034 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 219196835452 at col=1037 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221347599898 at col=1038 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 219645868404 at col=1042 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 219645868404 at col=1045 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 219645868404 at col=1046 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 220367892530 at col=1049 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 220296455514 at col=1052 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 220225018498 at col=1055 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 220082144466 at col=1059 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 5143465152 at col=1062 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 36004256618 at col=1063 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 5143465152 at col=1065 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 5143465706 at col=1066 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 30860791466 at col=1067 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 10286930858 at col=1069 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 30860791466 at col=1070 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 30860791466 at col=1071 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 10286930858 at col=1072 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 48962421890 at col=1073 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 20573861162 at col=1074 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 151831727702 at col=1075 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 110684005377 at col=1076 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 110684005377 at col=1077 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221347599898 at col=1078 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=1082 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 219645868404 at col=1086 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 219650971048 at col=1090 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 219653522370 at col=1093 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 219724959386 at col=1096 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 219796396402 at col=1099 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 219867833418 at col=1102 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 219939270434 at col=1106 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 41147721770 at col=1111 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 41147722320 at col=1114 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 41147722321 at col=1117 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 41147722322 at col=1120 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 41147722323 at col=1123 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 69536283052 at col=1125 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 41147722324 at col=1126 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 110684005377 at col=1127 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 110684005377 at col=1129 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 110684005377 at col=1130 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221347599898 at col=1132 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221347599898 at col=1133 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 2571732576 at col=1156 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 20573861162 at col=1166 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 110684005377 at col=1167 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=1180 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010642 at col=1181 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=1182 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=1183 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010754 at col=1184 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221362908110 at col=1185 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221362908110 at col=1186 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221362908110 at col=1187 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221362908110 at col=1188 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010642 at col=1212 row=100 overflows int; skipping row.
[2026-05-25 07:19:17] [WARNING] KERS value 221368010642 at col=1213 row=100 overflows int; skipping row.
[2026-05-25 07:19:58] [INFO ] Implicit Places using invariants in 60502 ms returned []
[2026-05-25 07:19:58] [INFO ] Invariant cache hit.
[2026-05-25 07:20:45] [INFO ] Performed 1982/3104 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 07:20:54] [INFO ] Implicit Places using invariants and state equation in 56481 ms returned []
Implicit Place search using SMT with State Equation took 117056 ms to find 0 implicit places.
Running 2729 sub problems to find dead transitions.
[2026-05-25 07:20:54] [INFO ] Invariant cache hit.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/3093 variables, 3093/3093 constraints. Problems are: Problem set: 0 solved, 2729 unsolved
SMT process timed out in 32326ms, After SMT, problems are : Problem set: 0 solved, 2729 unsolved
Search for dead transitions found 0 dead transitions in 32423ms
Starting structural reductions in LTL mode, iteration 1 : 3104/3455 places, 2730/2730 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 150348 ms. Remains : 3104/3455 places, 2730/2730 transitions.
Starting structural reductions in LTL mode, iteration 0 : 3104/3104 places, 2730/2730 transitions.
Applied a total of 0 rules in 331 ms. Remains 3104 /3104 variables (removed 0) and now considering 2730/2730 (removed 0) transitions.
[2026-05-25 07:21:27] [INFO ] Invariant cache hit.
[2026-05-25 07:22:03] [INFO ] Implicit Places using invariants in 35809 ms returned []
[2026-05-25 07:22:03] [INFO ] Invariant cache hit.
[2026-05-25 07:22:50] [INFO ] Performed 2075/3104 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 07:22:57] [INFO ] Implicit Places using invariants and state equation in 54707 ms returned []
Implicit Place search using SMT with State Equation took 90526 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 90863 ms. Remains : 3104/3104 places, 2730/2730 transitions.
Support contains 122 out of 3104 places after structural reductions.
[2026-05-25 07:22:58] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
[2026-05-25 07:22:58] [INFO ] Flatten gal took : 523 ms
FORMULA Echo-PT-d02r19-CTLCardinality-2024-11 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2026-05-25 07:22:59] [INFO ] Flatten gal took : 270 ms
[2026-05-25 07:22:59] [INFO ] Input system was already deterministic with 2730 transitions.
Support contains 109 out of 3104 places (down from 122) after GAL structural reductions.
RANDOM walk for 40000 steps (52 resets) in 5098 ms. (7 steps per ms) remains 1/61 properties
BEST_FIRST walk for 40004 steps (8 resets) in 814 ms. (49 steps per ms) remains 1/1 properties
[2026-05-25 07:23:01] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/2 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/2 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (OVERLAPS) 4/6 variables, 1/3 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/6 variables, 4/7 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/6 variables, 0/7 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 13/19 variables, 4/11 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/19 variables, 13/24 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/19 variables, 0/24 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 8 (OVERLAPS) 4/23 variables, 1/25 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/23 variables, 4/29 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/23 variables, 0/29 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 11 (OVERLAPS) 13/36 variables, 4/33 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/36 variables, 13/46 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/36 variables, 0/46 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 1778/5834 variables, and 344 constraints, problems are : Problem set: 0 solved, 1 unsolved in 4775 ms.
Refiners :[Domain max(s): 36/3104 constraints, Positive P Invariants (semi-flows): 10/38 constraints, Generalized P Invariants (flows): 298/1065 constraints, State Equation: 0/3104 constraints, PredecessorRefiner: 1/1 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/2 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/2 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (OVERLAPS) 4/6 variables, 1/3 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/6 variables, 4/7 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/6 variables, 0/7 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 13/19 variables, 4/11 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/19 variables, 13/24 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/19 variables, 0/24 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 8 (OVERLAPS) 4/23 variables, 1/25 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/23 variables, 4/29 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/23 variables, 0/29 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 11 (OVERLAPS) 13/36 variables, 4/33 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/36 variables, 13/46 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/36 variables, 0/46 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1778/5834 variables, and 344 constraints, problems are : Problem set: 0 solved, 1 unsolved in 4260 ms.
Refiners :[Domain max(s): 36/3104 constraints, Positive P Invariants (semi-flows): 10/38 constraints, Generalized P Invariants (flows): 298/1065 constraints, State Equation: 0/3104 constraints, PredecessorRefiner: 0/1 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 9230ms problems are : Problem set: 0 solved, 1 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 2 out of 3104 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 3104/3104 places, 2730/2730 transitions.
Graph (complete) has 9407 edges and 3104 vertex of which 3085 are kept as prefixes of interest. Removing 19 places using SCC suffix rule.27 ms
Discarding 19 places :
Also discarding 1 output transitions
Drop transitions (Output transitions of discarded places.) removed 1 transitions
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 0 with 4 rules applied. Total rules applied 5 place count 3085 transition count 2725
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 1 with 1 rules applied. Total rules applied 6 place count 3084 transition count 2724
Applied a total of 6 rules in 1023 ms. Remains 3084 /3104 variables (removed 20) and now considering 2724/2730 (removed 6) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1025 ms. Remains : 3084/3104 places, 2724/2730 transitions.
RANDOM walk for 31594 steps (41 resets) in 1540 ms. (20 steps per ms) remains 0/1 properties
[2026-05-25 07:23:12] [INFO ] Flatten gal took : 174 ms
[2026-05-25 07:23:13] [INFO ] Flatten gal took : 177 ms
[2026-05-25 07:23:13] [INFO ] Input system was already deterministic with 2730 transitions.
Computed a total of 3104 stabilizing places and 2730 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 3104 transition count 2730
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false).
AF dead knowledge conclusive for 2 formulas.
FORMULA Echo-PT-d02r19-CTLCardinality-2024-03 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Echo-PT-d02r19-CTLCardinality-2024-14 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Starting structural reductions in LTL mode, iteration 0 : 3104/3104 places, 2730/2730 transitions.
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 0 with 8 rules applied. Total rules applied 8 place count 3096 transition count 2730
Applied a total of 8 rules in 258 ms. Remains 3096 /3104 variables (removed 8) and now considering 2730/2730 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-11102838101763393761.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-16281451400815079093.kers'
[2026-05-25 07:23:13] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-11102838101763393761.kers, --Pflows, --basisKERS=/tmp/petrispot-output-16281451400815079093.kers]
Culled 0 columns in 5 ms.
// Phase 1: matrix 2730 rows 3096 cols 14582 entries
Finished phase 1 with 1264 SingleSign rule and 462 generalized
[2026-05-25 07:23:31] [INFO ] Computed 1370 invariants in 17669 ms
Computed 1370 P flows in 17670 ms.
Exported basis to /tmp/petrispot-output-16281451400815079093.kers
Total runtime 17710 ms.
[2026-05-25 07:23:31] [WARNING] KERS value -17224426985 at col=41 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17224426985 at col=42 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17367495449 at col=43 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17224426985 at col=44 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17367495449 at col=45 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17224426985 at col=46 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17224426985 at col=47 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17367495449 at col=74 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17367495449 at col=75 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17367495449 at col=100 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17367495449 at col=101 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17367495449 at col=102 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17224426985 at col=103 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17367495449 at col=121 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17224426985 at col=122 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3290576130 at col=130 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3290576130 at col=131 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=132 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3290576130 at col=133 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=134 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3290576130 at col=135 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=136 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3290576130 at col=137 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=138 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3290576130 at col=139 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=140 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3290576130 at col=141 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=142 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3290576130 at col=143 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3290576130 at col=144 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17224426985 at col=146 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17081358521 at col=147 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17224426985 at col=148 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17367495449 at col=149 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17367495449 at col=151 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17224426985 at col=152 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=158 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=159 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=160 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=161 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=162 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=163 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=164 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=165 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=166 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=167 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=168 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=169 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=170 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=171 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3147507666 at col=172 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17367495449 at col=174 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17081358521 at col=175 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17367495449 at col=176 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17367495449 at col=177 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17367495449 at col=178 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17367495449 at col=179 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17367495449 at col=180 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17367495449 at col=181 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17367495449 at col=182 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17367495449 at col=183 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17367495449 at col=184 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17224426985 at col=185 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=189 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=190 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=191 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=192 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=193 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=194 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=195 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=196 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=197 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=198 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=199 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=200 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3147507666 at col=201 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17367495449 at col=202 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17367495449 at col=203 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17367495449 at col=204 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17367495449 at col=205 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17367495449 at col=206 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17367495449 at col=207 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17367495449 at col=208 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17367495449 at col=209 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17367495449 at col=210 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17367495449 at col=211 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17224426985 at col=212 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17367495449 at col=213 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17224426985 at col=214 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17367495449 at col=215 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17224426985 at col=216 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17224426985 at col=217 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=218 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=219 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=220 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=221 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=222 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=223 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=224 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=225 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=226 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=227 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=228 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=229 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -4420999479 at col=230 row=872 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -4420999479 at col=231 row=872 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17081358521 at col=232 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -13933850855 at col=233 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17357276273 at col=235 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17367495449 at col=236 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17357276273 at col=237 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17367495449 at col=238 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17224426985 at col=239 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17367495449 at col=240 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17224426985 at col=241 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17367495449 at col=242 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17224426985 at col=243 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17367495449 at col=244 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17224426985 at col=245 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17367495449 at col=246 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17224426985 at col=247 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17224426985 at col=248 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644350 at col=249 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644350 at col=250 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=251 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644473 at col=252 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=253 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644534 at col=254 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=255 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644574 at col=256 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=257 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=258 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=259 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -13933850855 at col=260 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -13933850855 at col=261 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17367495449 at col=262 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17367495449 at col=263 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644554 at col=293 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=294 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -10500206260 at col=295 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=296 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -6867289189 at col=297 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -10459329552 at col=300 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17326618743 at col=302 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17326618745 at col=306 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17336837921 at col=309 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17326618743 at col=354 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17081358521 at col=765 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -16938290057 at col=769 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -16652153129 at col=774 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -16652153129 at col=819 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -16652153129 at col=861 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -16509084665 at col=866 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -2210498808 at col=906 row=872 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -16366016201 at col=909 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3290575401 at col=920 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3147506937 at col=924 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3004438473 at col=926 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -2861370009 at col=930 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -2718301545 at col=932 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -2575233081 at col=936 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -2432164617 at col=938 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -2210500671 at col=939 row=872 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -2578917139 at col=941 row=872 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -5526248883 at col=943 row=872 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -2876698044 at col=947 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -14061592013 at col=949 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -14490797405 at col=951 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -2733629580 at col=953 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -2578915276 at col=959 row=872 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -16222947737 at col=962 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433643865 at col=970 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3147506937 at col=973 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3147506937 at col=974 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -2861370009 at col=977 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -2861370009 at col=978 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -2210500671 at col=980 row=872 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -2575233081 at col=981 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -2575233081 at col=982 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -2210500671 at col=983 row=872 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3315750075 at col=984 row=872 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -4789415947 at col=986 row=872 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3305903436 at col=989 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -13918523549 at col=991 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -14633865869 at col=992 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -2733629580 at col=993 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -14633865869 at col=995 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -2733629580 at col=996 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -14633865869 at col=998 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -2733629580 at col=999 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -14633865869 at col=1001 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -2733629580 at col=1002 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -2947331744 at col=1003 row=872 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -16079879273 at col=1005 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433643865 at col=1015 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433643865 at col=1017 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433643865 at col=1019 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433643865 at col=1021 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644554 at col=1024 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644554 at col=1025 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -4052583011 at col=1028 row=872 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -4420999479 at col=1031 row=872 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3448971900 at col=1032 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -13918523549 at col=1034 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -14633865869 at col=1037 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -2733629580 at col=1038 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -2733629580 at col=1039 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -14633865869 at col=1040 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -14633865869 at col=1041 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -2733629580 at col=1042 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3315748212 at col=1043 row=872 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -16079879273 at col=1044 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3315748212 at col=1046 row=872 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -15936810809 at col=1047 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3684164680 at col=1049 row=872 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -15793742345 at col=1050 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -4052581148 at col=1052 row=872 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -15507605417 at col=1054 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433643865 at col=1057 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433643865 at col=1060 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433643865 at col=1062 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433643865 at col=1063 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644554 at col=1066 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644554 at col=1067 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644554 at col=1070 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3448971900 at col=1073 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -4420999479 at col=1074 row=872 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -12058632788 at col=1075 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -14633865869 at col=1082 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -2723410404 at col=1084 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -14644085045 at col=1086 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -2718300816 at col=1087 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -14649194633 at col=1089 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -2575232352 at col=1090 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -14792263097 at col=1092 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -2432163888 at col=1093 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -14935331561 at col=1095 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -2289095424 at col=1096 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -15078400025 at col=1098 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -5526247020 at col=1099 row=872 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -4789414084 at col=1101 row=872 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -15221468489 at col=1102 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433643865 at col=1107 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644109 at col=1110 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644353 at col=1113 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644474 at col=1116 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644534 at col=1120 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644554 at col=1122 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644554 at col=1123 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -6908165897 at col=1125 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -4420999479 at col=1126 row=872 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644594 at col=1127 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -5308862661 at col=1128 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -5308862661 at col=1129 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -12058632788 at col=1131 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -4420999479 at col=1157 row=872 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644574 at col=1169 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -3433644574 at col=1170 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -13933850855 at col=1171 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17367495447 at col=1172 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -13933850855 at col=1173 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17367495447 at col=1174 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17367495449 at col=1175 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17367495449 at col=1176 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17367495449 at col=1177 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17357276273 at col=1178 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17357276273 at col=1179 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17357276273 at col=1180 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17357276273 at col=1181 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17367495447 at col=1204 row=789 overflows int; skipping row.
[2026-05-25 07:23:31] [WARNING] KERS value -17367495449 at col=1205 row=789 overflows int; skipping row.
[2026-05-25 07:24:13] [INFO ] Implicit Places using invariants in 59616 ms returned []
[2026-05-25 07:24:13] [INFO ] Invariant cache hit.
[2026-05-25 07:25:02] [INFO ] Performed 576/3096 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 07:25:32] [INFO ] Performed 2510/3096 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2026-05-25 07:25:36] [INFO ] Implicit Places using invariants and state equation in 83000 ms returned []
Implicit Place search using SMT with State Equation took 142636 ms to find 0 implicit places.
Running 2729 sub problems to find dead transitions.
[2026-05-25 07:25:36] [INFO ] Invariant cache hit.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/3093 variables, 3093/3093 constraints. Problems are: Problem set: 0 solved, 2729 unsolved
SMT process timed out in 31669ms, After SMT, problems are : Problem set: 0 solved, 2729 unsolved
Search for dead transitions found 0 dead transitions in 31724ms
Starting structural reductions in LTL mode, iteration 1 : 3096/3104 places, 2730/2730 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 174638 ms. Remains : 3096/3104 places, 2730/2730 transitions.
[2026-05-25 07:26:08] [INFO ] Flatten gal took : 166 ms
[2026-05-25 07:26:08] [INFO ] Flatten gal took : 180 ms
[2026-05-25 07:26:08] [INFO ] Input system was already deterministic with 2730 transitions.
[2026-05-25 07:26:08] [INFO ] Flatten gal took : 121 ms
[2026-05-25 07:26:09] [INFO ] Flatten gal took : 114 ms
[2026-05-25 07:26:09] [INFO ] Time to serialize gal into /tmp/CTLCardinality14357544876299446820.gal : 117 ms
[2026-05-25 07:26:09] [INFO ] Time to serialize properties into /tmp/CTLCardinality4582121509506577964.ctl : 3 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality14357544876299446820.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality4582121509506577964.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 07:26:39] [INFO ] Flatten gal took : 112 ms
[2026-05-25 07:26:39] [INFO ] Applying decomposition
[2026-05-25 07:26:39] [INFO ] Flatten gal took : 113 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/graph3599202941199524918.txt' '-o' '/tmp/graph3599202941199524918.bin' '-w' '/tmp/graph3599202941199524918.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph3599202941199524918.bin' '-l' '-1' '-v' '-w' '/tmp/graph3599202941199524918.weights' '-q' '0' '-e' '0.001'
[2026-05-25 07:26:40] [INFO ] Decomposing Gal with order
[2026-05-25 07:26:40] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 07:26:41] [INFO ] Removed a total of 3399 redundant transitions.
[2026-05-25 07:26:41] [INFO ] Flatten gal took : 549 ms
[2026-05-25 07:26:41] [INFO ] Fuse similar labels procedure discarded/fused a total of 181 labels/synchronizations in 208 ms.
[2026-05-25 07:26:41] [INFO ] Time to serialize gal into /tmp/CTLCardinality13520229085592594178.gal : 74 ms
[2026-05-25 07:26:41] [INFO ] Time to serialize properties into /tmp/CTLCardinality9762102822318306748.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality13520229085592594178.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality9762102822318306748.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 3104/3104 places, 2730/2730 transitions.
Reduce places removed 9 places and 0 transitions.
Iterating post reduction 0 with 9 rules applied. Total rules applied 9 place count 3095 transition count 2730
Applied a total of 9 rules in 266 ms. Remains 3095 /3104 variables (removed 9) and now considering 2730/2730 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-6018062621272471020.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-6743638761746212151.kers'
[2026-05-25 07:27:12] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-6018062621272471020.kers, --Pflows, --basisKERS=/tmp/petrispot-output-6743638761746212151.kers]
Culled 0 columns in 4 ms.
// Phase 1: matrix 2730 rows 3095 cols 14579 entries
Finished phase 1 with 1243 SingleSign rule and 483 generalized
[2026-05-25 07:27:26] [INFO ] Computed 1369 invariants in 14793 ms
Computed 1369 P flows in 14794 ms.
Exported basis to /tmp/petrispot-output-6743638761746212151.kers
Total runtime 14831 ms.
[2026-05-25 07:28:16] [INFO ] Performed 564/3095 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 07:28:46] [INFO ] Performed 2227/3095 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2026-05-25 07:29:12] [INFO ] Implicit Places using invariants in 120250 ms returned []
[2026-05-25 07:29:12] [INFO ] Invariant cache hit.
[2026-05-25 07:31:52] [INFO ] Implicit Places using invariants and state equation in 160057 ms returned []
Implicit Place search using SMT with State Equation took 280327 ms to find 0 implicit places.
Running 2729 sub problems to find dead transitions.
[2026-05-25 07:31:52] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/3093 variables, 3093/3093 constraints. Problems are: Problem set: 0 solved, 2729 unsolved
SMT process timed out in 31674ms, After SMT, problems are : Problem set: 0 solved, 2729 unsolved
Search for dead transitions found 0 dead transitions in 31685ms
Starting structural reductions in LTL mode, iteration 1 : 3095/3104 places, 2730/2730 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 312289 ms. Remains : 3095/3104 places, 2730/2730 transitions.
[2026-05-25 07:32:24] [INFO ] Flatten gal took : 186 ms
[2026-05-25 07:32:24] [INFO ] Flatten gal took : 195 ms
[2026-05-25 07:32:24] [INFO ] Input system was already deterministic with 2730 transitions.
[2026-05-25 07:32:24] [INFO ] Flatten gal took : 105 ms
[2026-05-25 07:32:25] [INFO ] Flatten gal took : 107 ms
[2026-05-25 07:32:25] [INFO ] Time to serialize gal into /tmp/CTLCardinality3679484259415692944.gal : 24 ms
[2026-05-25 07:32:25] [INFO ] Time to serialize properties into /tmp/CTLCardinality10262086522665269595.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality3679484259415692944.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10262086522665269595.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 07:32:55] [INFO ] Flatten gal took : 108 ms
[2026-05-25 07:32:55] [INFO ] Applying decomposition
[2026-05-25 07:32:55] [INFO ] Flatten gal took : 109 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/graph9812479424244640320.txt' '-o' '/tmp/graph9812479424244640320.bin' '-w' '/tmp/graph9812479424244640320.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph9812479424244640320.bin' '-l' '-1' '-v' '-w' '/tmp/graph9812479424244640320.weights' '-q' '0' '-e' '0.001'
[2026-05-25 07:32:55] [INFO ] Decomposing Gal with order
[2026-05-25 07:32:55] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 07:32:56] [INFO ] Removed a total of 3429 redundant transitions.
[2026-05-25 07:32:56] [INFO ] Flatten gal took : 236 ms
[2026-05-25 07:32:56] [INFO ] Fuse similar labels procedure discarded/fused a total of 226 labels/synchronizations in 85 ms.
[2026-05-25 07:32:56] [INFO ] Time to serialize gal into /tmp/CTLCardinality11832115778106244554.gal : 53 ms
[2026-05-25 07:32:56] [INFO ] Time to serialize properties into /tmp/CTLCardinality4196454816258784715.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality11832115778106244554.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality4196454816258784715.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 3104/3104 places, 2730/2730 transitions.
Reduce places removed 10 places and 0 transitions.
Iterating post reduction 0 with 10 rules applied. Total rules applied 10 place count 3094 transition count 2730
Applied a total of 10 rules in 162 ms. Remains 3094 /3104 variables (removed 10) and now considering 2730/2730 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-10848509376475195394.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-13171105451183327267.kers'
[2026-05-25 07:33:26] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-10848509376475195394.kers, --Pflows, --basisKERS=/tmp/petrispot-output-13171105451183327267.kers]
Culled 0 columns in 4 ms.
// Phase 1: matrix 2730 rows 3094 cols 14575 entries
Finished phase 1 with 1243 SingleSign rule and 483 generalized
[2026-05-25 07:33:42] [INFO ] Computed 1368 invariants in 15184 ms
Computed 1368 P flows in 15185 ms.
Exported basis to /tmp/petrispot-output-13171105451183327267.kers
Total runtime 15239 ms.
[2026-05-25 07:34:34] [INFO ] Performed 382/3094 implicitness test of which 0 returned IMPLICIT in 31 seconds.
[2026-05-25 07:35:05] [INFO ] Performed 606/3094 implicitness test of which 0 returned IMPLICIT in 62 seconds.
[2026-05-25 07:35:35] [INFO ] Performed 2158/3094 implicitness test of which 0 returned IMPLICIT in 92 seconds.
[2026-05-25 07:35:59] [INFO ] Implicit Places using invariants in 152771 ms returned []
[2026-05-25 07:35:59] [INFO ] Invariant cache hit.
[2026-05-25 07:37:02] [INFO ] Performed 711/3094 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 07:37:29] [INFO ] Implicit Places using invariants and state equation in 89849 ms returned []
Implicit Place search using SMT with State Equation took 242624 ms to find 0 implicit places.
Running 2729 sub problems to find dead transitions.
[2026-05-25 07:37:29] [INFO ] Invariant cache hit.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/3093 variables, 3093/3093 constraints. Problems are: Problem set: 0 solved, 2729 unsolved
SMT process timed out in 31648ms, After SMT, problems are : Problem set: 0 solved, 2729 unsolved
Search for dead transitions found 0 dead transitions in 31660ms
Starting structural reductions in LTL mode, iteration 1 : 3094/3104 places, 2730/2730 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 274462 ms. Remains : 3094/3104 places, 2730/2730 transitions.
[2026-05-25 07:38:01] [INFO ] Flatten gal took : 98 ms
[2026-05-25 07:38:01] [INFO ] Flatten gal took : 115 ms
[2026-05-25 07:38:01] [INFO ] Input system was already deterministic with 2730 transitions.
[2026-05-25 07:38:01] [INFO ] Flatten gal took : 103 ms
[2026-05-25 07:38:01] [INFO ] Flatten gal took : 110 ms
[2026-05-25 07:38:01] [INFO ] Time to serialize gal into /tmp/CTLCardinality17283724766442464043.gal : 21 ms
[2026-05-25 07:38:01] [INFO ] Time to serialize properties into /tmp/CTLCardinality2733323936394646116.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality17283724766442464043.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2733323936394646116.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 07:38:32] [INFO ] Flatten gal took : 112 ms
[2026-05-25 07:38:32] [INFO ] Applying decomposition
[2026-05-25 07:38:32] [INFO ] Flatten gal took : 156 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/graph3791831482571012532.txt' '-o' '/tmp/graph3791831482571012532.bin' '-w' '/tmp/graph3791831482571012532.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph3791831482571012532.bin' '-l' '-1' '-v' '-w' '/tmp/graph3791831482571012532.weights' '-q' '0' '-e' '0.001'
[2026-05-25 07:38:32] [INFO ] Decomposing Gal with order
[2026-05-25 07:38:32] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 07:38:33] [INFO ] Removed a total of 3525 redundant transitions.
[2026-05-25 07:38:33] [INFO ] Flatten gal took : 206 ms
[2026-05-25 07:38:33] [INFO ] Fuse similar labels procedure discarded/fused a total of 199 labels/synchronizations in 62 ms.
[2026-05-25 07:38:33] [INFO ] Time to serialize gal into /tmp/CTLCardinality18052622591914798870.gal : 34 ms
[2026-05-25 07:38:33] [INFO ] Time to serialize properties into /tmp/CTLCardinality10068470725232380296.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality18052622591914798870.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10068470725232380296.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 3104/3104 places, 2730/2730 transitions.
Graph (complete) has 9407 edges and 3104 vertex of which 3089 are kept as prefixes of interest. Removing 15 places using SCC suffix rule.47 ms
Discarding 15 places :
Also discarding 1 output transitions
Drop transitions (Output transitions of discarded places.) removed 1 transitions
Reduce places removed 1 places and 1 transitions.
Applied a total of 1 rules in 481 ms. Remains 3088 /3104 variables (removed 16) and now considering 2728/2730 (removed 2) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-3386712437284243182.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-16848598188587752900.kers'
[2026-05-25 07:39:04] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-3386712437284243182.kers, --Pflows, --basisKERS=/tmp/petrispot-output-16848598188587752900.kers]
Culled 0 columns in 7 ms.
// Phase 1: matrix 2728 rows 3088 cols 14548 entries
Finished phase 1 with 1238 SingleSign rule and 486 generalized
[2026-05-25 07:39:18] [INFO ] Computed 1364 invariants in 14788 ms
Computed 1364 P flows in 14792 ms.
Exported basis to /tmp/petrispot-output-16848598188587752900.kers
Total runtime 14830 ms.
[2026-05-25 07:40:10] [INFO ] Performed 436/3088 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 07:40:47] [INFO ] Performed 580/3088 implicitness test of which 0 returned IMPLICIT in 66 seconds.
[2026-05-25 07:41:17] [INFO ] Performed 1782/3088 implicitness test of which 1 returned IMPLICIT in 96 seconds.
[2026-05-25 07:41:59] [INFO ] Performed 2621/3088 implicitness test of which 4 returned IMPLICIT in 138 seconds.
[2026-05-25 07:41:59] [INFO ] Implicit Places using invariants in 174954 ms returned [655, 2453, 2519, 2523]
Discarding 4 places :
Implicit Place search using SMT only with invariants took 174965 ms to find 4 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 3084/3104 places, 2728/2730 transitions.
Applied a total of 0 rules in 514 ms. Remains 3084 /3084 variables (removed 0) and now considering 2728/2728 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 175961 ms. Remains : 3084/3104 places, 2728/2730 transitions.
[2026-05-25 07:41:59] [INFO ] Flatten gal took : 87 ms
[2026-05-25 07:41:59] [INFO ] Flatten gal took : 99 ms
[2026-05-25 07:42:00] [INFO ] Input system was already deterministic with 2728 transitions.
[2026-05-25 07:42:00] [INFO ] Flatten gal took : 110 ms
[2026-05-25 07:42:00] [INFO ] Flatten gal took : 117 ms
[2026-05-25 07:42:00] [INFO ] Time to serialize gal into /tmp/CTLCardinality12353835381001263927.gal : 28 ms
[2026-05-25 07:42:00] [INFO ] Time to serialize properties into /tmp/CTLCardinality12829339986750467243.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality12353835381001263927.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality12829339986750467243.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 07:42:30] [INFO ] Flatten gal took : 99 ms
[2026-05-25 07:42:30] [INFO ] Applying decomposition
[2026-05-25 07:42:30] [INFO ] Flatten gal took : 102 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/graph13115391724060685313.txt' '-o' '/tmp/graph13115391724060685313.bin' '-w' '/tmp/graph13115391724060685313.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph13115391724060685313.bin' '-l' '-1' '-v' '-w' '/tmp/graph13115391724060685313.weights' '-q' '0' '-e' '0.001'
[2026-05-25 07:42:31] [INFO ] Decomposing Gal with order
[2026-05-25 07:42:31] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 07:42:31] [INFO ] Removed a total of 3319 redundant transitions.
[2026-05-25 07:42:31] [INFO ] Flatten gal took : 283 ms
[2026-05-25 07:42:32] [INFO ] Fuse similar labels procedure discarded/fused a total of 291 labels/synchronizations in 94 ms.
[2026-05-25 07:42:32] [INFO ] Time to serialize gal into /tmp/CTLCardinality3584800289594259803.gal : 43 ms
[2026-05-25 07:42:32] [INFO ] Time to serialize properties into /tmp/CTLCardinality12355744383013580048.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality3584800289594259803.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality12355744383013580048.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 3104/3104 places, 2730/2730 transitions.
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 0 with 8 rules applied. Total rules applied 8 place count 3096 transition count 2730
Applied a total of 8 rules in 235 ms. Remains 3096 /3104 variables (removed 8) and now considering 2730/2730 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-3732813121159217368.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-11777460916219080563.kers'
[2026-05-25 07:43:02] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-3732813121159217368.kers, --Pflows, --basisKERS=/tmp/petrispot-output-11777460916219080563.kers]
Culled 0 columns in 4 ms.
// Phase 1: matrix 2730 rows 3096 cols 14583 entries
Finished phase 1 with 1252 SingleSign rule and 474 generalized
[2026-05-25 07:43:16] [INFO ] Computed 1370 invariants in 13592 ms
Computed 1370 P flows in 13593 ms.
Exported basis to /tmp/petrispot-output-11777460916219080563.kers
Total runtime 13620 ms.
[2026-05-25 07:44:10] [INFO ] Performed 513/3096 implicitness test of which 0 returned IMPLICIT in 32 seconds.
[2026-05-25 07:44:47] [INFO ] Performed 597/3096 implicitness test of which 0 returned IMPLICIT in 70 seconds.
[2026-05-25 07:45:37] [INFO ] Performed 598/3096 implicitness test of which 0 returned IMPLICIT in 119 seconds.
[2026-05-25 07:45:56] [INFO ] Implicit Places using invariants in 173806 ms returned []
[2026-05-25 07:45:56] [INFO ] Invariant cache hit.
[2026-05-25 07:48:36] [INFO ] Implicit Places using invariants and state equation in 160035 ms returned []
Implicit Place search using SMT with State Equation took 333849 ms to find 0 implicit places.
Running 2729 sub problems to find dead transitions.
[2026-05-25 07:48:36] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/3093 variables, 3093/3093 constraints. Problems are: Problem set: 0 solved, 2729 unsolved
SMT process timed out in 31667ms, After SMT, problems are : Problem set: 0 solved, 2729 unsolved
Search for dead transitions found 0 dead transitions in 31675ms
Starting structural reductions in LTL mode, iteration 1 : 3096/3104 places, 2730/2730 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 365770 ms. Remains : 3096/3104 places, 2730/2730 transitions.
[2026-05-25 07:49:08] [INFO ] Flatten gal took : 150 ms
[2026-05-25 07:49:08] [INFO ] Flatten gal took : 214 ms
[2026-05-25 07:49:08] [INFO ] Input system was already deterministic with 2730 transitions.
[2026-05-25 07:49:08] [INFO ] Flatten gal took : 174 ms
[2026-05-25 07:49:09] [INFO ] Flatten gal took : 161 ms
[2026-05-25 07:49:09] [INFO ] Time to serialize gal into /tmp/CTLCardinality12700776319322418871.gal : 30 ms
[2026-05-25 07:49:09] [INFO ] Time to serialize properties into /tmp/CTLCardinality4583496424000760552.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality12700776319322418871.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality4583496424000760552.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 07:49:39] [INFO ] Flatten gal took : 156 ms
[2026-05-25 07:49:39] [INFO ] Applying decomposition
[2026-05-25 07:49:39] [INFO ] Flatten gal took : 161 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/graph6465740681580237240.txt' '-o' '/tmp/graph6465740681580237240.bin' '-w' '/tmp/graph6465740681580237240.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph6465740681580237240.bin' '-l' '-1' '-v' '-w' '/tmp/graph6465740681580237240.weights' '-q' '0' '-e' '0.001'
[2026-05-25 07:49:40] [INFO ] Decomposing Gal with order
[2026-05-25 07:49:40] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 07:49:40] [INFO ] Removed a total of 3174 redundant transitions.
[2026-05-25 07:49:40] [INFO ] Flatten gal took : 288 ms
[2026-05-25 07:49:41] [INFO ] Fuse similar labels procedure discarded/fused a total of 240 labels/synchronizations in 107 ms.
[2026-05-25 07:49:41] [INFO ] Time to serialize gal into /tmp/CTLCardinality9368967949767700676.gal : 47 ms
[2026-05-25 07:49:41] [INFO ] Time to serialize properties into /tmp/CTLCardinality8651194582592631038.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality9368967949767700676.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8651194582592631038.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 3104/3104 places, 2730/2730 transitions.
Reduce places removed 10 places and 0 transitions.
Iterating post reduction 0 with 10 rules applied. Total rules applied 10 place count 3094 transition count 2730
Applied a total of 10 rules in 245 ms. Remains 3094 /3104 variables (removed 10) and now considering 2730/2730 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-8566762490788841621.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-4111497069690946468.kers'
[2026-05-25 07:50:11] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-8566762490788841621.kers, --Pflows, --basisKERS=/tmp/petrispot-output-4111497069690946468.kers]
Culled 0 columns in 4 ms.
// Phase 1: matrix 2730 rows 3094 cols 14575 entries
Finished phase 1 with 1243 SingleSign rule and 483 generalized
[2026-05-25 07:50:25] [INFO ] Computed 1368 invariants in 14302 ms
Computed 1368 P flows in 14304 ms.
Exported basis to /tmp/petrispot-output-4111497069690946468.kers
Total runtime 14330 ms.
[2026-05-25 07:51:19] [INFO ] Performed 369/3094 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 07:51:49] [INFO ] Performed 1251/3094 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2026-05-25 07:52:19] [INFO ] Performed 2682/3094 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2026-05-25 07:52:26] [INFO ] Implicit Places using invariants in 134856 ms returned []
[2026-05-25 07:52:26] [INFO ] Invariant cache hit.
[2026-05-25 07:53:26] [INFO ] Performed 721/3094 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 07:53:51] [INFO ] Implicit Places using invariants and state equation in 85601 ms returned []
Implicit Place search using SMT with State Equation took 220481 ms to find 0 implicit places.
Running 2729 sub problems to find dead transitions.
[2026-05-25 07:53:51] [INFO ] Invariant cache hit.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/3093 variables, 3093/3093 constraints. Problems are: Problem set: 0 solved, 2729 unsolved
SMT process timed out in 32052ms, After SMT, problems are : Problem set: 0 solved, 2729 unsolved
Search for dead transitions found 0 dead transitions in 32061ms
Starting structural reductions in LTL mode, iteration 1 : 3094/3104 places, 2730/2730 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 252795 ms. Remains : 3094/3104 places, 2730/2730 transitions.
[2026-05-25 07:54:24] [INFO ] Flatten gal took : 137 ms
[2026-05-25 07:54:24] [INFO ] Flatten gal took : 160 ms
[2026-05-25 07:54:24] [INFO ] Input system was already deterministic with 2730 transitions.
[2026-05-25 07:54:24] [INFO ] Flatten gal took : 101 ms
[2026-05-25 07:54:24] [INFO ] Flatten gal took : 101 ms
[2026-05-25 07:54:24] [INFO ] Time to serialize gal into /tmp/CTLCardinality16207035392391042781.gal : 18 ms
[2026-05-25 07:54:24] [INFO ] Time to serialize properties into /tmp/CTLCardinality10566860080206233536.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality16207035392391042781.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10566860080206233536.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 07:54:54] [INFO ] Flatten gal took : 96 ms
[2026-05-25 07:54:54] [INFO ] Applying decomposition
[2026-05-25 07:54:55] [INFO ] Flatten gal took : 99 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/graph9892970863685521552.txt' '-o' '/tmp/graph9892970863685521552.bin' '-w' '/tmp/graph9892970863685521552.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph9892970863685521552.bin' '-l' '-1' '-v' '-w' '/tmp/graph9892970863685521552.weights' '-q' '0' '-e' '0.001'
[2026-05-25 07:54:55] [INFO ] Decomposing Gal with order
[2026-05-25 07:54:55] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 07:54:56] [INFO ] Removed a total of 3494 redundant transitions.
[2026-05-25 07:54:56] [INFO ] Flatten gal took : 317 ms
[2026-05-25 07:54:56] [INFO ] Fuse similar labels procedure discarded/fused a total of 197 labels/synchronizations in 52 ms.
[2026-05-25 07:54:56] [INFO ] Time to serialize gal into /tmp/CTLCardinality5704375247416825702.gal : 41 ms
[2026-05-25 07:54:56] [INFO ] Time to serialize properties into /tmp/CTLCardinality17764162196830026200.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality5704375247416825702.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17764162196830026200.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 3104/3104 places, 2730/2730 transitions.
Reduce places removed 10 places and 0 transitions.
Iterating post reduction 0 with 10 rules applied. Total rules applied 10 place count 3094 transition count 2730
Applied a total of 10 rules in 203 ms. Remains 3094 /3104 variables (removed 10) and now considering 2730/2730 (removed 0) transitions.
[2026-05-25 07:55:26] [INFO ] Invariant cache hit.
[2026-05-25 07:56:16] [INFO ] Performed 427/3094 implicitness test of which 0 returned IMPLICIT in 31 seconds.
[2026-05-25 07:56:46] [INFO ] Performed 2240/3094 implicitness test of which 0 returned IMPLICIT in 61 seconds.
[2026-05-25 07:57:08] [INFO ] Implicit Places using invariants in 101612 ms returned []
[2026-05-25 07:57:08] [INFO ] Invariant cache hit.
[2026-05-25 07:58:08] [INFO ] Performed 711/3094 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 07:58:35] [INFO ] Implicit Places using invariants and state equation in 86897 ms returned []
Implicit Place search using SMT with State Equation took 188531 ms to find 0 implicit places.
Skipped dead transition search.
Starting structural reductions in LTL mode, iteration 1 : 3094/3104 places, 2730/2730 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 188735 ms. Remains : 3094/3104 places, 2730/2730 transitions.
[2026-05-25 07:58:35] [INFO ] Flatten gal took : 133 ms
[2026-05-25 07:58:35] [INFO ] Flatten gal took : 99 ms
[2026-05-25 07:58:35] [INFO ] Input system was already deterministic with 2730 transitions.
[2026-05-25 07:58:35] [INFO ] Flatten gal took : 159 ms
[2026-05-25 07:58:35] [INFO ] Flatten gal took : 109 ms
[2026-05-25 07:58:35] [INFO ] Time to serialize gal into /tmp/CTLCardinality11409115415590253077.gal : 17 ms
[2026-05-25 07:58:35] [INFO ] Time to serialize properties into /tmp/CTLCardinality17484208745705098432.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality11409115415590253077.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17484208745705098432.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 07:59:05] [INFO ] Flatten gal took : 98 ms
[2026-05-25 07:59:05] [INFO ] Applying decomposition
[2026-05-25 07:59:06] [INFO ] Flatten gal took : 102 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/graph4010214265526137316.txt' '-o' '/tmp/graph4010214265526137316.bin' '-w' '/tmp/graph4010214265526137316.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph4010214265526137316.bin' '-l' '-1' '-v' '-w' '/tmp/graph4010214265526137316.weights' '-q' '0' '-e' '0.001'
[2026-05-25 07:59:06] [INFO ] Decomposing Gal with order
[2026-05-25 07:59:06] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 07:59:06] [INFO ] Removed a total of 3423 redundant transitions.
[2026-05-25 07:59:06] [INFO ] Flatten gal took : 190 ms
[2026-05-25 07:59:07] [INFO ] Fuse similar labels procedure discarded/fused a total of 241 labels/synchronizations in 60 ms.
[2026-05-25 07:59:07] [INFO ] Time to serialize gal into /tmp/CTLCardinality1018418802553140493.gal : 32 ms
[2026-05-25 07:59:07] [INFO ] Time to serialize properties into /tmp/CTLCardinality3781989313769275536.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality1018418802553140493.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality3781989313769275536.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 3104/3104 places, 2730/2730 transitions.
Reduce places removed 10 places and 0 transitions.
Iterating post reduction 0 with 10 rules applied. Total rules applied 10 place count 3094 transition count 2730
Applied a total of 10 rules in 194 ms. Remains 3094 /3104 variables (removed 10) and now considering 2730/2730 (removed 0) transitions.
[2026-05-25 07:59:37] [INFO ] Invariant cache hit.
[2026-05-25 08:00:28] [INFO ] Performed 369/3094 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 08:00:58] [INFO ] Performed 1945/3094 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2026-05-25 08:01:25] [INFO ] Implicit Places using invariants in 108217 ms returned []
[2026-05-25 08:01:25] [INFO ] Invariant cache hit.
[2026-05-25 08:02:27] [INFO ] Performed 768/3094 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 08:02:50] [INFO ] Implicit Places using invariants and state equation in 84896 ms returned []
Implicit Place search using SMT with State Equation took 193124 ms to find 0 implicit places.
Skipped dead transition search.
Starting structural reductions in LTL mode, iteration 1 : 3094/3104 places, 2730/2730 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 193320 ms. Remains : 3094/3104 places, 2730/2730 transitions.
[2026-05-25 08:02:50] [INFO ] Flatten gal took : 97 ms
[2026-05-25 08:02:50] [INFO ] Flatten gal took : 111 ms
[2026-05-25 08:02:50] [INFO ] Input system was already deterministic with 2730 transitions.
[2026-05-25 08:02:50] [INFO ] Flatten gal took : 89 ms
[2026-05-25 08:02:51] [INFO ] Flatten gal took : 93 ms
[2026-05-25 08:02:51] [INFO ] Time to serialize gal into /tmp/CTLCardinality5045488819420859507.gal : 18 ms
[2026-05-25 08:02:51] [INFO ] Time to serialize properties into /tmp/CTLCardinality766799699830199905.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality5045488819420859507.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality766799699830199905.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...282
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 08:03:21] [INFO ] Flatten gal took : 90 ms
[2026-05-25 08:03:21] [INFO ] Applying decomposition
[2026-05-25 08:03:21] [INFO ] Flatten gal took : 93 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/graph5203685246445443732.txt' '-o' '/tmp/graph5203685246445443732.bin' '-w' '/tmp/graph5203685246445443732.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph5203685246445443732.bin' '-l' '-1' '-v' '-w' '/tmp/graph5203685246445443732.weights' '-q' '0' '-e' '0.001'
[2026-05-25 08:03:21] [INFO ] Decomposing Gal with order
[2026-05-25 08:03:21] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 08:03:22] [INFO ] Removed a total of 3451 redundant transitions.
[2026-05-25 08:03:22] [INFO ] Flatten gal took : 286 ms
[2026-05-25 08:03:22] [INFO ] Fuse similar labels procedure discarded/fused a total of 264 labels/synchronizations in 91 ms.
[2026-05-25 08:03:22] [INFO ] Time to serialize gal into /tmp/CTLCardinality3604816011646023223.gal : 33 ms
[2026-05-25 08:03:22] [INFO ] Time to serialize properties into /tmp/CTLCardinality13107703713911279056.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality3604816011646023223.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality13107703713911279056.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 3104/3104 places, 2730/2730 transitions.
Reduce places removed 10 places and 0 transitions.
Iterating post reduction 0 with 10 rules applied. Total rules applied 10 place count 3094 transition count 2730
Applied a total of 10 rules in 223 ms. Remains 3094 /3104 variables (removed 10) and now considering 2730/2730 (removed 0) transitions.
[2026-05-25 08:03:52] [INFO ] Invariant cache hit.
[2026-05-25 08:04:43] [INFO ] Performed 420/3094 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 08:05:13] [INFO ] Performed 1951/3094 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2026-05-25 08:05:43] [INFO ] Performed 2609/3094 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2026-05-25 08:05:50] [INFO ] Implicit Places using invariants in 117970 ms returned []
[2026-05-25 08:05:50] [INFO ] Invariant cache hit.
[2026-05-25 08:06:55] [INFO ] Performed 727/3094 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 08:07:19] [INFO ] Implicit Places using invariants and state equation in 88151 ms returned []
Implicit Place search using SMT with State Equation took 206143 ms to find 0 implicit places.
Skipped dead transition search.
Starting structural reductions in LTL mode, iteration 1 : 3094/3104 places, 2730/2730 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 206368 ms. Remains : 3094/3104 places, 2730/2730 transitions.
[2026-05-25 08:07:19] [INFO ] Flatten gal took : 139 ms
[2026-05-25 08:07:19] [INFO ] Flatten gal took : 125 ms
[2026-05-25 08:07:19] [INFO ] Input system was already deterministic with 2730 transitions.
[2026-05-25 08:07:19] [INFO ] Flatten gal took : 108 ms
[2026-05-25 08:07:19] [INFO ] Flatten gal took : 105 ms
[2026-05-25 08:07:19] [INFO ] Time to serialize gal into /tmp/CTLCardinality3901041074943479543.gal : 17 ms
[2026-05-25 08:07:19] [INFO ] Time to serialize properties into /tmp/CTLCardinality12427946574225575767.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality3901041074943479543.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality12427946574225575767.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 08:07:50] [INFO ] Flatten gal took : 95 ms
[2026-05-25 08:07:50] [INFO ] Applying decomposition
[2026-05-25 08:07:50] [INFO ] Flatten gal took : 139 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/graph1945671923633894349.txt' '-o' '/tmp/graph1945671923633894349.bin' '-w' '/tmp/graph1945671923633894349.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph1945671923633894349.bin' '-l' '-1' '-v' '-w' '/tmp/graph1945671923633894349.weights' '-q' '0' '-e' '0.001'
[2026-05-25 08:07:50] [INFO ] Decomposing Gal with order
[2026-05-25 08:07:50] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 08:07:51] [INFO ] Removed a total of 3149 redundant transitions.
[2026-05-25 08:07:51] [INFO ] Flatten gal took : 183 ms
[2026-05-25 08:07:51] [INFO ] Fuse similar labels procedure discarded/fused a total of 299 labels/synchronizations in 68 ms.
[2026-05-25 08:07:51] [INFO ] Time to serialize gal into /tmp/CTLCardinality4269674552210460839.gal : 25 ms
[2026-05-25 08:07:51] [INFO ] Time to serialize properties into /tmp/CTLCardinality6928107381348319215.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality4269674552210460839.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6928107381348319215.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 3104/3104 places, 2730/2730 transitions.
Graph (complete) has 9407 edges and 3104 vertex of which 3090 are kept as prefixes of interest. Removing 14 places using SCC suffix rule.33 ms
Discarding 14 places :
Also discarding 1 output transitions
Drop transitions (Output transitions of discarded places.) removed 1 transitions
Reduce places removed 1 places and 1 transitions.
Applied a total of 1 rules in 449 ms. Remains 3089 /3104 variables (removed 15) and now considering 2728/2730 (removed 2) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-12939677119236271024.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-7795900220922423351.kers'
[2026-05-25 08:08:21] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-12939677119236271024.kers, --Pflows, --basisKERS=/tmp/petrispot-output-7795900220922423351.kers]
Culled 0 columns in 7 ms.
// Phase 1: matrix 2728 rows 3089 cols 14551 entries
Finished phase 1 with 1239 SingleSign rule and 485 generalized
[2026-05-25 08:08:35] [INFO ] Computed 1365 invariants in 13836 ms
Computed 1365 P flows in 13837 ms.
Exported basis to /tmp/petrispot-output-7795900220922423351.kers
Total runtime 13866 ms.
[2026-05-25 08:09:39] [INFO ] Performed 494/3089 implicitness test of which 0 returned IMPLICIT in 42 seconds.
[2026-05-25 08:10:09] [INFO ] Performed 2373/3089 implicitness test of which 1 returned IMPLICIT in 72 seconds.
[2026-05-25 08:10:27] [INFO ] Implicit Places using invariants in 125545 ms returned [655, 2454, 2520, 2524]
Discarding 4 places :
Implicit Place search using SMT only with invariants took 125555 ms to find 4 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 3085/3104 places, 2728/2730 transitions.
Applied a total of 0 rules in 420 ms. Remains 3085 /3085 variables (removed 0) and now considering 2728/2728 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 126425 ms. Remains : 3085/3104 places, 2728/2730 transitions.
[2026-05-25 08:10:28] [INFO ] Flatten gal took : 196 ms
[2026-05-25 08:10:28] [INFO ] Flatten gal took : 162 ms
[2026-05-25 08:10:28] [INFO ] Input system was already deterministic with 2728 transitions.
[2026-05-25 08:10:28] [INFO ] Flatten gal took : 131 ms
[2026-05-25 08:10:28] [INFO ] Flatten gal took : 127 ms
[2026-05-25 08:10:28] [INFO ] Time to serialize gal into /tmp/CTLCardinality13352430477358381768.gal : 20 ms
[2026-05-25 08:10:28] [INFO ] Time to serialize properties into /tmp/CTLCardinality764771030599834250.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality13352430477358381768.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality764771030599834250.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 08:10:59] [INFO ] Flatten gal took : 117 ms
[2026-05-25 08:10:59] [INFO ] Applying decomposition
[2026-05-25 08:10:59] [INFO ] Flatten gal took : 105 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/graph17506368853530143335.txt' '-o' '/tmp/graph17506368853530143335.bin' '-w' '/tmp/graph17506368853530143335.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph17506368853530143335.bin' '-l' '-1' '-v' '-w' '/tmp/graph17506368853530143335.weights' '-q' '0' '-e' '0.001'
[2026-05-25 08:10:59] [INFO ] Decomposing Gal with order
[2026-05-25 08:10:59] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 08:11:00] [INFO ] Removed a total of 3581 redundant transitions.
[2026-05-25 08:11:00] [INFO ] Flatten gal took : 281 ms
[2026-05-25 08:11:00] [INFO ] Fuse similar labels procedure discarded/fused a total of 194 labels/synchronizations in 112 ms.
[2026-05-25 08:11:00] [INFO ] Time to serialize gal into /tmp/CTLCardinality9440878280429348739.gal : 41 ms
[2026-05-25 08:11:00] [INFO ] Time to serialize properties into /tmp/CTLCardinality11140950776607266643.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality9440878280429348739.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality11140950776607266643.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 3104/3104 places, 2730/2730 transitions.
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 0 with 8 rules applied. Total rules applied 8 place count 3096 transition count 2730
Applied a total of 8 rules in 278 ms. Remains 3096 /3104 variables (removed 8) and now considering 2730/2730 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-8949026606773690250.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-7799160603382089448.kers'
[2026-05-25 08:11:30] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-8949026606773690250.kers, --Pflows, --basisKERS=/tmp/petrispot-output-7799160603382089448.kers]
Culled 0 columns in 7 ms.
// Phase 1: matrix 2730 rows 3096 cols 14582 entries
Finished phase 1 with 1248 SingleSign rule and 478 generalized
[2026-05-25 08:11:45] [INFO ] Computed 1370 invariants in 14402 ms
Computed 1370 P flows in 14404 ms.
Exported basis to /tmp/petrispot-output-7799160603382089448.kers
Total runtime 14434 ms.
[2026-05-25 08:12:47] [INFO ] Performed 423/3096 implicitness test of which 0 returned IMPLICIT in 44 seconds.
[2026-05-25 08:13:17] [INFO ] Performed 649/3096 implicitness test of which 0 returned IMPLICIT in 74 seconds.
[2026-05-25 08:13:47] [INFO ] Performed 2189/3096 implicitness test of which 0 returned IMPLICIT in 104 seconds.
[2026-05-25 08:14:17] [INFO ] Performed 3013/3096 implicitness test of which 0 returned IMPLICIT in 134 seconds.
[2026-05-25 08:14:17] [INFO ] Timeout of Implicit test with SMT after 134 seconds.
[2026-05-25 08:14:17] [INFO ] Implicit Places using invariants in 166652 ms returned []
[2026-05-25 08:14:17] [INFO ] Invariant cache hit.
[2026-05-25 08:15:08] [INFO ] Performed 1259/3096 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 08:15:28] [INFO ] Implicit Places using invariants and state equation in 70834 ms returned []
Implicit Place search using SMT with State Equation took 237491 ms to find 0 implicit places.
Running 2729 sub problems to find dead transitions.
[2026-05-25 08:15:28] [INFO ] Invariant cache hit.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/3093 variables, 3093/3093 constraints. Problems are: Problem set: 0 solved, 2729 unsolved
SMT process timed out in 32103ms, After SMT, problems are : Problem set: 0 solved, 2729 unsolved
Search for dead transitions found 0 dead transitions in 32112ms
Starting structural reductions in LTL mode, iteration 1 : 3096/3104 places, 2730/2730 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 269892 ms. Remains : 3096/3104 places, 2730/2730 transitions.
[2026-05-25 08:16:00] [INFO ] Flatten gal took : 132 ms
[2026-05-25 08:16:00] [INFO ] Flatten gal took : 151 ms
[2026-05-25 08:16:00] [INFO ] Input system was already deterministic with 2730 transitions.
[2026-05-25 08:16:01] [INFO ] Flatten gal took : 131 ms
[2026-05-25 08:16:01] [INFO ] Flatten gal took : 95 ms
[2026-05-25 08:16:01] [INFO ] Time to serialize gal into /tmp/CTLCardinality244540368361219395.gal : 18 ms
[2026-05-25 08:16:01] [INFO ] Time to serialize properties into /tmp/CTLCardinality14487622031671875104.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality244540368361219395.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality14487622031671875104.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 08:16:31] [INFO ] Flatten gal took : 155 ms
[2026-05-25 08:16:31] [INFO ] Applying decomposition
[2026-05-25 08:16:31] [INFO ] Flatten gal took : 146 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/graph7277811581683191089.txt' '-o' '/tmp/graph7277811581683191089.bin' '-w' '/tmp/graph7277811581683191089.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph7277811581683191089.bin' '-l' '-1' '-v' '-w' '/tmp/graph7277811581683191089.weights' '-q' '0' '-e' '0.001'
[2026-05-25 08:16:31] [INFO ] Decomposing Gal with order
[2026-05-25 08:16:31] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 08:16:32] [INFO ] Removed a total of 3087 redundant transitions.
[2026-05-25 08:16:32] [INFO ] Flatten gal took : 198 ms
[2026-05-25 08:16:32] [INFO ] Fuse similar labels procedure discarded/fused a total of 249 labels/synchronizations in 32 ms.
[2026-05-25 08:16:32] [INFO ] Time to serialize gal into /tmp/CTLCardinality8606416560118719613.gal : 31 ms
[2026-05-25 08:16:32] [INFO ] Time to serialize properties into /tmp/CTLCardinality5559041716887575538.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality8606416560118719613.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality5559041716887575538.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 3104/3104 places, 2730/2730 transitions.
Graph (complete) has 9407 edges and 3104 vertex of which 3090 are kept as prefixes of interest. Removing 14 places using SCC suffix rule.7 ms
Discarding 14 places :
Also discarding 1 output transitions
Drop transitions (Output transitions of discarded places.) removed 1 transitions
Reduce places removed 1 places and 1 transitions.
Applied a total of 1 rules in 221 ms. Remains 3089 /3104 variables (removed 15) and now considering 2728/2730 (removed 2) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-14794271319316835642.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-12582765686305966114.kers'
[2026-05-25 08:17:02] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-14794271319316835642.kers, --Pflows, --basisKERS=/tmp/petrispot-output-12582765686305966114.kers]
Culled 0 columns in 7 ms.
// Phase 1: matrix 2728 rows 3089 cols 14552 entries
Finished phase 1 with 1264 SingleSign rule and 460 generalized
[2026-05-25 08:17:19] [INFO ] Computed 1365 invariants in 16768 ms
Computed 1365 P flows in 16769 ms.
Exported basis to /tmp/petrispot-output-12582765686305966114.kers
Total runtime 16802 ms.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=31 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=32 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=33 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=41 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2443334868 at col=42 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2443334868 at col=43 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2445790480 at col=44 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2443334868 at col=45 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2445790480 at col=46 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2443334868 at col=47 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2443334868 at col=48 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=49 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=50 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=51 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=69 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=70 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2445790480 at col=71 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2443334868 at col=72 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=73 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=74 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=94 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=95 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=96 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=97 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2445790480 at col=100 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2445790480 at col=101 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2443334868 at col=102 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2443334868 at col=103 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=104 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=117 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=118 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=119 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=120 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2445790480 at col=126 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2443334868 at col=127 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=128 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=138 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=139 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=140 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=141 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=142 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=143 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=144 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=145 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2443334868 at col=146 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2445790480 at col=147 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2443334868 at col=148 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2445790480 at col=149 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2445790480 at col=151 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2443334868 at col=152 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=153 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=154 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=155 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=156 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=164 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=165 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=166 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=167 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=168 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=169 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2445790480 at col=170 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2445790480 at col=171 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2445790480 at col=172 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -6545656424009 at col=173 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2445790480 at col=174 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2445790480 at col=175 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2445790480 at col=176 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2445790480 at col=177 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2445790480 at col=178 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2445790480 at col=179 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2445790480 at col=180 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2443334868 at col=181 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=182 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=183 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=184 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2623308792 at col=186 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2623308792 at col=187 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2623308792 at col=188 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -10520574622 at col=189 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=190 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=191 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=192 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=193 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -6571941707 at col=194 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -6545656424009 at col=195 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2445790480 at col=196 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -6545656424009 at col=197 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -6545656424009 at col=198 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -6545656424009 at col=199 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2445790480 at col=200 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -6545656424009 at col=201 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2445790480 at col=202 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2445790480 at col=203 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2445790480 at col=204 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2445790480 at col=205 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2445790480 at col=206 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2445790480 at col=207 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2443334868 at col=208 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2445790480 at col=209 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2443334868 at col=210 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2445790480 at col=211 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2443334868 at col=212 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2443334868 at col=213 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2623308792 at col=214 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2623308792 at col=215 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2623308792 at col=216 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2623308792 at col=217 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2623308792 at col=218 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2623308792 at col=220 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -10520574622 at col=223 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=224 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=225 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=226 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -6571941707 at col=227 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2445790480 at col=228 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2443334868 at col=229 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2445790480 at col=230 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2445790480 at col=231 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2210051728 at col=232 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2445790480 at col=233 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2210051728 at col=234 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2445790480 at col=235 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2327921104 at col=236 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2445790480 at col=237 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2386855792 at col=238 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2445790480 at col=239 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2416323136 at col=240 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2445790480 at col=241 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2431056808 at col=242 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2445790480 at col=243 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2438423644 at col=244 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2445790480 at col=245 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2443334868 at col=246 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2443334868 at col=247 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2284296632 at col=248 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2623308792 at col=249 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2454113080 at col=250 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2623308792 at col=251 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2538866120 at col=252 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2623308792 at col=253 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2582329260 at col=254 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13130223570 at col=256 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -10520574622 at col=257 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=258 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2443334868 at col=259 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2443334868 at col=260 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2445790480 at col=261 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -1261812807790 at col=262 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -630906403894 at col=264 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -630906403896 at col=265 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -315453201946 at col=266 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -315453201948 at col=267 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -157726600972 at col=268 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -157726600974 at col=269 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -78863300485 at col=270 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -78863300487 at col=271 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -39431650242 at col=272 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -39431650243 at col=273 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=274 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -26287766828 at col=275 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143873531 at col=276 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143873531 at col=279 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2523626857392 at col=294 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -10567684748822 at col=296 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -10567685990626 at col=297 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2523626857392 at col=298 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2523625615582 at col=299 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -10567687232432 at col=300 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -1261812807790 at col=302 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -10567687232436 at col=303 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -1261812807790 at col=304 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -630906403894 at col=306 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -630906403894 at col=307 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -315453201946 at col=309 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -315453201946 at col=310 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -157726600972 at col=312 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -157726600972 at col=313 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -78863300485 at col=315 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -78863300485 at col=316 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -39431650242 at col=318 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -39431650242 at col=319 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=320 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=321 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=322 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143873531 at col=323 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -10567685990626 at col=348 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2523625615586 at col=349 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883385 at col=365 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143873531 at col=367 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143873531 at col=716 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143873531 at col=717 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143873531 at col=719 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143873531 at col=721 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143873531 at col=723 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143873531 at col=725 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143873531 at col=754 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=755 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=756 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2440879256 at col=757 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=759 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -26287766828 at col=760 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2438423644 at col=761 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=762 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -39431650242 at col=763 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=764 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2433512420 at col=765 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143873531 at col=766 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143873531 at col=768 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143873531 at col=803 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -65719417070 at col=806 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=808 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2431056808 at col=809 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143873531 at col=810 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143873531 at col=812 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143873531 at col=842 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143873531 at col=846 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -78863300484 at col=852 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2431056808 at col=854 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=856 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -78863300484 at col=857 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=858 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2426145584 at col=859 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143873531 at col=860 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143873531 at col=890 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143873531 at col=891 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143873531 at col=894 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -105151067312 at col=900 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=902 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2423689972 at col=903 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143873531 at col=904 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143873531 at col=924 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143873531 at col=926 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143873531 at col=930 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143873531 at col=932 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=934 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2720783866781 at col=935 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -10357385097823 at col=937 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=938 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -10370528981237 at col=939 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2707639983367 at col=941 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -118294950726 at col=947 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=949 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2421234360 at col=950 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143873531 at col=951 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143873531 at col=959 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143873531 at col=961 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143873531 at col=975 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143873531 at col=976 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143873531 at col=979 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2733927750195 at col=982 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -10357385097823 at col=984 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -10383672864651 at col=985 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2707639983367 at col=986 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -10383672864651 at col=988 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2707639983367 at col=989 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -10383672864651 at col=991 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2707639983367 at col=992 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -10383672864651 at col=994 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2707639983367 at col=995 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -131438834140 at col=996 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=997 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2418778748 at col=998 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143873531 at col=999 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143873531 at col=1002 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143873531 at col=1005 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143873531 at col=1006 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2623308792 at col=1021 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -10520564739 at col=1022 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143873531 at col=1023 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143873531 at col=1026 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2733927750195 at col=1028 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -10357385097823 at col=1029 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -10383672864651 at col=1030 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2707639983367 at col=1031 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2707639983367 at col=1032 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -10383672864651 at col=1033 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -10383672864651 at col=1034 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2707639983367 at col=1035 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -144582717554 at col=1036 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2418778748 at col=1037 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=1038 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -144582717554 at col=1039 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2416323136 at col=1040 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=1041 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -157726600968 at col=1042 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2413867524 at col=1043 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=1044 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -170870484382 at col=1045 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=1046 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2408956300 at col=1047 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143873531 at col=1048 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2623318675 at col=1061 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -9208910343 at col=1063 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -6571941707 at col=1064 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -6571941707 at col=1065 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2733927750195 at col=1067 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -6571941707 at col=1068 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -10350813156116 at col=1069 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -7807469231799 at col=1070 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -5283843616219 at col=1071 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -1261812807790 at col=1072 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -6545656424009 at col=1073 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -5283843616219 at col=1074 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -1261812807790 at col=1075 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -10383672864651 at col=1076 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -1445827175577 at col=1077 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -630906403894 at col=1078 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2175673160 at col=1079 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -814920771683 at col=1080 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -315453201946 at col=1081 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2293542536 at col=1082 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -499467569737 at col=1083 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -157726600972 at col=1084 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2352477224 at col=1085 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -341740968765 at col=1086 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -78863300485 at col=1087 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2381944568 at col=1088 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -262877668280 at col=1089 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -39431650242 at col=1090 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2396678240 at col=1091 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -223446018038 at col=1092 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=1093 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -197158251210 at col=1094 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2404045076 at col=1095 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=1096 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143873531 at col=1098 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2328690876 at col=1106 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2497886588 at col=1109 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2582329260 at col=1112 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -3934973071 at col=1114 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2623308792 at col=1115 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -6571941707 at col=1116 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -6571941707 at col=1118 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -6571941707 at col=1119 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2523628099196 at col=1120 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -6571941707 at col=1121 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=1122 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -10547968923701 at col=1123 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2740499691902 at col=1124 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -7807469231799 at col=1125 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2543343924317 at col=1126 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -6545656424009 at col=1153 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -6571941707 at col=1155 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -1261812807790 at col=1156 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -630906403896 at col=1157 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -315453201948 at col=1158 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -157726600974 at col=1159 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -78863300487 at col=1160 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -39431650243 at col=1161 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -26287766828 at col=1162 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=1163 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2284296632 at col=1164 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2284296632 at col=1165 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2445790480 at col=1171 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2445790016 at col=1172 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2445790480 at col=1173 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2445790480 at col=1174 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2445790480 at col=1175 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2445790480 at col=1176 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2210051728 at col=1177 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2210051728 at col=1178 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2445790480 at col=1179 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -630906403896 at col=1180 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -1261812807788 at col=1181 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -315453201948 at col=1182 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -630906403892 at col=1183 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -157726600974 at col=1184 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -315453201944 at col=1185 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -78863300487 at col=1186 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -157726600970 at col=1187 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -39431650243 at col=1188 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -78863300483 at col=1189 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -26287766828 at col=1190 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -26287766828 at col=1191 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883414 at col=1192 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2445790016 at col=1205 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -2445790480 at col=1206 row=763 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883412 at col=1208 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883386 at col=1209 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143873574 at col=1210 row=827 overflows int; skipping row.
[2026-05-25 08:17:19] [WARNING] KERS value -13143883386 at col=1211 row=827 overflows int; skipping row.
[2026-05-25 08:17:47] [INFO ] Implicit Places using invariants in 44592 ms returned []
[2026-05-25 08:17:47] [INFO ] Invariant cache hit.
[2026-05-25 08:18:29] [INFO ] Performed 484/3089 implicitness test of which 0 returned IMPLICIT in 30 seconds.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution CTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ 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 CTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Echo-PT-d02r19"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5973"
echo " Executing tool itstools"
echo " Input is Echo-PT-d02r19, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r114-smll-177955740400161"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Echo-PT-d02r19.tgz
mv Echo-PT-d02r19 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;