About the Execution of ITS-Tools for FamilyReunion-PT-L00200M0020C010P010G005
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 0.000 | 2189882.00 | 0.00 | 0.00 | T?FFT?TFF?FFTTTF | normal |
Execution Chart
Sorry, for this execution, no execution chart could be reported.
Trace from the execution
Formatting '/data/fkordon/mcc2025-input.r086-smll-174860102100230.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 FamilyReunion-PT-L00200M0020C010P010G005, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r086-smll-174860102100230
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 120M
-rw-r--r-- 1 mcc users 682K May 29 14:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 3.6M May 29 14:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.6M May 29 14:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 13M 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 7.0K May 29 14:32 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 936K May 29 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 3.8M May 29 14:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.4M May 29 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 3.8M May 29 14:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 1.5M May 29 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 7.9M May 29 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.4M May 29 14:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15M May 29 14:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 103K May 29 14:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 298K May 29 14:47 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 29 14:32 equiv_col
-rw-r--r-- 1 mcc users 24 May 29 14:32 instance
-rw-r--r-- 1 mcc users 6 May 29 14:32 iscolored
-rw-r--r-- 1 mcc users 62M 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 FamilyReunion-PT-L00200M0020C010P010G005-ReachabilityCardinality-2025-00
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-ReachabilityCardinality-2025-01
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-ReachabilityCardinality-2025-02
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-ReachabilityCardinality-2025-03
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-ReachabilityCardinality-2025-04
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-ReachabilityCardinality-2025-05
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-ReachabilityCardinality-2025-06
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-ReachabilityCardinality-2025-07
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-ReachabilityCardinality-2025-08
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-ReachabilityCardinality-2025-09
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-ReachabilityCardinality-2025-10
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-ReachabilityCardinality-2025-11
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-ReachabilityCardinality-2025-12
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-ReachabilityCardinality-2025-13
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-ReachabilityCardinality-2025-14
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-ReachabilityCardinality-2025-15
=== Now, execution of the tool begins
BK_START 1748834342995
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=ReachabilityCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=FamilyReunion-PT-L00200M0020C010P010G005
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
ReachabilityCardinality PT
Running Version 202505121319
[2025-06-02 03:19:05] [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-02 03:19:05] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-06-02 03:19:08] [INFO ] Load time of PNML (sax parser for PT used): 3136 ms
[2025-06-02 03:19:09] [INFO ] Transformed 143908 places.
[2025-06-02 03:19:09] [INFO ] Transformed 134279 transitions.
[2025-06-02 03:19:09] [INFO ] Parsed PT model containing 143908 places and 134279 transitions and 411469 arcs in 3826 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityCardinality.xml in 324 ms.
Working with output stream class java.io.PrintStream
Reduce places removed 56 places and 0 transitions.
FORMULA FamilyReunion-PT-L00200M0020C010P010G005-ReachabilityCardinality-2025-03 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2025-06-02 03:19:22] [INFO ] Flatten gal took : 6897 ms
RANDOM walk for 40000 steps (8 resets) in 37138 ms. (1 steps per ms) remains 10/15 properties
FORMULA FamilyReunion-PT-L00200M0020C010P010G005-ReachabilityCardinality-2025-13 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA FamilyReunion-PT-L00200M0020C010P010G005-ReachabilityCardinality-2025-07 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA FamilyReunion-PT-L00200M0020C010P010G005-ReachabilityCardinality-2025-06 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA FamilyReunion-PT-L00200M0020C010P010G005-ReachabilityCardinality-2025-04 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA FamilyReunion-PT-L00200M0020C010P010G005-ReachabilityCardinality-2025-00 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
BEST_FIRST walk for 40003 steps (8 resets) in 3773 ms. (10 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 16572 ms. (2 steps per ms) remains 10/10 properties
[2025-06-02 03:19:28] [INFO ] Flatten gal took : 6457 ms
[2025-06-02 03:19:32] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality3241654421291176202.gal : 1128 ms
[2025-06-02 03:19:32] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality13500281762620949585.prop : 86 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/ReachabilityCardinality3241654421291176202.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality13500281762620949585.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
BEST_FIRST walk for 14613 steps (3 resets) in 20315 ms. (0 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 360 ms. (110 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 736 ms. (54 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 484 ms. (82 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 529 ms. (75 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 332 ms. (120 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 320 ms. (124 steps per ms) remains 10/10 properties
// Phase 1: matrix 134279 rows 143852 cols
[2025-06-02 03:21:34] [WARNING] Invariant computation timed out after 120 seconds.
Excessive predecessor constraint size, skipping predecessor.
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
SMT process timed out in 127296ms, After SMT, problems are : Problem set: 0 solved, 10 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 46880 out of 143852 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 143852/143852 places, 134279/134279 transitions.
Graph (complete) has 236398 edges and 143852 vertex of which 143580 are kept as prefixes of interest. Removing 272 places using SCC suffix rule.259 ms
Discarding 272 places :
Also discarding 0 output transitions
Discarding 21100 places :
Implicit places reduction removed 21100 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 8435 transitions
Trivial Post-agglo rules discarded 8435 transitions
Performed 8435 trivial Post agglomeration. Transition count delta: 8435
Iterating post reduction 0 with 29535 rules applied. Total rules applied 29536 place count 122480 transition count 125844
Reduce places removed 8435 places and 0 transitions.
Performed 4839 Post agglomeration using F-continuation condition.
Performed 10181 Post agglomeration using F-continuation condition.
Performed 15167 Post agglomeration using F-continuation condition.
Performed 19079 Post agglomeration using F-continuation condition.Transition count delta: 19079
Iterating post reduction 1 with 27514 rules applied. Total rules applied 57050 place count 114045 transition count 106765
Reduce places removed 19079 places and 0 transitions.
Iterating post reduction 2 with 19079 rules applied. Total rules applied 76129 place count 94966 transition count 106765
Performed 602 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 602 Pre rules applied. Total rules applied 76129 place count 94966 transition count 106163
Deduced a syphon composed of 602 places in 263 ms
Reduce places removed 602 places and 0 transitions.
Iterating global reduction 3 with 1204 rules applied. Total rules applied 77333 place count 94364 transition count 106163
[2025-06-02 03:24:12] [INFO ] Computed 30578 invariants in 278411 ms
Discarding 1005 places :
Symmetric choice reduction at 3 with 1005 rule applications. Total rules 78338 place count 93359 transition count 104153
Iterating global reduction 3 with 1005 rules applied. Total rules applied 79343 place count 93359 transition count 104153
Discarding 5 places :
Symmetric choice reduction at 3 with 5 rule applications. Total rules 79348 place count 93354 transition count 103148
Iterating global reduction 3 with 5 rules applied. Total rules applied 79353 place count 93354 transition count 103148
Performed 662 Post agglomeration using F-continuation condition.Transition count delta: 662
Deduced a syphon composed of 662 places in 855 ms
Reduce places removed 662 places and 0 transitions.
Iterating global reduction 3 with 1324 rules applied. Total rules applied 80677 place count 92692 transition count 102486
Free-agglomeration rule applied 20 times.
Iterating global reduction 3 with 20 rules applied. Total rules applied 80697 place count 92692 transition count 102466
Reduce places removed 20 places and 0 transitions.
Iterating post reduction 3 with 20 rules applied. Total rules applied 80717 place count 92672 transition count 102466
Free-agglomeration rule (complex) applied 603 times.
Iterating global reduction 4 with 603 rules applied. Total rules applied 81320 place count 92672 transition count 101863
Ensure Unique test removed 201 places
Reduce places removed 804 places and 0 transitions.
Iterating post reduction 4 with 804 rules applied. Total rules applied 82124 place count 91868 transition count 101863
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 5 with 1 rules applied. Total rules applied 82125 place count 91867 transition count 101862
Applied a total of 82125 rules in 171718 ms. Remains 91867 /143852 variables (removed 51985) and now considering 101862/134279 (removed 32417) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 171753 ms. Remains : 91867/143852 places, 101862/134279 transitions.
RANDOM walk for 40000 steps (8 resets) in 11313 ms. (3 steps per ms) remains 7/10 properties
FORMULA FamilyReunion-PT-L00200M0020C010P010G005-ReachabilityCardinality-2025-15 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA FamilyReunion-PT-L00200M0020C010P010G005-ReachabilityCardinality-2025-08 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA FamilyReunion-PT-L00200M0020C010P010G005-ReachabilityCardinality-2025-02 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
BEST_FIRST walk for 40004 steps (8 resets) in 3825 ms. (10 steps per ms) remains 7/7 properties
BEST_FIRST walk for 16004 steps (0 resets) in 21451 ms. (0 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40004 steps (8 resets) in 296 ms. (134 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40004 steps (8 resets) in 273 ms. (146 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40004 steps (8 resets) in 276 ms. (144 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40004 steps (8 resets) in 356 ms. (112 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40004 steps (8 resets) in 529 ms. (75 steps per ms) remains 7/7 properties
// Phase 1: matrix 101862 rows 91867 cols
[2025-06-02 03:25:26] [INFO ] Computed 9055 invariants in 42268 ms
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/35626 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 7 unsolved
Problem FamilyReunion-PT-L00200M0020C010P010G005-ReachabilityCardinality-2025-11 is UNSAT
FORMULA FamilyReunion-PT-L00200M0020C010P010G005-ReachabilityCardinality-2025-11 FALSE TECHNIQUES SMT_REFINEMENT
At refinement iteration 1 (OVERLAPS) 40628/76254 variables, 400/400 constraints. Problems are: Problem set: 1 solved, 6 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/76254 variables, 5379/5779 constraints. Problems are: Problem set: 1 solved, 6 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 76254/193729 variables, and 5779 constraints, problems are : Problem set: 1 solved, 6 unsolved in 45033 ms.
Refiners :[Positive P Invariants (semi-flows): 400/400 constraints, Generalized P Invariants (flows): 5379/8655 constraints, State Equation: 0/91867 constraints, PredecessorRefiner: 7/5 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 1 solved, 6 unsolved
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 35622/193729 variables, and 0 constraints, problems are : Problem set: 1 solved, 6 unsolved in 48662 ms.
Refiners :[Positive P Invariants (semi-flows): 0/400 constraints, Generalized P Invariants (flows): 0/8655 constraints, State Equation: 0/91867 constraints, PredecessorRefiner: 2/5 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 136717ms problems are : Problem set: 1 solved, 6 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 35622 out of 91867 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 91867/91867 places, 101862/101862 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 4218 transitions
Trivial Post-agglo rules discarded 4218 transitions
Performed 4218 trivial Post agglomeration. Transition count delta: 4218
Iterating post reduction 0 with 4218 rules applied. Total rules applied 4218 place count 91867 transition count 97644
Reduce places removed 4218 places and 0 transitions.
Performed 4220 Post agglomeration using F-continuation condition.Transition count delta: 4220
Iterating post reduction 1 with 8438 rules applied. Total rules applied 12656 place count 87649 transition count 93424
Reduce places removed 4220 places and 0 transitions.
Iterating post reduction 2 with 4220 rules applied. Total rules applied 16876 place count 83429 transition count 93424
Loading property file /tmp/ReachabilityCardinality13500281762620949585.prop.
Performed 2210 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 2210 Pre rules applied. Total rules applied 16876 place count 83429 transition count 91214
Deduced a syphon composed of 2210 places in 99 ms
Ensure Unique test removed 1 places
Reduce places removed 2211 places and 0 transitions.
Iterating global reduction 3 with 4421 rules applied. Total rules applied 21297 place count 81218 transition count 91214
Discarding 2208 places :
Implicit places reduction removed 2208 places
Iterating post reduction 3 with 2208 rules applied. Total rules applied 23505 place count 79010 transition count 91214
Performed 202 Post agglomeration using F-continuation condition.Transition count delta: 202
Deduced a syphon composed of 202 places in 162 ms
Reduce places removed 202 places and 0 transitions.
Iterating global reduction 4 with 404 rules applied. Total rules applied 23909 place count 78808 transition count 91012
Free-agglomeration rule (complex) applied 6633 times.
Iterating global reduction 4 with 6633 rules applied. Total rules applied 30542 place count 78808 transition count 84379
Ensure Unique test removed 201 places
Reduce places removed 6834 places and 0 transitions.
Iterating post reduction 4 with 6834 rules applied. Total rules applied 37376 place count 71974 transition count 84379
Discarding 20 places :
Symmetric choice reduction at 5 with 20 rule applications. Total rules 37396 place count 71954 transition count 80359
Iterating global reduction 5 with 20 rules applied. Total rules applied 37416 place count 71954 transition count 80359
Applied a total of 37416 rules in 90773 ms. Remains 71954 /91867 variables (removed 19913) and now considering 80359/101862 (removed 21503) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 90773 ms. Remains : 71954/91867 places, 80359/101862 transitions.
RANDOM walk for 40000 steps (8 resets) in 9713 ms. (4 steps per ms) remains 5/6 properties
FORMULA FamilyReunion-PT-L00200M0020C010P010G005-ReachabilityCardinality-2025-14 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
BEST_FIRST walk for 40004 steps (8 resets) in 3375 ms. (11 steps per ms) remains 5/5 properties
BEST_FIRST walk for 16004 steps (0 resets) in 21388 ms. (0 steps per ms) remains 5/5 properties
BEST_FIRST walk for 40004 steps (8 resets) in 318 ms. (125 steps per ms) remains 5/5 properties
BEST_FIRST walk for 40004 steps (8 resets) in 298 ms. (133 steps per ms) remains 5/5 properties
BEST_FIRST walk for 40004 steps (8 resets) in 368 ms. (108 steps per ms) remains 5/5 properties
// Phase 1: matrix 80359 rows 71954 cols
[2025-06-02 03:29:13] [INFO ] Computed 6645 invariants in 32563 ms
Starting Z3 with timeout 75.0 s and query timeout 7500.0 ms
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/35621 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 1 (OVERLAPS) 30839/66460 variables, 398/398 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/66460 variables, 5347/5745 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/66460 variables, 0/5745 constraints. Problems are: Problem set: 0 solved, 5 unsolved
Problem FamilyReunion-PT-L00200M0020C010P010G005-ReachabilityCardinality-2025-10 is UNSAT
FORMULA FamilyReunion-PT-L00200M0020C010P010G005-ReachabilityCardinality-2025-10 FALSE TECHNIQUES SMT_REFINEMENT
At refinement iteration 4 (OVERLAPS) 5491/71951 variables, 897/6642 constraints. Problems are: Problem set: 1 solved, 4 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 71951/152313 variables, and 6642 constraints, problems are : Problem set: 1 solved, 4 unsolved in 75101 ms.
Refiners :[Positive P Invariants (semi-flows): 398/398 constraints, Generalized P Invariants (flows): 6244/6247 constraints, State Equation: 0/71954 constraints, PredecessorRefiner: 5/3 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 1 solved, 4 unsolved
Starting Z3 with timeout 75.0 s and query timeout 7500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/35620 variables, 0/0 constraints. Problems are: Problem set: 1 solved, 4 unsolved
At refinement iteration 1 (OVERLAPS) 30839/66459 variables, 398/398 constraints. Problems are: Problem set: 1 solved, 4 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/66459 variables, 5347/5745 constraints. Problems are: Problem set: 1 solved, 4 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
SMT process timed out in 306380ms, After SMT, problems are : Problem set: 1 solved, 4 unsolved
Fused 4 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 35620 out of 71954 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 71954/71954 places, 80359/80359 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 71954 transition count 80358
Reduce places removed 1 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 2 rules applied. Total rules applied 3 place count 71953 transition count 80357
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 4 place count 71952 transition count 80357
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 1 Pre rules applied. Total rules applied 4 place count 71952 transition count 80356
Deduced a syphon composed of 1 places in 92 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 6 place count 71951 transition count 80356
Discarding 1 places :
Implicit places reduction removed 1 places
Iterating post reduction 3 with 1 rules applied. Total rules applied 7 place count 71950 transition count 80356
Applied a total of 7 rules in 2342 ms. Remains 71950 /71954 variables (removed 4) and now considering 80356/80359 (removed 3) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2343 ms. Remains : 71950/71954 places, 80356/80359 transitions.
RANDOM walk for 40000 steps (8 resets) in 8190 ms. (4 steps per ms) remains 4/4 properties
BEST_FIRST walk for 40004 steps (8 resets) in 3144 ms. (12 steps per ms) remains 4/4 properties
BEST_FIRST walk for 16225 steps (0 resets) in 20994 ms. (0 steps per ms) remains 4/4 properties
BEST_FIRST walk for 40004 steps (8 resets) in 281 ms. (141 steps per ms) remains 4/4 properties
BEST_FIRST walk for 40004 steps (8 resets) in 344 ms. (115 steps per ms) remains 4/4 properties
Probabilistic random walk after 233137 steps, saw 233070 distinct states, run finished after 24065 ms. (steps per millisecond=9 ) properties seen :0
// Phase 1: matrix 80356 rows 71950 cols
[2025-06-02 03:34:43] [INFO ] Computed 6644 invariants in 21272 ms
Starting Z3 with timeout 90.0 s and query timeout 9000.0 ms
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/35620 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 1 (OVERLAPS) 30835/66455 variables, 398/398 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/66455 variables, 5345/5743 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/66455 variables, 0/5743 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 4 (OVERLAPS) 5492/71947 variables, 898/6641 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/71947 variables, 0/6641 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 6 (OVERLAPS) 3/71950 variables, 3/6644 constraints. Problems are: Problem set: 0 solved, 4 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 71950/152306 variables, and 6644 constraints, problems are : Problem set: 0 solved, 4 unsolved in 90165 ms.
Refiners :[Positive P Invariants (semi-flows): 398/398 constraints, Generalized P Invariants (flows): 6246/6246 constraints, State Equation: 0/71950 constraints, PredecessorRefiner: 4/2 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 4 unsolved
Starting Z3 with timeout 90.0 s and query timeout 9000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/35620 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 1 (OVERLAPS) 30835/66455 variables, 398/398 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/66455 variables, 5345/5743 constraints. Problems are: Problem set: 0 solved, 4 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
SMT process timed out in 310652ms, After SMT, problems are : Problem set: 0 solved, 4 unsolved
Fused 4 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 35620 out of 71950 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 71950/71950 places, 80356/80356 transitions.
Applied a total of 0 rules in 920 ms. Remains 71950 /71950 variables (removed 0) and now considering 80356/80356 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 920 ms. Remains : 71950/71950 places, 80356/80356 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 71950/71950 places, 80356/80356 transitions.
Applied a total of 0 rules in 935 ms. Remains 71950 /71950 variables (removed 0) and now considering 80356/80356 (removed 0) transitions.
[2025-06-02 03:39:35] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-02 03:41:08] [INFO ] Performed 3611/71950 implicitness test of which 202 returned IMPLICIT in 30 seconds.
[2025-06-02 03:41:38] [INFO ] Performed 16683/71950 implicitness test of which 404 returned IMPLICIT in 60 seconds.
[2025-06-02 03:42:08] [INFO ] Performed 38818/71950 implicitness test of which 405 returned IMPLICIT in 90 seconds.
[2025-06-02 03:42:15] [INFO ] Implicit Places using invariants in 160075 ms returned [1206, 1213, 1391, 1411, 1412, 1413, 1414, 1415, 1416, 1417, 1418, 1419, 1420, 1421, 1422, 1423, 1424, 1425, 1427, 1428, 1429, 1430, 1431, 1432, 1433, 1434, 1435, 1436, 1437, 1438, 1439, 1440, 1441, 1442, 1443, 1444, 1445, 1446, 1447, 1448, 1449, 1450, 1451, 1452, 1453, 1454, 1455, 1456, 1457, 1458, 1459, 1460, 1461, 1462, 1463, 1464, 1465, 1466, 1467, 1468, 1469, 1470, 1471, 1472, 1473, 1474, 1475, 1476, 1477, 1478, 1479, 1480, 1481, 1482, 1483, 1484, 1485, 1486, 1487, 1488, 1489, 1490, 1491, 1492, 1493, 1494, 1495, 1496, 1497, 1498, 1499, 1500, 1501, 1502, 1503, 1504, 1505, 1506, 1507, 1508, 1509, 1510, 1511, 1512, 1513, 1514, 1515, 1516, 1517, 1518, 1519, 1520, 1521, 1522, 1523, 1524, 1525, 1526, 1527, 1528, 1529, 1530, 1531, 1532, 1533, 1534, 1535, 1536, 1537, 1538, 1539, 1540, 1541, 1542, 1543, 1544, 1545, 1546, 1547, 1548, 1549, 1550, 1551, 1552, 1553, 1554, 1555, 1556, 1557, 1558, 1559, 1560, 1561, 1562, 1563, 1564, 1565, 1566, 1567, 1568, 1569, 1570, 1571, 1572, 1573, 1574, 1575, 1576, 1577, 1578, 1579, 1580, 1581, 1582, 1583, 1584, 1585, 1586, 1587, 1588, 1589, 1590, 1591, 1592, 1593, 1594, 1595, 1596, 1597, 1598, 1599, 1600, 1601, 1602, 1603, 1604, 1605, 1606, 1607, 1608, 1609, 1610, 14656, 14664, 14665, 14666, 14667, 14668, 14669, 14670, 14671, 14672, 14673, 14674, 14675, 14676, 14677, 14678, 14679, 14680, 14681, 14682, 14683, 14684, 14685, 14686, 14687, 14688, 14689, 14690, 14691, 14692, 14693, 14694, 14695, 14696, 14697, 14698, 14699, 14700, 14701, 14702, 14703, 14704, 14705, 14706, 14707, 14708, 14709, 14710, 14711, 14712, 14713, 14714, 14715, 14716, 14717, 14718, 14719, 14720, 14721, 14722, 14723, 14724, 14725, 14726, 14727, 14728, 14729, 14730, 14731, 14732, 14733, 14734, 14735, 14736, 14737, 14738, 14739, 14740, 14741, 14742, 14743, 14744, 14745, 14746, 14747, 14748, 14749, 14750, 14751, 14752, 14753, 14754, 14755, 14756, 14757, 14758, 14759, 14760, 14761, 14762, 14763, 14764, 14765, 14766, 14767, 14768, 14769, 14770, 14771, 14772, 14773, 14774, 14775, 14776, 14777, 14778, 14779, 14780, 14781, 14782, 14783, 14784, 14785, 14786, 14787, 14788, 14789, 14790, 14791, 14792, 14793, 14794, 14795, 14796, 14797, 14798, 14799, 14800, 14801, 14802, 14803, 14804, 14805, 14806, 14807, 14808, 14809, 14810, 14811, 14812, 14813, 14814, 14815, 14816, 14817, 14818, 14819, 14820, 14821, 14822, 14823, 14824, 14825, 14826, 14827, 14828, 14829, 14830, 14831, 14832, 14833, 14834, 14835, 14836, 14837, 14838, 14839, 14840, 14841, 14842, 14843, 14844, 14845, 14846, 14847, 14848, 14849, 14850, 14851, 14852, 14853, 14854, 14855, 14856, 14857, 14858, 14859, 14860, 14861, 14862, 14863, 14864, 35179]
[2025-06-02 03:42:15] [INFO ] Actually due to overlaps returned [35179, 14656, 1206, 1213, 1391, 1411, 1412, 1413, 1414, 1415, 1416, 1417, 1418, 1419, 1420, 1421, 1422, 1423, 1424, 1425, 1427, 1428, 1429, 1430, 1431, 1432, 1433, 1434, 1435, 1436, 1437, 1438, 1439, 1440, 1441, 1442, 1443, 1444, 1445, 1446, 1447, 1448, 1449, 1450, 1451, 1452, 1453, 1454, 1455, 1456, 1457, 1458, 1459, 1460, 1461, 1462, 1463, 1464, 1465, 1466, 1467, 1468, 1469, 1470, 1471, 1472, 1473, 1474, 1475, 1476, 1477, 1478, 1479, 1480, 1481, 1482, 1483, 1484, 1485, 1486, 1487, 1488, 1489, 1490, 1491, 1492, 1493, 1494, 1495, 1496, 1497, 1498, 1499, 1500, 1501, 1502, 1503, 1504, 1505, 1506, 1507, 1508, 1509, 1510, 1511, 1512, 1513, 1514, 1515, 1516, 1517, 1518, 1519, 1520, 1521, 1522, 1523, 1524, 1525, 1526, 1527, 1528, 1529, 1530, 1531, 1532, 1533, 1534, 1535, 1536, 1537, 1538, 1539, 1540, 1541, 1542, 1543, 1544, 1545, 1546, 1547, 1548, 1549, 1550, 1551, 1552, 1553, 1554, 1555, 1556, 1557, 1558, 1559, 1560, 1561, 1562, 1563, 1564, 1565, 1566, 1567, 1568, 1569, 1570, 1571, 1572, 1573, 1574, 1575, 1576, 1577, 1578, 1579, 1580, 1581, 1582, 1583, 1584, 1585, 1586, 1587, 1588, 1589, 1590, 1591, 1592, 1593, 1594, 1595, 1596, 1597, 1598, 1599, 1600, 1601, 1602, 1603, 1604, 1605, 1606, 1607, 1608, 1609, 1610]
Discarding 204 places :
Implicit Place search using SMT only with invariants took 160263 ms to find 204 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 71746/71950 places, 80356/80356 transitions.
Free-agglomeration rule applied 63 times.
Iterating global reduction 0 with 63 rules applied. Total rules applied 63 place count 71746 transition count 80293
Reduce places removed 63 places and 0 transitions.
Iterating post reduction 0 with 63 rules applied. Total rules applied 126 place count 71683 transition count 80293
Applied a total of 126 rules in 2127 ms. Remains 71683 /71746 variables (removed 63) and now considering 80293/80356 (removed 63) transitions.
// Phase 1: matrix 80293 rows 71683 cols
[2025-06-02 03:42:35] [INFO ] Computed 6440 invariants in 18109 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-02 03:43:57] [INFO ] Performed 1350/71683 implicitness test of which 145 returned IMPLICIT in 30 seconds.
[2025-06-02 03:44:27] [INFO ] Performed 3534/71683 implicitness test of which 198 returned IMPLICIT in 60 seconds.
[2025-06-02 03:44:57] [INFO ] Performed 16197/71683 implicitness test of which 399 returned IMPLICIT in 90 seconds.
[2025-06-02 03:45:15] [INFO ] Implicit Places using invariants in 178169 ms returned [1206, 1207, 1208, 1209, 1210, 1211, 1212, 1213, 1214, 1215, 1216, 1217, 1218, 1219, 1220, 1221, 1222, 1223, 1224, 1225, 1226, 1227, 1228, 1229, 1230, 1231, 1232, 1233, 1234, 1235, 1236, 1237, 1238, 1239, 1240, 1241, 1242, 1243, 1244, 1245, 1246, 1247, 1248, 1249, 1250, 1251, 1252, 1253, 1254, 1255, 1256, 1257, 1258, 1259, 1260, 1261, 1262, 1263, 1264, 1265, 1266, 1267, 1268, 1269, 1270, 1271, 1272, 1273, 1274, 1275, 1276, 1277, 1278, 1279, 1280, 1281, 1282, 1283, 1284, 1285, 1286, 1287, 1288, 1289, 1290, 1291, 1292, 1293, 1294, 1295, 1296, 1297, 1298, 1299, 1300, 1301, 1302, 1303, 1304, 1305, 1306, 1307, 1308, 1309, 1310, 1311, 1312, 1313, 1314, 1315, 1316, 1317, 1318, 1319, 1320, 1321, 1322, 1323, 1324, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1332, 1333, 1334, 1335, 1336, 1337, 1338, 1339, 1340, 1341, 1342, 1343, 1344, 1345, 1346, 1347, 1348, 1349, 1350, 1351, 1352, 1353, 1354, 1355, 1356, 1357, 1358, 1359, 1360, 1361, 1362, 1363, 1364, 1365, 1366, 1367, 1368, 1369, 1370, 1371, 1372, 1373, 1374, 1375, 1376, 1377, 1378, 1379, 1380, 1381, 1382, 1383, 1384, 1385, 1386, 1387, 1388, 1389, 1390, 1391, 1392, 1393, 1394, 1395, 1396, 1397, 1398, 1399, 1400, 1401, 1402, 1403, 14398, 14399, 14400, 14401, 14402, 14403, 14404, 14405, 14406, 14407, 14408, 14409, 14410, 14411, 14412, 14413, 14414, 14415, 14416, 14417, 14418, 14419, 14420, 14421, 14422, 14423, 14424, 14425, 14426, 14427, 14428, 14429, 14430, 14431, 14432, 14433, 14434, 14435, 14436, 14437, 14438, 14439, 14440, 14441, 14442, 14443, 14444, 14445, 14446, 14447, 14448, 14449, 14450, 14451, 14452, 14453, 14454, 14455, 14456, 14457, 14458, 14459, 14460, 14461, 14462, 14463, 14464, 14465, 14466, 14467, 14468, 14469, 14470, 14471, 14472, 14473, 14474, 14475, 14476, 14477, 14478, 14479, 14480, 14481, 14482, 14483, 14484, 14485, 14486, 14487, 14488, 14489, 14490, 14491, 14492, 14493, 14494, 14495, 14496, 14497, 14498, 14499, 14500, 14501, 14502, 14503, 14504, 14505, 14506, 14507, 14508, 14509, 14510, 14511, 14512, 14513, 14514, 14515, 14516, 14517, 14518, 14519, 14520, 14521, 14522, 14523, 14524, 14525, 14526, 14527, 14528, 14529, 14530, 14531, 14532, 14533, 14534, 14535, 14536, 14537, 14538, 14539, 14540, 14541, 14542, 14543, 14544, 14545, 14546, 14547, 14548, 14549, 14550, 14551, 14552, 14553, 14554, 14555, 14556, 14557, 14558, 14559, 14560, 14561, 14562, 14563, 14564, 14565, 14566, 14567, 14568, 14569, 14570, 14571, 14572, 14573, 14574, 14575, 14576, 14577, 14578, 14579, 14580, 14581, 14582, 14583, 14584, 14585, 14586, 14587, 14588, 14589, 14590, 14591, 14592, 14593, 14594, 14595, 14596, 14597, 14598]
Discarding 399 places :
Implicit Place search using SMT only with invariants took 178441 ms to find 399 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 2 : 71284/71950 places, 80293/80356 transitions.
Free-agglomeration rule applied 4137 times.
Iterating global reduction 0 with 4137 rules applied. Total rules applied 4137 place count 71284 transition count 76156
Reduce places removed 4137 places and 0 transitions.
Iterating post reduction 0 with 4137 rules applied. Total rules applied 8274 place count 67147 transition count 76156
Applied a total of 8274 rules in 18598 ms. Remains 67147 /71284 variables (removed 4137) and now considering 76156/80293 (removed 4137) transitions.
// Phase 1: matrix 76156 rows 67147 cols
[2025-06-02 03:45:59] [INFO ] Computed 6041 invariants in 24575 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-02 03:47:14] [INFO ] Performed 33029/67147 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-02 03:47:44] [INFO ] Performed 45783/67147 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-06-02 03:48:14] [INFO ] Performed 49648/67147 implicitness test of which 5 returned IMPLICIT in 90 seconds.
[2025-06-02 03:48:39] [INFO ] Implicit Places using invariants in 184631 ms returned [49644, 49645, 49646, 49647, 49648, 49649, 49650, 49651, 49652, 49653, 49654, 49655, 49656, 49657, 49658, 49659, 49660, 49661, 49662, 49663, 49664, 49665, 49666, 49667, 49668, 49669, 49670, 49671, 49672, 49673, 49674, 49675, 49676, 49677, 49678, 49679, 49680, 49681, 49682, 49683, 49684, 49685, 49686, 49687, 49688, 49689, 49690, 49691, 49692, 49693, 49694, 49695, 49696, 49697, 49698, 49699, 49700, 49701, 49702, 49703, 49704, 49705, 49706, 49707, 49708, 49709, 49710, 49711, 49712, 49713, 49714, 49715, 49716, 49717, 49718, 49719, 49720, 49721, 49722, 49723, 49724, 49725, 49726, 49727, 49728, 49729, 49730, 49731, 49732, 49733, 49734, 49735, 49736, 49737, 49738, 49739, 49740, 49741, 49742, 49743, 49744, 49745, 49746, 49747, 49748, 49749, 49750, 49751, 49752, 49753, 49754, 49755, 49756, 49757, 49758, 49759, 49760, 49761, 49762, 49763, 49764, 49765, 49766, 49767, 49768, 49769, 49770, 49771, 49772, 49773, 49774, 49775, 49776, 49777, 49778, 49779, 49780, 49781, 49782, 49783, 49784, 49785, 49786, 49787, 49788, 49789, 49790, 49791, 49792, 49793, 49794, 49795, 49796, 49797, 49798, 49799, 49800, 49801, 49802, 49803, 49804, 49805, 49806, 49807, 49808, 49809, 49810, 49811, 49812, 49813, 49814, 49815, 49816, 49817, 49818, 49819, 49820, 49821, 49822, 49823, 49824, 49825, 49826, 49827, 49828, 49829, 49830, 49831, 49832, 49833, 49834, 49835, 49836, 49837, 49838, 49839, 49840, 49841, 49842, 49843, 49844]
Discarding 201 places :
Implicit Place search using SMT only with invariants took 184728 ms to find 201 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 3 : 66946/71950 places, 76156/80356 transitions.
Applied a total of 0 rules in 666 ms. Remains 66946 /66946 variables (removed 0) and now considering 76156/76156 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 4 iterations and 545774 ms. Remains : 66946/71950 places, 76156/80356 transitions.
RANDOM walk for 40002 steps (8 resets) in 8201 ms. (4 steps per ms) remains 3/4 properties
FORMULA FamilyReunion-PT-L00200M0020C010P010G005-ReachabilityCardinality-2025-12 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
BEST_FIRST walk for 40004 steps (8 resets) in 3191 ms. (12 steps per ms) remains 3/3 properties
BEST_FIRST walk for 16004 steps (0 resets) in 21725 ms. (0 steps per ms) remains 3/3 properties
BEST_FIRST walk for 40004 steps (8 resets) in 250 ms. (159 steps per ms) remains 3/3 properties
// Phase 1: matrix 76156 rows 66946 cols
[2025-06-02 03:49:08] [INFO ] Computed 5840 invariants in 19813 ms
Starting Z3 with timeout 105.0 s and query timeout 10500.0 ms
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/35600 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 1 (OVERLAPS) 26782/62382 variables, 401/401 constraints. Problems are: Problem set: 0 solved, 3 unsolved
Detected timeout of ITS tools.
At refinement iteration 2 (INCLUDED_ONLY) 0/62382 variables, 5200/5601 constraints. Problems are: Problem set: 0 solved, 3 unsolved
[2025-06-02 03:49:37] [INFO ] Flatten gal took : 4090 ms
[2025-06-02 03:49:37] [INFO ] Applying decomposition
[2025-06-02 03:49:41] [INFO ] Flatten gal took : 3872 ms
At refinement iteration 3 (INCLUDED_ONLY) 0/62382 variables, 0/5601 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 4 (OVERLAPS) 4564/66946 variables, 239/5840 constraints. Problems are: Problem set: 0 solved, 3 unsolved
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Stream closed")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 66946/143102 variables, and 5840 constraints, problems are : Problem set: 0 solved, 3 unsolved in 106745 ms.
Refiners :[Positive P Invariants (semi-flows): 401/401 constraints, Generalized P Invariants (flows): 5439/5439 constraints, State Equation: 0/66946 constraints, PredecessorRefiner: 3/1 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 3 unsolved
Starting Z3 with timeout 105.0 s and query timeout 10500.0 ms
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 35600/143102 variables, and 0 constraints, problems are : Problem set: 0 solved, 3 unsolved in 105592 ms.
Refiners :[Positive P Invariants (semi-flows): 0/401 constraints, Generalized P Invariants (flows): 0/5439 constraints, State Equation: 0/66946 constraints, PredecessorRefiner: 2/1 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 232652ms problems are : Problem set: 0 solved, 3 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 35600 out of 66946 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 66946/66946 places, 76156/76156 transitions.
Discarding 4 places :
Implicit places reduction removed 4 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 0 with 6 rules applied. Total rules applied 6 place count 66942 transition count 76154
Reduce places removed 2 places and 0 transitions.
Performed 11 Post agglomeration using F-continuation condition.Transition count delta: 11
Iterating post reduction 1 with 13 rules applied. Total rules applied 19 place count 66940 transition count 76143
Reduce places removed 11 places and 0 transitions.
Iterating post reduction 2 with 11 rules applied. Total rules applied 30 place count 66929 transition count 76143
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 1 Pre rules applied. Total rules applied 30 place count 66929 transition count 76142
Deduced a syphon composed of 1 places in 115 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 32 place count 66928 transition count 76142
Discarding 1 places :
Implicit places reduction removed 1 places
Iterating post reduction 3 with 1 rules applied. Total rules applied 33 place count 66927 transition count 76142
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 137 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 4 with 4 rules applied. Total rules applied 37 place count 66925 transition count 76140
Free-agglomeration rule applied 1 times.
Iterating global reduction 4 with 1 rules applied. Total rules applied 38 place count 66925 transition count 76139
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 4 with 1 rules applied. Total rules applied 39 place count 66924 transition count 76139
Applied a total of 39 rules in 32788 ms. Remains 66924 /66946 variables (removed 22) and now considering 76139/76156 (removed 17) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 32815 ms. Remains : 66924/66946 places, 76139/76156 transitions.
RANDOM walk for 40000 steps (8 resets) in 16347 ms. (2 steps per ms) remains 3/3 properties
BEST_FIRST walk for 40004 steps (8 resets) in 3442 ms. (11 steps per ms) remains 3/3 properties
BEST_FIRST walk for 16004 steps (0 resets) in 22990 ms. (0 steps per ms) remains 3/3 properties
BEST_FIRST walk for 40004 steps (8 resets) in 228 ms. (174 steps per ms) remains 3/3 properties
Probabilistic random walk after 278381 steps, saw 278278 distinct states, run finished after 33024 ms. (steps per millisecond=8 ) properties seen :0
[2025-06-02 03:54:00] [WARNING] Could not apply decomposition. Using flat GAL structure.
java.util.concurrent.TimeoutException: Subprocess running '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph1920605947993617005.txt' '-o' '/tmp/graph1920605947993617005.bin' '-w' '/tmp/graph1920605947993617005.weights' killed by timeout after 10 SECONDS
at fr.lip6.move.gal.process.Runner.waitForOrTimeout(Runner.java:76)
at fr.lip6.move.gal.process.Runner.runTool(Runner.java:47)
at fr.lip6.move.gal.process.Runner.runTool(Runner.java:27)
at fr.lip6.move.gal.louvain.GraphBuilder.convertGraphToBin(GraphBuilder.java:258)
at fr.lip6.move.gal.louvain.GraphBuilder.computeLouvain(GraphBuilder.java:189)
at fr.lip6.move.gal.louvain.GraphBuilder.computeLouvain(GraphBuilder.java:157)
at fr.lip6.move.gal.application.mcc.MccTranslator.applyOrder(MccTranslator.java:114)
at fr.lip6.move.gal.application.mcc.MccTranslator.flattenSpec(MccTranslator.java:230)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.verifyWithSDD(GlobalPropertySolver.java:719)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.lambda$2(ReachabilitySolver.java:71)
at java.base/java.lang.Thread.run(Thread.java:1583)
// Phase 1: matrix 76139 rows 66924 cols
[2025-06-02 03:54:12] [INFO ] Flatten gal took : 11464 ms
[2025-06-02 03:54:18] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality9896930356971357532.gal : 5117 ms
[2025-06-02 03:54:18] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality3050043603498070572.prop : 34 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/ReachabilityCardinality9896930356971357532.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality3050043603498070572.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
[2025-06-02 03:54:58] [INFO ] Computed 5835 invariants in 57092 ms
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
BK_STOP 1748836532877
--------------------
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//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202505121319.jar
+ 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="FamilyReunion-PT-L00200M0020C010P010G005"
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 FamilyReunion-PT-L00200M0020C010P010G005, 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 r086-smll-174860102100230"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FamilyReunion-PT-L00200M0020C010P010G005.tgz
mv FamilyReunion-PT-L00200M0020C010P010G005 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 ;