About the Execution of Smart+red for StigmergyCommit-PT-07a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 475.287 | 3000118.00 | 3043696.00 | 5847.70 | 7.8682E+0006 5.7609E+0007 1 9 | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r459-smll-167912651300480.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is StigmergyCommit-PT-07a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r459-smll-167912651300480
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 5.9M
-rw-r--r-- 1 mcc users 5.4K Feb 26 11:00 CTLCardinality.txt
-rw-r--r-- 1 mcc users 53K Feb 26 11:00 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 26 10:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 26 10:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:12 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 17:12 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:12 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 17:12 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 26 11:01 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 164K Feb 26 11:01 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.0K Feb 26 11:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 26 11:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:12 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:12 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 5.4M Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1679366071802
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=StigmergyCommit-PT-07a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 02:34:34] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 02:34:34] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 02:34:35] [INFO ] Load time of PNML (sax parser for PT used): 827 ms
[2023-03-21 02:34:35] [INFO ] Transformed 292 places.
[2023-03-21 02:34:35] [INFO ] Transformed 7108 transitions.
[2023-03-21 02:34:35] [INFO ] Found NUPN structural information;
[2023-03-21 02:34:35] [INFO ] Parsed PT model containing 292 places and 7108 transitions and 108222 arcs in 1027 ms.
[2023-03-21 02:34:36] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 292 places, 7108 transitions and 108222 arcs took 236 ms.
Total runtime 1323 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running StigmergyCommit (PT), instance 07a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart
Filename model.pnml
Petri model created: 292 places, 7108 transitions, 108222 arcs.
AT ITER 0 NEW BEST:: SOT 693765 SOS 520500 HAS SOPS 284822 HAS SOUS 25059 HAS SOUPS 24974 WITH SCORE 25494.5
AT ITER 12 NEW BEST:: SOT 693679 SOS 520413 HAS SOPS 284735 HAS SOUS 25058 HAS SOUPS 24973 WITH SCORE 25493.413
AT ITER 15 NEW BEST:: SOT 693678 SOS 520411 HAS SOPS 284733 HAS SOUS 25056 HAS SOUPS 24971 WITH SCORE 25491.411
AT ITER 20 NEW BEST:: SOT 693785 SOS 520457 HAS SOPS 284779 HAS SOUS 25042 HAS SOUPS 24957 WITH SCORE 25477.457
AT ITER 47 NEW BEST:: SOT 693765 SOS 520477 HAS SOPS 284799 HAS SOUS 25014 HAS SOUPS 24929 WITH SCORE 25449.477
AT ITER 64 NEW BEST:: SOT 693769 SOS 520485 HAS SOPS 284807 HAS SOUS 24978 HAS SOUPS 24893 WITH SCORE 25413.485
AT ITER 106 NEW BEST:: SOT 693851 SOS 520503 HAS SOPS 284825 HAS SOUS 24950 HAS SOUPS 24865 WITH SCORE 25385.503
AT ITER 119 NEW BEST:: SOT 693846 SOS 520496 HAS SOPS 284818 HAS SOUS 24943 HAS SOUPS 24858 WITH SCORE 25378.496
AT ITER 138 NEW BEST:: SOT 693973 SOS 520438 HAS SOPS 284760 HAS SOUS 24922 HAS SOUPS 24837 WITH SCORE 25357.438
AT ITER 143 NEW BEST:: SOT 693964 SOS 520380 HAS SOPS 284702 HAS SOUS 24904 HAS SOUPS 24819 WITH SCORE 25339.38
AT ITER 165 NEW BEST:: SOT 693889 SOS 520346 HAS SOPS 284668 HAS SOUS 24870 HAS SOUPS 24785 WITH SCORE 25305.346
AT ITER 167 NEW BEST:: SOT 693924 SOS 520276 HAS SOPS 284598 HAS SOUS 24835 HAS SOUPS 24750 WITH SCORE 25270.276
AT ITER 221 NEW BEST:: SOT 694116 SOS 245965 HAS SOPS 184201 HAS SOUS 24945 HAS SOUPS 24901 WITH SCORE 25146.965
AT ITER 235 NEW BEST:: SOT 694116 SOS 245965 HAS SOPS 184201 HAS SOUS 24943 HAS SOUPS 24899 WITH SCORE 25144.965
AT ITER 241 NEW BEST:: SOT 694075 SOS 245922 HAS SOPS 184158 HAS SOUS 24941 HAS SOUPS 24897 WITH SCORE 25142.922
AT ITER 255 NEW BEST:: SOT 694077 SOS 245916 HAS SOPS 184152 HAS SOUS 24935 HAS SOUPS 24891 WITH SCORE 25136.916
AT ITER 280 NEW BEST:: SOT 694081 SOS 245924 HAS SOPS 184160 HAS SOUS 24903 HAS SOUPS 24859 WITH SCORE 25104.924
AT ITER 290 NEW BEST:: SOT 694125 SOS 245896 HAS SOPS 184132 HAS SOUS 24889 HAS SOUPS 24845 WITH SCORE 25090.896
AT ITER 301 NEW BEST:: SOT 694149 SOS 245848 HAS SOPS 184084 HAS SOUS 24865 HAS SOUPS 24821 WITH SCORE 25066.848
AT ITER 306 NEW BEST:: SOT 694151 SOS 245851 HAS SOPS 184087 HAS SOUS 24856 HAS SOUPS 24812 WITH SCORE 25057.851
AT ITER 347 NEW BEST:: SOT 694165 SOS 245861 HAS SOPS 184097 HAS SOUS 24852 HAS SOUPS 24808 WITH SCORE 25053.861
AT ITER 398 NEW BEST:: SOT 694113 SOS 245745 HAS SOPS 183981 HAS SOUS 24772 HAS SOUPS 24728 WITH SCORE 24973.745
AT ITER 406 NEW BEST:: SOT 694107 SOS 245810 HAS SOPS 184046 HAS SOUS 24771 HAS SOUPS 24727 WITH SCORE 24972.81
AT ITER 414 NEW BEST:: SOT 694112 SOS 245926 HAS SOPS 184162 HAS SOUS 24754 HAS SOUPS 24710 WITH SCORE 24955.926
AT ITER 416 NEW BEST:: SOT 694112 SOS 245926 HAS SOPS 184162 HAS SOUS 24743 HAS SOUPS 24699 WITH SCORE 24944.926
AT ITER 485 NEW BEST:: SOT 694113 SOS 245972 HAS SOPS 184208 HAS SOUS 24728 HAS SOUPS 24684 WITH SCORE 24929.972
AT ITER 544 NEW BEST:: SOT 694137 SOS 246098 HAS SOPS 184334 HAS SOUS 24700 HAS SOUPS 24656 WITH SCORE 24902.098
AT ITER 617 NEW BEST:: SOT 694176 SOS 246132 HAS SOPS 184368 HAS SOUS 24695 HAS SOUPS 24651 WITH SCORE 24897.132
AT ITER 627 NEW BEST:: SOT 694121 SOS 246028 HAS SOPS 184264 HAS SOUS 24591 HAS SOUPS 24547 WITH SCORE 24793.028
AT ITER 659 NEW BEST:: SOT 693921 SOS 245828 HAS SOPS 184064 HAS SOUS 24579 HAS SOUPS 24535 WITH SCORE 24780.828
AT ITER 681 NEW BEST:: SOT 693925 SOS 245832 HAS SOPS 184068 HAS SOUS 24527 HAS SOUPS 24483 WITH SCORE 24728.832
AT ITER 685 NEW BEST:: SOT 693901 SOS 245866 HAS SOPS 184102 HAS SOUS 24495 HAS SOUPS 24451 WITH SCORE 24696.866
AT ITER 686 NEW BEST:: SOT 693898 SOS 245860 HAS SOPS 184096 HAS SOUS 24492 HAS SOUPS 24448 WITH SCORE 24693.86
AT ITER 701 NEW BEST:: SOT 681758 SOS 240907 HAS SOPS 172012 HAS SOUS 15763 HAS SOUPS 15546 WITH SCORE 15786.907
AT ITER 767 NEW BEST:: SOT 681722 SOS 240835 HAS SOPS 171940 HAS SOUS 15712 HAS SOUPS 15495 WITH SCORE 15735.835
AT ITER 795 NEW BEST:: SOT 681738 SOS 240841 HAS SOPS 171946 HAS SOUS 15702 HAS SOUPS 15485 WITH SCORE 15725.841
AT ITER 859 NEW BEST:: SOT 681753 SOS 240856 HAS SOPS 171976 HAS SOUS 15577 HAS SOUPS 15360 WITH SCORE 15600.856
AT ITER 957 NEW BEST:: SOT 681723 SOS 240826 HAS SOPS 171946 HAS SOUS 15577 HAS SOUPS 15360 WITH SCORE 15600.826
AT ITER 963 NEW BEST:: SOT 681687 SOS 240948 HAS SOPS 171908 HAS SOUS 15575 HAS SOUPS 15356 WITH SCORE 15596.948
AT ITER 964 NEW BEST:: SOT 681657 SOS 240889 HAS SOPS 171848 HAS SOUS 15515 HAS SOUPS 15296 WITH SCORE 15536.889
AT ITER 971 NEW BEST:: SOT 681599 SOS 240831 HAS SOPS 171732 HAS SOUS 15473 HAS SOUPS 15249 WITH SCORE 15489.831
AT ITER 1043 NEW BEST:: SOT 681596 SOS 240825 HAS SOPS 171726 HAS SOUS 15470 HAS SOUPS 15246 WITH SCORE 15486.825
AT ITER 1044 NEW BEST:: SOT 683256 SOS 242437 HAS SOPS 170248 HAS SOUS 14523 HAS SOUPS 14293 WITH SCORE 14535.437
AT ITER 1062 NEW BEST:: SOT 683266 SOS 242453 HAS SOPS 170268 HAS SOUS 14518 HAS SOUPS 14288 WITH SCORE 14530.453
AT ITER 1064 NEW BEST:: SOT 685774 SOS 244909 HAS SOPS 170993 HAS SOUS 14009 HAS SOUPS 13776 WITH SCORE 14020.909
AT ITER 1108 NEW BEST:: SOT 685685 SOS 271667 HAS SOPS 204151 HAS SOUS 13958 HAS SOUPS 13721 WITH SCORE 13992.667
AT ITER 1153 NEW BEST:: SOT 685680 SOS 271647 HAS SOPS 204131 HAS SOUS 13953 HAS SOUPS 13716 WITH SCORE 13987.647
AT ITER 1184 NEW BEST:: SOT 685682 SOS 271645 HAS SOPS 204129 HAS SOUS 13951 HAS SOUPS 13714 WITH SCORE 13985.645
AT ITER 1187 NEW BEST:: SOT 685678 SOS 271637 HAS SOPS 204121 HAS SOUS 13947 HAS SOUPS 13710 WITH SCORE 13981.637
AT ITER 1199 NEW BEST:: SOT 685658 SOS 271632 HAS SOPS 204116 HAS SOUS 13927 HAS SOUPS 13690 WITH SCORE 13961.632
AT ITER 1200 NEW BEST:: SOT 685719 SOS 271622 HAS SOPS 204106 HAS SOUS 13922 HAS SOUPS 13685 WITH SCORE 13956.622
AT ITER 1235 NEW BEST:: SOT 685887 SOS 271718 HAS SOPS 192973 HAS SOUS 13574 HAS SOUPS 13337 WITH SCORE 13608.718
AT ITER 1240 NEW BEST:: SOT 685880 SOS 271705 HAS SOPS 192965 HAS SOUS 13572 HAS SOUPS 13335 WITH SCORE 13606.705
AT ITER 1278 NEW BEST:: SOT 685865 SOS 271675 HAS SOPS 192935 HAS SOUS 13542 HAS SOUPS 13305 WITH SCORE 13576.675
AT ITER 1324 NEW BEST:: SOT 685865 SOS 271675 HAS SOPS 192935 HAS SOUS 13538 HAS SOUPS 13301 WITH SCORE 13572.675
AT ITER 1347 NEW BEST:: SOT 680807 SOS 298239 HAS SOPS 229951 HAS SOUS 13503 HAS SOUPS 13266 WITH SCORE 13564.239
AT ITER 1348 NEW BEST:: SOT 675867 SOS 293241 HAS SOPS 229762 HAS SOUS 13270 HAS SOUPS 13033 WITH SCORE 13326.241
AT ITER 1351 NEW BEST:: SOT 675866 SOS 293240 HAS SOPS 229762 HAS SOUS 13270 HAS SOUPS 13033 WITH SCORE 13326.24
AT ITER 1416 NEW BEST:: SOT 675912 SOS 293222 HAS SOPS 229744 HAS SOUS 13227 HAS SOUPS 12990 WITH SCORE 13283.222
AT ITER 1490 NEW BEST:: SOT 675744 SOS 293144 HAS SOPS 229664 HAS SOUS 13139 HAS SOUPS 12902 WITH SCORE 13195.144
AT ITER 1501 NEW BEST:: SOT 675694 SOS 292956 HAS SOPS 229476 HAS SOUS 13090 HAS SOUPS 12853 WITH SCORE 13145.956
AT ITER 1513 NEW BEST:: SOT 675687 SOS 292949 HAS SOPS 229470 HAS SOUS 13084 HAS SOUPS 12847 WITH SCORE 13139.949
AT ITER 1551 NEW BEST:: SOT 675678 SOS 292913 HAS SOPS 229434 HAS SOUS 13075 HAS SOUPS 12838 WITH SCORE 13130.913
AT ITER 1579 NEW BEST:: SOT 675678 SOS 292912 HAS SOPS 229434 HAS SOUS 13074 HAS SOUPS 12838 WITH SCORE 13130.912
AT ITER 1599 NEW BEST:: SOT 675676 SOS 292909 HAS SOPS 229430 HAS SOUS 13070 HAS SOUPS 12834 WITH SCORE 13126.909
AT ITER 1614 NEW BEST:: SOT 675679 SOS 292903 HAS SOPS 229424 HAS SOUS 13064 HAS SOUPS 12828 WITH SCORE 13120.903
AT ITER 1719 NEW BEST:: SOT 675661 SOS 292933 HAS SOPS 229454 HAS SOUS 13031 HAS SOUPS 12795 WITH SCORE 13087.933
AT ITER 1741 NEW BEST:: SOT 675661 SOS 292933 HAS SOPS 229454 HAS SOUS 13025 HAS SOUPS 12789 WITH SCORE 13081.933
AT ITER 1882 NEW BEST:: SOT 675575 SOS 293252 HAS SOPS 229373 HAS SOUS 13022 HAS SOUPS 12781 WITH SCORE 13074.252
AT ITER 1891 NEW BEST:: SOT 675402 SOS 353255 HAS SOPS 252973 HAS SOUS 12782 HAS SOUPS 12530 WITH SCORE 12883.255
AT ITER 1897 NEW BEST:: SOT 673038 SOS 350891 HAS SOPS 250677 HAS SOUS 12731 HAS SOUPS 12479 WITH SCORE 12829.891
AT ITER 1954 NEW BEST:: SOT 673031 SOS 350877 HAS SOPS 250663 HAS SOUS 12724 HAS SOUPS 12472 WITH SCORE 12822.877
AT ITER 1962 NEW BEST:: SOT 673020 SOS 350890 HAS SOPS 250676 HAS SOUS 12717 HAS SOUPS 12465 WITH SCORE 12815.89
AT ITER 2007 NEW BEST:: SOT 672990 SOS 350830 HAS SOPS 250646 HAS SOUS 12717 HAS SOUPS 12465 WITH SCORE 12815.83
AT ITER 2028 NEW BEST:: SOT 672996 SOS 350814 HAS SOPS 250630 HAS SOUS 12695 HAS SOUPS 12443 WITH SCORE 12793.814
AT ITER 2034 NEW BEST:: SOT 673038 SOS 350624 HAS SOPS 250420 HAS SOUS 12695 HAS SOUPS 12443 WITH SCORE 12793.624
AT ITER 2209 NEW BEST:: SOT 673042 SOS 350616 HAS SOPS 250412 HAS SOUS 12691 HAS SOUPS 12439 WITH SCORE 12789.616
AT ITER 2211 NEW BEST:: SOT 673062 SOS 350600 HAS SOPS 250396 HAS SOUS 12669 HAS SOUPS 12417 WITH SCORE 12767.6
AT ITER 2253 NEW BEST:: SOT 673060 SOS 350597 HAS SOPS 250392 HAS SOUS 12665 HAS SOUPS 12413 WITH SCORE 12763.597
AT ITER 2292 NEW BEST:: SOT 673055 SOS 350561 HAS SOPS 250356 HAS SOUS 12651 HAS SOUPS 12399 WITH SCORE 12749.561
AT ITER 2298 NEW BEST:: SOT 673051 SOS 350555 HAS SOPS 250350 HAS SOUS 12647 HAS SOUPS 12395 WITH SCORE 12745.555
AT ITER 2327 NEW BEST:: SOT 673048 SOS 350561 HAS SOPS 250060 HAS SOUS 12637 HAS SOUPS 12385 WITH SCORE 12735.561
AT ITER 2367 NEW BEST:: SOT 671944 SOS 349409 HAS SOPS 248908 HAS SOUS 12624 HAS SOUPS 12372 WITH SCORE 12721.409
AT ITER 2404 NEW BEST:: SOT 672088 SOS 349385 HAS SOPS 243536 HAS SOUS 12551 HAS SOUPS 12299 WITH SCORE 12648.385
AT ITER 2414 NEW BEST:: SOT 672108 SOS 349337 HAS SOPS 243488 HAS SOUS 12497 HAS SOUPS 12245 WITH SCORE 12594.337
AT ITER 2453 NEW BEST:: SOT 674096 SOS 351325 HAS SOPS 244954 HAS SOUS 11951 HAS SOUPS 11699 WITH SCORE 12050.325
AT ITER 2498 NEW BEST:: SOT 674082 SOS 351297 HAS SOPS 244940 HAS SOUS 11949 HAS SOUPS 11697 WITH SCORE 12048.297
AT ITER 2546 NEW BEST:: SOT 674068 SOS 351269 HAS SOPS 244912 HAS SOUS 11931 HAS SOUPS 11679 WITH SCORE 12030.269
AT ITER 2567 NEW BEST:: SOT 673831 SOS 356539 HAS SOPS 244574 HAS SOUS 11925 HAS SOUPS 11617 WITH SCORE 11973.539
AT ITER 2625 NEW BEST:: SOT 673825 SOS 356527 HAS SOPS 244562 HAS SOUS 11919 HAS SOUPS 11611 WITH SCORE 11967.527
AT ITER 2687 NEW BEST:: SOT 673792 SOS 356527 HAS SOPS 243460 HAS SOUS 11911 HAS SOUPS 11603 WITH SCORE 11959.527
AT ITER 2722 NEW BEST:: SOT 673811 SOS 356605 HAS SOPS 243498 HAS SOUS 11888 HAS SOUPS 11580 WITH SCORE 11936.605
AT ITER 2771 NEW BEST:: SOT 673805 SOS 356593 HAS SOPS 243486 HAS SOUS 11882 HAS SOUPS 11574 WITH SCORE 11930.593
AT ITER 2808 NEW BEST:: SOT 673784 SOS 356543 HAS SOPS 243444 HAS SOUS 11840 HAS SOUPS 11532 WITH SCORE 11888.543
AT ITER 2854 NEW BEST:: SOT 673780 SOS 356535 HAS SOPS 243436 HAS SOUS 11836 HAS SOUPS 11528 WITH SCORE 11884.535
AT ITER 2900 NEW BEST:: SOT 673762 SOS 356481 HAS SOPS 251446 HAS SOUS 11827 HAS SOUPS 11519 WITH SCORE 11875.481
AT ITER 2943 NEW BEST:: SOT 673759 SOS 356475 HAS SOPS 251440 HAS SOUS 11821 HAS SOUPS 11513 WITH SCORE 11869.475
AT ITER 2961 NEW BEST:: SOT 673759 SOS 356475 HAS SOPS 251440 HAS SOUS 11815 HAS SOUPS 11507 WITH SCORE 11863.475
AT ITER 2992 NEW BEST:: SOT 673751 SOS 356467 HAS SOPS 251424 HAS SOUS 11799 HAS SOUPS 11491 WITH SCORE 11847.467
AT ITER 3037 NEW BEST:: SOT 673747 SOS 356603 HAS SOPS 251560 HAS SOUS 11795 HAS SOUPS 11487 WITH SCORE 11843.603
AT ITER 3077 NEW BEST:: SOT 673738 SOS 356585 HAS SOPS 251542 HAS SOUS 11786 HAS SOUPS 11478 WITH SCORE 11834.585
AT ITER 3090 NEW BEST:: SOT 673779 SOS 356585 HAS SOPS 251578 HAS SOUS 11781 HAS SOUPS 11473 WITH SCORE 11829.585
AT ITER 3173 NEW BEST:: SOT 673767 SOS 356591 HAS SOPS 253054 HAS SOUS 11773 HAS SOUPS 11465 WITH SCORE 11821.591
AT ITER 3184 NEW BEST:: SOT 673686 SOS 433093 HAS SOPS 270168 HAS SOUS 11707 HAS SOUPS 11385 WITH SCORE 11818.093
AT ITER 3294 NEW BEST:: SOT 673638 SOS 433043 HAS SOPS 270118 HAS SOUS 11705 HAS SOUPS 11383 WITH SCORE 11816.043
AT ITER 3334 NEW BEST:: SOT 673638 SOS 433042 HAS SOPS 270118 HAS SOUS 11705 HAS SOUPS 11383 WITH SCORE 11816.042
AT ITER 3375 NEW BEST:: SOT 673637 SOS 433040 HAS SOPS 270116 HAS SOUS 11703 HAS SOUPS 11381 WITH SCORE 11814.04
AT ITER 3437 NEW BEST:: SOT 673636 SOS 433038 HAS SOPS 270114 HAS SOUS 11702 HAS SOUPS 11380 WITH SCORE 11813.038
AT ITER 3454 NEW BEST:: SOT 673637 SOS 433039 HAS SOPS 270116 HAS SOUS 11701 HAS SOUPS 11379 WITH SCORE 11812.039
AT ITER 3555 NEW BEST:: SOT 673626 SOS 432995 HAS SOPS 270072 HAS SOUS 11690 HAS SOUPS 11368 WITH SCORE 11800.995
AT ITER 3603 NEW BEST:: SOT 673592 SOS 432935 HAS SOPS 270004 HAS SOUS 11656 HAS SOUPS 11334 WITH SCORE 11766.935
AT ITER 3628 NEW BEST:: SOT 673592 SOS 432935 HAS SOPS 269988 HAS SOUS 11648 HAS SOUPS 11326 WITH SCORE 11758.935
AT ITER 3664 NEW BEST:: SOT 673598 SOS 422003 HAS SOPS 267540 HAS SOUS 11655 HAS SOUPS 11335 WITH SCORE 11757.003
AT ITER 3722 NEW BEST:: SOT 673598 SOS 422001 HAS SOPS 267540 HAS SOUS 11655 HAS SOUPS 11335 WITH SCORE 11757.001
AT ITER 3727 NEW BEST:: SOT 673597 SOS 422000 HAS SOPS 267538 HAS SOUS 11653 HAS SOUPS 11333 WITH SCORE 11755.0
AT ITER 3804 NEW BEST:: SOT 673595 SOS 421998 HAS SOPS 267534 HAS SOUS 11651 HAS SOUPS 11331 WITH SCORE 11752.998
AT ITER 3836 NEW BEST:: SOT 673597 SOS 422008 HAS SOPS 267544 HAS SOUS 11649 HAS SOUPS 11329 WITH SCORE 11751.008
AT ITER 3901 NEW BEST:: SOT 673603 SOS 421996 HAS SOPS 272452 HAS SOUS 11649 HAS SOUPS 11329 WITH SCORE 11750.996
AT ITER 3916 NEW BEST:: SOT 672623 SOS 421016 HAS SOPS 271476 HAS SOUS 11525 HAS SOUPS 11205 WITH SCORE 11626.016
AT ITER 3973 NEW BEST:: SOT 672567 SOS 421016 HAS SOPS 271476 HAS SOUS 11505 HAS SOUPS 11185 WITH SCORE 11606.016
AT ITER 4090 NEW BEST:: SOT 672566 SOS 421015 HAS SOPS 271474 HAS SOUS 11503 HAS SOUPS 11183 WITH SCORE 11604.015
AT ITER 4212 NEW BEST:: SOT 672566 SOS 421015 HAS SOPS 271474 HAS SOUS 11493 HAS SOUPS 11173 WITH SCORE 11594.015
AT ITER 4219 NEW BEST:: SOT 672562 SOS 421009 HAS SOPS 271468 HAS SOUS 11489 HAS SOUPS 11169 WITH SCORE 11590.009
AT ITER 4238 NEW BEST:: SOT 672557 SOS 421009 HAS SOPS 271468 HAS SOUS 11484 HAS SOUPS 11164 WITH SCORE 11585.009
AT ITER 4364 NEW BEST:: SOT 672554 SOS 421003 HAS SOPS 271465 HAS SOUS 11484 HAS SOUPS 11164 WITH SCORE 11585.003
AT ITER 4403 NEW BEST:: SOT 672551 SOS 420991 HAS SOPS 271453 HAS SOUS 11481 HAS SOUPS 11161 WITH SCORE 11581.991
AT ITER 4418 NEW BEST:: SOT 672556 SOS 420981 HAS SOPS 271453 HAS SOUS 11481 HAS SOUPS 11161 WITH SCORE 11581.981
AT ITER 4421 NEW BEST:: SOT 672555 SOS 420986 HAS SOPS 271458 HAS SOUS 11480 HAS SOUPS 11160 WITH SCORE 11580.986
AT ITER 4437 NEW BEST:: SOT 672559 SOS 421002 HAS SOPS 271466 HAS SOUS 11476 HAS SOUPS 11156 WITH SCORE 11577.002
AT ITER 4438 NEW BEST:: SOT 672555 SOS 420994 HAS SOPS 271458 HAS SOUS 11468 HAS SOUPS 11148 WITH SCORE 11568.994
AT ITER 4553 NEW BEST:: SOT 672559 SOS 420984 HAS SOPS 271448 HAS SOUS 11467 HAS SOUPS 11147 WITH SCORE 11567.984
AT ITER 4585 NEW BEST:: SOT 672669 SOS 421204 HAS SOPS 271668 HAS SOUS 11465 HAS SOUPS 11145 WITH SCORE 11566.204
AT ITER 4642 NEW BEST:: SOT 672720 SOS 421170 HAS SOPS 271634 HAS SOUS 11461 HAS SOUPS 11141 WITH SCORE 11562.17
AT ITER 4702 NEW BEST:: SOT 672717 SOS 421197 HAS SOPS 271628 HAS SOUS 11460 HAS SOUPS 11135 WITH SCORE 11556.197
AT ITER 4708 NEW BEST:: SOT 672706 SOS 421151 HAS SOPS 271606 HAS SOUS 11417 HAS SOUPS 11092 WITH SCORE 11513.151
AT ITER 4710 NEW BEST:: SOT 672703 SOS 421132 HAS SOPS 271587 HAS SOUS 11406 HAS SOUPS 11081 WITH SCORE 11502.132
AT ITER 4795 NEW BEST:: SOT 672706 SOS 421096 HAS SOPS 271551 HAS SOUS 11405 HAS SOUPS 11080 WITH SCORE 11501.096
AT ITER 4808 NEW BEST:: SOT 672586 SOS 421135 HAS SOPS 298652 HAS SOUS 11384 HAS SOUPS 11059 WITH SCORE 11480.135
AT ITER 5009 NEW BEST:: SOT 672586 SOS 421135 HAS SOPS 298652 HAS SOUS 11379 HAS SOUPS 11054 WITH SCORE 11475.135
AT ITER 5012 NEW BEST:: SOT 672594 SOS 421119 HAS SOPS 298636 HAS SOUS 11371 HAS SOUPS 11046 WITH SCORE 11467.119
AT ITER 5080 NEW BEST:: SOT 672600 SOS 421143 HAS SOPS 298660 HAS SOUS 11365 HAS SOUPS 11040 WITH SCORE 11461.143
AT ITER 5183 NEW BEST:: SOT 672608 SOS 421115 HAS SOPS 298632 HAS SOUS 11360 HAS SOUPS 11035 WITH SCORE 11456.115
AT ITER 5229 NEW BEST:: SOT 672605 SOS 421109 HAS SOPS 298620 HAS SOUS 11357 HAS SOUPS 11032 WITH SCORE 11453.109
AT ITER 5283 NEW BEST:: SOT 672639 SOS 421143 HAS SOPS 298648 HAS SOUS 11350 HAS SOUPS 11025 WITH SCORE 11446.143
AT ITER 5294 NEW BEST:: SOT 672638 SOS 421141 HAS SOPS 298629 HAS SOUS 11349 HAS SOUPS 11024 WITH SCORE 11445.141
AT ITER 5325 NEW BEST:: SOT 672637 SOS 421140 HAS SOPS 298627 HAS SOUS 11347 HAS SOUPS 11022 WITH SCORE 11443.14
AT ITER 5349 NEW BEST:: SOT 672630 SOS 421126 HAS SOPS 298613 HAS SOUS 11333 HAS SOUPS 11008 WITH SCORE 11429.126
AT ITER 5372 NEW BEST:: SOT 672626 SOS 421118 HAS SOPS 298527 HAS SOUS 11305 HAS SOUPS 10980 WITH SCORE 11401.118
AT ITER 5431 NEW BEST:: SOT 672615 SOS 421080 HAS SOPS 298505 HAS SOUS 11304 HAS SOUPS 10979 WITH SCORE 11400.08
AT ITER 5523 NEW BEST:: SOT 672615 SOS 421086 HAS SOPS 298514 HAS SOUS 11298 HAS SOUPS 10973 WITH SCORE 11394.086
AT ITER 5664 NEW BEST:: SOT 672612 SOS 421092 HAS SOPS 298508 HAS SOUS 11296 HAS SOUPS 10971 WITH SCORE 11392.092
AT ITER 5790 NEW BEST:: SOT 672611 SOS 421090 HAS SOPS 298506 HAS SOUS 11295 HAS SOUPS 10970 WITH SCORE 11391.09
AT ITER 5810 NEW BEST:: SOT 672617 SOS 421000 HAS SOPS 298413 HAS SOUS 11287 HAS SOUPS 10962 WITH SCORE 11383.0
AT ITER 5896 NEW BEST:: SOT 672617 SOS 420987 HAS SOPS 298400 HAS SOUS 11287 HAS SOUPS 10962 WITH SCORE 11382.987
AT ITER 5928 NEW BEST:: SOT 672616 SOS 420986 HAS SOPS 298399 HAS SOUS 11286 HAS SOUPS 10961 WITH SCORE 11381.986
AT ITER 6253 NEW BEST:: SOT 672604 SOS 420962 HAS SOPS 298375 HAS SOUS 11274 HAS SOUPS 10949 WITH SCORE 11369.962
AT ITER 6256 NEW BEST:: SOT 672598 SOS 420950 HAS SOPS 298363 HAS SOUS 11262 HAS SOUPS 10937 WITH SCORE 11357.95
AT ITER 6363 NEW BEST:: SOT 672596 SOS 420948 HAS SOPS 298361 HAS SOUS 11260 HAS SOUPS 10935 WITH SCORE 11355.948
AT ITER 6434 NEW BEST:: SOT 672584 SOS 420948 HAS SOPS 292577 HAS SOUS 11212 HAS SOUPS 10887 WITH SCORE 11307.948
AT ITER 6451 NEW BEST:: SOT 672584 SOS 420945 HAS SOPS 292574 HAS SOUS 11209 HAS SOUPS 10884 WITH SCORE 11304.945
AT ITER 6537 NEW BEST:: SOT 672583 SOS 417293 HAS SOPS 288922 HAS SOUS 11210 HAS SOUPS 10885 WITH SCORE 11302.293
AT ITER 6563 NEW BEST:: SOT 672525 SOS 417234 HAS SOPS 288806 HAS SOUS 11208 HAS SOUPS 10883 WITH SCORE 11300.234
AT ITER 6779 NEW BEST:: SOT 672517 SOS 417226 HAS SOPS 288790 HAS SOUS 11200 HAS SOUPS 10875 WITH SCORE 11292.226
AT ITER 6785 NEW BEST:: SOT 672508 SOS 417228 HAS SOPS 288838 HAS SOUS 11191 HAS SOUPS 10866 WITH SCORE 11283.228
AT ITER 6799 NEW BEST:: SOT 672496 SOS 417243 HAS SOPS 296022 HAS SOUS 11184 HAS SOUPS 10859 WITH SCORE 11276.243
AT ITER 6814 NEW BEST:: SOT 672496 SOS 417239 HAS SOPS 296014 HAS SOUS 11184 HAS SOUPS 10859 WITH SCORE 11276.239
AT ITER 6851 NEW BEST:: SOT 672491 SOS 417244 HAS SOPS 296014 HAS SOUS 11179 HAS SOUPS 10854 WITH SCORE 11271.244
AT ITER 6884 NEW BEST:: SOT 672511 SOS 417228 HAS SOPS 295998 HAS SOUS 11171 HAS SOUPS 10846 WITH SCORE 11263.228
AT ITER 6953 NEW BEST:: SOT 672510 SOS 417227 HAS SOPS 295997 HAS SOUS 11171 HAS SOUPS 10846 WITH SCORE 11263.227
AT ITER 7054 NEW BEST:: SOT 672440 SOS 417247 HAS SOPS 296017 HAS SOUS 11155 HAS SOUPS 10830 WITH SCORE 11247.247
AT ITER 7062 NEW BEST:: SOT 672426 SOS 417222 HAS SOPS 295989 HAS SOUS 11153 HAS SOUPS 10828 WITH SCORE 11245.222
AT ITER 7065 NEW BEST:: SOT 672410 SOS 417206 HAS SOPS 295957 HAS SOUS 11145 HAS SOUPS 10820 WITH SCORE 11237.206
AT ITER 7141 NEW BEST:: SOT 672410 SOS 417198 HAS SOPS 295957 HAS SOUS 11145 HAS SOUPS 10820 WITH SCORE 11237.198
AT ITER 7210 NEW BEST:: SOT 672400 SOS 417178 HAS SOPS 295937 HAS SOUS 11145 HAS SOUPS 10820 WITH SCORE 11237.178
AT ITER 7258 NEW BEST:: SOT 672399 SOS 417176 HAS SOPS 295935 HAS SOUS 11143 HAS SOUPS 10818 WITH SCORE 11235.176
AT ITER 7354 NEW BEST:: SOT 672385 SOS 417148 HAS SOPS 295907 HAS SOUS 11129 HAS SOUPS 10804 WITH SCORE 11221.148
AT ITER 7365 NEW BEST:: SOT 672383 SOS 417148 HAS SOPS 295903 HAS SOUS 11121 HAS SOUPS 10796 WITH SCORE 11213.148
AT ITER 7393 NEW BEST:: SOT 672383 SOS 417148 HAS SOPS 295903 HAS SOUS 11107 HAS SOUPS 10782 WITH SCORE 11199.148
AT ITER 7407 NEW BEST:: SOT 672374 SOS 417128 HAS SOPS 295885 HAS SOUS 11098 HAS SOUPS 10773 WITH SCORE 11190.128
AT ITER 7600 NEW BEST:: SOT 672373 SOS 417126 HAS SOPS 295883 HAS SOUS 11096 HAS SOUPS 10771 WITH SCORE 11188.126
AT ITER 7602 NEW BEST:: SOT 672372 SOS 417123 HAS SOPS 295881 HAS SOUS 11096 HAS SOUPS 10771 WITH SCORE 11188.123
AT ITER 7663 NEW BEST:: SOT 672366 SOS 417119 HAS SOPS 295873 HAS SOUS 11094 HAS SOUPS 10769 WITH SCORE 11186.119
AT ITER 7684 NEW BEST:: SOT 672365 SOS 417118 HAS SOPS 295871 HAS SOUS 11092 HAS SOUPS 10767 WITH SCORE 11184.118
AT ITER 7689 NEW BEST:: SOT 672361 SOS 417106 HAS SOPS 295859 HAS SOUS 11091 HAS SOUPS 10766 WITH SCORE 11183.106
AT ITER 7831 NEW BEST:: SOT 672360 SOS 417104 HAS SOPS 295857 HAS SOUS 11090 HAS SOUPS 10765 WITH SCORE 11182.104
AT ITER 7833 NEW BEST:: SOT 672358 SOS 417100 HAS SOPS 295853 HAS SOUS 11088 HAS SOUPS 10763 WITH SCORE 11180.1
AT ITER 7860 NEW BEST:: SOT 672346 SOS 417088 HAS SOPS 295841 HAS SOUS 11076 HAS SOUPS 10751 WITH SCORE 11168.088
AT ITER 7882 NEW BEST:: SOT 672378 SOS 417152 HAS SOPS 295905 HAS SOUS 11074 HAS SOUPS 10749 WITH SCORE 11166.152
AT ITER 7887 NEW BEST:: SOT 672366 SOS 417104 HAS SOPS 295857 HAS SOUS 11062 HAS SOUPS 10737 WITH SCORE 11154.104
AT ITER 7959 NEW BEST:: SOT 672376 SOS 417114 HAS SOPS 295545 HAS SOUS 11057 HAS SOUPS 10732 WITH SCORE 11149.114
AT ITER 7977 NEW BEST:: SOT 672374 SOS 417106 HAS SOPS 295537 HAS SOUS 11055 HAS SOUPS 10730 WITH SCORE 11147.106
AT ITER 8015 NEW BEST:: SOT 672374 SOS 417100 HAS SOPS 295531 HAS SOUS 11052 HAS SOUPS 10727 WITH SCORE 11144.1
AT ITER 8038 NEW BEST:: SOT 672373 SOS 417099 HAS SOPS 295529 HAS SOUS 11050 HAS SOUPS 10725 WITH SCORE 11142.099
AT ITER 8148 NEW BEST:: SOT 672372 SOS 417098 HAS SOPS 295527 HAS SOUS 11048 HAS SOUPS 10723 WITH SCORE 11140.098
AT ITER 8276 NEW BEST:: SOT 672432 SOS 417092 HAS SOPS 295531 HAS SOUS 11037 HAS SOUPS 10712 WITH SCORE 11129.092
AT ITER 8282 NEW BEST:: SOT 672437 SOS 417082 HAS SOPS 295521 HAS SOUS 11027 HAS SOUPS 10702 WITH SCORE 11119.082
AT ITER 8347 NEW BEST:: SOT 672456 SOS 417101 HAS SOPS 295540 HAS SOUS 11008 HAS SOUPS 10683 WITH SCORE 11100.101
AT ITER 8376 NEW BEST:: SOT 672454 SOS 417093 HAS SOPS 295532 HAS SOUS 11004 HAS SOUPS 10679 WITH SCORE 11096.093
AT ITER 8407 NEW BEST:: SOT 672454 SOS 417095 HAS SOPS 295534 HAS SOUS 10985 HAS SOUPS 10660 WITH SCORE 11077.095
AT ITER 8457 NEW BEST:: SOT 672453 SOS 417190 HAS SOPS 295532 HAS SOUS 10983 HAS SOUPS 10658 WITH SCORE 11075.19
AT ITER 8462 NEW BEST:: SOT 672447 SOS 417178 HAS SOPS 295520 HAS SOUS 10983 HAS SOUPS 10658 WITH SCORE 11075.178
AT ITER 8499 NEW BEST:: SOT 672453 SOS 416846 HAS SOPS 295523 HAS SOUS 10977 HAS SOUPS 10655 WITH SCORE 11071.846
AT ITER 8596 NEW BEST:: SOT 672455 SOS 416839 HAS SOPS 295457 HAS SOUS 10914 HAS SOUPS 10592 WITH SCORE 11008.839
AT ITER 8610 NEW BEST:: SOT 672442 SOS 416831 HAS SOPS 295449 HAS SOUS 10903 HAS SOUPS 10581 WITH SCORE 10997.831
AT ITER 8916 NEW BEST:: SOT 672420 SOS 416827 HAS SOPS 295445 HAS SOUS 10901 HAS SOUPS 10579 WITH SCORE 10995.827
AT ITER 9024 NEW BEST:: SOT 672418 SOS 416770 HAS SOPS 295441 HAS SOUS 10897 HAS SOUPS 10575 WITH SCORE 10991.77
AT ITER 9092 NEW BEST:: SOT 671595 SOS 415924 HAS SOPS 297587 HAS SOUS 10882 HAS SOUPS 10560 WITH SCORE 10975.924
AT ITER 9099 NEW BEST:: SOT 671573 SOS 415881 HAS SOPS 297543 HAS SOUS 10880 HAS SOUPS 10558 WITH SCORE 10973.881
AT ITER 9238 NEW BEST:: SOT 671573 SOS 415881 HAS SOPS 297543 HAS SOUS 10878 HAS SOUPS 10556 WITH SCORE 10971.881
AT ITER 9416 NEW BEST:: SOT 671572 SOS 415880 HAS SOPS 297541 HAS SOUS 10877 HAS SOUPS 10555 WITH SCORE 10970.88
AT ITER 9433 NEW BEST:: SOT 671583 SOS 415926 HAS SOPS 297590 HAS SOUS 10873 HAS SOUPS 10551 WITH SCORE 10966.926
AT ITER 9563 NEW BEST:: SOT 671582 SOS 415920 HAS SOPS 297588 HAS SOUS 10871 HAS SOUPS 10549 WITH SCORE 10964.92
AT ITER 9566 NEW BEST:: SOT 674928 SOS 419262 HAS SOPS 300742 HAS SOUS 10820 HAS SOUPS 10497 WITH SCORE 10916.262
AT ITER 9615 NEW BEST:: SOT 674927 SOS 419260 HAS SOPS 300740 HAS SOUS 10818 HAS SOUPS 10495 WITH SCORE 10914.26
AT ITER 9616 NEW BEST:: SOT 674926 SOS 419268 HAS SOPS 300748 HAS SOUS 10817 HAS SOUPS 10494 WITH SCORE 10913.268
AT ITER 9618 NEW BEST:: SOT 674925 SOS 419266 HAS SOPS 300746 HAS SOUS 10815 HAS SOUPS 10492 WITH SCORE 10911.266
AT ITER 9629 NEW BEST:: SOT 674921 SOS 419262 HAS SOPS 300742 HAS SOUS 10813 HAS SOUPS 10490 WITH SCORE 10909.262
AT ITER 9655 NEW BEST:: SOT 674918 SOS 419258 HAS SOPS 300736 HAS SOUS 10807 HAS SOUPS 10484 WITH SCORE 10903.258
AT ITER 9672 NEW BEST:: SOT 674902 SOS 419276 HAS SOPS 295904 HAS SOUS 10781 HAS SOUPS 10458 WITH SCORE 10877.276
AT ITER 9682 NEW BEST:: SOT 674900 SOS 419248 HAS SOPS 295876 HAS SOUS 10779 HAS SOUPS 10456 WITH SCORE 10875.248
AT ITER 9687 NEW BEST:: SOT 674878 SOS 419174 HAS SOPS 295799 HAS SOUS 10776 HAS SOUPS 10453 WITH SCORE 10872.174
AT ITER 9705 NEW BEST:: SOT 674891 SOS 419186 HAS SOPS 295811 HAS SOUS 10775 HAS SOUPS 10452 WITH SCORE 10871.186
AT ITER 9807 NEW BEST:: SOT 674844 SOS 419092 HAS SOPS 295717 HAS SOUS 10771 HAS SOUPS 10448 WITH SCORE 10867.092
AT ITER 9858 NEW BEST:: SOT 676776 SOS 421032 HAS SOPS 297461 HAS SOUS 10757 HAS SOUPS 10434 WITH SCORE 10855.032
AT ITER 9880 NEW BEST:: SOT 676775 SOS 421030 HAS SOPS 297459 HAS SOUS 10755 HAS SOUPS 10432 WITH SCORE 10853.03
STATE_SPACE STATES 7868223 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 9 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 57609100 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
BK_STOP 1679369071920
--------------------
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//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
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="StigmergyCommit-PT-07a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is StigmergyCommit-PT-07a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r459-smll-167912651300480"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/StigmergyCommit-PT-07a.tgz
mv StigmergyCommit-PT-07a execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "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 [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "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 "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.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 [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
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 ;