About the Execution of ITS-Tools for DoubleExponent-PT-200
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 0.000 | 3600000.00 | 0.00 | 0.00 | [undef] | Time out reached |
Execution Chart
Sorry, for this execution, no execution chart could be reported.
Trace from the execution
Formatting '/data/fkordon/mcc2025-input.r072-tall-174860067600518.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2025-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5832
Executing tool itstools
Input is DoubleExponent-PT-200, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r072-tall-174860067600518
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.0M
-rw-r--r-- 1 mcc users 8.5K May 29 14:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 90K May 29 14:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K May 29 14:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K May 29 14:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 29 14:32 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K May 29 14:32 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K May 29 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 29 14:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 29 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 29 14:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K May 29 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 147K May 29 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K May 29 14:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 100K May 29 14:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 29 14:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.1K May 29 14:47 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 29 14:32 equiv_col
-rw-r--r-- 1 mcc users 4 May 29 14:32 instance
-rw-r--r-- 1 mcc users 6 May 29 14:32 iscolored
-rw-r--r-- 1 mcc users 3.5M May 29 14:32 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
echo here is the order used to build the result vector(from xml file)
FORMULA_NAME DoubleExponent-PT-200-ReachabilityCardinality-2023-12
FORMULA_NAME DoubleExponent-PT-200-ReachabilityCardinality-2023-14
FORMULA_NAME DoubleExponent-PT-200-ReachabilityCardinality-2024-13
FORMULA_NAME DoubleExponent-PT-200-ReachabilityCardinality-2024-15
FORMULA_NAME DoubleExponent-PT-200-ReachabilityCardinality-2025-00
FORMULA_NAME DoubleExponent-PT-200-ReachabilityCardinality-2025-01
FORMULA_NAME DoubleExponent-PT-200-ReachabilityCardinality-2025-02
FORMULA_NAME DoubleExponent-PT-200-ReachabilityCardinality-2025-03
FORMULA_NAME DoubleExponent-PT-200-ReachabilityCardinality-2025-04
FORMULA_NAME DoubleExponent-PT-200-ReachabilityCardinality-2025-05
FORMULA_NAME DoubleExponent-PT-200-ReachabilityCardinality-2025-06
FORMULA_NAME DoubleExponent-PT-200-ReachabilityCardinality-2025-07
FORMULA_NAME DoubleExponent-PT-200-ReachabilityCardinality-2025-08
FORMULA_NAME DoubleExponent-PT-200-ReachabilityCardinality-2025-09
FORMULA_NAME DoubleExponent-PT-200-ReachabilityCardinality-2025-10
FORMULA_NAME DoubleExponent-PT-200-ReachabilityCardinality-2025-11
=== Now, execution of the tool begins
BK_START 1748755850938
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=ReachabilityCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DoubleExponent-PT-200
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
ReachabilityCardinality PT
Running Version 202505121319
[2025-06-01 05:30:52] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityCardinality, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2025-06-01 05:30:52] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-06-01 05:30:52] [INFO ] Load time of PNML (sax parser for PT used): 297 ms
[2025-06-01 05:30:52] [INFO ] Transformed 10604 places.
[2025-06-01 05:30:52] [INFO ] Transformed 9998 transitions.
[2025-06-01 05:30:52] [INFO ] Parsed PT model containing 10604 places and 9998 transitions and 28194 arcs in 450 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityCardinality.xml in 23 ms.
Working with output stream class java.io.PrintStream
RANDOM walk for 40000 steps (1322 resets) in 2134 ms. (18 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4001 steps (108 resets) in 127 ms. (31 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4000 steps (111 resets) in 168 ms. (23 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4000 steps (112 resets) in 105 ms. (37 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4000 steps (101 resets) in 180 ms. (22 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4000 steps (107 resets) in 90 ms. (43 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4000 steps (110 resets) in 124 ms. (32 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4000 steps (114 resets) in 115 ms. (34 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4002 steps (113 resets) in 69 ms. (57 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4000 steps (109 resets) in 68 ms. (57 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4000 steps (108 resets) in 69 ms. (57 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4001 steps (118 resets) in 61 ms. (64 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4001 steps (114 resets) in 104 ms. (38 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4001 steps (107 resets) in 144 ms. (27 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4000 steps (109 resets) in 123 ms. (32 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4001 steps (117 resets) in 97 ms. (40 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4000 steps (119 resets) in 91 ms. (43 steps per ms) remains 16/16 properties
[2025-06-01 05:30:57] [INFO ] Flatten gal took : 738 ms
[2025-06-01 05:30:57] [INFO ] Flatten gal took : 315 ms
[2025-06-01 05:30:57] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality2677436790236720353.gal : 119 ms
[2025-06-01 05:30:57] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality7724419267041302452.prop : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality2677436790236720353.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality7724419267041302452.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...328
Loading property file /tmp/ReachabilityCardinality7724419267041302452.prop.
Interrupted probabilistic random walk after 30707 steps, run timeout after 3001 ms. (steps per millisecond=10 ) properties seen :0 out of 16
Probabilistic random walk after 30707 steps, saw 15360 distinct states, run finished after 3006 ms. (steps per millisecond=10 ) properties seen :0
// Phase 1: matrix 9998 rows 10604 cols
[2025-06-01 05:31:00] [INFO ] Invariants computation overflowed in 319 ms
Excessive predecessor constraint size, skipping predecessor.
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/376 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 1 (OVERLAPS) 962/1338 variables, 376/376 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1338 variables, 0/376 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 3 (OVERLAPS) 4155/5493 variables, 1600/1976 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/5493 variables, 0/1976 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 5 (OVERLAPS) 6807/12300 variables, 3456/5432 constraints. Problems are: Problem set: 0 solved, 16 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 12300/20602 variables, and 5432 constraints, problems are : Problem set: 0 solved, 16 unsolved in 5041 ms.
Refiners :[State Equation: 5432/10604 constraints, PredecessorRefiner: 16/12 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 16 unsolved
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/376 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 1 (OVERLAPS) 962/1338 variables, 376/376 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1338 variables, 0/376 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 3 (OVERLAPS) 4155/5493 variables, 1600/1976 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/5493 variables, 12/1988 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/5493 variables, 0/1988 constraints. Problems are: Problem set: 0 solved, 16 unsolved
SMT process timed out in 10588ms, After SMT, problems are : Problem set: 0 solved, 16 unsolved
Fused 16 Parikh solutions to 14 different solutions.
Parikh walk visited 0 properties in 46 ms.
Support contains 376 out of 10604 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 10604/10604 places, 9998/9998 transitions.
Graph (complete) has 18196 edges and 10604 vertex of which 10598 are kept as prefixes of interest. Removing 6 places using SCC suffix rule.21 ms
Discarding 6 places :
Also discarding 0 output transitions
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 2035 transitions
Trivial Post-agglo rules discarded 2035 transitions
Performed 2035 trivial Post agglomeration. Transition count delta: 2035
Iterating post reduction 0 with 2038 rules applied. Total rules applied 2039 place count 10597 transition count 7961
Reduce places removed 2035 places and 0 transitions.
Performed 137 Post agglomeration using F-continuation condition.Transition count delta: 137
Iterating post reduction 1 with 2172 rules applied. Total rules applied 4211 place count 8562 transition count 7824
Reduce places removed 137 places and 0 transitions.
Iterating post reduction 2 with 137 rules applied. Total rules applied 4348 place count 8425 transition count 7824
Performed 394 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 394 Pre rules applied. Total rules applied 4348 place count 8425 transition count 7430
Deduced a syphon composed of 394 places in 727 ms
Reduce places removed 394 places and 0 transitions.
Iterating global reduction 3 with 788 rules applied. Total rules applied 5136 place count 8031 transition count 7430
Performed 1633 Post agglomeration using F-continuation condition.Transition count delta: 1633
Deduced a syphon composed of 1633 places in 356 ms
Reduce places removed 1633 places and 0 transitions.
Iterating global reduction 3 with 3266 rules applied. Total rules applied 8402 place count 6398 transition count 5797
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 101 places in 530 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 3 with 202 rules applied. Total rules applied 8604 place count 6297 transition count 5797
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 101 places in 491 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 3 with 202 rules applied. Total rules applied 8806 place count 6196 transition count 5797
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 101 places in 459 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 3 with 202 rules applied. Total rules applied 9008 place count 6095 transition count 5797
Performed 23 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 23 places in 483 ms
Reduce places removed 23 places and 0 transitions.
Iterating global reduction 3 with 46 rules applied. Total rules applied 9054 place count 6072 transition count 5797
Free-agglomeration rule applied 19 times.
Iterating global reduction 3 with 19 rules applied. Total rules applied 9073 place count 6072 transition count 5778
Reduce places removed 19 places and 0 transitions.
Iterating post reduction 3 with 19 rules applied. Total rules applied 9092 place count 6053 transition count 5778
Free-agglomeration rule (complex) applied 823 times.
Iterating global reduction 4 with 823 rules applied. Total rules applied 9915 place count 6053 transition count 4955
Reduce places removed 823 places and 0 transitions.
Iterating post reduction 4 with 823 rules applied. Total rules applied 10738 place count 5230 transition count 4955
Partial Free-agglomeration rule applied 813 times.
Drop transitions (Partial Free agglomeration) removed 813 transitions
Iterating global reduction 5 with 813 rules applied. Total rules applied 11551 place count 5230 transition count 4955
Partial Post-agglomeration rule applied 1 times.
Drop transitions (Partial Post agglomeration) removed 1 transitions
Iterating global reduction 5 with 1 rules applied. Total rules applied 11552 place count 5230 transition count 4955
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 5 with 1 rules applied. Total rules applied 11553 place count 5229 transition count 4954
Applied a total of 11553 rules in 11511 ms. Remains 5229 /10604 variables (removed 5375) and now considering 4954/9998 (removed 5044) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 11519 ms. Remains : 5229/10604 places, 4954/9998 transitions.
RANDOM walk for 40000 steps (3794 resets) in 640 ms. (62 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4002 steps (239 resets) in 59 ms. (66 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4001 steps (259 resets) in 56 ms. (70 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4002 steps (250 resets) in 45 ms. (87 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4003 steps (257 resets) in 54 ms. (72 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4000 steps (254 resets) in 58 ms. (67 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4001 steps (253 resets) in 42 ms. (93 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4001 steps (249 resets) in 43 ms. (90 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4001 steps (250 resets) in 37 ms. (105 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4002 steps (234 resets) in 43 ms. (90 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4002 steps (245 resets) in 46 ms. (85 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4001 steps (250 resets) in 34 ms. (114 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4000 steps (246 resets) in 42 ms. (93 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4000 steps (254 resets) in 51 ms. (76 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4002 steps (254 resets) in 47 ms. (83 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4001 steps (240 resets) in 54 ms. (72 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4000 steps (240 resets) in 41 ms. (95 steps per ms) remains 16/16 properties
Interrupted probabilistic random walk after 54302 steps, run timeout after 3001 ms. (steps per millisecond=18 ) properties seen :0 out of 16
Probabilistic random walk after 54302 steps, saw 27167 distinct states, run finished after 3001 ms. (steps per millisecond=18 ) properties seen :0
// Phase 1: matrix 4954 rows 5229 cols
[2025-06-01 05:31:26] [INFO ] Invariants computation overflowed in 141 ms
[2025-06-01 05:31:26] [INFO ] State equation strengthened by 709 read => feed constraints.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/376 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 1 (OVERLAPS) 1246/1622 variables, 376/376 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1622 variables, 20/396 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/1622 variables, 0/396 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 4 (OVERLAPS) 5112/6734 variables, 2231/2627 constraints. Problems are: Problem set: 0 solved, 16 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 6734/10183 variables, and 2982 constraints, problems are : Problem set: 0 solved, 16 unsolved in 45037 ms.
Refiners :[State Equation: 2607/5229 constraints, ReadFeed: 375/709 constraints, PredecessorRefiner: 16/11 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 16 unsolved
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/376 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 1 (OVERLAPS) 1246/1622 variables, 376/376 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1622 variables, 20/396 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/1622 variables, 0/396 constraints. Problems are: Problem set: 0 solved, 16 unsolved
SDD proceeding with computation,16 properties remain. new max is 4
SDD size :1 after 4
SDD proceeding with computation,16 properties remain. new max is 8
SDD size :4 after 7
SDD proceeding with computation,16 properties remain. new max is 16
SDD size :7 after 9
SDD proceeding with computation,16 properties remain. new max is 32
SDD size :9 after 11
SDD proceeding with computation,16 properties remain. new max is 64
SDD size :11 after 20
SDD proceeding with computation,16 properties remain. new max is 128
SDD size :20 after 31
SDD proceeding with computation,16 properties remain. new max is 256
SDD size :31 after 63
SDD proceeding with computation,16 properties remain. new max is 512
SDD size :63 after 115
SDD proceeding with computation,16 properties remain. new max is 1024
SDD size :115 after 310
SDD proceeding with computation,16 properties remain. new max is 2048
SDD size :310 after 2476
At refinement iteration 4 (OVERLAPS) 5112/6734 variables, 2231/2627 constraints. Problems are: Problem set: 0 solved, 16 unsolved
SDD proceeding with computation,16 properties remain. new max is 4096
SDD size :2476 after 21116
SDD proceeding with computation,16 properties remain. new max is 8192
SDD size :21116 after 188821
SDD proceeding with computation,16 properties remain. new max is 16384
SDD size :188821 after 863290
SDD proceeding with computation,16 properties remain. new max is 32768
SDD size :863290 after 2.25376e+06
SDD proceeding with computation,16 properties remain. new max is 65536
SDD size :2.25376e+06 after 1.41922e+08
SDD proceeding with computation,16 properties remain. new max is 131072
SDD size :1.41922e+08 after 9.2906e+08
SDD proceeding with computation,16 properties remain. new max is 262144
SDD size :9.2906e+08 after 3.68593e+09
SDD proceeding with computation,16 properties remain. new max is 524288
SDD size :3.68593e+09 after 1.23425e+10
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 6734/10183 variables, and 2982 constraints, problems are : Problem set: 0 solved, 16 unsolved in 45033 ms.
Refiners :[State Equation: 2607/5229 constraints, ReadFeed: 375/709 constraints, PredecessorRefiner: 5/11 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 90306ms problems are : Problem set: 0 solved, 16 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 376 out of 5229 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 5229/5229 places, 4954/4954 transitions.
Applied a total of 0 rules in 530 ms. Remains 5229 /5229 variables (removed 0) and now considering 4954/4954 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 530 ms. Remains : 5229/5229 places, 4954/4954 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 5229/5229 places, 4954/4954 transitions.
Applied a total of 0 rules in 535 ms. Remains 5229 /5229 variables (removed 0) and now considering 4954/4954 (removed 0) transitions.
// Phase 1: matrix 4954 rows 5229 cols
[2025-06-01 05:32:57] [INFO ] Invariants computation overflowed in 129 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-01 05:33:01] [INFO ] Implicit Places using invariants in 4158 ms returned []
// Phase 1: matrix 4954 rows 5229 cols
[2025-06-01 05:33:02] [INFO ] Invariants computation overflowed in 136 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-01 05:33:04] [INFO ] State equation strengthened by 709 read => feed constraints.
SDD proceeding with computation,16 properties remain. new max is 1048576
SDD size :1.23425e+10 after 5.07853e+10
SDD proceeding with computation,16 properties remain. new max is 2097152
SDD size :5.07853e+10 after 1.70449e+11
[2025-06-01 05:35:42] [INFO ] Performed 2/5229 implicitness test of which 0 returned IMPLICIT in 157 seconds.
[2025-06-01 05:35:42] [INFO ] Timeout of Implicit test with SMT after 157 seconds.
[2025-06-01 05:35:42] [INFO ] Implicit Places using invariants and state equation in 160289 ms returned []
Implicit Place search using SMT with State Equation took 164458 ms to find 0 implicit places.
Starting Z3 with timeout 200.0 s and query timeout 20000.0 ms
[2025-06-01 05:35:42] [INFO ] Redundant transitions in 384 ms returned []
Running 4953 sub problems to find dead transitions.
// Phase 1: matrix 4954 rows 5229 cols
[2025-06-01 05:35:42] [INFO ] Invariants computation overflowed in 165 ms
[2025-06-01 05:35:42] [INFO ] State equation strengthened by 709 read => feed constraints.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 5228/10183 variables, and 0 constraints, problems are : Problem set: 0 solved, 4953 unsolved in 30094 ms.
Refiners :[State Equation: 0/5229 constraints, ReadFeed: 0/709 constraints, PredecessorRefiner: 4953/4846 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 4953 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 5228/10183 variables, and 0 constraints, problems are : Problem set: 0 solved, 4953 unsolved in 30068 ms.
Refiners :[State Equation: 0/5229 constraints, ReadFeed: 0/709 constraints, PredecessorRefiner: 107/4846 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 63893ms problems are : Problem set: 0 solved, 4953 unsolved
Search for dead transitions found 0 dead transitions in 63917ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 229325 ms. Remains : 5229/5229 places, 4954/4954 transitions.
Attempting over-approximation, by ignoring read arcs.
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Iterating post reduction 0 with 33 rules applied. Total rules applied 33 place count 5229 transition count 4921
Reduce places removed 33 places and 0 transitions.
Iterating post reduction 1 with 33 rules applied. Total rules applied 66 place count 5196 transition count 4921
Performed 291 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 291 Pre rules applied. Total rules applied 66 place count 5196 transition count 4630
Deduced a syphon composed of 291 places in 320 ms
Reduce places removed 291 places and 0 transitions.
Iterating global reduction 2 with 582 rules applied. Total rules applied 648 place count 4905 transition count 4630
Free-agglomeration rule applied 17 times.
Iterating global reduction 2 with 17 rules applied. Total rules applied 665 place count 4905 transition count 4613
Reduce places removed 17 places and 0 transitions.
Iterating post reduction 2 with 17 rules applied. Total rules applied 682 place count 4888 transition count 4613
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 3 with 1 rules applied. Total rules applied 683 place count 4888 transition count 4612
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 684 place count 4887 transition count 4612
Applied a total of 684 rules in 1984 ms. Remains 4887 /5229 variables (removed 342) and now considering 4612/4954 (removed 342) transitions.
Running SMT prover for 16 properties.
// Phase 1: matrix 4612 rows 4887 cols
[2025-06-01 05:36:48] [INFO ] Invariants computation overflowed in 140 ms
Starting Z3 with timeout 450.0 s and query timeout 45000.0 ms
[2025-06-01 05:36:50] [INFO ] After 1648ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:16
Starting Z3 with timeout 450.0 s and query timeout 45000.0 ms
SDD proceeding with computation,16 properties remain. new max is 4194304
SDD size :1.70449e+11 after 3.44935e+11
[2025-06-01 05:44:20] [INFO ] After 447643ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :15
[2025-06-01 05:44:20] [INFO ] State equation strengthened by 5 read => feed constraints.
SMT process timed out, exceeded limit of 225
[2025-06-01 05:44:20] [INFO ] After 1ms SMT Verify possible using After timeout in natural domain returned unsat :0 sat :15
[2025-06-01 05:44:20] [INFO ] After 450099ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :15
Over-approximation ignoring read arcs solved 0 properties in 454551 ms.
ITS runner timed out or was interrupted.
ITS tools runner thread asked to quit. Dying gracefully.
[2025-06-01 05:44:21] [INFO ] Flatten gal took : 267 ms
[2025-06-01 05:44:21] [INFO ] Applying decomposition
[2025-06-01 05:44:22] [INFO ] Flatten gal took : 258 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph12723582545230031087.txt' '-o' '/tmp/graph12723582545230031087.bin' '-w' '/tmp/graph12723582545230031087.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph12723582545230031087.bin' '-l' '-1' '-v' '-w' '/tmp/graph12723582545230031087.weights' '-q' '0' '-e' '0.001'
[2025-06-01 05:44:23] [INFO ] Decomposing Gal with order
[2025-06-01 05:44:24] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-01 05:44:33] [INFO ] Removed a total of 2844 redundant transitions.
[2025-06-01 05:44:33] [INFO ] Flatten gal took : 600 ms
[2025-06-01 05:44:33] [INFO ] Fuse similar labels procedure discarded/fused a total of 68 labels/synchronizations in 214 ms.
[2025-06-01 05:44:34] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality11155560141438027454.gal : 106 ms
[2025-06-01 05:44:34] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality14220480381248752789.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality11155560141438027454.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality14220480381248752789.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...330
Loading property file /tmp/ReachabilityCardinality14220480381248752789.prop.
SDD proceeding with computation,16 properties remain. new max is 4
SDD size :1 after 3
SDD proceeding with computation,16 properties remain. new max is 8
SDD size :3 after 6
SDD proceeding with computation,16 properties remain. new max is 16
SDD size :6 after 9
SDD proceeding with computation,16 properties remain. new max is 32
SDD size :9 after 11
SDD proceeding with computation,16 properties remain. new max is 64
SDD size :11 after 21
SDD proceeding with computation,16 properties remain. new max is 128
SDD size :21 after 31
SDD proceeding with computation,16 properties remain. new max is 256
SDD size :31 after 74
SDD proceeding with computation,16 properties remain. new max is 512
SDD size :74 after 147
SDD proceeding with computation,16 properties remain. new max is 1024
SDD size :147 after 514
SDD proceeding with computation,16 properties remain. new max is 2048
SDD size :514 after 2645
SDD proceeding with computation,16 properties remain. new max is 4096
SDD size :2645 after 21127
SDD proceeding with computation,16 properties remain. new max is 8192
SDD size :21127 after 218464
SDD proceeding with computation,16 properties remain. new max is 16384
SDD size :218464 after 851712
SDD proceeding with computation,16 properties remain. new max is 32768
SDD size :851712 after 2.09209e+06
SDD proceeding with computation,16 properties remain. new max is 65536
SDD size :2.09209e+06 after 1.32882e+08
SDD proceeding with computation,16 properties remain. new max is 131072
SDD size :1.32882e+08 after 9.60333e+08
Detected timeout of ITS tools.
[2025-06-01 06:14:35] [INFO ] Flatten gal took : 337 ms
Using solver Z3 to compute partial order matrices.
Built C files in :
/tmp/ltsmin8106753088911935018
[2025-06-01 06:14:35] [INFO ] Too many transitions (4954) to apply POR reductions. Disabling POR matrices.
[2025-06-01 06:14:35] [INFO ] Built C files in 118ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin8106753088911935018
Running compilation step : cd /tmp/ltsmin8106753088911935018;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/limit_time.pl' '45' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
[2025-06-01 06:14:35] [INFO ] Applying decomposition
[2025-06-01 06:14:35] [INFO ] Flatten gal took : 238 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph4996516558906900251.txt' '-o' '/tmp/graph4996516558906900251.bin' '-w' '/tmp/graph4996516558906900251.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph4996516558906900251.bin' '-l' '-1' '-v' '-w' '/tmp/graph4996516558906900251.weights' '-q' '0' '-e' '0.001'
[2025-06-01 06:14:36] [INFO ] Decomposing Gal with order
[2025-06-01 06:14:36] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-01 06:14:37] [INFO ] Removed a total of 7149 redundant transitions.
[2025-06-01 06:14:37] [INFO ] Flatten gal took : 407 ms
[2025-06-01 06:14:37] [INFO ] Fuse similar labels procedure discarded/fused a total of 1188 labels/synchronizations in 307 ms.
[2025-06-01 06:14:38] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality15762989515601326276.gal : 64 ms
[2025-06-01 06:14:38] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality1469855319622962648.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality15762989515601326276.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality1469855319622962648.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...329
Loading property file /tmp/ReachabilityCardinality1469855319622962648.prop.
Compilation finished in 22359 ms.
Running link step : cd /tmp/ltsmin8106753088911935018;'gcc' '-shared' '-o' 'gal.so' 'model.o'
Link finished in 79 ms.
Running LTSmin : cd /tmp/ltsmin8106753088911935018;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT200ReachabilityCardinality202500==true'
WARNING : LTSmin timed out (>14 s) on command cd /tmp/ltsmin8106753088911935018;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT200ReachabilityCardinality202500==true'
Running LTSmin : cd /tmp/ltsmin8106753088911935018;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT200ReachabilityCardinality202501==true'
WARNING : LTSmin timed out (>14 s) on command cd /tmp/ltsmin8106753088911935018;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT200ReachabilityCardinality202501==true'
Running LTSmin : cd /tmp/ltsmin8106753088911935018;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT200ReachabilityCardinality202502==true'
SDD proceeding with computation,16 properties remain. new max is 4
SDD size :1 after 2
SDD proceeding with computation,16 properties remain. new max is 8
SDD size :2 after 8
SDD proceeding with computation,16 properties remain. new max is 16
SDD size :8 after 12
SDD proceeding with computation,16 properties remain. new max is 32
SDD size :12 after 22
SDD proceeding with computation,16 properties remain. new max is 64
SDD size :22 after 32
SDD proceeding with computation,16 properties remain. new max is 128
SDD size :32 after 58
WARNING : LTSmin timed out (>14 s) on command cd /tmp/ltsmin8106753088911935018;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT200ReachabilityCardinality202502==true'
Running LTSmin : cd /tmp/ltsmin8106753088911935018;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT200ReachabilityCardinality202503==true'
SDD proceeding with computation,16 properties remain. new max is 256
SDD size :58 after 93
SDD proceeding with computation,16 properties remain. new max is 512
SDD size :93 after 235
SDD proceeding with computation,16 properties remain. new max is 1024
SDD size :235 after 560
SDD proceeding with computation,16 properties remain. new max is 2048
SDD size :560 after 1511
SDD proceeding with computation,16 properties remain. new max is 4096
SDD size :1511 after 52305
SDD proceeding with computation,16 properties remain. new max is 8192
SDD size :52305 after 618199
WARNING : LTSmin timed out (>14 s) on command cd /tmp/ltsmin8106753088911935018;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT200ReachabilityCardinality202503==true'
Running LTSmin : cd /tmp/ltsmin8106753088911935018;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT200ReachabilityCardinality202504==true'
WARNING : LTSmin timed out (>14 s) on command cd /tmp/ltsmin8106753088911935018;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT200ReachabilityCardinality202504==true'
Running LTSmin : cd /tmp/ltsmin8106753088911935018;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT200ReachabilityCardinality202505==true'
WARNING : LTSmin timed out (>14 s) on command cd /tmp/ltsmin8106753088911935018;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT200ReachabilityCardinality202505==true'
Running LTSmin : cd /tmp/ltsmin8106753088911935018;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT200ReachabilityCardinality202506==true'
WARNING : LTSmin timed out (>14 s) on command cd /tmp/ltsmin8106753088911935018;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT200ReachabilityCardinality202506==true'
Running LTSmin : cd /tmp/ltsmin8106753088911935018;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT200ReachabilityCardinality202507==true'
SDD proceeding with computation,16 properties remain. new max is 16384
SDD size :618199 after 7.11956e+06
WARNING : LTSmin timed out (>14 s) on command cd /tmp/ltsmin8106753088911935018;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT200ReachabilityCardinality202507==true'
Running LTSmin : cd /tmp/ltsmin8106753088911935018;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT200ReachabilityCardinality202508==true'
WARNING : LTSmin timed out (>14 s) on command cd /tmp/ltsmin8106753088911935018;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT200ReachabilityCardinality202508==true'
Running LTSmin : cd /tmp/ltsmin8106753088911935018;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT200ReachabilityCardinality202509==true'
WARNING : LTSmin timed out (>14 s) on command cd /tmp/ltsmin8106753088911935018;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT200ReachabilityCardinality202509==true'
Running LTSmin : cd /tmp/ltsmin8106753088911935018;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT200ReachabilityCardinality202510==true'
WARNING : LTSmin timed out (>14 s) on command cd /tmp/ltsmin8106753088911935018;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT200ReachabilityCardinality202510==true'
Running LTSmin : cd /tmp/ltsmin8106753088911935018;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT200ReachabilityCardinality202511==true'
WARNING : LTSmin timed out (>14 s) on command cd /tmp/ltsmin8106753088911935018;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT200ReachabilityCardinality202511==true'
Running LTSmin : cd /tmp/ltsmin8106753088911935018;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT200ReachabilityCardinality202312==true'
WARNING : LTSmin timed out (>14 s) on command cd /tmp/ltsmin8106753088911935018;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT200ReachabilityCardinality202312==true'
Running LTSmin : cd /tmp/ltsmin8106753088911935018;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT200ReachabilityCardinality202413==true'
WARNING : LTSmin timed out (>14 s) on command cd /tmp/ltsmin8106753088911935018;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT200ReachabilityCardinality202413==true'
Running LTSmin : cd /tmp/ltsmin8106753088911935018;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT200ReachabilityCardinality202314==true'
WARNING : LTSmin timed out (>14 s) on command cd /tmp/ltsmin8106753088911935018;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT200ReachabilityCardinality202314==true'
Running LTSmin : cd /tmp/ltsmin8106753088911935018;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT200ReachabilityCardinality202415==true'
WARNING : LTSmin timed out (>14 s) on command cd /tmp/ltsmin8106753088911935018;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT200ReachabilityCardinality202415==true'
Retrying LTSmin with larger timeout 1800 s
Running LTSmin : cd /tmp/ltsmin8106753088911935018;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT200ReachabilityCardinality202500==true'
WARNING : LTSmin timed out (>112 s) on command cd /tmp/ltsmin8106753088911935018;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT200ReachabilityCardinality202500==true'
Running LTSmin : cd /tmp/ltsmin8106753088911935018;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT200ReachabilityCardinality202501==true'
WARNING : LTSmin timed out (>112 s) on command cd /tmp/ltsmin8106753088911935018;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT200ReachabilityCardinality202501==true'
Running LTSmin : cd /tmp/ltsmin8106753088911935018;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT200ReachabilityCardinality202502==true'
WARNING : LTSmin timed out (>112 s) on command cd /tmp/ltsmin8106753088911935018;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT200ReachabilityCardinality202502==true'
Running LTSmin : cd /tmp/ltsmin8106753088911935018;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT200ReachabilityCardinality202503==true'
WARNING : LTSmin timed out (>112 s) on command cd /tmp/ltsmin8106753088911935018;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT200ReachabilityCardinality202503==true'
Running LTSmin : cd /tmp/ltsmin8106753088911935018;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT200ReachabilityCardinality202504==true'
WARNING : LTSmin timed out (>112 s) on command cd /tmp/ltsmin8106753088911935018;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT200ReachabilityCardinality202504==true'
Running LTSmin : cd /tmp/ltsmin8106753088911935018;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT200ReachabilityCardinality202505==true'
WARNING : LTSmin timed out (>112 s) on command cd /tmp/ltsmin8106753088911935018;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT200ReachabilityCardinality202505==true'
Running LTSmin : cd /tmp/ltsmin8106753088911935018;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DoubleExponentPT200ReachabilityCardinality202506==true'
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
+ [[ ReachabilityCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution ReachabilityCardinality -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//
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202505121319.jar
++ perl -pe 's/.*\.//g'
+ VERSION=202505121319
+ echo 'Running Version 202505121319'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination ReachabilityCardinality -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="DoubleExponent-PT-200"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5832"
echo " Executing tool itstools"
echo " Input is DoubleExponent-PT-200, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r072-tall-174860067600518"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DoubleExponent-PT-200.tgz
mv DoubleExponent-PT-200 execution
cd execution
if [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "UpperBounds" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] || [ "ReachabilityCardinality" = "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 [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "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 "ReachabilityCardinality.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 [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityCardinality"
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 ;