About the Execution of GreatSPN+red for Philosophers-PT-005000
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 3767.424 | 220056.00 | 332567.00 | 967.90 | T | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r276-smll-171654416500347.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 greatspnxred
Input is Philosophers-PT-005000, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r276-smll-171654416500347
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 162M
-rw-r--r-- 1 mcc users 5.5M Apr 13 19:33 CTLCardinality.txt
-rw-r--r-- 1 mcc users 27M Apr 13 19:33 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7M Apr 13 14:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 16M Apr 13 14:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:43 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 2.2M Apr 23 07:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 7.8M Apr 23 07:43 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.7M Apr 23 07:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.0M Apr 23 07:43 LTLFireability.xml
-rw-r--r-- 1 mcc users 11M Apr 14 03:13 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 54M Apr 14 03:13 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7M Apr 13 23:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15M Apr 13 23:02 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 501K Apr 23 07:43 UpperBounds.txt
-rw-r--r-- 1 mcc users 1.3M 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 11M 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 1716844081378
Invoking MCC driver with
BK_TOOL=greatspnxred
BK_EXAMINATION=QuasiLiveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=Philosophers-PT-005000
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool greatspn
Invoking reducer
Running Version 202405141337
[2024-05-27 21:08:03] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -timeout, 180, -rebuildPNML]
[2024-05-27 21:08:03] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-27 21:08:05] [INFO ] Load time of PNML (sax parser for PT used): 1275 ms
[2024-05-27 21:08:05] [INFO ] Transformed 25000 places.
[2024-05-27 21:08:05] [INFO ] Transformed 25000 transitions.
[2024-05-27 21:08:05] [INFO ] Parsed PT model containing 25000 places and 25000 transitions and 80000 arcs in 1664 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 25000/25000 places, 25000/25000 transitions.
Performed 5000 Post agglomeration using F-continuation condition.Transition count delta: 5000
Deduced a syphon composed of 5000 places in 31 ms
Reduce places removed 5000 places and 0 transitions.
Iterating global reduction 0 with 10000 rules applied. Total rules applied 10000 place count 20000 transition count 20000
Applied a total of 10000 rules in 3816 ms. Remains 20000 /25000 variables (removed 5000) and now considering 20000/25000 (removed 5000) transitions.
// Phase 1: matrix 20000 rows 20000 cols
[2024-05-27 21:08:09] [INFO ] Computed 10000 invariants in 217 ms
[2024-05-27 21:08:52] [INFO ] Performed 10553/20000 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2024-05-27 21:09:22] [INFO ] Performed 19112/20000 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2024-05-27 21:09:26] [INFO ] Implicit Places using invariants in 76554 ms returned []
Implicit Place search using SMT only with invariants took 76837 ms to find 0 implicit places.
Running 10000 sub problems to find dead transitions.
[2024-05-27 21:09:26] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/15000 variables, 5000/5000 constraints. Problems are: Problem set: 0 solved, 10000 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 15000/40000 variables, and 5000 constraints, problems are : Problem set: 0 solved, 10000 unsolved in 30412 ms.
Refiners :[Positive P Invariants (semi-flows): 5000/10000 constraints, State Equation: 0/20000 constraints, PredecessorRefiner: 10000/10000 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 10000 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/15000 variables, 5000/5000 constraints. Problems are: Problem set: 0 solved, 10000 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 15000/40000 variables, and 5000 constraints, problems are : Problem set: 0 solved, 10000 unsolved in 30271 ms.
Refiners :[Positive P Invariants (semi-flows): 5000/10000 constraints, State Equation: 0/20000 constraints, PredecessorRefiner: 0/10000 constraints, Known Traps: 0/0 constraints]
After SMT, in 83811ms problems are : Problem set: 0 solved, 10000 unsolved
Search for dead transitions found 0 dead transitions in 84017ms
Starting structural reductions in LIVENESS mode, iteration 1 : 20000/25000 places, 20000/25000 transitions.
Finished structural reductions in LIVENESS mode , in 1 iterations and 164793 ms. Remains : 20000/25000 places, 20000/25000 transitions.
Initial state reduction rules removed 10000 formulas.
RANDOM walk for 40000 steps (8 resets) in 71127 ms. (0 steps per ms) remains 432/10000 properties
BEST_FIRST walk for 404 steps (0 resets) in 185 ms. (2 steps per ms) remains 432/432 properties
BEST_FIRST walk for 404 steps (0 resets) in 192 ms. (2 steps per ms) remains 432/432 properties
BEST_FIRST walk for 404 steps (0 resets) in 171 ms. (2 steps per ms) remains 432/432 properties
BEST_FIRST walk for 404 steps (0 resets) in 112 ms. (3 steps per ms) remains 432/432 properties
BEST_FIRST walk for 404 steps (0 resets) in 88 ms. (4 steps per ms) remains 432/432 properties
BEST_FIRST walk for 404 steps (0 resets) in 92 ms. (4 steps per ms) remains 432/432 properties
BEST_FIRST walk for 404 steps (0 resets) in 97 ms. (4 steps per ms) remains 432/432 properties
BEST_FIRST walk for 404 steps (0 resets) in 89 ms. (4 steps per ms) remains 432/432 properties
BEST_FIRST walk for 404 steps (0 resets) in 89 ms. (4 steps per ms) remains 432/432 properties
BEST_FIRST walk for 404 steps (0 resets) in 92 ms. (4 steps per ms) remains 432/432 properties
BEST_FIRST walk for 404 steps (0 resets) in 94 ms. (4 steps per ms) remains 432/432 properties
BEST_FIRST walk for 404 steps (0 resets) in 90 ms. (4 steps per ms) remains 432/432 properties
BEST_FIRST walk for 404 steps (0 resets) in 88 ms. (4 steps per ms) remains 432/432 properties
BEST_FIRST walk for 404 steps (0 resets) in 101 ms. (3 steps per ms) remains 432/432 properties
BEST_FIRST walk for 404 steps (0 resets) in 95 ms. (4 steps per ms) remains 432/432 properties
BEST_FIRST walk for 404 steps (0 resets) in 88 ms. (4 steps per ms) remains 432/432 properties
BEST_FIRST walk for 404 steps (0 resets) in 88 ms. (4 steps per ms) remains 432/432 properties
BEST_FIRST walk for 404 steps (0 resets) in 92 ms. (4 steps per ms) remains 432/432 properties
BEST_FIRST walk for 404 steps (0 resets) in 88 ms. (4 steps per ms) remains 432/432 properties
BEST_FIRST walk for 404 steps (0 resets) in 399 ms. (1 steps per ms) remains 432/432 properties
BEST_FIRST walk for 404 steps (0 resets) in 91 ms. (4 steps per ms) remains 432/432 properties
BEST_FIRST walk for 404 steps (0 resets) in 92 ms. (4 steps per ms) remains 432/432 properties
BEST_FIRST walk for 404 steps (0 resets) in 88 ms. (4 steps per ms) remains 432/432 properties
BEST_FIRST walk for 404 steps (0 resets) in 89 ms. (4 steps per ms) remains 432/432 properties
BEST_FIRST walk for 404 steps (0 resets) in 92 ms. (4 steps per ms) remains 432/432 properties
BEST_FIRST walk for 404 steps (0 resets) in 93 ms. (4 steps per ms) remains 432/432 properties
BEST_FIRST walk for 404 steps (0 resets) in 92 ms. (4 steps per ms) remains 432/432 properties
BEST_FIRST walk for 404 steps (0 resets) in 88 ms. (4 steps per ms) remains 432/432 properties
BEST_FIRST walk for 404 steps (0 resets) in 94 ms. (4 steps per ms) remains 432/432 properties
BEST_FIRST walk for 404 steps (0 resets) in 88 ms. (4 steps per ms) remains 432/432 properties
BEST_FIRST walk for 404 steps (0 resets) in 91 ms. (4 steps per ms) remains 432/432 properties
BEST_FIRST walk for 404 steps (0 resets) in 88 ms. (4 steps per ms) remains 432/432 properties
BEST_FIRST walk for 404 steps (0 resets) in 92 ms. (4 steps per ms) remains 432/432 properties
BEST_FIRST walk for 404 steps (0 resets) in 92 ms. (4 steps per ms) remains 432/432 properties
BEST_FIRST walk for 404 steps (0 resets) in 87 ms. (4 steps per ms) remains 432/432 properties
BEST_FIRST walk for 404 steps (0 resets) in 92 ms. (4 steps per ms) remains 432/432 properties
BEST_FIRST walk for 404 steps (0 resets) in 101 ms. (3 steps per ms) remains 432/432 properties
BEST_FIRST walk for 404 steps (0 resets) in 101 ms. (3 steps per ms) remains 432/432 properties
BEST_FIRST walk for 404 steps (0 resets) in 102 ms. (3 steps per ms) remains 432/432 properties
BEST_FIRST walk for 404 steps (0 resets) in 91 ms. (4 steps per ms) remains 432/432 properties
BEST_FIRST walk for 404 steps (0 resets) in 88 ms. (4 steps per ms) remains 432/432 properties
BEST_FIRST walk for 404 steps (0 resets) in 102 ms. (3 steps per ms) remains 432/432 properties
BEST_FIRST walk for 404 steps (0 resets) in 108 ms. (3 steps per ms) remains 432/432 properties
BEST_FIRST walk for 404 steps (0 resets) in 100 ms. (4 steps per ms) remains 432/432 properties
BEST_FIRST walk for 404 steps (0 resets) in 97 ms. (4 steps per ms) remains 432/432 properties
BEST_FIRST walk for 404 steps (0 resets) in 96 ms. (4 steps per ms) remains 432/432 properties
BEST_FIRST walk for 404 steps (0 resets) in 90 ms. (4 steps per ms) remains 432/432 properties
BEST_FIRST walk for 404 steps (0 resets) in 88 ms. (4 steps per ms) remains 432/432 properties
BEST_FIRST walk for 404 steps (0 resets) in 88 ms. (4 steps per ms) remains 432/432 properties
BEST_FIRST walk for 404 steps (0 resets) in 90 ms. (4 steps per ms) remains 432/432 properties
[2024-05-27 21:11:10] [INFO ] Invariant cache hit.
Error getting values : (error "ParserException while parsing response: ((s4816 1.0)
(s4830 1.0)
(s4832 1.0)
(s4843 1.0)
(s4851 1.0)
(s5122 1.0)
(s5136 1.0)
(s5143 1.0)
(s5165 1.0)
(s5167 1.0)
(s5199 1.0)
(s5200 1.0)
(s5217 1.0)
(s5235 1.0)
(s5250 1.0)
(s5309 1.0)
(s5322 1.0)
(s5323 1.0)
(s5326 1.0)
(s5327 1.0)
(s5350 1.0)
(s5354 1.0)
(s5370 1.0)
(s5373 1.0)
(s5397 1.0)
(s5398 1.0)
(s5412 1.0)
(s5414 1.0)
(s5439 1.0)
(s5451 1.0)
(s5462 1.0)
(s5463 1.0)
(s5467 1.0)
(s5471 1.0)
(s5490 1.0)
(s5497 1.0)
(s5508 1.0)
(s5510 1.0)
(s5512 1.0)
(s5518 1.0)
(s5522 1.0)
(s5524 1.0)
(s5554 1.0)
(s5562 1.0)
(s5564 1.0)
(s5572 1.0)
(s5575 1.0)
(s5579 1.0)
(s5583 1.0)
(s5597 1.0)
(s5608 1.0)
(s5616 1.0)
(s5636 1.0)
(s5661 1.0)
(s5663 1.0)
(s5671 1.0)
(s5700 1.0)
(s5710 1.0)
(s5718 1.0)
(s5725 1.0)
(s5727 1.0)
(s5730 1.0)
(s5743 1.0)
(s5749 1.0)
(s5758 1.0)
(s5771 1.0)
(s5773 1.0)
(s5803 1.0)
(s5804 1.0)
(s5805 1.0)
(s5809 1.0)
(s5813 1.0)
(s5819 1.0)
(s5828 1.0)
(s5832 1.0)
(s5843 1.0)
(s5870 1.0)
(s5888 1.0)
(s5891 1.0)
(s5894 1.0)
(s5900 1.0)
(s5913 1.0)
(s5914 1.0)
(s5918 1.0)
(s5923 1.0)
(s5945 1.0)
(s5946 1.0)
(s5952 1.0)
(s5971 1.0)
(s5979 1.0)
(s5999 1.0)
(s6017 1.0)
(s6035 1.0)
(s6062 1.0)
(s6083 1.0)
(s6122 1.0)
(s6123 1.0)
(s6130 1.0)
(s6151 1.0)
(s6160 1.0)
(s6172 1.0)
(s6178 1.0)
(s6215 1.0)
(s6216 1.0)
(s6223 1.0)
(s6231 1.0)
(s6232 1.0)
(s6236 1.0)
(s6240 1.0)
(s6263 1.0)
(s6283 1.0)
(s6284 1.0)
(s6302 1.0)
(s6330 1.0)
(s6349 1.0)
(s6362 1.0)
(s6391 1.0)
(s6400 1.0)
(s6407 1.0)
(s6408 1.0)
(s6410 1.0)
(s6414 1.0)
(s6419 1.0)
(s6426 1.0)
(s6431 1.0)
(s6432 1.0)
(s6433 1.0)
(s6479 1.0)
(s6511 1.0)
(s6519 1.0)
(s6522 1.0)
(s6531 1.0)
(s6570 1.0)
(s6598 1.0)
(s6607 1.0)
(s6608 1.0)
(s6632 1.0)
(s6652 1.0)
(s6679 1.0)
(s6699 1.0)
(s6706 1.0)
(s6712 1.0)
(s6732 1.0)
(s6734 1.0)
(s6743 1.0)
(s6753 1.0)
(s6764 1.0)
(s6768 1.0)
(s6784 1.0)
(s6794 1.0)
(s6799 1.0)
(s6800 1.0)
(s6809 1.0)
(s6830 1.0)
(s6843 1.0)
(s6854 1.0)
(s6866 1.0)
(s6876 1.0)
(s6903 1.0)
(s6906 1.0)
(s6913 1.0)
(s6940 1.0)
(s6965 1.0)
(s6977 1.0)
(s6982 1.0)
(s6990 1.0)
(s6994 1.0)
(s6998 1.0)
(s7006 1.0)
(s7014 1.0)
(s7024 1.0)
(s7042 1.0)
(s7075 1.0)
(s7078 1.0)
(s7088 1.0)
(s7106 1.0)
(s7110 1.0)
(s7150 1.0)
(s7164 1.0)
(s7173 1.0)
(s7214 1.0)
(s7222 1.0)
(s7245 1.0)
(s7254 1.0)
(s7255 1.0)
(s7273 1.0)
(s7291 1.0)
(s7297 1.0)
(s7300 1.0)
(s7305 1.0)
(s7313 1.0)
(s7339 1.0)
(s7346 1.0)
(s7352 1.0)
(s7355 1.0)
(s7357 1.0)
(s7365 1.0)
(s7377 1.0)
(s7400 1.0)
(s7427 1.0)
(s7459 1.0)
(s7473 1.0)
(s7485 1.0)
(s7507 1.0)
(s7520 1.0)
(s7533 1.0)
(s7535 1.0)
(s7550 1.0)
(s7555 1.0)
(s7558 1.0)
(s7569 1.0)
(s7577 1.0)
(s7661 1.0)
(s7667 1.0)
(s7679 1.0)
(s7684 1.0)
(s7691 1.0)
(s7699 1.0)
(s7711 1.0)
(s7719 1.0)
(s7722 1.0)
(s7729 1.0)
(s7789 1.0)
(s7795 1.0)
(s7801 1.0)
(s7804 1.0)
(s7818 1.0)
(s7837 1.0)
(s7840 1.0)
(s7863 1.0)
(s7879 1.0)
(s7894 1.0)
(s7918 1.0)
(s7923 1.0)
(s7928 1.0)
(s7935 1.0)
(s7941 1.0)
(s7945 1.0)
(s7949 1.0)
(s7961 1.0)
(s7964 1.0)
(s7965 1.0)
(s7990 1.0)
(s7999 1.0)
(s8043 1.0)
(s8071 1.0)
(s8077 1.0)
(s8108 1.0)
(s8144 1.0)
(s8153 1.0)
(s8202 1.0)
(s8217 1.0)
(s8218 1.0)
(s8246 1.0)
(s8250 1.0)
(s8251 1.0)
(s8268 1.0)
(s8269 1.0)
(s8292 1.0)
(s8303 1.0)
(s8320 1.0)
(s8340 1.0)
(s8344 1.0)
(s8350 1.0)
(s8366 1.0)
(s8375 1.0)
(s8392 1.0)
(s8398 1.0)
(s8433 1.0)
(s8435 1.0)
(s8446 1.0)
(s8447 1.0)
(s8449 1.0)
(s8457 1.0)
(s8505 1.0)
(s8528 1.0)
(s8559 1.0)
(s8560 1.0)
(s8561 1.0)
(s8566 1.0)
(s8569 1.0)
(s8578 1.0)
(s8592 1.0)
(s8596 1.0)
(s8613 1.0)
(s8618 1.0)
(s8627 1.0)
(s8629 1.0)
(s8630 1.0)
(s8631 1.0)
(s8640 1.0)
(s8643 1.0)
(s8660 1.0)
(s8673 1.0)
(s8683 1.0)
(s8688 1.0)
(s8692 1.0)
(s8695 1.0)
(s8706 1.0)
(s8716 1.0)
(s8718 1.0)
(s8719 1.0)
(s8721 1.0)
(s8724 1.0)
(s8741 1.0)
(s8746 1.0)
(s8798 1.0)
(s8802 1.0)
(s8816 1.0)
(s8821 1.0)
(s8843 1.0)
(s8860 1.0)
(s8888 1.0)
(s8890 1.0)
(s8906 1.0)
(s8909 1.0)
(s8912 1.0)
(s8914 1.0)
(s8920 1.0)
(s8922 1.0)
(s8926 1.0)
(s8936 1.0)
(s8938 1.0)
(s8947 1.0)
(s8949 1.0)
(s8953 1.0)
(s8956 1.0)
(s8964 1.0)
(s8967 1.0)
(s8976 1.0)
(s8993 1.0)
(s9002 1.0)
(s9023 1.0)
(s9055 1.0)
(s9062 1.0)
(s9088 1.0)
(s9095 1.0)
(s9101 1.0)
(s9108 1.0)
(s9116 1.0)
(s9128 1.0)
(s9146 1.0)
(s9152 1.0)
(s9157 1.0)
(s9164 1.0)
(s9172 1.0)
(s9175 1.0)
(s9177 1.0)
(s9184 1.0)
(s9186 1.0)
(s9218 1.0)
(s9231 1.0)
(s9255 1.0)
(s9256 1.0)
(s9263 1.0)
(s9285 1.0)
(s9296 1.0)
(s9301 1.0)
(s9302 1.0)
(s9308 1.0)
(s9312 1.0)
(s9316 1.0)
(s9322 1.0)
(s9327 1.0)
(s9362 1.0)
(s9364 1.0)
(s9376 1.0)
(s9386 1.0)
(s9395 1.0)
(s9398 1.0)
(s9400 1.0)
(s9422 1.0)
(s9436 1.0)
(s9463 1.0)
(s9523 1.0)
(s9526 1.0)
(s9537 1.0)
(s9610 1.0)
(s9611 1.0)
(s9615 1.0)
(s9637 1.0)
(s9650 1.0)
(s9652 1.0)
(s9673 1.0)
(s9674 1.0)
(s9695 1.0)
(s9722 1.0)
(s9728 1.0)
(s9732 1.0)
(s9741 1.0)
(s9742 1.0)
(s9751 1.0)
(s9757 1.0)
(s9761 1.0)
(s9809 1.0)
(s9828 1.0)
(s9840 1.0)
(s9842 1.0)
(s9848 1.0)
(s9862 1.0)
(s9865 1.0)
(s9868 1.0)
(s9888 1.0)
(s9889 1.0)
(s9900 1.0)
(s9903 1.0)
(s9916 1.0)
(s9919 1.0)
(s9926 1.0)
(s9927 1.0)
(s9935 1.0)
(s9949 1.0)
(s9961 1.0)
(s9966 1.0)
(s9974 1.0)
(s9976 1.0)
(s9988 1.0)
(s10010 1.0)
(s10029 1.0)
(s10064 1.0)
(s10069 1.0)
(s10089 1.0)
(s10105 1.0)
(s10131 1.0)
(s10147 1.0)
(s10155 1.0)
(s10190 1.0)
(s10197 1.0)
(s10228 1.0)
(s10239 1.0)
(s10300 1.0)
(s10329 1.0)
(s10341 1.0)
(s10427 1.0)
(s10435 1.0)
(s10444 1.0)
(s10489 1.0)
(s10499 1.0)
(s10500 1.0)
(s10551 1.0)
(s10600 1.0)
(s10635 1.0)
(s10640 1.0)
(s10680 1.0)
(s10729 1.0)
(s10746 1.0)
(s10760 1.0)
(s10799 1.0)
(s10828 1.0)
(s10856 1.0)
(s10876 1.0)
(s10892 1.0)
(s10920 1.0)
(s10922 1.0)
(s10929 1.0)
(s10931 1.0)
(s10938 1.0)
(s10950 1.0)
(s10967 1.0)
(s10974 1.0)
(s10978 1.0)
(s11008 1.0)
(s11010 1.0)
(s11014 1.0)
(s11022 1.0)
(s11053 1.0)
(s11064 1.0)
(s11065 1.0)
(s11087 1.0)
(s11099 1.0)
(s11219 1.0)
(s11237 1.0)
(s11255 1.0)
(s11297 1.0)
(s11345 1.0)timeout
(s11357 org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 850/40000 variables, and 0 constraints, problems are : Problem set: 0 solved, 432 unsolved in 5023 ms.
Refiners :[Positive P Invariants (semi-flows): 0/10000 constraints, State Equation: 0/20000 constraints, PredecessorRefiner: 432/432 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 432 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 850/40000 variables, and 0 constraints, problems are : Problem set: 0 solved, 432 unsolved in 5015 ms.
Refiners :[Positive P Invariants (semi-flows): 0/10000 constraints, State Equation: 0/20000 constraints, PredecessorRefiner: 0/432 constraints, Known Traps: 0/0 constraints]
After SMT, in 11503ms problems are : Problem set: 0 solved, 432 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 850 out of 20000 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 20000/20000 places, 20000/20000 transitions.
Free-agglomeration rule (complex) applied 8760 times.
Iterating global reduction 0 with 8760 rules applied. Total rules applied 8760 place count 20000 transition count 11240
Reduce places removed 17139 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 8760 transitions
Reduce isomorphic transitions removed 8760 transitions.
Iterating post reduction 0 with 25899 rules applied. Total rules applied 34659 place count 2861 transition count 2480
Applied a total of 34659 rules in 16010 ms. Remains 2861 /20000 variables (removed 17139) and now considering 2480/20000 (removed 17520) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 16011 ms. Remains : 2861/20000 places, 2480/20000 transitions.
RANDOM walk for 56173 steps (0 resets) in 9796 ms. (5 steps per ms) remains 0/432 properties
Able to resolve query QuasiLiveness after proving 20000 properties.
FORMULA QuasiLiveness TRUE TECHNIQUES RANDOM_WALK TOPOLOGICAL INITIAL_STATE
Total runtime 217721 ms.
ITS solved all properties within timeout
BK_STOP 1716844301434
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination QuasiLiveness -timeout 180 -rebuildPNML
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-005000"
export BK_EXAMINATION="QuasiLiveness"
export BK_TOOL="greatspnxred"
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 greatspnxred"
echo " Input is Philosophers-PT-005000, 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 r276-smll-171654416500347"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Philosophers-PT-005000.tgz
mv Philosophers-PT-005000 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 ;