About the Execution of 2023-gold for FamilyReunion-PT-L00200M0020C010P010G005
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16175.859 | 1272436.00 | 1530898.00 | 24689.50 | FT?T?F????T????F | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r175-smll-171636280400322.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-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-5568
Executing tool gold2023
Input is FamilyReunion-PT-L00200M0020C010P010G005, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r175-smll-171636280400322
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 130M
-rw-r--r-- 1 mcc users 1.2M Apr 12 04:02 CTLCardinality.txt
-rw-r--r-- 1 mcc users 6.7M Apr 12 04:02 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0M Apr 12 01:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 6.3M Apr 12 01:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:42 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 7.0K May 18 16:42 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 770K Apr 22 14:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 2.8M Apr 22 14:44 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.2M Apr 22 14:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 3.1M Apr 22 14:44 LTLFireability.xml
-rw-r--r-- 1 mcc users 1.8M Apr 12 11:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 9.7M Apr 12 11:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.3M Apr 12 09:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 26M Apr 12 09:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 180K Apr 22 14:44 UpperBounds.txt
-rw-r--r-- 1 mcc users 507K Apr 22 14:44 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 24 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 62M May 18 16:42 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-LTLCardinality-00
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-LTLCardinality-01
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-LTLCardinality-02
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-LTLCardinality-03
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-LTLCardinality-04
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-LTLCardinality-05
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-LTLCardinality-06
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-LTLCardinality-07
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-LTLCardinality-08
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-LTLCardinality-09
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-LTLCardinality-10
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-LTLCardinality-11
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-LTLCardinality-12
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-LTLCardinality-13
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-LTLCardinality-14
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-LTLCardinality-15
=== Now, execution of the tool begins
BK_START 1716667426173
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=gold2023
BK_EXAMINATION=LTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=FamilyReunion-PT-L00200M0020C010P010G005
Not applying reductions.
Model is PT
LTLCardinality PT
Running Version 202304061127
[2024-05-25 20:03:49] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLCardinality, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2024-05-25 20:03:49] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-25 20:03:52] [INFO ] Load time of PNML (sax parser for PT used): 3134 ms
[2024-05-25 20:03:53] [INFO ] Transformed 143908 places.
[2024-05-25 20:03:53] [INFO ] Transformed 134279 transitions.
[2024-05-25 20:03:53] [INFO ] Parsed PT model containing 143908 places and 134279 transitions and 411469 arcs in 3716 ms.
Parsed 16 properties from file /home/mcc/execution/LTLCardinality.xml in 72297 ms.
Working with output stream class java.io.PrintStream
Initial state reduction rules removed 3 formulas.
Reduce places removed 56 places and 0 transitions.
FORMULA FamilyReunion-PT-L00200M0020C010P010G005-LTLCardinality-03 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FamilyReunion-PT-L00200M0020C010P010G005-LTLCardinality-10 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FamilyReunion-PT-L00200M0020C010P010G005-LTLCardinality-15 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Support contains 39462 out of 143852 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 143852/143852 places, 134279/134279 transitions.
Reduce places removed 639 places and 0 transitions.
Discarding 21105 places :
Implicit places reduction removed 21105 places
Iterating post reduction 0 with 21744 rules applied. Total rules applied 21744 place count 122108 transition count 134279
Applied a total of 21744 rules in 12618 ms. Remains 122108 /143852 variables (removed 21744) and now considering 134279/134279 (removed 0) transitions.
// Phase 1: matrix 134279 rows 122108 cols
[2024-05-25 20:06:06] [INFO ] Computed 9063 invariants in 45308 ms
[2024-05-25 20:06:23] [INFO ] Implicit Places using invariants in 62007 ms returned []
Implicit Place search using SMT only with invariants took 62045 ms to find 0 implicit places.
[2024-05-25 20:06:23] [INFO ] Invariant cache hit.
[2024-05-25 20:06:39] [INFO ] Dead Transitions using invariants and state equation in 16781 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 122108/143852 places, 134279/134279 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 91471 ms. Remains : 122108/143852 places, 134279/134279 transitions.
Support contains 39462 out of 122108 places after structural reductions.
[2024-05-25 20:06:45] [INFO ] Flatten gal took : 4179 ms
[2024-05-25 20:06:49] [INFO ] Flatten gal took : 3523 ms
[2024-05-25 20:06:58] [INFO ] Input system was already deterministic with 134279 transitions.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 4980 ms. (steps per millisecond=2 ) properties (out of 31) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=58 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 20 ms. (steps per millisecond=50 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 23) seen :0
Running SMT prover for 23 properties.
[2024-05-25 20:07:06] [INFO ] Invariant cache hit.
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.assertInvariants(DeadlockTester.java:2343)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:621)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:342)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:226)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:96)
at fr.lip6.move.gal.application.solver.logic.AtomicReducerSR.checkAtomicPropositionsLogic(AtomicReducerSR.java:105)
at fr.lip6.move.gal.application.solver.logic.AtomicReducerSR.strongReductions(AtomicReducerSR.java:44)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.preSolveForLogic(LTLPropertySolver.java:176)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.runStructuralLTLCheck(LTLPropertySolver.java:71)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:802)
at fr.lip6.move.gal.application.Application.start(Application.java:182)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2024-05-25 20:07:31] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2024-05-25 20:07:31] [INFO ] After 25077ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 23 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 2 ms.
Support contains 7907 out of 122108 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 122108/122108 places, 134279/134279 transitions.
Graph (complete) has 185948 edges and 122108 vertex of which 119715 are kept as prefixes of interest. Removing 2393 places using SCC suffix rule.252 ms
Discarding 2393 places :
Also discarding 3386 output transitions
Drop transitions removed 3386 transitions
Drop transitions removed 14 transitions
Reduce isomorphic transitions removed 14 transitions.
Discarding 4221 places :
Implicit places reduction removed 4221 places
Drop transitions removed 57464 transitions
Trivial Post-agglo rules discarded 57464 transitions
Performed 57464 trivial Post agglomeration. Transition count delta: 57464
Iterating post reduction 0 with 61699 rules applied. Total rules applied 61700 place count 115494 transition count 73415
Reduce places removed 57464 places and 0 transitions.
Performed 7654 Post agglomeration using F-continuation condition.Transition count delta: 7654
Iterating post reduction 1 with 65118 rules applied. Total rules applied 126818 place count 58030 transition count 65761
Reduce places removed 7654 places and 0 transitions.
Iterating post reduction 2 with 7654 rules applied. Total rules applied 134472 place count 50376 transition count 65761
Performed 5426 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 5426 Pre rules applied. Total rules applied 134472 place count 50376 transition count 60335
Deduced a syphon composed of 5426 places in 74 ms
Ensure Unique test removed 2611 places
Reduce places removed 8037 places and 0 transitions.
Iterating global reduction 3 with 13463 rules applied. Total rules applied 147935 place count 42339 transition count 60335
Discarding 203 places :
Implicit places reduction removed 203 places
Drop transitions removed 2209 transitions
Trivial Post-agglo rules discarded 2209 transitions
Performed 2209 trivial Post agglomeration. Transition count delta: 2209
Iterating post reduction 3 with 2412 rules applied. Total rules applied 150347 place count 42136 transition count 58126
Reduce places removed 2209 places and 0 transitions.
Iterating post reduction 4 with 2209 rules applied. Total rules applied 152556 place count 39927 transition count 58126
Discarding 5 places :
Symmetric choice reduction at 5 with 5 rule applications. Total rules 152561 place count 39922 transition count 57121
Iterating global reduction 5 with 5 rules applied. Total rules applied 152566 place count 39922 transition count 57121
Discarding 2 places :
Implicit places reduction removed 2 places
Iterating post reduction 5 with 2 rules applied. Total rules applied 152568 place count 39920 transition count 57121
Performed 5224 Post agglomeration using F-continuation condition.Transition count delta: 5224
Deduced a syphon composed of 5224 places in 62 ms
Reduce places removed 5224 places and 0 transitions.
Iterating global reduction 6 with 10448 rules applied. Total rules applied 163016 place count 34696 transition count 51897
Free-agglomeration rule (complex) applied 812 times.
Iterating global reduction 6 with 812 rules applied. Total rules applied 163828 place count 34696 transition count 71085
Ensure Unique test removed 200 places
Reduce places removed 1012 places and 0 transitions.
Iterating post reduction 6 with 1012 rules applied. Total rules applied 164840 place count 33684 transition count 71085
Discarding 2000 places :
Symmetric choice reduction at 7 with 2000 rule applications. Total rules 166840 place count 31684 transition count 49085
Iterating global reduction 7 with 2000 rules applied. Total rules applied 168840 place count 31684 transition count 49085
Partial Free-agglomeration rule applied 10 times.
Drop transitions removed 10 transitions
Iterating global reduction 7 with 10 rules applied. Total rules applied 168850 place count 31684 transition count 49085
Applied a total of 168850 rules in 58566 ms. Remains 31684 /122108 variables (removed 90424) and now considering 49085/134279 (removed 85194) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 58568 ms. Remains : 31684/122108 places, 49085/134279 transitions.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 1410 ms. (steps per millisecond=7 ) properties (out of 23) seen :16
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 58 ms. (steps per millisecond=172 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 52 ms. (steps per millisecond=192 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 54 ms. (steps per millisecond=185 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 50 ms. (steps per millisecond=200 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 49 ms. (steps per millisecond=204 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 50 ms. (steps per millisecond=200 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 52 ms. (steps per millisecond=192 ) properties (out of 7) seen :0
Running SMT prover for 7 properties.
// Phase 1: matrix 49085 rows 31684 cols
[2024-05-25 20:08:36] [INFO ] Computed 1628 invariants in 4405 ms
[2024-05-25 20:08:48] [INFO ] After 12379ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:7
[2024-05-25 20:08:59] [INFO ] [Nat]Absence check using 2 positive place invariants in 21 ms returned sat
[2024-05-25 20:09:03] [INFO ] [Nat]Absence check using 2 positive and 1626 generalized place invariants in 3950 ms returned sat
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:632)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:353)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:226)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:96)
at fr.lip6.move.gal.application.solver.logic.AtomicReducerSR.checkAtomicPropositionsLogic(AtomicReducerSR.java:105)
at fr.lip6.move.gal.application.solver.logic.AtomicReducerSR.strongReductions(AtomicReducerSR.java:44)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.preSolveForLogic(LTLPropertySolver.java:176)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.runStructuralLTLCheck(LTLPropertySolver.java:71)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:802)
at fr.lip6.move.gal.application.Application.start(Application.java:182)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2024-05-25 20:09:13] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2024-05-25 20:09:13] [INFO ] After 25018ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0 real:7
Fused 7 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 7 out of 31684 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 31684/31684 places, 49085/49085 transitions.
Graph (complete) has 99326 edges and 31684 vertex of which 30046 are kept as prefixes of interest. Removing 1638 places using SCC suffix rule.27 ms
Discarding 1638 places :
Also discarding 1202 output transitions
Drop transitions removed 1202 transitions
Drop transitions removed 204 transitions
Reduce isomorphic transitions removed 204 transitions.
Drop transitions removed 7038 transitions
Trivial Post-agglo rules discarded 7038 transitions
Performed 7038 trivial Post agglomeration. Transition count delta: 7038
Iterating post reduction 0 with 7242 rules applied. Total rules applied 7243 place count 30046 transition count 40641
Reduce places removed 7038 places and 0 transitions.
Ensure Unique test removed 2000 transitions
Reduce isomorphic transitions removed 2000 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 9039 rules applied. Total rules applied 16282 place count 23008 transition count 38640
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 16283 place count 23007 transition count 38640
Performed 204 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 204 Pre rules applied. Total rules applied 16283 place count 23007 transition count 38436
Deduced a syphon composed of 204 places in 19 ms
Ensure Unique test removed 200 places
Reduce places removed 404 places and 0 transitions.
Iterating global reduction 3 with 608 rules applied. Total rules applied 16891 place count 22603 transition count 38436
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 1 Pre rules applied. Total rules applied 16891 place count 22603 transition count 38435
Deduced a syphon composed of 1 places in 19 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 16893 place count 22602 transition count 38435
Discarding 196 places :
Symmetric choice reduction at 3 with 196 rule applications. Total rules 17089 place count 22406 transition count 37259
Iterating global reduction 3 with 196 rules applied. Total rules applied 17285 place count 22406 transition count 37259
Performed 2614 Post agglomeration using F-continuation condition.Transition count delta: 2614
Deduced a syphon composed of 2614 places in 15 ms
Reduce places removed 2614 places and 0 transitions.
Iterating global reduction 3 with 5228 rules applied. Total rules applied 22513 place count 19792 transition count 34645
Free-agglomeration rule applied 11 times.
Iterating global reduction 3 with 11 rules applied. Total rules applied 22524 place count 19792 transition count 34634
Reduce places removed 11 places and 0 transitions.
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 3 with 20 rules applied. Total rules applied 22544 place count 19781 transition count 34625
Free-agglomeration rule (complex) applied 9053 times.
Iterating global reduction 4 with 9053 rules applied. Total rules applied 31597 place count 19781 transition count 96552
Ensure Unique test removed 603 places
Reduce places removed 9656 places and 0 transitions.
Iterating post reduction 4 with 9656 rules applied. Total rules applied 41253 place count 10125 transition count 96552
Discarding 4266 places :
Symmetric choice reduction at 5 with 4266 rule applications. Total rules 45519 place count 5859 transition count 13306
Ensure Unique test removed 402 places
Iterating global reduction 5 with 4668 rules applied. Total rules applied 50187 place count 5457 transition count 13306
Ensure Unique test removed 4020 transitions
Reduce isomorphic transitions removed 4020 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Iterating post reduction 5 with 4021 rules applied. Total rules applied 54208 place count 5456 transition count 9286
Performed 203 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 203 Pre rules applied. Total rules applied 54208 place count 5456 transition count 9083
Deduced a syphon composed of 203 places in 2 ms
Reduce places removed 203 places and 0 transitions.
Iterating global reduction 6 with 406 rules applied. Total rules applied 54614 place count 5253 transition count 9083
Discarding 4219 places :
Symmetric choice reduction at 6 with 4219 rule applications. Total rules 58833 place count 1034 transition count 4848
Ensure Unique test removed 201 places
Iterating global reduction 6 with 4420 rules applied. Total rules applied 63253 place count 833 transition count 4848
Ensure Unique test removed 4020 transitions
Reduce isomorphic transitions removed 4020 transitions.
Drop transitions removed 201 transitions
Trivial Post-agglo rules discarded 201 transitions
Performed 201 trivial Post agglomeration. Transition count delta: 201
Iterating post reduction 6 with 4221 rules applied. Total rules applied 67474 place count 833 transition count 627
Reduce places removed 201 places and 0 transitions.
Iterating post reduction 7 with 201 rules applied. Total rules applied 67675 place count 632 transition count 627
Discarding 194 places :
Symmetric choice reduction at 8 with 194 rule applications. Total rules 67869 place count 438 transition count 433
Iterating global reduction 8 with 194 rules applied. Total rules applied 68063 place count 438 transition count 433
Discarding 193 places :
Symmetric choice reduction at 8 with 193 rule applications. Total rules 68256 place count 245 transition count 240
Iterating global reduction 8 with 193 rules applied. Total rules applied 68449 place count 245 transition count 240
Discarding 193 places :
Symmetric choice reduction at 8 with 193 rule applications. Total rules 68642 place count 52 transition count 47
Iterating global reduction 8 with 193 rules applied. Total rules applied 68835 place count 52 transition count 47
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 8 with 6 rules applied. Total rules applied 68841 place count 49 transition count 44
Partial Free-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 8 with 1 rules applied. Total rules applied 68842 place count 49 transition count 44
Reduce places removed 8 places and 8 transitions.
Iterating global reduction 8 with 8 rules applied. Total rules applied 68850 place count 41 transition count 36
Applied a total of 68850 rules in 42343 ms. Remains 41 /31684 variables (removed 31643) and now considering 36/49085 (removed 49049) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 42343 ms. Remains : 41/31684 places, 36/49085 transitions.
FORMULA FamilyReunion-PT-L00200M0020C010P010G005-LTLCardinality-00 FALSE TECHNIQUES REACHABILITY_KNOWLEDGE
FORMULA FamilyReunion-PT-L00200M0020C010P010G005-LTLCardinality-05 FALSE TECHNIQUES REACHABILITY_KNOWLEDGE
Successfully simplified 1 atomic propositions for a total of 11 simplifications.
Computed a total of 122108 stabilizing places and 134279 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 122108 transition count 134279
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false).
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202304061127/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(((F(p0) U p1)&&X((F(!p0)||G(p2)))))'
Support contains 8844 out of 122108 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 122108/122108 places, 134279/134279 transitions.
Reduce places removed 35 places and 0 transitions.
Iterating post reduction 0 with 35 rules applied. Total rules applied 35 place count 122073 transition count 134279
Discarding 1005 places :
Symmetric choice reduction at 1 with 1005 rule applications. Total rules 1040 place count 121068 transition count 132269
Iterating global reduction 1 with 1005 rules applied. Total rules applied 2045 place count 121068 transition count 132269
Discarding 5 places :
Symmetric choice reduction at 1 with 5 rule applications. Total rules 2050 place count 121063 transition count 131264
Iterating global reduction 1 with 5 rules applied. Total rules applied 2055 place count 121063 transition count 131264
Applied a total of 2055 rules in 5285 ms. Remains 121063 /122108 variables (removed 1045) and now considering 131264/134279 (removed 3015) transitions.
// Phase 1: matrix 131264 rows 121063 cols
[2024-05-25 20:10:49] [INFO ] Computed 9050 invariants in 46773 ms
[2024-05-25 20:11:03] [INFO ] SMT solver returned unknown. Retrying;
[2024-05-25 20:11:03] [INFO ] Implicit Places using invariants in 61001 ms returned []
Implicit Place search using SMT only with invariants took 61002 ms to find 0 implicit places.
[2024-05-25 20:11:04] [INFO ] Invariant cache hit.
[2024-05-25 20:11:18] [INFO ] SMT solver returned unknown. Retrying;
[2024-05-25 20:11:18] [INFO ] Dead Transitions using invariants and state equation in 14719 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 121063/122108 places, 131264/134279 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 81017 ms. Remains : 121063/122108 places, 131264/134279 transitions.
ANTLR Tool version 4.9.3 used for code generation does not match the current runtime version 4.7.2ANTLR Runtime version 4.9.3 used for parser compilation does not match the current runtime version 4.7.2ANTLR Tool version 4.9.3 used for code generation does not match the current runtime version 4.7.2ANTLR Runtime version 4.9.3 used for parser compilation does not match the current runtime version 4.7.2Stuttering acceptance computed with spot in 530 ms :[(OR (NOT p1) (AND p0 (NOT p2))), (NOT p0), (NOT p1), (AND p0 (NOT p2)), p0]
Running random walk in product with property : FamilyReunion-PT-L00200M0020C010P010G005-LTLCardinality-01 automaton TGBA Formula[mat=[[{ cond=(AND (NOT p1) (NOT p0)), acceptance={} source=0 dest: 1}, { cond=(NOT p1), acceptance={} source=0 dest: 2}, { cond=true, acceptance={} source=0 dest: 3}], [{ cond=(NOT p0), acceptance={0} source=1 dest: 1}], [{ cond=(AND (NOT p1) (NOT p0)), acceptance={0} source=2 dest: 1}, { cond=(NOT p1), acceptance={0} source=2 dest: 2}], [{ cond=(AND p0 p2), acceptance={} source=3 dest: 3}, { cond=(AND p0 (NOT p2)), acceptance={} source=3 dest: 4}], [{ cond=p0, acceptance={0} source=4 dest: 4}]], initial=0, aps=[p1:(LEQ (ADD s94107 s94108 s94109 s94110 s94111 s94112 s94113 s94114 s94115 s94116 s94117 s94118 s94119 s94120 s94121 s94122 s94123 s94124 s94125 s94126 s...], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, stutter-sensitive, very-weak, weak, inherently-weak], stateDesc=[null, null, null, null, null][false, false, false, false, false]]
Product exploration timeout after 6900 steps with 3450 reset in 10006 ms.
Product exploration timeout after 7540 steps with 3770 reset in 10003 ms.
Computed a total of 121063 stabilizing places and 131264 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 121063 transition count 131264
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false).
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge : F ( (Ga|G!a) & (Gb|G!b)...)
Could not satisfy deadlock states : solver returned unknown
Knowledge obtained : [(AND p1 (NOT p0) p2), (X (NOT (AND p0 p2))), (X (NOT (AND p0 (NOT p2)))), (X p1), (X (NOT (AND (NOT p1) (NOT p0)))), (X (NOT p0)), (X (X (NOT (AND p0 p2)))), (X (X (NOT (AND p0 (NOT p2))))), (X (X p1)), (X (X (NOT (AND (NOT p1) (NOT p0))))), (X (X (NOT p0))), (F (OR (G p1) (G (NOT p1)))), (F (OR (G p0) (G (NOT p0)))), (F (OR (G p2) (G (NOT p2))))]
False Knowledge obtained : []
Property proved to be true thanks to knowledge (Minato strategy)
Knowledge based reduction with 14 factoid took 26 ms. Reduced automaton from 5 states, 9 edges and 3 AP (stutter sensitive) to 1 states, 0 edges and 0 AP (stutter insensitive).
FORMULA FamilyReunion-PT-L00200M0020C010P010G005-LTLCardinality-01 TRUE TECHNIQUES KNOWLEDGE
Treatment of property FamilyReunion-PT-L00200M0020C010P010G005-LTLCardinality-01 finished in 139218 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202304061127/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((F(p0) U p1))'
Support contains 4824 out of 122108 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 122108/122108 places, 134279/134279 transitions.
Graph (complete) has 185948 edges and 122108 vertex of which 111598 are kept as prefixes of interest. Removing 10510 places using SCC suffix rule.283 ms
Discarding 10510 places :
Also discarding 13076 output transitions
Drop transitions removed 13076 transitions
Reduce places removed 201 places and 201 transitions.
Discarding 4221 places :
Implicit places reduction removed 4221 places
Drop transitions removed 62310 transitions
Trivial Post-agglo rules discarded 62310 transitions
Performed 62310 trivial Post agglomeration. Transition count delta: 62310
Iterating post reduction 0 with 66531 rules applied. Total rules applied 66532 place count 107176 transition count 58692
Reduce places removed 62310 places and 0 transitions.
Performed 4422 Post agglomeration using F-continuation condition.Transition count delta: 4422
Iterating post reduction 1 with 66732 rules applied. Total rules applied 133264 place count 44866 transition count 54270
Reduce places removed 4422 places and 0 transitions.
Iterating post reduction 2 with 4422 rules applied. Total rules applied 137686 place count 40444 transition count 54270
Performed 5226 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 5226 Pre rules applied. Total rules applied 137686 place count 40444 transition count 49044
Deduced a syphon composed of 5226 places in 32 ms
Ensure Unique test removed 2613 places
Reduce places removed 7839 places and 0 transitions.
Iterating global reduction 3 with 13065 rules applied. Total rules applied 150751 place count 32605 transition count 49044
Discarding 201 places :
Implicit places reduction removed 201 places
Drop transitions removed 2211 transitions
Trivial Post-agglo rules discarded 2211 transitions
Performed 2211 trivial Post agglomeration. Transition count delta: 2211
Iterating post reduction 3 with 2412 rules applied. Total rules applied 153163 place count 32404 transition count 46833
Reduce places removed 2211 places and 0 transitions.
Iterating post reduction 4 with 2211 rules applied. Total rules applied 155374 place count 30193 transition count 46833
Discarding 10 places :
Symmetric choice reduction at 5 with 10 rule applications. Total rules 155384 place count 30183 transition count 44823
Iterating global reduction 5 with 10 rules applied. Total rules applied 155394 place count 30183 transition count 44823
Performed 5226 Post agglomeration using F-continuation condition.Transition count delta: 5226
Deduced a syphon composed of 5226 places in 23 ms
Reduce places removed 5226 places and 0 transitions.
Iterating global reduction 5 with 10452 rules applied. Total rules applied 165846 place count 24957 transition count 39597
Applied a total of 165846 rules in 33605 ms. Remains 24957 /122108 variables (removed 97151) and now considering 39597/134279 (removed 94682) transitions.
// Phase 1: matrix 39597 rows 24957 cols
[2024-05-25 20:12:53] [INFO ] Computed 1410 invariants in 3242 ms
[2024-05-25 20:12:57] [INFO ] SMT solver returned unknown. Retrying;
[2024-05-25 20:12:57] [INFO ] Implicit Places using invariants in 6759 ms returned []
Implicit Place search using SMT only with invariants took 6761 ms to find 0 implicit places.
[2024-05-25 20:12:57] [INFO ] Invariant cache hit.
[2024-05-25 20:13:00] [INFO ] SMT solver returned unknown. Retrying;
[2024-05-25 20:13:00] [INFO ] Dead Transitions using invariants and state equation in 3365 ms found 0 transitions.
Starting structural reductions in SI_LTL mode, iteration 1 : 24957/122108 places, 39597/134279 transitions.
Finished structural reductions in SI_LTL mode , in 1 iterations and 43735 ms. Remains : 24957/122108 places, 39597/134279 transitions.
Stuttering acceptance computed with spot in 82 ms :[(NOT p1), (NOT p0)]
Running random walk in product with property : FamilyReunion-PT-L00200M0020C010P010G005-LTLCardinality-02 automaton TGBA Formula[mat=[[{ cond=(NOT p1), acceptance={} source=0 dest: 0}, { cond=(AND (NOT p1) (NOT p0)), acceptance={} source=0 dest: 1}], [{ cond=(NOT p0), acceptance={} source=1 dest: 1}]], initial=0, aps=[p1:(GT (ADD s24553 s24554 s24557 s24558 s24559 s24560 s24561 s24562 s24563 s24564 s24565 s24566 s24567 s24568 s24569 s24570 s24571 s24572 s24573 s24574 s2...], nbAcceptance=0, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, stutter-invariant, very-weak, weak, inherently-weak], stateDesc=[null, null][true, true]]
Product exploration timeout after 31320 steps with 29 reset in 10001 ms.
Product exploration timeout after 30430 steps with 27 reset in 10003 ms.
Computed a total of 24957 stabilizing places and 39597 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 24957 transition count 39597
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false).
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge : F ( (Ga|G!a) & (Gb|G!b)...)
Knowledge obtained : [(AND (NOT p1) p0), (X (NOT p1)), (X (NOT (AND (NOT p1) (NOT p0)))), (X p0), (F (G (NOT p1))), (F (G p0))]
False Knowledge obtained : []
Knowledge based reduction with 6 factoid took 140 ms. Reduced automaton from 2 states, 3 edges and 2 AP (stutter insensitive) to 1 states, 1 edges and 1 AP (stutter insensitive).
Stuttering acceptance computed with spot in 53 ms :[(NOT p1)]
Finished random walk after 1362 steps, including 0 resets, run visited all 1 properties in 461 ms. (steps per millisecond=2 )
Parikh walk visited 0 properties in 0 ms.
Knowledge obtained : [(AND (NOT p1) p0), (X (NOT p1)), (X (NOT (AND (NOT p1) (NOT p0)))), (X p0), (F (G (NOT p1))), (F (G p0))]
False Knowledge obtained : [(F p1)]
Knowledge based reduction with 6 factoid took 219 ms. Reduced automaton from 1 states, 1 edges and 1 AP (stutter insensitive) to 1 states, 1 edges and 1 AP (stutter insensitive).
Stuttering acceptance computed with spot in 51 ms :[(NOT p1)]
Stuttering acceptance computed with spot in 51 ms :[(NOT p1)]
[2024-05-25 20:14:59] [INFO ] Invariant cache hit.
Could not prove EG (NOT p1)
Support contains 4422 out of 24957 places. Attempting structural reductions.
Property had overlarge support with respect to TGBA, discarding it for now.
Starting structural reductions in SI_LTL mode, iteration 0 : 24957/24957 places, 39597/39597 transitions.
Applied a total of 0 rules in 1106 ms. Remains 24957 /24957 variables (removed 0) and now considering 39597/39597 (removed 0) transitions.
[2024-05-25 20:15:15] [INFO ] Invariant cache hit.
[2024-05-25 20:15:18] [INFO ] SMT solver returned unknown. Retrying;
[2024-05-25 20:15:18] [INFO ] Implicit Places using invariants in 3140 ms returned []
Implicit Place search using SMT only with invariants took 3141 ms to find 0 implicit places.
[2024-05-25 20:15:18] [INFO ] Invariant cache hit.
[2024-05-25 20:15:21] [INFO ] SMT solver returned unknown. Retrying;
[2024-05-25 20:15:21] [INFO ] Dead Transitions using invariants and state equation in 3171 ms found 0 transitions.
Finished structural reductions in SI_LTL mode , in 1 iterations and 7431 ms. Remains : 24957/24957 places, 39597/39597 transitions.
Computed a total of 24957 stabilizing places and 39597 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 24957 transition count 39597
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false).
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge : F ( (Ga|G!a) & (Gb|G!b)...)
Knowledge obtained : [(NOT p1), (X (NOT p1)), (F (G (NOT p1)))]
False Knowledge obtained : []
Knowledge based reduction with 3 factoid took 83 ms. Reduced automaton from 1 states, 1 edges and 1 AP (stutter insensitive) to 1 states, 1 edges and 1 AP (stutter insensitive).
Stuttering acceptance computed with spot in 36 ms :[(NOT p1)]
Finished random walk after 1397 steps, including 0 resets, run visited all 1 properties in 455 ms. (steps per millisecond=3 )
Parikh walk visited 0 properties in 0 ms.
Knowledge obtained : [(NOT p1), (X (NOT p1)), (F (G (NOT p1)))]
False Knowledge obtained : [(F p1)]
Knowledge based reduction with 3 factoid took 108 ms. Reduced automaton from 1 states, 1 edges and 1 AP (stutter insensitive) to 1 states, 1 edges and 1 AP (stutter insensitive).
Stuttering acceptance computed with spot in 35 ms :[(NOT p1)]
Stuttering acceptance computed with spot in 35 ms :[(NOT p1)]
[2024-05-25 20:16:52] [INFO ] Invariant cache hit.
Could not prove EG (NOT p1)
Stuttering acceptance computed with spot in 37 ms :[(NOT p1)]
Product exploration timeout after 49500 steps with 34 reset in 10002 ms.
Product exploration timeout after 50150 steps with 34 reset in 10001 ms.
Built C files in :
/tmp/ltsmin1439648258566807450
[2024-05-25 20:17:28] [INFO ] Too many transitions (39597) to apply POR reductions. Disabling POR matrices.
[2024-05-25 20:17:28] [INFO ] Built C files in 554ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin1439648258566807450
Running compilation step : cd /tmp/ltsmin1439648258566807450;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202304061127/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202304061127/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin1439648258566807450;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202304061127/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202304061127/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin1439648258566807450;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202304061127/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202304061127/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:92)
at java.base/java.lang.Thread.run(Thread.java:833)
Support contains 4422 out of 24957 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 24957/24957 places, 39597/39597 transitions.
Graph (complete) has 78591 edges and 24957 vertex of which 21740 are kept as prefixes of interest. Removing 3217 places using SCC suffix rule.41 ms
Discarding 3217 places :
Also discarding 5025 output transitions
Drop transitions removed 5025 transitions
Applied a total of 1 rules in 1055 ms. Remains 21740 /24957 variables (removed 3217) and now considering 34572/39597 (removed 5025) transitions.
// Phase 1: matrix 34572 rows 21740 cols
[2024-05-25 20:17:36] [INFO ] Computed 1208 invariants in 3364 ms
[2024-05-25 20:17:39] [INFO ] SMT solver returned unknown. Retrying;
[2024-05-25 20:17:39] [INFO ] Implicit Places using invariants in 6658 ms returned []
Implicit Place search using SMT only with invariants took 6660 ms to find 0 implicit places.
[2024-05-25 20:17:39] [INFO ] Invariant cache hit.
[2024-05-25 20:17:42] [INFO ] SMT solver returned unknown. Retrying;
[2024-05-25 20:17:43] [INFO ] Dead Transitions using invariants and state equation in 3433 ms found 0 transitions.
Starting structural reductions in SI_LTL mode, iteration 1 : 21740/24957 places, 34572/39597 transitions.
Finished structural reductions in SI_LTL mode , in 1 iterations and 11151 ms. Remains : 21740/24957 places, 34572/39597 transitions.
Built C files in :
/tmp/ltsmin11671576854024305737
[2024-05-25 20:17:43] [INFO ] Too many transitions (34572) to apply POR reductions. Disabling POR matrices.
[2024-05-25 20:17:43] [INFO ] Built C files in 549ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin11671576854024305737
Running compilation step : cd /tmp/ltsmin11671576854024305737;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202304061127/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202304061127/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin11671576854024305737;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202304061127/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202304061127/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin11671576854024305737;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202304061127/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202304061127/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:92)
at java.base/java.lang.Thread.run(Thread.java:833)
[2024-05-25 20:17:51] [INFO ] Flatten gal took : 1278 ms
[2024-05-25 20:17:52] [INFO ] Flatten gal took : 1072 ms
[2024-05-25 20:17:52] [INFO ] Time to serialize gal into /tmp/LTL8860512127513203070.gal : 281 ms
[2024-05-25 20:17:52] [INFO ] Time to serialize properties into /tmp/LTL11385332563388297803.prop : 6 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.202304061127/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL8860512127513203070.gal' '-t' 'CGAL' '-hoa' '/tmp/aut14604443598981965524.hoa' '-atoms' '/tmp/LTL11385332563388297803.prop' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202304061127/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...319
Loading property file /tmp/LTL11385332563388297803.prop.
Loaded 1 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut14604443598981965524.hoa
Detected timeout of ITS tools.
[2024-05-25 20:18:11] [INFO ] Flatten gal took : 1371 ms
[2024-05-25 20:18:12] [INFO ] Flatten gal took : 1182 ms
[2024-05-25 20:18:13] [INFO ] Time to serialize gal into /tmp/LTL10209038585032805125.gal : 173 ms
[2024-05-25 20:18:13] [INFO ] Time to serialize properties into /tmp/LTL16428157676889545431.ltl : 12 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.202304061127/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL10209038585032805125.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL16428157676889545431.ltl' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202304061127/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...277
Read 1 LTL properties
Checking formula 0 : !(((F("(((((((((l26_0+l26_1)+(l26_2+l26_3))+((l26_4+l26_5)+(l26_6+l26_7)))+(((l26_8+l26_9)+(l26_10+l26_11))+((l26_12+l26_13)+(l26_14+l...52065
Formula 0 simplified : G!"(((((((((l26_0+l26_1)+(l26_2+l26_3))+((l26_4+l26_5)+(l26_6+l26_7)))+(((l26_8+l26_9)+(l26_10+l26_11))+((l26_12+l26_13)+(l26_14+l26...52060
Detected timeout of ITS tools.
[2024-05-25 20:18:29] [INFO ] Flatten gal took : 1362 ms
[2024-05-25 20:18:29] [INFO ] Applying decomposition
[2024-05-25 20:18:30] [INFO ] Flatten gal took : 1218 ms
[2024-05-25 20:18:53] [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.202304061127/bin/convert-linux64' '-i' '/tmp/graph2010564752288013583.txt' '-o' '/tmp/graph2010564752288013583.bin' '-w' '/tmp/graph2010564752288013583.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:226)
at fr.lip6.move.gal.application.mcc.MccTranslator.flattenSpec(MccTranslator.java:277)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.verifyWithSDD(GlobalPropertySolver.java:663)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.checkLTLProperty(LTLPropertySolver.java:341)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.runStutteringLTLTest(LTLPropertySolver.java:225)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.runStructuralLTLCheck(LTLPropertySolver.java:76)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:802)
at fr.lip6.move.gal.application.Application.start(Application.java:182)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2024-05-25 20:18:54] [INFO ] Flatten gal took : 1312 ms
[2024-05-25 20:18:55] [INFO ] Time to serialize gal into /tmp/LTL16875522851129236948.gal : 341 ms
[2024-05-25 20:18:55] [INFO ] Time to serialize properties into /tmp/LTL1869379830889476765.ltl : 7 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.202304061127/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL16875522851129236948.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL1869379830889476765.ltl' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202304061127/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...276
Read 1 LTL properties
Checking formula 0 : !(((F("(((((((((l26_0+l26_1)+(l26_2+l26_3))+((l26_4+l26_5)+(l26_6+l26_7)))+(((l26_8+l26_9)+(l26_10+l26_11))+((l26_12+l26_13)+(l26_14+l...52065
Formula 0 simplified : G!"(((((((((l26_0+l26_1)+(l26_2+l26_3))+((l26_4+l26_5)+(l26_6+l26_7)))+(((l26_8+l26_9)+(l26_10+l26_11))+((l26_12+l26_13)+(l26_14+l26...52060
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin7564080427643242398
[2024-05-25 20:19:10] [INFO ] Built C files in 331ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin7564080427643242398
Running compilation step : cd /tmp/ltsmin7564080427643242398;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202304061127/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202304061127/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin7564080427643242398;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202304061127/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202304061127/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin7564080427643242398;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202304061127/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202304061127/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:92)
at java.base/java.lang.Thread.run(Thread.java:833)
Treatment of property FamilyReunion-PT-L00200M0020C010P010G005-LTLCardinality-02 finished in 416792 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202304061127/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(F(G(p0)))'
Support contains 6 out of 122108 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 122108/122108 places, 134279/134279 transitions.
Graph (complete) has 185948 edges and 122108 vertex of which 116629 are kept as prefixes of interest. Removing 5479 places using SCC suffix rule.172 ms
Discarding 5479 places :
Also discarding 7247 output transitions
Drop transitions removed 7247 transitions
Reduce places removed 201 places and 201 transitions.
Discarding 4221 places :
Implicit places reduction removed 4221 places
Drop transitions removed 73164 transitions
Trivial Post-agglo rules discarded 73164 transitions
Performed 73164 trivial Post agglomeration. Transition count delta: 73164
Iterating post reduction 0 with 77385 rules applied. Total rules applied 77386 place count 112207 transition count 53667
Reduce places removed 73164 places and 0 transitions.
Iterating post reduction 1 with 73164 rules applied. Total rules applied 150550 place count 39043 transition count 53667
Performed 5628 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 5628 Pre rules applied. Total rules applied 150550 place count 39043 transition count 48039
Deduced a syphon composed of 5628 places in 42 ms
Ensure Unique test removed 2814 places
Reduce places removed 8442 places and 0 transitions.
Iterating global reduction 2 with 14070 rules applied. Total rules applied 164620 place count 30601 transition count 48039
Drop transitions removed 2412 transitions
Trivial Post-agglo rules discarded 2412 transitions
Performed 2412 trivial Post agglomeration. Transition count delta: 2412
Iterating post reduction 2 with 2412 rules applied. Total rules applied 167032 place count 30601 transition count 45627
Reduce places removed 2412 places and 0 transitions.
Iterating post reduction 3 with 2412 rules applied. Total rules applied 169444 place count 28189 transition count 45627
Discarding 200 places :
Symmetric choice reduction at 4 with 200 rule applications. Total rules 169644 place count 27989 transition count 44427
Iterating global reduction 4 with 200 rules applied. Total rules applied 169844 place count 27989 transition count 44427
Performed 5427 Post agglomeration using F-continuation condition.Transition count delta: 5427
Deduced a syphon composed of 5427 places in 21 ms
Reduce places removed 5427 places and 0 transitions.
Iterating global reduction 4 with 10854 rules applied. Total rules applied 180698 place count 22562 transition count 39000
Applied a total of 180698 rules in 26115 ms. Remains 22562 /122108 variables (removed 99546) and now considering 39000/134279 (removed 95279) transitions.
// Phase 1: matrix 39000 rows 22562 cols
[2024-05-25 20:19:43] [INFO ] Computed 1612 invariants in 4190 ms
[2024-05-25 20:19:46] [INFO ] SMT solver returned unknown. Retrying;
[2024-05-25 20:19:47] [INFO ] Implicit Places using invariants in 7335 ms returned []
Implicit Place search using SMT only with invariants took 7337 ms to find 0 implicit places.
[2024-05-25 20:19:47] [INFO ] Invariant cache hit.
[2024-05-25 20:19:50] [INFO ] SMT solver returned unknown. Retrying;
[2024-05-25 20:19:50] [INFO ] Dead Transitions using invariants and state equation in 3123 ms found 0 transitions.
Starting structural reductions in SI_LTL mode, iteration 1 : 22562/122108 places, 39000/134279 transitions.
Finished structural reductions in SI_LTL mode , in 1 iterations and 36577 ms. Remains : 22562/122108 places, 39000/134279 transitions.
Stuttering acceptance computed with spot in 40 ms :[(NOT p0)]
Running random walk in product with property : FamilyReunion-PT-L00200M0020C010P010G005-LTLCardinality-04 automaton TGBA Formula[mat=[[{ cond=p0, acceptance={} source=0 dest: 0}, { cond=(NOT p0), acceptance={0} source=0 dest: 0}]], initial=0, aps=[p0:(GT 3 (ADD s9660 s9661 s9662 s9663 s9664 s9665))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, complete, deterministic, no-univ-branch, unambiguous, semi-deterministic, stutter-invariant], stateDesc=[null][true]]
Product exploration explored 100000 steps with 35 reset in 7606 ms.
Product exploration explored 100000 steps with 35 reset in 8237 ms.
Computed a total of 22562 stabilizing places and 39000 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 22562 transition count 39000
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false).
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge : F ( (Ga|G!a) & (Gb|G!b)...)
Knowledge obtained : [(NOT p0), (X (NOT p0)), (F (OR (G p0) (G (NOT p0))))]
False Knowledge obtained : []
Knowledge based reduction with 3 factoid took 94 ms. Reduced automaton from 1 states, 2 edges and 1 AP (stutter insensitive) to 1 states, 2 edges and 1 AP (stutter insensitive).
Stuttering acceptance computed with spot in 39 ms :[(NOT p0)]
Finished random walk after 1875 steps, including 0 resets, run visited all 1 properties in 217 ms. (steps per millisecond=8 )
Parikh walk visited 0 properties in 0 ms.
Knowledge obtained : [(NOT p0), (X (NOT p0)), (F (OR (G p0) (G (NOT p0))))]
False Knowledge obtained : [(F p0)]
Knowledge based reduction with 3 factoid took 159 ms. Reduced automaton from 1 states, 2 edges and 1 AP (stutter insensitive) to 1 states, 2 edges and 1 AP (stutter insensitive).
Stuttering acceptance computed with spot in 50 ms :[(NOT p0)]
Stuttering acceptance computed with spot in 52 ms :[(NOT p0)]
[2024-05-25 20:21:36] [INFO ] Invariant cache hit.
Could not prove EG (NOT p0)
Support contains 6 out of 22562 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 22562/22562 places, 39000/39000 transitions.
Applied a total of 0 rules in 1190 ms. Remains 22562 /22562 variables (removed 0) and now considering 39000/39000 (removed 0) transitions.
[2024-05-25 20:21:52] [INFO ] Invariant cache hit.
[2024-05-25 20:21:55] [INFO ] SMT solver returned unknown. Retrying;
[2024-05-25 20:21:55] [INFO ] Implicit Places using invariants in 3084 ms returned []
Implicit Place search using SMT only with invariants took 3085 ms to find 0 implicit places.
[2024-05-25 20:21:55] [INFO ] Invariant cache hit.
[2024-05-25 20:21:58] [INFO ] SMT solver returned unknown. Retrying;
[2024-05-25 20:21:58] [INFO ] Dead Transitions using invariants and state equation in 2787 ms found 0 transitions.
Finished structural reductions in SI_LTL mode , in 1 iterations and 7064 ms. Remains : 22562/22562 places, 39000/39000 transitions.
Computed a total of 22562 stabilizing places and 39000 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 22562 transition count 39000
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false).
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge : F ( (Ga|G!a) & (Gb|G!b)...)
Knowledge obtained : [(NOT p0), (X (NOT p0)), (F (OR (G p0) (G (NOT p0))))]
False Knowledge obtained : []
Knowledge based reduction with 3 factoid took 95 ms. Reduced automaton from 1 states, 2 edges and 1 AP (stutter insensitive) to 1 states, 2 edges and 1 AP (stutter insensitive).
Stuttering acceptance computed with spot in 38 ms :[(NOT p0)]
Finished random walk after 1768 steps, including 0 resets, run visited all 1 properties in 259 ms. (steps per millisecond=6 )
Parikh walk visited 0 properties in 0 ms.
Knowledge obtained : [(NOT p0), (X (NOT p0)), (F (OR (G p0) (G (NOT p0))))]
False Knowledge obtained : [(F p0)]
Knowledge based reduction with 3 factoid took 163 ms. Reduced automaton from 1 states, 2 edges and 1 AP (stutter insensitive) to 1 states, 2 edges and 1 AP (stutter insensitive).
Stuttering acceptance computed with spot in 54 ms :[(NOT p0)]
Stuttering acceptance computed with spot in 53 ms :[(NOT p0)]
[2024-05-25 20:23:26] [INFO ] Invariant cache hit.
Could not prove EG (NOT p0)
Stuttering acceptance computed with spot in 39 ms :[(NOT p0)]
Product exploration timeout after 12770 steps with 4 reset in 10003 ms.
Product exploration timeout after 1210 steps with 0 reset in 10215 ms.
Built C files in :
/tmp/ltsmin3392493538088605988
[2024-05-25 20:24:04] [INFO ] Too many transitions (39000) to apply POR reductions. Disabling POR matrices.
[2024-05-25 20:24:18] [INFO ] Built C files in 13953ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin3392493538088605988
Running compilation step : cd /tmp/ltsmin3392493538088605988;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202304061127/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202304061127/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
WARNING : LTS min runner thread was asked to interrupt. Dying gracefully.
Support contains 6 out of 22562 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 22562/22562 places, 39000/39000 transitions.
Applied a total of 0 rules in 20304 ms. Remains 22562 /22562 variables (removed 0) and now considering 39000/39000 (removed 0) transitions.
[2024-05-25 20:24:40] [INFO ] Invariant cache hit.
[2024-05-25 20:24:48] [INFO ] SMT solver returned unknown. Retrying;
[2024-05-25 20:24:48] [INFO ] Implicit Places using invariants in 7740 ms returned []
Implicit Place search using SMT only with invariants took 7754 ms to find 0 implicit places.
[2024-05-25 20:24:48] [INFO ] Invariant cache hit.
[2024-05-25 20:24:51] [INFO ] SMT solver returned unknown. Retrying;
[2024-05-25 20:24:51] [INFO ] Dead Transitions using invariants and state equation in 3175 ms found 0 transitions.
Finished structural reductions in SI_LTL mode , in 1 iterations and 31238 ms. Remains : 22562/22562 places, 39000/39000 transitions.
Built C files in :
/tmp/ltsmin4535607530421830351
[2024-05-25 20:24:51] [INFO ] Too many transitions (39000) to apply POR reductions. Disabling POR matrices.
[2024-05-25 20:24:51] [INFO ] Built C files in 332ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin4535607530421830351
Running compilation step : cd /tmp/ltsmin4535607530421830351;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202304061127/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202304061127/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
BK_STOP 1716668698609
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution LTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ 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.202304061127.jar
+ VERSION=202304061127
+ echo 'Running Version 202304061127'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination LTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="FamilyReunion-PT-L00200M0020C010P010G005"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="gold2023"
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-5568"
echo " Executing tool gold2023"
echo " Input is FamilyReunion-PT-L00200M0020C010P010G005, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r175-smll-171636280400322"
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 [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "UpperBounds" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] || [ "LTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;