About the Execution of ITS-Tools for Philosophers-PT-010000
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16075.228 | 1800000.00 | 4288218.00 | 3125.70 | [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.r277-smll-171654417300352.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 itstools
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 r277-smll-171654417300352
=====================================================================
--------------------
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 1716791744781
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=QuasiLiveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=Philosophers-PT-010000
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
QuasiLiveness PT
Running Version 202405141337
[2024-05-27 06:35:46] [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 06:35:46] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-27 06:35:49] [INFO ] Load time of PNML (sax parser for PT used): 1816 ms
[2024-05-27 06:35:49] [INFO ] Transformed 50000 places.
[2024-05-27 06:35:49] [INFO ] Transformed 50000 transitions.
[2024-05-27 06:35:49] [INFO ] Parsed PT model containing 50000 places and 50000 transitions and 160000 arcs in 2380 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 48 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 12782 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 06:36:02] [INFO ] Computed 20000 invariants in 350 ms
[2024-05-27 06:37:08] [INFO ] Performed 4366/40000 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2024-05-27 06:37:38] [INFO ] Performed 9733/40000 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2024-05-27 06:38:08] [INFO ] Performed 14984/40000 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2024-05-27 06:38:38] [INFO ] Performed 20348/40000 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2024-05-27 06:38:38] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2024-05-27 06:38:38] [INFO ] Implicit Places using invariants in 156521 ms returned []
Implicit Place search using SMT only with invariants took 156584 ms to find 0 implicit places.
Running 20000 sub problems to find dead transitions.
[2024-05-27 06:38:39] [INFO ] Invariant cache hit.
SMT process timed out in 123032ms, After SMT, problems are : Problem set: 0 solved, 20000 unsolved
Search for dead transitions found 0 dead transitions in 123418ms
Starting structural reductions in LIVENESS mode, iteration 1 : 40000/50000 places, 40000/50000 transitions.
Finished structural reductions in LIVENESS mode , in 1 iterations and 292972 ms. Remains : 40000/50000 places, 40000/50000 transitions.
Initial state reduction rules removed 20000 formulas.
[2024-05-27 06:40:48] [INFO ] Flatten gal took : 3680 ms
[2024-05-27 06:40:51] [INFO ] Flatten gal took : 2850 ms
[2024-05-27 06:40:52] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality4585085623174145473.gal : 525 ms
[2024-05-27 06:40:52] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality13477381314233462648.prop : 141 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.202405141337/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality4585085623174145473.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality13477381314233462648.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.202405141337/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...329
RANDOM walk for 19017 steps (4 resets) in 120010 ms. (0 steps per ms) remains 8319/20000 properties
BEST_FIRST walk for 124 steps (0 resets) in 120 ms. (1 steps per ms) remains 8319/8319 properties
BEST_FIRST walk for 124 steps (0 resets) in 98 ms. (1 steps per ms) remains 8319/8319 properties
BEST_FIRST walk for 124 steps (0 resets) in 127 ms. (0 steps per ms) remains 8319/8319 properties
BEST_FIRST walk for 124 steps (0 resets) in 99 ms. (1 steps per ms) remains 8319/8319 properties
BEST_FIRST walk for 124 steps (0 resets) in 99 ms. (1 steps per ms) remains 8319/8319 properties
BEST_FIRST walk for 124 steps (0 resets) in 112 ms. (1 steps per ms) remains 8319/8319 properties
BEST_FIRST walk for 124 steps (0 resets) in 111 ms. (1 steps per ms) remains 8319/8319 properties
BEST_FIRST walk for 124 steps (0 resets) in 108 ms. (1 steps per ms) remains 8319/8319 properties
BEST_FIRST walk for 124 steps (0 resets) in 104 ms. (1 steps per ms) remains 8319/8319 properties
BEST_FIRST walk for 124 steps (0 resets) in 116 ms. (1 steps per ms) remains 8319/8319 properties
BEST_FIRST walk for 124 steps (0 resets) in 105 ms. (1 steps per ms) remains 8319/8319 properties
BEST_FIRST walk for 124 steps (0 resets) in 101 ms. (1 steps per ms) remains 8319/8319 properties
BEST_FIRST walk for 124 steps (0 resets) in 98 ms. (1 steps per ms) remains 8319/8319 properties
BEST_FIRST walk for 124 steps (0 resets) in 96 ms. (1 steps per ms) remains 8319/8319 properties
BEST_FIRST walk for 124 steps (0 resets) in 100 ms. (1 steps per ms) remains 8319/8319 properties
BEST_FIRST walk for 124 steps (0 resets) in 97 ms. (1 steps per ms) remains 8319/8319 properties
BEST_FIRST walk for 124 steps (0 resets) in 96 ms. (1 steps per ms) remains 8319/8319 properties
BEST_FIRST walk for 124 steps (0 resets) in 97 ms. (1 steps per ms) remains 8319/8319 properties
BEST_FIRST walk for 124 steps (0 resets) in 99 ms. (1 steps per ms) remains 8319/8319 properties
BEST_FIRST walk for 124 steps (0 resets) in 98 ms. (1 steps per ms) remains 8319/8319 properties
BEST_FIRST walk for 124 steps (0 resets) in 99 ms. (1 steps per ms) remains 8319/8319 properties
BEST_FIRST walk for 124 steps (0 resets) in 97 ms. (1 steps per ms) remains 8319/8319 properties
BEST_FIRST walk for 124 steps (0 resets) in 106 ms. (1 steps per ms) remains 8319/8319 properties
BEST_FIRST walk for 124 steps (0 resets) in 101 ms. (1 steps per ms) remains 8319/8319 properties
BEST_FIRST walk for 124 steps (0 resets) in 96 ms. (1 steps per ms) remains 8319/8319 properties
BEST_FIRST walk for 124 steps (0 resets) in 99 ms. (1 steps per ms) remains 8319/8319 properties
BEST_FIRST walk for 124 steps (0 resets) in 96 ms. (1 steps per ms) remains 8319/8319 properties
BEST_FIRST walk for 124 steps (0 resets) in 101 ms. (1 steps per ms) remains 8319/8319 properties
BEST_FIRST walk for 124 steps (0 resets) in 101 ms. (1 steps per ms) remains 8319/8319 properties
BEST_FIRST walk for 124 steps (0 resets) in 108 ms. (1 steps per ms) remains 8319/8319 properties
BEST_FIRST walk for 124 steps (0 resets) in 102 ms. (1 steps per ms) remains 8319/8319 properties
BEST_FIRST walk for 124 steps (0 resets) in 98 ms. (1 steps per ms) remains 8319/8319 properties
BEST_FIRST walk for 124 steps (0 resets) in 95 ms. (1 steps per ms) remains 8319/8319 properties
BEST_FIRST walk for 124 steps (0 resets) in 103 ms. (1 steps per ms) remains 8319/8319 properties
BEST_FIRST walk for 124 steps (0 resets) in 94 ms. (1 steps per ms) remains 8319/8319 properties
BEST_FIRST walk for 124 steps (0 resets) in 106 ms. (1 steps per ms) remains 8319/8319 properties
BEST_FIRST walk for 124 steps (0 resets) in 97 ms. (1 steps per ms) remains 8319/8319 properties
BEST_FIRST walk for 124 steps (0 resets) in 106 ms. (1 steps per ms) remains 8319/8319 properties
BEST_FIRST walk for 124 steps (0 resets) in 107 ms. (1 steps per ms) remains 8319/8319 properties
BEST_FIRST walk for 124 steps (0 resets) in 98 ms. (1 steps per ms) remains 8319/8319 properties
BEST_FIRST walk for 124 steps (0 resets) in 95 ms. (1 steps per ms) remains 8319/8319 properties
BEST_FIRST walk for 124 steps (0 resets) in 102 ms. (1 steps per ms) remains 8319/8319 properties
BEST_FIRST walk for 124 steps (0 resets) in 99 ms. (1 steps per ms) remains 8319/8319 properties
BEST_FIRST walk for 124 steps (0 resets) in 96 ms. (1 steps per ms) remains 8319/8319 properties
BEST_FIRST walk for 124 steps (0 resets) in 106 ms. (1 steps per ms) remains 8319/8319 properties
BEST_FIRST walk for 124 steps (0 resets) in 89 ms. (1 steps per ms) remains 8319/8319 properties
BEST_FIRST walk for 124 steps (0 resets) in 94 ms. (1 steps per ms) remains 8319/8319 properties
BEST_FIRST walk for 124 steps (0 resets) in 97 ms. (1 steps per ms) remains 8319/8319 properties
BEST_FIRST walk for 124 steps (0 resets) in 97 ms. (1 steps per ms) remains 8319/8319 properties
BEST_FIRST walk for 124 steps (0 resets) in 106 ms. (1 steps per ms) remains 8319/8319 properties
[2024-05-27 06:41:15] [INFO ] Invariant cache hit.
SMT process timed out in 43935ms, After SMT, problems are : Problem set: 0 solved, 8319 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 14871 out of 40000 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 40000/40000 places, 40000/40000 transitions.
Free-agglomeration rule (complex) applied 3717 times.
Iterating global reduction 0 with 3717 rules applied. Total rules applied 3717 place count 40000 transition count 36283
Loading property file /tmp/ReachabilityCardinality13477381314233462648.prop.
Reduce places removed 5735 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 3717 transitions
Reduce isomorphic transitions removed 3717 transitions.
Iterating post reduction 0 with 9452 rules applied. Total rules applied 13169 place count 34265 transition count 32566
Applied a total of 13169 rules in 63959 ms. Remains 34265 /40000 variables (removed 5735) and now considering 32566/40000 (removed 7434) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 63962 ms. Remains : 34265/40000 places, 32566/40000 transitions.
RANDOM walk for 16454 steps (0 resets) in 120013 ms. (0 steps per ms) remains 3470/8319 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1871 ms. (2 steps per ms) remains 3470/3470 properties
BEST_FIRST walk for 4004 steps (0 resets) in 2144 ms. (1 steps per ms) remains 3470/3470 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1803 ms. (2 steps per ms) remains 3470/3470 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1772 ms. (2 steps per ms) remains 3470/3470 properties
BEST_FIRST walk for 4004 steps (0 resets) in 2483 ms. (1 steps per ms) remains 3470/3470 properties
BEST_FIRST walk for 4004 steps (0 resets) in 2403 ms. (1 steps per ms) remains 3470/3470 properties
BEST_FIRST walk for 4004 steps (0 resets) in 2010 ms. (1 steps per ms) remains 3470/3470 properties
BEST_FIRST walk for 4004 steps (0 resets) in 2022 ms. (1 steps per ms) remains 3470/3470 properties
BEST_FIRST walk for 4004 steps (0 resets) in 2692 ms. (1 steps per ms) remains 3470/3470 properties
BEST_FIRST walk for 4004 steps (0 resets) in 2455 ms. (1 steps per ms) remains 3470/3470 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1797 ms. (2 steps per ms) remains 3470/3470 properties
BEST_FIRST walk for 4004 steps (0 resets) in 2142 ms. (1 steps per ms) remains 3470/3470 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1767 ms. (2 steps per ms) remains 3470/3470 properties
BEST_FIRST walk for 4004 steps (0 resets) in 2137 ms. (1 steps per ms) remains 3470/3470 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1965 ms. (2 steps per ms) remains 3470/3470 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1758 ms. (2 steps per ms) remains 3470/3470 properties
BEST_FIRST walk for 4004 steps (0 resets) in 2308 ms. (1 steps per ms) remains 3470/3470 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1709 ms. (2 steps per ms) remains 3470/3470 properties
BEST_FIRST walk for 4004 steps (0 resets) in 2061 ms. (1 steps per ms) remains 3470/3470 properties
BEST_FIRST walk for 4004 steps (0 resets) in 2158 ms. (1 steps per ms) remains 3470/3470 properties
BEST_FIRST walk for 4004 steps (0 resets) in 2300 ms. (1 steps per ms) remains 3470/3470 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1741 ms. (2 steps per ms) remains 3470/3470 properties
BEST_FIRST walk for 4004 steps (0 resets) in 2011 ms. (1 steps per ms) remains 3470/3470 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1706 ms. (2 steps per ms) remains 3470/3470 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1814 ms. (2 steps per ms) remains 3470/3470 properties
BEST_FIRST walk for 4004 steps (0 resets) in 2150 ms. (1 steps per ms) remains 3470/3470 properties
BEST_FIRST walk for 4004 steps (0 resets) in 2114 ms. (1 steps per ms) remains 3470/3470 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1735 ms. (2 steps per ms) remains 3470/3470 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1848 ms. (2 steps per ms) remains 3470/3470 properties
BEST_FIRST walk for 4004 steps (0 resets) in 2206 ms. (1 steps per ms) remains 3470/3470 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1756 ms. (2 steps per ms) remains 3470/3470 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1973 ms. (2 steps per ms) remains 3470/3470 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1954 ms. (2 steps per ms) remains 3470/3470 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1736 ms. (2 steps per ms) remains 3470/3470 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1738 ms. (2 steps per ms) remains 3470/3470 properties
BEST_FIRST walk for 4004 steps (0 resets) in 2019 ms. (1 steps per ms) remains 3470/3470 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1777 ms. (2 steps per ms) remains 3470/3470 properties
BEST_FIRST walk for 4004 steps (0 resets) in 2157 ms. (1 steps per ms) remains 3470/3470 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1949 ms. (2 steps per ms) remains 3470/3470 properties
BEST_FIRST walk for 4004 steps (0 resets) in 2015 ms. (1 steps per ms) remains 3470/3470 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1999 ms. (2 steps per ms) remains 3470/3470 properties
BEST_FIRST walk for 4004 steps (0 resets) in 2225 ms. (1 steps per ms) remains 3470/3470 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1754 ms. (2 steps per ms) remains 3470/3470 properties
BEST_FIRST walk for 4004 steps (0 resets) in 2301 ms. (1 steps per ms) remains 3470/3470 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1862 ms. (2 steps per ms) remains 3470/3470 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1743 ms. (2 steps per ms) remains 3470/3470 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1786 ms. (2 steps per ms) remains 3470/3470 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1758 ms. (2 steps per ms) remains 3470/3470 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1977 ms. (2 steps per ms) remains 3470/3470 properties
BEST_FIRST walk for 4004 steps (0 resets) in 2058 ms. (1 steps per ms) remains 3470/3470 properties
// Phase 1: matrix 32566 rows 34265 cols
[2024-05-27 06:44:02] [INFO ] Computed 17982 invariants in 124 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/6621 variables, 47/47 constraints. Problems are: Problem set: 0 solved, 3470 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 6621/66831 variables, and 47 constraints, problems are : Problem set: 0 solved, 3470 unsolved in 45199 ms.
Refiners :[Positive P Invariants (semi-flows): 47/17982 constraints, State Equation: 0/34265 constraints, PredecessorRefiner: 3470/3470 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 3470 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/6621 variables, 47/47 constraints. Problems are: Problem set: 0 solved, 3470 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 6621/66831 variables, and 47 constraints, problems are : Problem set: 0 solved, 3470 unsolved in 45105 ms.
Refiners :[Positive P Invariants (semi-flows): 47/17982 constraints, State Equation: 0/34265 constraints, PredecessorRefiner: 0/3470 constraints, Known Traps: 0/0 constraints]
After SMT, in 104903ms problems are : Problem set: 0 solved, 3470 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 6621 out of 34265 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 34265/34265 places, 32566/32566 transitions.
Graph (complete) has 96212 edges and 34265 vertex of which 32031 are kept as prefixes of interest. Removing 2234 places using SCC suffix rule.36 ms
Discarding 2234 places :
Also discarding 1890 output transitions
Drop transitions (Output transitions of discarded places.) removed 1890 transitions
Discarding 2 places :
Also discarding 1 output transitions
Drop transitions (Output transitions of discarded places.) removed 1 transitions
Remove reverse transitions (loop back) rule discarded transition FF2a_54.End_54 and 2 places that fell out of Prefix Of Interest.
Drop transitions (Empty/Sink Transition effects.) removed 113 transitions
Reduce isomorphic transitions removed 113 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 333 transitions
Trivial Post-agglo rules discarded 333 transitions
Performed 333 trivial Post agglomeration. Transition count delta: 333
Iterating post reduction 0 with 447 rules applied. Total rules applied 448 place count 32029 transition count 30229
Reduce places removed 666 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 333 transitions
Reduce isomorphic transitions removed 333 transitions.
Iterating post reduction 1 with 999 rules applied. Total rules applied 1447 place count 31363 transition count 29896
Free-agglomeration rule (complex) applied 6122 times.
Iterating global reduction 2 with 6122 rules applied. Total rules applied 7569 place count 31363 transition count 23774
Reduce places removed 11653 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 6122 transitions
Reduce isomorphic transitions removed 6122 transitions.
Iterating post reduction 2 with 17775 rules applied. Total rules applied 25344 place count 19710 transition count 17652
Applied a total of 25344 rules in 102352 ms. Remains 19710 /34265 variables (removed 14555) and now considering 17652/32566 (removed 14914) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 102353 ms. Remains : 19710/34265 places, 17652/32566 transitions.
RANDOM walk for 37968 steps (0 resets) in 120004 ms. (0 steps per ms) remains 197/3470 properties
BEST_FIRST walk for 40004 steps (8 resets) in 13289 ms. (3 steps per ms) remains 196/197 properties
BEST_FIRST walk for 40004 steps (8 resets) in 11120 ms. (3 steps per ms) remains 195/196 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10312 ms. (3 steps per ms) remains 194/195 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10617 ms. (3 steps per ms) remains 193/194 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10501 ms. (3 steps per ms) remains 192/193 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10833 ms. (3 steps per ms) remains 191/192 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10591 ms. (3 steps per ms) remains 190/191 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10740 ms. (3 steps per ms) remains 189/190 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10922 ms. (3 steps per ms) remains 188/189 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10899 ms. (3 steps per ms) remains 187/188 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10646 ms. (3 steps per ms) remains 186/187 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10632 ms. (3 steps per ms) remains 185/186 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10635 ms. (3 steps per ms) remains 184/185 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10603 ms. (3 steps per ms) remains 183/184 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10904 ms. (3 steps per ms) remains 182/183 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10706 ms. (3 steps per ms) remains 181/182 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10623 ms. (3 steps per ms) remains 180/181 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10654 ms. (3 steps per ms) remains 179/180 properties
BEST_FIRST walk for 40004 steps (8 resets) in 11139 ms. (3 steps per ms) remains 178/179 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10772 ms. (3 steps per ms) remains 177/178 properties
BEST_FIRST walk for 40004 steps (8 resets) in 11179 ms. (3 steps per ms) remains 176/177 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10753 ms. (3 steps per ms) remains 175/176 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10777 ms. (3 steps per ms) remains 174/175 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10521 ms. (3 steps per ms) remains 173/174 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10971 ms. (3 steps per ms) remains 172/173 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10971 ms. (3 steps per ms) remains 171/172 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10620 ms. (3 steps per ms) remains 170/171 properties
BEST_FIRST walk for 40004 steps (8 resets) in 11335 ms. (3 steps per ms) remains 169/170 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10568 ms. (3 steps per ms) remains 168/169 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10338 ms. (3 steps per ms) remains 167/168 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10825 ms. (3 steps per ms) remains 166/167 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10663 ms. (3 steps per ms) remains 165/166 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10266 ms. (3 steps per ms) remains 164/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10631 ms. (3 steps per ms) remains 163/164 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10344 ms. (3 steps per ms) remains 162/163 properties
BEST_FIRST walk for 40004 steps (8 resets) in 11030 ms. (3 steps per ms) remains 161/162 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10910 ms. (3 steps per ms) remains 160/161 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10304 ms. (3 steps per ms) remains 159/160 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10370 ms. (3 steps per ms) remains 158/159 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10617 ms. (3 steps per ms) remains 157/158 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10983 ms. (3 steps per ms) remains 156/157 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10783 ms. (3 steps per ms) remains 155/156 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10272 ms. (3 steps per ms) remains 154/155 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10544 ms. (3 steps per ms) remains 153/154 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10848 ms. (3 steps per ms) remains 152/153 properties
BEST_FIRST walk for 40004 steps (8 resets) in 11318 ms. (3 steps per ms) remains 151/152 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10606 ms. (3 steps per ms) remains 150/151 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10423 ms. (3 steps per ms) remains 149/150 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10507 ms. (3 steps per ms) remains 148/149 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10315 ms. (3 steps per ms) remains 147/148 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10556 ms. (3 steps per ms) remains 146/147 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10325 ms. (3 steps per ms) remains 145/146 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10332 ms. (3 steps per ms) remains 144/145 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10748 ms. (3 steps per ms) remains 143/144 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10127 ms. (3 steps per ms) remains 142/143 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10510 ms. (3 steps per ms) remains 141/142 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10189 ms. (3 steps per ms) remains 140/141 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10427 ms. (3 steps per ms) remains 139/140 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10636 ms. (3 steps per ms) remains 138/139 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10820 ms. (3 steps per ms) remains 137/138 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10553 ms. (3 steps per ms) remains 136/137 properties
Detected timeout of ITS tools.
BEST_FIRST walk for 40004 steps (8 resets) in 11678 ms. (3 steps per ms) remains 135/136 properties
[2024-05-27 06:50:54] [INFO ] Flatten gal took : 1601 ms
[2024-05-27 06:50:54] [INFO ] Applying decomposition
[2024-05-27 06:50:56] [INFO ] Flatten gal took : 1790 ms
BEST_FIRST walk for 40004 steps (8 resets) in 12662 ms. (3 steps per ms) remains 134/135 properties
BEST_FIRST walk for 40004 steps (8 resets) in 13484 ms. (2 steps per ms) remains 133/134 properties
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/convert-linux64' '-i' '/tmp/graph6138659632009249421.txt' '-o' '/tmp/graph6138659632009249421.bin' '-w' '/tmp/graph6138659632009249421.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph6138659632009249421.bin' '-l' '-1' '-v' '-w' '/tmp/graph6138659632009249421.weights' '-q' '0' '-e' '0.001'
[2024-05-27 06:51:04] [INFO ] Decomposing Gal with order
BEST_FIRST walk for 40004 steps (8 resets) in 18390 ms. (2 steps per ms) remains 132/133 properties
BEST_FIRST walk for 40004 steps (8 resets) in 11072 ms. (3 steps per ms) remains 131/132 properties
BEST_FIRST walk for 40004 steps (8 resets) in 13269 ms. (3 steps per ms) remains 130/131 properties
BEST_FIRST walk for 40004 steps (8 resets) in 11095 ms. (3 steps per ms) remains 129/130 properties
BEST_FIRST walk for 40004 steps (8 resets) in 13334 ms. (2 steps per ms) remains 128/129 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10308 ms. (3 steps per ms) remains 127/128 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10371 ms. (3 steps per ms) remains 126/127 properties
BEST_FIRST walk for 40004 steps (8 resets) in 11905 ms. (3 steps per ms) remains 125/126 properties
BEST_FIRST walk for 40004 steps (8 resets) in 11184 ms. (3 steps per ms) remains 124/125 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10776 ms. (3 steps per ms) remains 123/124 properties
BEST_FIRST walk for 40004 steps (8 resets) in 11209 ms. (3 steps per ms) remains 122/123 properties
BEST_FIRST walk for 40004 steps (8 resets) in 11611 ms. (3 steps per ms) remains 121/122 properties
BEST_FIRST walk for 40004 steps (8 resets) in 11486 ms. (3 steps per ms) remains 120/121 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10470 ms. (3 steps per ms) remains 119/120 properties
[2024-05-27 06:51:47] [INFO ] Rewriting arrays to variables to allow decomposition.
BEST_FIRST walk for 40004 steps (8 resets) in 10784 ms. (3 steps per ms) remains 118/119 properties
BEST_FIRST walk for 40004 steps (8 resets) in 12424 ms. (3 steps per ms) remains 117/118 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10496 ms. (3 steps per ms) remains 116/117 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10997 ms. (3 steps per ms) remains 115/116 properties
BEST_FIRST walk for 40004 steps (8 resets) in 14861 ms. (2 steps per ms) remains 114/115 properties
BEST_FIRST walk for 40004 steps (8 resets) in 11347 ms. (3 steps per ms) remains 113/114 properties
BEST_FIRST walk for 40004 steps (8 resets) in 11364 ms. (3 steps per ms) remains 112/113 properties
BEST_FIRST walk for 40004 steps (8 resets) in 12397 ms. (3 steps per ms) remains 111/112 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10960 ms. (3 steps per ms) remains 110/111 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10471 ms. (3 steps per ms) remains 109/110 properties
BEST_FIRST walk for 40004 steps (8 resets) in 11656 ms. (3 steps per ms) remains 108/109 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10401 ms. (3 steps per ms) remains 107/108 properties
BEST_FIRST walk for 40004 steps (8 resets) in 14617 ms. (2 steps per ms) remains 106/107 properties
BEST_FIRST walk for 40004 steps (8 resets) in 12998 ms. (3 steps per ms) remains 105/106 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10712 ms. (3 steps per ms) remains 104/105 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10736 ms. (3 steps per ms) remains 103/104 properties
BEST_FIRST walk for 40004 steps (8 resets) in 14652 ms. (2 steps per ms) remains 102/103 properties
BEST_FIRST walk for 40004 steps (8 resets) in 12749 ms. (3 steps per ms) remains 101/102 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10737 ms. (3 steps per ms) remains 100/101 properties
BEST_FIRST walk for 40004 steps (8 resets) in 14987 ms. (2 steps per ms) remains 99/100 properties
BEST_FIRST walk for 40004 steps (8 resets) in 14310 ms. (2 steps per ms) remains 98/99 properties
BEST_FIRST walk for 40004 steps (8 resets) in 11515 ms. (3 steps per ms) remains 97/98 properties
BEST_FIRST walk for 40004 steps (8 resets) in 11051 ms. (3 steps per ms) remains 96/97 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10273 ms. (3 steps per ms) remains 95/96 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10469 ms. (3 steps per ms) remains 94/95 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10492 ms. (3 steps per ms) remains 93/94 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10211 ms. (3 steps per ms) remains 92/93 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10327 ms. (3 steps per ms) remains 91/92 properties
BEST_FIRST walk for 40004 steps (8 resets) in 14910 ms. (2 steps per ms) remains 90/91 properties
BEST_FIRST walk for 40004 steps (8 resets) in 13189 ms. (3 steps per ms) remains 89/90 properties
BEST_FIRST walk for 40004 steps (8 resets) in 12691 ms. (3 steps per ms) remains 88/89 properties
BEST_FIRST walk for 40004 steps (8 resets) in 11782 ms. (3 steps per ms) remains 87/88 properties
BEST_FIRST walk for 40004 steps (8 resets) in 11190 ms. (3 steps per ms) remains 86/87 properties
BEST_FIRST walk for 40004 steps (8 resets) in 11038 ms. (3 steps per ms) remains 85/86 properties
BEST_FIRST walk for 40004 steps (8 resets) in 14066 ms. (2 steps per ms) remains 84/85 properties
BEST_FIRST walk for 40004 steps (8 resets) in 12077 ms. (3 steps per ms) remains 83/84 properties
BEST_FIRST walk for 40004 steps (8 resets) in 15512 ms. (2 steps per ms) remains 82/83 properties
BEST_FIRST walk for 40004 steps (8 resets) in 12102 ms. (3 steps per ms) remains 81/82 properties
BEST_FIRST walk for 40004 steps (8 resets) in 12988 ms. (3 steps per ms) remains 80/81 properties
BEST_FIRST walk for 40004 steps (8 resets) in 13283 ms. (3 steps per ms) remains 79/80 properties
BEST_FIRST walk for 40004 steps (8 resets) in 11985 ms. (3 steps per ms) remains 78/79 properties
BEST_FIRST walk for 40004 steps (8 resets) in 13819 ms. (2 steps per ms) remains 77/78 properties
BEST_FIRST walk for 40004 steps (8 resets) in 15069 ms. (2 steps per ms) remains 76/77 properties
BEST_FIRST walk for 40004 steps (8 resets) in 12720 ms. (3 steps per ms) remains 75/76 properties
BEST_FIRST walk for 40004 steps (8 resets) in 12850 ms. (3 steps per ms) remains 74/75 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10535 ms. (3 steps per ms) remains 73/74 properties
BEST_FIRST walk for 40004 steps (8 resets) in 12877 ms. (3 steps per ms) remains 72/73 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10612 ms. (3 steps per ms) remains 71/72 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10898 ms. (3 steps per ms) remains 70/71 properties
BEST_FIRST walk for 40004 steps (8 resets) in 13056 ms. (3 steps per ms) remains 69/70 properties
BEST_FIRST walk for 40004 steps (8 resets) in 13488 ms. (2 steps per ms) remains 68/69 properties
BEST_FIRST walk for 40004 steps (8 resets) in 12530 ms. (3 steps per ms) remains 67/68 properties
BEST_FIRST walk for 40004 steps (8 resets) in 13209 ms. (3 steps per ms) remains 66/67 properties
BEST_FIRST walk for 40004 steps (8 resets) in 13053 ms. (3 steps per ms) remains 65/66 properties
BEST_FIRST walk for 40004 steps (8 resets) in 15167 ms. (2 steps per ms) remains 64/65 properties
BEST_FIRST walk for 40004 steps (8 resets) in 15235 ms. (2 steps per ms) remains 63/64 properties
BEST_FIRST walk for 40004 steps (8 resets) in 15021 ms. (2 steps per ms) remains 62/63 properties
BEST_FIRST walk for 40004 steps (8 resets) in 14445 ms. (2 steps per ms) remains 61/62 properties
BEST_FIRST walk for 40004 steps (8 resets) in 12150 ms. (3 steps per ms) remains 60/61 properties
BEST_FIRST walk for 40004 steps (8 resets) in 11338 ms. (3 steps per ms) remains 59/60 properties
BEST_FIRST walk for 40004 steps (8 resets) in 12833 ms. (3 steps per ms) remains 58/59 properties
BEST_FIRST walk for 40004 steps (8 resets) in 12291 ms. (3 steps per ms) remains 57/58 properties
BEST_FIRST walk for 40004 steps (8 resets) in 12879 ms. (3 steps per ms) remains 56/57 properties
BEST_FIRST walk for 40004 steps (8 resets) in 11539 ms. (3 steps per ms) remains 55/56 properties
BEST_FIRST walk for 40004 steps (8 resets) in 11905 ms. (3 steps per ms) remains 54/55 properties
BEST_FIRST walk for 40004 steps (8 resets) in 14293 ms. (2 steps per ms) remains 53/54 properties
BEST_FIRST walk for 40004 steps (8 resets) in 13510 ms. (2 steps per ms) remains 52/53 properties
BEST_FIRST walk for 40004 steps (8 resets) in 13130 ms. (3 steps per ms) remains 51/52 properties
BEST_FIRST walk for 40004 steps (8 resets) in 13427 ms. (2 steps per ms) remains 50/51 properties
BEST_FIRST walk for 40004 steps (8 resets) in 14960 ms. (2 steps per ms) remains 49/50 properties
BEST_FIRST walk for 40004 steps (8 resets) in 12797 ms. (3 steps per ms) remains 48/49 properties
BEST_FIRST walk for 40004 steps (8 resets) in 12379 ms. (3 steps per ms) remains 47/48 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10504 ms. (3 steps per ms) remains 46/47 properties
BEST_FIRST walk for 40004 steps (8 resets) in 12558 ms. (3 steps per ms) remains 45/46 properties
BEST_FIRST walk for 40004 steps (8 resets) in 13621 ms. (2 steps per ms) remains 44/45 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10834 ms. (3 steps per ms) remains 43/44 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10709 ms. (3 steps per ms) remains 42/43 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10711 ms. (3 steps per ms) remains 41/42 properties
BEST_FIRST walk for 40004 steps (8 resets) in 11732 ms. (3 steps per ms) remains 40/41 properties
BEST_FIRST walk for 40004 steps (8 resets) in 11481 ms. (3 steps per ms) remains 39/40 properties
BEST_FIRST walk for 40004 steps (8 resets) in 11774 ms. (3 steps per ms) remains 38/39 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10636 ms. (3 steps per ms) remains 37/38 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10638 ms. (3 steps per ms) remains 36/37 properties
BEST_FIRST walk for 40004 steps (8 resets) in 11660 ms. (3 steps per ms) remains 35/36 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10003 ms. (3 steps per ms) remains 34/35 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10383 ms. (3 steps per ms) remains 33/34 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10485 ms. (3 steps per ms) remains 32/33 properties
BEST_FIRST walk for 40004 steps (8 resets) in 11320 ms. (3 steps per ms) remains 31/32 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10347 ms. (3 steps per ms) remains 30/31 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10963 ms. (3 steps per ms) remains 29/30 properties
BEST_FIRST walk for 40004 steps (8 resets) in 14104 ms. (2 steps per ms) remains 28/29 properties
BEST_FIRST walk for 40004 steps (8 resets) in 12637 ms. (3 steps per ms) remains 27/28 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10904 ms. (3 steps per ms) remains 26/27 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10213 ms. (3 steps per ms) remains 25/26 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10137 ms. (3 steps per ms) remains 24/25 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10359 ms. (3 steps per ms) remains 23/24 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10709 ms. (3 steps per ms) remains 22/23 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10942 ms. (3 steps per ms) remains 21/22 properties
BEST_FIRST walk for 40004 steps (8 resets) in 11434 ms. (3 steps per ms) remains 20/21 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10327 ms. (3 steps per ms) remains 19/20 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10606 ms. (3 steps per ms) remains 18/19 properties
BEST_FIRST walk for 40004 steps (8 resets) in 11346 ms. (3 steps per ms) remains 17/18 properties
BEST_FIRST walk for 40004 steps (8 resets) in 11258 ms. (3 steps per ms) remains 16/17 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10627 ms. (3 steps per ms) remains 15/16 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10346 ms. (3 steps per ms) remains 14/15 properties
BEST_FIRST walk for 40004 steps (8 resets) in 11089 ms. (3 steps per ms) remains 13/14 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10491 ms. (3 steps per ms) remains 12/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10745 ms. (3 steps per ms) remains 11/12 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10531 ms. (3 steps per ms) remains 10/11 properties
BEST_FIRST walk for 40004 steps (8 resets) in 11299 ms. (3 steps per ms) remains 9/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10518 ms. (3 steps per ms) remains 8/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10260 ms. (3 steps per ms) remains 7/8 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10708 ms. (3 steps per ms) remains 6/7 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10634 ms. (3 steps per ms) remains 5/6 properties
BEST_FIRST walk for 40004 steps (8 resets) in 11063 ms. (3 steps per ms) remains 4/5 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10635 ms. (3 steps per ms) remains 3/4 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10965 ms. (3 steps per ms) remains 2/3 properties
BEST_FIRST walk for 40004 steps (8 resets) in 11285 ms. (3 steps per ms) remains 1/2 properties
BEST_FIRST walk for 35308 steps (0 resets) in 9524 ms. (3 steps per ms) remains 0/1 properties
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:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /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="itstools"
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 itstools"
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 r277-smll-171654417300352"
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 ;