About the Execution of 2023-gold for Philosophers-PT-010000
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5347.932 | 1800000.00 | 3794712.00 | 4079.60 | [undef] | Time out reached |
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.r286-smll-171654423300352.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 Philosophers-PT-010000, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r286-smll-171654423300352
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 292M
-rw-r--r-- 1 mcc users 13M Apr 14 06:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 64M Apr 14 06:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.1M Apr 14 00:42 CTLFireability.txt
-rw-r--r-- 1 mcc users 41M Apr 14 00:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:43 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.1M Apr 23 07:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 19M Apr 23 07:43 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.4M Apr 23 07:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 15M Apr 23 07:43 LTLFireability.xml
-rw-r--r-- 1 mcc users 5.3M Apr 14 22:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 25M Apr 14 22:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11M Apr 14 14:27 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 63M Apr 14 14:27 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 970K Apr 23 07:43 UpperBounds.txt
-rw-r--r-- 1 mcc users 2.6M Apr 23 07:43 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 7 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 22M May 18 16:43 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
FORMULA_NAME QuasiLiveness
=== Now, execution of the tool begins
BK_START 1716824299006
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=QuasiLiveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=Philosophers-PT-010000
Not applying reductions.
Model is PT
QuasiLiveness PT
Running Version 202304061127
[2024-05-27 15:38:22] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2024-05-27 15:38:22] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-27 15:38:23] [INFO ] Load time of PNML (sax parser for PT used): 1393 ms
[2024-05-27 15:38:23] [INFO ] Transformed 50000 places.
[2024-05-27 15:38:24] [INFO ] Transformed 50000 transitions.
[2024-05-27 15:38:24] [INFO ] Parsed PT model containing 50000 places and 50000 transitions and 160000 arcs in 1845 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 50000/50000 places, 50000/50000 transitions.
Performed 10000 Post agglomeration using F-continuation condition.Transition count delta: 10000
Deduced a syphon composed of 10000 places in 51 ms
Reduce places removed 10000 places and 0 transitions.
Iterating global reduction 0 with 20000 rules applied. Total rules applied 20000 place count 40000 transition count 40000
Applied a total of 20000 rules in 14073 ms. Remains 40000 /50000 variables (removed 10000) and now considering 40000/50000 (removed 10000) transitions.
// Phase 1: matrix 40000 rows 40000 cols
[2024-05-27 15:38:38] [INFO ] Computed 20000 invariants in 242 ms
[2024-05-27 15:38:44] [INFO ] Implicit Places using invariants in 5874 ms returned []
Implicit Place search using SMT only with invariants took 5919 ms to find 0 implicit places.
[2024-05-27 15:38:44] [INFO ] Invariant cache hit.
[2024-05-27 15:38:49] [INFO ] Dead Transitions using invariants and state equation in 5190 ms found 0 transitions.
Starting structural reductions in LIVENESS mode, iteration 1 : 40000/50000 places, 40000/50000 transitions.
Finished structural reductions in LIVENESS mode , in 1 iterations and 25196 ms. Remains : 40000/50000 places, 40000/50000 transitions.
Initial state reduction rules removed 20000 formulas.
[2024-05-27 15:38:53] [INFO ] Flatten gal took : 2086 ms
[2024-05-27 15:38:54] [INFO ] Flatten gal took : 1481 ms
[2024-05-27 15:38:55] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality14240496789503644856.gal : 361 ms
[2024-05-27 15:38:55] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality6969011038237442575.prop : 86 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202304061127/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality14240496789503644856.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality6969011038237442575.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202304061127/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...329
Interrupted random walk after 7982 steps, including 2 resets, run timeout after 30002 ms. (steps per millisecond=0 ) properties seen 6076
Running SMT prover for 13924 properties.
[2024-05-27 15:39:21] [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.global.GlobalPropertySolver.applyReachabilitySolver(GlobalPropertySolver.java:724)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:558)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preSolveLiveness(GlobalPropertySolver.java:412)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preStableMarking(GlobalPropertySolver.java:321)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:294)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:426)
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-27 15:39:46] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2024-05-27 15:39:46] [INFO ] After 25058ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 13924 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 4 ms.
Support contains 22957 out of 40000 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 40000/40000 places, 40000/40000 transitions.
Loading property file /tmp/ReachabilityCardinality6969011038237442575.prop.
Free-agglomeration rule (complex) applied 381 times.
Iterating global reduction 0 with 381 rules applied. Total rules applied 381 place count 40000 transition count 39619
Reduce places removed 460 places and 0 transitions.
Drop transitions removed 381 transitions
Reduce isomorphic transitions removed 381 transitions.
Iterating post reduction 0 with 841 rules applied. Total rules applied 1222 place count 39540 transition count 39238
Applied a total of 1222 rules in 14829 ms. Remains 39540 /40000 variables (removed 460) and now considering 39238/40000 (removed 762) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 14835 ms. Remains : 39540/40000 places, 39238/40000 transitions.
Interrupted random walk after 9371 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=0 ) properties seen 4248
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 387 ms. (steps per millisecond=2 ) properties (out of 9676) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 431 ms. (steps per millisecond=2 ) properties (out of 9676) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 385 ms. (steps per millisecond=2 ) properties (out of 9676) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 416 ms. (steps per millisecond=2 ) properties (out of 9676) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 385 ms. (steps per millisecond=2 ) properties (out of 9676) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 425 ms. (steps per millisecond=2 ) properties (out of 9676) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 391 ms. (steps per millisecond=2 ) properties (out of 9676) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 414 ms. (steps per millisecond=2 ) properties (out of 9676) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 370 ms. (steps per millisecond=2 ) properties (out of 9676) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 508 ms. (steps per millisecond=1 ) properties (out of 9676) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 465 ms. (steps per millisecond=2 ) properties (out of 9676) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 470 ms. (steps per millisecond=2 ) properties (out of 9676) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 592 ms. (steps per millisecond=1 ) properties (out of 9676) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 448 ms. (steps per millisecond=2 ) properties (out of 9676) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 394 ms. (steps per millisecond=2 ) properties (out of 9676) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 390 ms. (steps per millisecond=2 ) properties (out of 9676) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 454 ms. (steps per millisecond=2 ) properties (out of 9676) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 557 ms. (steps per millisecond=1 ) properties (out of 9676) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 372 ms. (steps per millisecond=2 ) properties (out of 9676) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 477 ms. (steps per millisecond=2 ) properties (out of 9676) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 444 ms. (steps per millisecond=2 ) properties (out of 9676) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 378 ms. (steps per millisecond=2 ) properties (out of 9676) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 382 ms. (steps per millisecond=2 ) properties (out of 9676) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 408 ms. (steps per millisecond=2 ) properties (out of 9676) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 391 ms. (steps per millisecond=2 ) properties (out of 9676) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 401 ms. (steps per millisecond=2 ) properties (out of 9676) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 380 ms. (steps per millisecond=2 ) properties (out of 9676) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 420 ms. (steps per millisecond=2 ) properties (out of 9676) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 420 ms. (steps per millisecond=2 ) properties (out of 9676) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 431 ms. (steps per millisecond=2 ) properties (out of 9676) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 437 ms. (steps per millisecond=2 ) properties (out of 9676) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 434 ms. (steps per millisecond=2 ) properties (out of 9676) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 442 ms. (steps per millisecond=2 ) properties (out of 9676) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 434 ms. (steps per millisecond=2 ) properties (out of 9676) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 503 ms. (steps per millisecond=1 ) properties (out of 9676) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 625 ms. (steps per millisecond=1 ) properties (out of 9676) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 613 ms. (steps per millisecond=1 ) properties (out of 9676) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 393 ms. (steps per millisecond=2 ) properties (out of 9676) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 390 ms. (steps per millisecond=2 ) properties (out of 9676) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 390 ms. (steps per millisecond=2 ) properties (out of 9676) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 388 ms. (steps per millisecond=2 ) properties (out of 9676) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 389 ms. (steps per millisecond=2 ) properties (out of 9676) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 413 ms. (steps per millisecond=2 ) properties (out of 9676) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 437 ms. (steps per millisecond=2 ) properties (out of 9676) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 436 ms. (steps per millisecond=2 ) properties (out of 9676) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 436 ms. (steps per millisecond=2 ) properties (out of 9676) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 382 ms. (steps per millisecond=2 ) properties (out of 9676) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 389 ms. (steps per millisecond=2 ) properties (out of 9676) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 387 ms. (steps per millisecond=2 ) properties (out of 9676) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 387 ms. (steps per millisecond=2 ) properties (out of 9676) seen :0
Running SMT prover for 9676 properties.
// Phase 1: matrix 39238 rows 39540 cols
[2024-05-27 15:40:53] [INFO ] Computed 19921 invariants in 154 ms
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.global.GlobalPropertySolver.applyReachabilitySolver(GlobalPropertySolver.java:724)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:558)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preSolveLiveness(GlobalPropertySolver.java:412)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preStableMarking(GlobalPropertySolver.java:321)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:294)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:426)
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-27 15:44:38] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2024-05-27 15:44:38] [INFO ] After 225195ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 9676 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 16878 out of 39540 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 39540/39540 places, 39238/39238 transitions.
Discarding 2 places :
Also discarding 1 output transitions
Drop transitions removed 1 transitions
Remove reverse transitions (loop back) rule discarded transition FF2a_318.End_318 and 2 places that fell out of Prefix Of Interest.
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Drop transitions removed 9 transitions
Trivial Post-agglo rules discarded 9 transitions
Performed 9 trivial Post agglomeration. Transition count delta: 9
Iterating post reduction 0 with 11 rules applied. Total rules applied 11 place count 39538 transition count 39227
Reduce places removed 18 places and 0 transitions.
Drop transitions removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 1 with 27 rules applied. Total rules applied 38 place count 39520 transition count 39218
Free-agglomeration rule (complex) applied 2104 times.
Iterating global reduction 2 with 2104 rules applied. Total rules applied 2142 place count 39520 transition count 37114
Reduce places removed 3172 places and 0 transitions.
Drop transitions removed 2104 transitions
Reduce isomorphic transitions removed 2104 transitions.
Iterating post reduction 2 with 5276 rules applied. Total rules applied 7418 place count 36348 transition count 35010
Applied a total of 7418 rules in 41653 ms. Remains 36348 /39540 variables (removed 3192) and now considering 35010/39238 (removed 4228) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 41653 ms. Remains : 36348/39540 places, 35010/39238 transitions.
Interrupted random walk after 5998 steps, including 0 resets, run timeout after 30002 ms. (steps per millisecond=0 ) properties seen 2363
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 364 ms. (steps per millisecond=2 ) properties (out of 7313) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 362 ms. (steps per millisecond=2 ) properties (out of 7313) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 363 ms. (steps per millisecond=2 ) properties (out of 7313) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 362 ms. (steps per millisecond=2 ) properties (out of 7313) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 362 ms. (steps per millisecond=2 ) properties (out of 7313) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 512 ms. (steps per millisecond=1 ) properties (out of 7313) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 564 ms. (steps per millisecond=1 ) properties (out of 7313) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 421 ms. (steps per millisecond=2 ) properties (out of 7313) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 363 ms. (steps per millisecond=2 ) properties (out of 7313) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 363 ms. (steps per millisecond=2 ) properties (out of 7313) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 493 ms. (steps per millisecond=2 ) properties (out of 7313) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 360 ms. (steps per millisecond=2 ) properties (out of 7313) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 465 ms. (steps per millisecond=2 ) properties (out of 7313) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 422 ms. (steps per millisecond=2 ) properties (out of 7313) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 364 ms. (steps per millisecond=2 ) properties (out of 7313) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 371 ms. (steps per millisecond=2 ) properties (out of 7313) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 359 ms. (steps per millisecond=2 ) properties (out of 7313) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 373 ms. (steps per millisecond=2 ) properties (out of 7313) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 420 ms. (steps per millisecond=2 ) properties (out of 7313) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 406 ms. (steps per millisecond=2 ) properties (out of 7313) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 404 ms. (steps per millisecond=2 ) properties (out of 7313) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 367 ms. (steps per millisecond=2 ) properties (out of 7313) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 395 ms. (steps per millisecond=2 ) properties (out of 7313) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 401 ms. (steps per millisecond=2 ) properties (out of 7313) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 394 ms. (steps per millisecond=2 ) properties (out of 7313) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 399 ms. (steps per millisecond=2 ) properties (out of 7313) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 397 ms. (steps per millisecond=2 ) properties (out of 7313) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 399 ms. (steps per millisecond=2 ) properties (out of 7313) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 395 ms. (steps per millisecond=2 ) properties (out of 7313) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 402 ms. (steps per millisecond=2 ) properties (out of 7313) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 360 ms. (steps per millisecond=2 ) properties (out of 7313) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 506 ms. (steps per millisecond=1 ) properties (out of 7313) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 426 ms. (steps per millisecond=2 ) properties (out of 7313) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 359 ms. (steps per millisecond=2 ) properties (out of 7313) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 366 ms. (steps per millisecond=2 ) properties (out of 7313) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 555 ms. (steps per millisecond=1 ) properties (out of 7313) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 365 ms. (steps per millisecond=2 ) properties (out of 7313) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 370 ms. (steps per millisecond=2 ) properties (out of 7313) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 381 ms. (steps per millisecond=2 ) properties (out of 7313) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 376 ms. (steps per millisecond=2 ) properties (out of 7313) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 363 ms. (steps per millisecond=2 ) properties (out of 7313) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 361 ms. (steps per millisecond=2 ) properties (out of 7313) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 366 ms. (steps per millisecond=2 ) properties (out of 7313) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 359 ms. (steps per millisecond=2 ) properties (out of 7313) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 377 ms. (steps per millisecond=2 ) properties (out of 7313) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 362 ms. (steps per millisecond=2 ) properties (out of 7313) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 363 ms. (steps per millisecond=2 ) properties (out of 7313) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 361 ms. (steps per millisecond=2 ) properties (out of 7313) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 371 ms. (steps per millisecond=2 ) properties (out of 7313) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 370 ms. (steps per millisecond=2 ) properties (out of 7313) seen :0
Running SMT prover for 7313 properties.
// Phase 1: matrix 35010 rows 36348 cols
[2024-05-27 15:46:10] [INFO ] Computed 18843 invariants in 123 ms
Detected timeout of ITS tools.
[2024-05-27 15:48:56] [INFO ] Flatten gal took : 1203 ms
[2024-05-27 15:48:56] [INFO ] Applying decomposition
[2024-05-27 15:48:57] [INFO ] Flatten gal took : 1319 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202304061127/bin/convert-linux64' '-i' '/tmp/graph3107503902971573650.txt' '-o' '/tmp/graph3107503902971573650.bin' '-w' '/tmp/graph3107503902971573650.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202304061127/bin/louvain-linux64' '/tmp/graph3107503902971573650.bin' '-l' '-1' '-v' '-w' '/tmp/graph3107503902971573650.weights' '-q' '0' '-e' '0.001'
[2024-05-27 15:49:03] [INFO ] Decomposing Gal with order
[2024-05-27 15:49:43] [INFO ] Rewriting arrays to variables to allow decomposition.
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.global.GlobalPropertySolver.applyReachabilitySolver(GlobalPropertySolver.java:724)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:558)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preSolveLiveness(GlobalPropertySolver.java:412)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preStableMarking(GlobalPropertySolver.java:321)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:294)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:426)
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-27 15:49:55] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2024-05-27 15:49:55] [INFO ] After 225322ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 7313 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 3 ms.
Support contains 13174 out of 36348 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 36348/36348 places, 35010/35010 transitions.
Graph (complete) has 104278 edges and 36348 vertex of which 36101 are kept as prefixes of interest. Removing 247 places using SCC suffix rule.37 ms
Discarding 247 places :
Also discarding 195 output transitions
Drop transitions removed 195 transitions
Discarding 2 places :
Also discarding 1 output transitions
Drop transitions removed 1 transitions
Remove reverse transitions (loop back) rule discarded transition FF2a_140.End_140 and 2 places that fell out of Prefix Of Interest.
Drop transitions removed 22 transitions
Reduce isomorphic transitions removed 22 transitions.
Drop transitions removed 84 transitions
Trivial Post-agglo rules discarded 84 transitions
Performed 84 trivial Post agglomeration. Transition count delta: 84
Iterating post reduction 0 with 107 rules applied. Total rules applied 108 place count 36099 transition count 34708
Reduce places removed 168 places and 0 transitions.
Drop transitions removed 84 transitions
Reduce isomorphic transitions removed 84 transitions.
Iterating post reduction 1 with 252 rules applied. Total rules applied 360 place count 35931 transition count 34624
Free-agglomeration rule (complex) applied 2203 times.
Iterating global reduction 2 with 2203 rules applied. Total rules applied 2563 place count 35931 transition count 32421
Reduce places removed 3788 places and 0 transitions.
Drop transitions removed 2203 transitions
Reduce isomorphic transitions removed 2203 transitions.
Iterating post reduction 2 with 5991 rules applied. Total rules applied 8554 place count 32143 transition count 30218
Applied a total of 8554 rules in 91234 ms. Remains 32143 /36348 variables (removed 4205) and now considering 30218/35010 (removed 4792) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 91235 ms. Remains : 32143/36348 places, 30218/35010 transitions.
Interrupted random walk after 6724 steps, including 0 resets, run timeout after 30003 ms. (steps per millisecond=0 ) properties seen 2150
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 5163) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 339 ms. (steps per millisecond=2 ) properties (out of 5163) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 5163) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 331 ms. (steps per millisecond=3 ) properties (out of 5163) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 5163) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 5163) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 5163) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 327 ms. (steps per millisecond=3 ) properties (out of 5163) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 5163) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 456 ms. (steps per millisecond=2 ) properties (out of 5163) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 344 ms. (steps per millisecond=2 ) properties (out of 5163) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 5163) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 327 ms. (steps per millisecond=3 ) properties (out of 5163) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 310 ms. (steps per millisecond=3 ) properties (out of 5163) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 5163) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 398 ms. (steps per millisecond=2 ) properties (out of 5163) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 325 ms. (steps per millisecond=3 ) properties (out of 5163) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 344 ms. (steps per millisecond=2 ) properties (out of 5163) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 372 ms. (steps per millisecond=2 ) properties (out of 5163) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 338 ms. (steps per millisecond=2 ) properties (out of 5163) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 315 ms. (steps per millisecond=3 ) properties (out of 5163) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 333 ms. (steps per millisecond=3 ) properties (out of 5163) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 330 ms. (steps per millisecond=3 ) properties (out of 5163) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 369 ms. (steps per millisecond=2 ) properties (out of 5163) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 335 ms. (steps per millisecond=2 ) properties (out of 5163) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 335 ms. (steps per millisecond=2 ) properties (out of 5163) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 334 ms. (steps per millisecond=2 ) properties (out of 5163) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 333 ms. (steps per millisecond=3 ) properties (out of 5163) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 332 ms. (steps per millisecond=3 ) properties (out of 5163) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 331 ms. (steps per millisecond=3 ) properties (out of 5163) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 363 ms. (steps per millisecond=2 ) properties (out of 5163) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 333 ms. (steps per millisecond=3 ) properties (out of 5163) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 330 ms. (steps per millisecond=3 ) properties (out of 5163) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 330 ms. (steps per millisecond=3 ) properties (out of 5163) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 330 ms. (steps per millisecond=3 ) properties (out of 5163) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 331 ms. (steps per millisecond=3 ) properties (out of 5163) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 332 ms. (steps per millisecond=3 ) properties (out of 5163) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 429 ms. (steps per millisecond=2 ) properties (out of 5163) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 382 ms. (steps per millisecond=2 ) properties (out of 5163) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 331 ms. (steps per millisecond=3 ) properties (out of 5163) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 329 ms. (steps per millisecond=3 ) properties (out of 5163) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 331 ms. (steps per millisecond=3 ) properties (out of 5163) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 332 ms. (steps per millisecond=3 ) properties (out of 5163) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 332 ms. (steps per millisecond=3 ) properties (out of 5163) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 368 ms. (steps per millisecond=2 ) properties (out of 5163) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 329 ms. (steps per millisecond=3 ) properties (out of 5163) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 330 ms. (steps per millisecond=3 ) properties (out of 5163) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 330 ms. (steps per millisecond=3 ) properties (out of 5163) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 330 ms. (steps per millisecond=3 ) properties (out of 5163) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 330 ms. (steps per millisecond=3 ) properties (out of 5163) seen :0
Running SMT prover for 5163 properties.
// Phase 1: matrix 30218 rows 32143 cols
[2024-05-27 15:52:14] [INFO ] Computed 17034 invariants in 108 ms
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.global.GlobalPropertySolver.applyReachabilitySolver(GlobalPropertySolver.java:724)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:558)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preSolveLiveness(GlobalPropertySolver.java:412)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preStableMarking(GlobalPropertySolver.java:321)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:294)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:426)
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-27 15:55:59] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2024-05-27 15:55:59] [INFO ] After 225146ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 5163 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 9592 out of 32143 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 32143/32143 places, 30218/30218 transitions.
Graph (complete) has 88884 edges and 32143 vertex of which 31456 are kept as prefixes of interest. Removing 687 places using SCC suffix rule.31 ms
Discarding 687 places :
Also discarding 557 output transitions
Drop transitions removed 557 transitions
Discarding 2 places :
Also discarding 1 output transitions
Drop transitions removed 1 transitions
Remove reverse transitions (loop back) rule discarded transition FF2a_41.End_41 and 2 places that fell out of Prefix Of Interest.
Drop transitions removed 38 transitions
Reduce isomorphic transitions removed 38 transitions.
Drop transitions removed 190 transitions
Trivial Post-agglo rules discarded 190 transitions
Performed 190 trivial Post agglomeration. Transition count delta: 190
Iterating post reduction 0 with 229 rules applied. Total rules applied 230 place count 31454 transition count 29432
Reduce places removed 380 places and 0 transitions.
Drop transitions removed 190 transitions
Reduce isomorphic transitions removed 190 transitions.
Iterating post reduction 1 with 570 rules applied. Total rules applied 800 place count 31074 transition count 29242
Free-agglomeration rule (complex) applied 2596 times.
Iterating global reduction 2 with 2596 rules applied. Total rules applied 3396 place count 31074 transition count 26646
Reduce places removed 4801 places and 0 transitions.
Drop transitions removed 2596 transitions
Reduce isomorphic transitions removed 2596 transitions.
Iterating post reduction 2 with 7397 rules applied. Total rules applied 10793 place count 26273 transition count 24050
Applied a total of 10793 rules in 130115 ms. Remains 26273 /32143 variables (removed 5870) and now considering 24050/30218 (removed 6168) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 130116 ms. Remains : 26273/32143 places, 24050/30218 transitions.
Interrupted random walk after 8968 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=0 ) properties seen 2131
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 260 ms. (steps per millisecond=3 ) properties (out of 3032) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 260 ms. (steps per millisecond=3 ) properties (out of 3032) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 260 ms. (steps per millisecond=3 ) properties (out of 3032) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 261 ms. (steps per millisecond=3 ) properties (out of 3032) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 260 ms. (steps per millisecond=3 ) properties (out of 3032) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 260 ms. (steps per millisecond=3 ) properties (out of 3032) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 263 ms. (steps per millisecond=3 ) properties (out of 3032) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 267 ms. (steps per millisecond=3 ) properties (out of 3032) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 264 ms. (steps per millisecond=3 ) properties (out of 3032) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 290 ms. (steps per millisecond=3 ) properties (out of 3032) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 264 ms. (steps per millisecond=3 ) properties (out of 3032) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 261 ms. (steps per millisecond=3 ) properties (out of 3032) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 260 ms. (steps per millisecond=3 ) properties (out of 3032) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 265 ms. (steps per millisecond=3 ) properties (out of 3032) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 278 ms. (steps per millisecond=3 ) properties (out of 3032) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 262 ms. (steps per millisecond=3 ) properties (out of 3032) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 261 ms. (steps per millisecond=3 ) properties (out of 3032) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 264 ms. (steps per millisecond=3 ) properties (out of 3032) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 262 ms. (steps per millisecond=3 ) properties (out of 3032) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 259 ms. (steps per millisecond=3 ) properties (out of 3032) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 261 ms. (steps per millisecond=3 ) properties (out of 3032) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 260 ms. (steps per millisecond=3 ) properties (out of 3032) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 261 ms. (steps per millisecond=3 ) properties (out of 3032) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 262 ms. (steps per millisecond=3 ) properties (out of 3032) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 261 ms. (steps per millisecond=3 ) properties (out of 3032) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 298 ms. (steps per millisecond=3 ) properties (out of 3032) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 261 ms. (steps per millisecond=3 ) properties (out of 3032) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 260 ms. (steps per millisecond=3 ) properties (out of 3032) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 261 ms. (steps per millisecond=3 ) properties (out of 3032) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 262 ms. (steps per millisecond=3 ) properties (out of 3032) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 263 ms. (steps per millisecond=3 ) properties (out of 3032) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 261 ms. (steps per millisecond=3 ) properties (out of 3032) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 261 ms. (steps per millisecond=3 ) properties (out of 3032) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 261 ms. (steps per millisecond=3 ) properties (out of 3032) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 267 ms. (steps per millisecond=3 ) properties (out of 3032) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 260 ms. (steps per millisecond=3 ) properties (out of 3032) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 261 ms. (steps per millisecond=3 ) properties (out of 3032) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 260 ms. (steps per millisecond=3 ) properties (out of 3032) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 260 ms. (steps per millisecond=3 ) properties (out of 3032) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 260 ms. (steps per millisecond=3 ) properties (out of 3032) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 262 ms. (steps per millisecond=3 ) properties (out of 3032) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 261 ms. (steps per millisecond=3 ) properties (out of 3032) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 279 ms. (steps per millisecond=3 ) properties (out of 3032) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 261 ms. (steps per millisecond=3 ) properties (out of 3032) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 261 ms. (steps per millisecond=3 ) properties (out of 3032) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 261 ms. (steps per millisecond=3 ) properties (out of 3032) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 260 ms. (steps per millisecond=3 ) properties (out of 3032) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 263 ms. (steps per millisecond=3 ) properties (out of 3032) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 261 ms. (steps per millisecond=3 ) properties (out of 3032) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 261 ms. (steps per millisecond=3 ) properties (out of 3032) seen :0
Running SMT prover for 3032 properties.
// Phase 1: matrix 24050 rows 26273 cols
[2024-05-27 15:58:52] [INFO ] Computed 14248 invariants in 65 ms
[2024-05-27 16:02:14] [INFO ] Removed a total of 215 redundant transitions.
[2024-05-27 16:02:15] [INFO ] Flatten gal took : 3137 ms
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.global.GlobalPropertySolver.applyReachabilitySolver(GlobalPropertySolver.java:724)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:558)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preSolveLiveness(GlobalPropertySolver.java:412)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preStableMarking(GlobalPropertySolver.java:321)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:294)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:426)
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-27 16:02:37] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2024-05-27 16:02:37] [INFO ] After 225253ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 3032 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 5776 out of 26273 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 26273/26273 places, 24050/24050 transitions.
Graph (complete) has 69374 edges and 26273 vertex of which 22678 are kept as prefixes of interest. Removing 3595 places using SCC suffix rule.21 ms
Discarding 3595 places :
Also discarding 3052 output transitions
Drop transitions removed 3052 transitions
Discarding 2 places :
Also discarding 1 output transitions
Drop transitions removed 1 transitions
Remove reverse transitions (loop back) rule discarded transition FF2a_206.End_206 and 2 places that fell out of Prefix Of Interest.
Drop transitions removed 85 transitions
Reduce isomorphic transitions removed 85 transitions.
Drop transitions removed 311 transitions
Trivial Post-agglo rules discarded 311 transitions
Performed 311 trivial Post agglomeration. Transition count delta: 311
Iterating post reduction 0 with 397 rules applied. Total rules applied 398 place count 22676 transition count 20601
Reduce places removed 622 places and 0 transitions.
Drop transitions removed 311 transitions
Reduce isomorphic transitions removed 311 transitions.
Iterating post reduction 1 with 933 rules applied. Total rules applied 1331 place count 22054 transition count 20290
Free-agglomeration rule (complex) applied 2387 times.
Iterating global reduction 2 with 2387 rules applied. Total rules applied 3718 place count 22054 transition count 17903
Reduce places removed 4685 places and 0 transitions.
Drop transitions removed 2387 transitions
Reduce isomorphic transitions removed 2387 transitions.
Iterating post reduction 2 with 7072 rules applied. Total rules applied 10790 place count 17369 transition count 15516
[2024-05-27 16:04:03] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 207 ms.
Applied a total of 10790 rules in 86458 ms. Remains 17369 /26273 variables (removed 8904) and now considering 15516/24050 (removed 8534) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 86460 ms. Remains : 17369/26273 places, 15516/24050 transitions.
[2024-05-27 16:04:04] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality11781987569688454305.gal : 670 ms
[2024-05-27 16:04:04] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality10986698655396174374.prop : 62 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-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality11781987569688454305.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality10986698655396174374.prop' '--nowitness'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202304061127/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...309
Interrupted random walk after 22354 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=0 ) properties seen 2550
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1783 ms. (steps per millisecond=5 ) properties (out of 482) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1809 ms. (steps per millisecond=5 ) properties (out of 481) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1718 ms. (steps per millisecond=5 ) properties (out of 480) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1703 ms. (steps per millisecond=5 ) properties (out of 479) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1796 ms. (steps per millisecond=5 ) properties (out of 478) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1716 ms. (steps per millisecond=5 ) properties (out of 477) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1740 ms. (steps per millisecond=5 ) properties (out of 476) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1733 ms. (steps per millisecond=5 ) properties (out of 475) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1782 ms. (steps per millisecond=5 ) properties (out of 474) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1708 ms. (steps per millisecond=5 ) properties (out of 473) seen :1
Loading property file /tmp/ReachabilityCardinality10986698655396174374.prop.
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1710 ms. (steps per millisecond=5 ) properties (out of 472) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1744 ms. (steps per millisecond=5 ) properties (out of 471) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1709 ms. (steps per millisecond=5 ) properties (out of 470) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1773 ms. (steps per millisecond=5 ) properties (out of 469) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1734 ms. (steps per millisecond=5 ) properties (out of 468) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1707 ms. (steps per millisecond=5 ) properties (out of 467) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1734 ms. (steps per millisecond=5 ) properties (out of 466) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1715 ms. (steps per millisecond=5 ) properties (out of 465) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1700 ms. (steps per millisecond=5 ) properties (out of 464) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1726 ms. (steps per millisecond=5 ) properties (out of 463) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1787 ms. (steps per millisecond=5 ) properties (out of 462) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1714 ms. (steps per millisecond=5 ) properties (out of 461) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1707 ms. (steps per millisecond=5 ) properties (out of 460) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1704 ms. (steps per millisecond=5 ) properties (out of 459) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1912 ms. (steps per millisecond=5 ) properties (out of 458) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1807 ms. (steps per millisecond=5 ) properties (out of 457) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1811 ms. (steps per millisecond=5 ) properties (out of 456) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1823 ms. (steps per millisecond=5 ) properties (out of 455) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1814 ms. (steps per millisecond=5 ) properties (out of 454) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1763 ms. (steps per millisecond=5 ) properties (out of 453) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1709 ms. (steps per millisecond=5 ) properties (out of 452) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1704 ms. (steps per millisecond=5 ) properties (out of 451) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1742 ms. (steps per millisecond=5 ) properties (out of 450) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1724 ms. (steps per millisecond=5 ) properties (out of 449) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1711 ms. (steps per millisecond=5 ) properties (out of 448) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1705 ms. (steps per millisecond=5 ) properties (out of 447) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1704 ms. (steps per millisecond=5 ) properties (out of 446) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1735 ms. (steps per millisecond=5 ) properties (out of 445) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1705 ms. (steps per millisecond=5 ) properties (out of 444) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1709 ms. (steps per millisecond=5 ) properties (out of 443) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1721 ms. (steps per millisecond=5 ) properties (out of 442) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1715 ms. (steps per millisecond=5 ) properties (out of 441) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1734 ms. (steps per millisecond=5 ) properties (out of 440) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1706 ms. (steps per millisecond=5 ) properties (out of 439) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1714 ms. (steps per millisecond=5 ) properties (out of 438) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1705 ms. (steps per millisecond=5 ) properties (out of 437) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1707 ms. (steps per millisecond=5 ) properties (out of 436) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1812 ms. (steps per millisecond=5 ) properties (out of 435) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1786 ms. (steps per millisecond=5 ) properties (out of 434) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1789 ms. (steps per millisecond=5 ) properties (out of 433) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1707 ms. (steps per millisecond=5 ) properties (out of 432) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1708 ms. (steps per millisecond=5 ) properties (out of 431) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1737 ms. (steps per millisecond=5 ) properties (out of 430) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1707 ms. (steps per millisecond=5 ) properties (out of 429) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1718 ms. (steps per millisecond=5 ) properties (out of 428) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1716 ms. (steps per millisecond=5 ) properties (out of 427) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1715 ms. (steps per millisecond=5 ) properties (out of 426) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1755 ms. (steps per millisecond=5 ) properties (out of 425) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1724 ms. (steps per millisecond=5 ) properties (out of 424) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1725 ms. (steps per millisecond=5 ) properties (out of 423) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1717 ms. (steps per millisecond=5 ) properties (out of 422) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1730 ms. (steps per millisecond=5 ) properties (out of 421) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1763 ms. (steps per millisecond=5 ) properties (out of 420) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1743 ms. (steps per millisecond=5 ) properties (out of 419) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1743 ms. (steps per millisecond=5 ) properties (out of 418) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1708 ms. (steps per millisecond=5 ) properties (out of 417) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1712 ms. (steps per millisecond=5 ) properties (out of 416) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1740 ms. (steps per millisecond=5 ) properties (out of 415) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1709 ms. (steps per millisecond=5 ) properties (out of 414) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1711 ms. (steps per millisecond=5 ) properties (out of 413) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1729 ms. (steps per millisecond=5 ) properties (out of 412) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1728 ms. (steps per millisecond=5 ) properties (out of 411) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1761 ms. (steps per millisecond=5 ) properties (out of 410) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1737 ms. (steps per millisecond=5 ) properties (out of 409) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1704 ms. (steps per millisecond=5 ) properties (out of 408) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1694 ms. (steps per millisecond=5 ) properties (out of 407) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1695 ms. (steps per millisecond=5 ) properties (out of 406) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1717 ms. (steps per millisecond=5 ) properties (out of 405) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1687 ms. (steps per millisecond=5 ) properties (out of 404) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1694 ms. (steps per millisecond=5 ) properties (out of 403) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1690 ms. (steps per millisecond=5 ) properties (out of 402) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1688 ms. (steps per millisecond=5 ) properties (out of 401) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1703 ms. (steps per millisecond=5 ) properties (out of 400) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1689 ms. (steps per millisecond=5 ) properties (out of 399) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1692 ms. (steps per millisecond=5 ) properties (out of 398) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1683 ms. (steps per millisecond=5 ) properties (out of 397) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1684 ms. (steps per millisecond=5 ) properties (out of 396) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1690 ms. (steps per millisecond=5 ) properties (out of 395) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1685 ms. (steps per millisecond=5 ) properties (out of 394) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1692 ms. (steps per millisecond=5 ) properties (out of 393) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1690 ms. (steps per millisecond=5 ) properties (out of 392) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1686 ms. (steps per millisecond=5 ) properties (out of 391) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1775 ms. (steps per millisecond=5 ) properties (out of 390) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1695 ms. (steps per millisecond=5 ) properties (out of 389) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1695 ms. (steps per millisecond=5 ) properties (out of 388) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1685 ms. (steps per millisecond=5 ) properties (out of 387) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1686 ms. (steps per millisecond=5 ) properties (out of 386) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1687 ms. (steps per millisecond=5 ) properties (out of 385) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1692 ms. (steps per millisecond=5 ) properties (out of 384) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1694 ms. (steps per millisecond=5 ) properties (out of 383) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1688 ms. (steps per millisecond=5 ) properties (out of 382) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1684 ms. (steps per millisecond=5 ) properties (out of 381) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1717 ms. (steps per millisecond=5 ) properties (out of 380) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1677 ms. (steps per millisecond=5 ) properties (out of 379) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1713 ms. (steps per millisecond=5 ) properties (out of 378) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1683 ms. (steps per millisecond=5 ) properties (out of 377) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1683 ms. (steps per millisecond=5 ) properties (out of 376) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1692 ms. (steps per millisecond=5 ) properties (out of 375) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1687 ms. (steps per millisecond=5 ) properties (out of 374) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1712 ms. (steps per millisecond=5 ) properties (out of 373) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1695 ms. (steps per millisecond=5 ) properties (out of 372) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1691 ms. (steps per millisecond=5 ) properties (out of 371) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1685 ms. (steps per millisecond=5 ) properties (out of 370) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1677 ms. (steps per millisecond=5 ) properties (out of 369) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1717 ms. (steps per millisecond=5 ) properties (out of 368) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1686 ms. (steps per millisecond=5 ) properties (out of 367) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1695 ms. (steps per millisecond=5 ) properties (out of 366) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1741 ms. (steps per millisecond=5 ) properties (out of 365) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1692 ms. (steps per millisecond=5 ) properties (out of 364) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1695 ms. (steps per millisecond=5 ) properties (out of 363) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1694 ms. (steps per millisecond=5 ) properties (out of 362) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1694 ms. (steps per millisecond=5 ) properties (out of 361) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1738 ms. (steps per millisecond=5 ) properties (out of 360) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1696 ms. (steps per millisecond=5 ) properties (out of 359) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1698 ms. (steps per millisecond=5 ) properties (out of 358) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1770 ms. (steps per millisecond=5 ) properties (out of 357) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1721 ms. (steps per millisecond=5 ) properties (out of 356) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1943 ms. (steps per millisecond=5 ) properties (out of 355) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1718 ms. (steps per millisecond=5 ) properties (out of 354) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1903 ms. (steps per millisecond=5 ) properties (out of 353) seen :1
TIME LIMIT: Killed by timeout after 1800 seconds
MemTotal: 16393232 kB
MemFree: 11689960 kB
After kill :
MemTotal: 16393232 kB
MemFree: 15784712 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ QuasiLiveness = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution QuasiLiveness -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800
+ 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 QuasiLiveness -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800
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="Philosophers-PT-010000"
export BK_EXAMINATION="QuasiLiveness"
export BK_TOOL="gold2023"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
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 Philosophers-PT-010000, examination is QuasiLiveness"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r286-smll-171654423300352"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Philosophers-PT-010000.tgz
mv Philosophers-PT-010000 execution
cd execution
if [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "UpperBounds" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] || [ "QuasiLiveness" = "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 [ "QuasiLiveness" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "QuasiLiveness" != "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 "QuasiLiveness.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property QuasiLiveness.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "QuasiLiveness.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 [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] ; then
echo "FORMULA_NAME QuasiLiveness"
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 ;