About the Execution of Smart+red for SemanticWebServices-PT-S064P15
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 8700.760 | 371727.00 | 379930.00 | 1466.40 | [undef] | Cannot compute |
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.r363-smll-167891814200368.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 SemanticWebServices-PT-S064P15, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r363-smll-167891814200368
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 508K
-rw-r--r-- 1 mcc users 6.3K Feb 26 10:18 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 26 10:18 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 26 10:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 10:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 16:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:50 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.6K Feb 26 10:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 75K Feb 26 10:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.3K Feb 26 10:19 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 71K Feb 26 10:19 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:50 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 137K 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 1679140184802
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=SemanticWebServices-PT-S064P15
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-18 11:49:48] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-18 11:49:48] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-18 11:49:48] [INFO ] Load time of PNML (sax parser for PT used): 146 ms
[2023-03-18 11:49:48] [INFO ] Transformed 118 places.
[2023-03-18 11:49:48] [INFO ] Transformed 194 transitions.
[2023-03-18 11:49:48] [INFO ] Parsed PT model containing 118 places and 194 transitions and 1007 arcs in 316 ms.
[2023-03-18 11:49:48] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 118 places, 194 transitions and 1007 arcs took 14 ms.
Total runtime 393 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SemanticWebServices (PT), instance S064P15
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: 118 places, 194 transitions, 1007 arcs.
AT ITER 0 NEW BEST:: SOT 18065 SOS 11581 HAS SOPS 7093 HAS SOUS 4693 HAS SOUPS 3492 WITH SCORE 3503.581
AT ITER 1 NEW BEST:: SOT 18065 SOS 11555 HAS SOPS 7033 HAS SOUS 4680 HAS SOUPS 3462 WITH SCORE 3473.555
AT ITER 5 NEW BEST:: SOT 18065 SOS 11513 HAS SOPS 6981 HAS SOUS 4659 HAS SOUPS 3436 WITH SCORE 3447.513
AT ITER 19 NEW BEST:: SOT 18065 SOS 11559 HAS SOPS 6959 HAS SOUS 4682 HAS SOUPS 3425 WITH SCORE 3436.559
AT ITER 29 NEW BEST:: SOT 18065 SOS 11559 HAS SOPS 6927 HAS SOUS 4682 HAS SOUPS 3409 WITH SCORE 3420.559
AT ITER 31 NEW BEST:: SOT 18065 SOS 11531 HAS SOPS 6927 HAS SOUS 4668 HAS SOUPS 3409 WITH SCORE 3420.531
AT ITER 35 NEW BEST:: SOT 18065 SOS 11335 HAS SOPS 6853 HAS SOUS 4626 HAS SOUPS 3372 WITH SCORE 3383.335
AT ITER 37 NEW BEST:: SOT 18065 SOS 11233 HAS SOPS 6853 HAS SOUS 4575 HAS SOUPS 3372 WITH SCORE 3383.233
AT ITER 41 NEW BEST:: SOT 18065 SOS 11211 HAS SOPS 6831 HAS SOUS 4564 HAS SOUPS 3361 WITH SCORE 3372.211
AT ITER 48 NEW BEST:: SOT 15871 SOS 11099 HAS SOPS 9803 HAS SOUS 3495 HAS SOUPS 3155 WITH SCORE 3166.099
AT ITER 52 NEW BEST:: SOT 15871 SOS 11099 HAS SOPS 9803 HAS SOUS 3493 HAS SOUPS 3153 WITH SCORE 3164.099
AT ITER 55 NEW BEST:: SOT 15875 SOS 11053 HAS SOPS 9807 HAS SOUS 3485 HAS SOUPS 3145 WITH SCORE 3156.053
AT ITER 57 NEW BEST:: SOT 15871 SOS 11049 HAS SOPS 9803 HAS SOUS 3483 HAS SOUPS 3143 WITH SCORE 3154.049
AT ITER 64 NEW BEST:: SOT 15871 SOS 11049 HAS SOPS 9803 HAS SOUS 3478 HAS SOUPS 3138 WITH SCORE 3149.049
AT ITER 80 NEW BEST:: SOT 15859 SOS 11003 HAS SOPS 9791 HAS SOUS 3449 HAS SOUPS 3126 WITH SCORE 3137.003
AT ITER 83 NEW BEST:: SOT 15863 SOS 11007 HAS SOPS 9795 HAS SOUS 3443 HAS SOUPS 3120 WITH SCORE 3131.007
AT ITER 88 NEW BEST:: SOT 15813 SOS 10959 HAS SOPS 9745 HAS SOUS 3430 HAS SOUPS 3106 WITH SCORE 3116.959
AT ITER 89 NEW BEST:: SOT 15813 SOS 10959 HAS SOPS 9735 HAS SOUS 3430 HAS SOUPS 3101 WITH SCORE 3111.959
AT ITER 96 NEW BEST:: SOT 15803 SOS 10949 HAS SOPS 9725 HAS SOUS 3420 HAS SOUPS 3091 WITH SCORE 3101.949
AT ITER 102 NEW BEST:: SOT 15723 SOS 10861 HAS SOPS 9641 HAS SOUS 3305 HAS SOUPS 2978 WITH SCORE 2988.861
AT ITER 108 NEW BEST:: SOT 15659 SOS 10797 HAS SOPS 9577 HAS SOUS 3288 HAS SOUPS 2961 WITH SCORE 2971.797
AT ITER 111 NEW BEST:: SOT 15649 SOS 10787 HAS SOPS 9567 HAS SOUS 3261 HAS SOUPS 2934 WITH SCORE 2944.787
AT ITER 114 NEW BEST:: SOT 15633 SOS 10771 HAS SOPS 9551 HAS SOUS 3245 HAS SOUPS 2918 WITH SCORE 2928.771
AT ITER 115 NEW BEST:: SOT 15633 SOS 10701 HAS SOPS 9551 HAS SOUS 3232 HAS SOUPS 2918 WITH SCORE 2928.701
AT ITER 119 NEW BEST:: SOT 15651 SOS 10719 HAS SOPS 9569 HAS SOUS 3231 HAS SOUPS 2917 WITH SCORE 2927.719
AT ITER 129 NEW BEST:: SOT 13971 SOS 9222 HAS SOPS 8456 HAS SOUS 2953 HAS SOUPS 2740 WITH SCORE 2749.222
AT ITER 131 NEW BEST:: SOT 13955 SOS 9206 HAS SOPS 8440 HAS SOUS 2941 HAS SOUPS 2728 WITH SCORE 2737.206
AT ITER 133 NEW BEST:: SOT 13883 SOS 9112 HAS SOPS 8368 HAS SOUS 2893 HAS SOUPS 2691 WITH SCORE 2700.112
AT ITER 137 NEW BEST:: SOT 13883 SOS 9112 HAS SOPS 8368 HAS SOUS 2873 HAS SOUPS 2671 WITH SCORE 2680.112
AT ITER 140 NEW BEST:: SOT 13883 SOS 9112 HAS SOPS 8368 HAS SOUS 2871 HAS SOUPS 2669 WITH SCORE 2678.112
AT ITER 153 NEW BEST:: SOT 13881 SOS 9110 HAS SOPS 8366 HAS SOUS 2868 HAS SOUPS 2666 WITH SCORE 2675.11
AT ITER 155 NEW BEST:: SOT 13871 SOS 9100 HAS SOPS 8356 HAS SOUS 2858 HAS SOUPS 2656 WITH SCORE 2665.1
AT ITER 165 NEW BEST:: SOT 13861 SOS 9082 HAS SOPS 8346 HAS SOUS 2844 HAS SOUPS 2646 WITH SCORE 2655.082
AT ITER 166 NEW BEST:: SOT 13889 SOS 9114 HAS SOPS 8374 HAS SOUS 2842 HAS SOUPS 2631 WITH SCORE 2640.114
AT ITER 176 NEW BEST:: SOT 13889 SOS 9112 HAS SOPS 8374 HAS SOUS 2839 HAS SOUPS 2629 WITH SCORE 2638.112
AT ITER 188 NEW BEST:: SOT 13859 SOS 9082 HAS SOPS 8344 HAS SOUS 2782 HAS SOUPS 2572 WITH SCORE 2581.082
AT ITER 191 NEW BEST:: SOT 13703 SOS 8962 HAS SOPS 8224 HAS SOUS 2737 HAS SOUPS 2527 WITH SCORE 2535.962
AT ITER 211 NEW BEST:: SOT 13695 SOS 8954 HAS SOPS 8216 HAS SOUS 2731 HAS SOUPS 2521 WITH SCORE 2529.954
AT ITER 219 NEW BEST:: SOT 13591 SOS 8850 HAS SOPS 8112 HAS SOUS 2688 HAS SOUPS 2478 WITH SCORE 2486.85
AT ITER 228 NEW BEST:: SOT 13591 SOS 8848 HAS SOPS 8108 HAS SOUS 2687 HAS SOUPS 2476 WITH SCORE 2484.848
AT ITER 229 NEW BEST:: SOT 13507 SOS 8736 HAS SOPS 8024 HAS SOUS 2661 HAS SOUPS 2464 WITH SCORE 2472.736
AT ITER 242 NEW BEST:: SOT 13507 SOS 8736 HAS SOPS 8024 HAS SOUS 2652 HAS SOUPS 2455 WITH SCORE 2463.736
AT ITER 245 NEW BEST:: SOT 13507 SOS 8736 HAS SOPS 8008 HAS SOUS 2652 HAS SOUPS 2447 WITH SCORE 2455.736
AT ITER 250 NEW BEST:: SOT 13495 SOS 8724 HAS SOPS 7996 HAS SOUS 2646 HAS SOUPS 2441 WITH SCORE 2449.724
AT ITER 269 NEW BEST:: SOT 13495 SOS 8704 HAS SOPS 7988 HAS SOUS 2636 HAS SOUPS 2437 WITH SCORE 2445.704
AT ITER 276 NEW BEST:: SOT 13483 SOS 8692 HAS SOPS 7976 HAS SOUS 2631 HAS SOUPS 2432 WITH SCORE 2440.692
AT ITER 284 NEW BEST:: SOT 13461 SOS 8670 HAS SOPS 7954 HAS SOUS 2612 HAS SOUPS 2413 WITH SCORE 2421.67
AT ITER 300 NEW BEST:: SOT 13497 SOS 8706 HAS SOPS 7990 HAS SOUS 2610 HAS SOUPS 2411 WITH SCORE 2419.706
AT ITER 305 NEW BEST:: SOT 13497 SOS 8706 HAS SOPS 7990 HAS SOUS 2609 HAS SOUPS 2410 WITH SCORE 2418.706
AT ITER 359 NEW BEST:: SOT 13491 SOS 8700 HAS SOPS 7984 HAS SOUS 2609 HAS SOUPS 2410 WITH SCORE 2418.7
AT ITER 363 NEW BEST:: SOT 13487 SOS 8696 HAS SOPS 7980 HAS SOUS 2590 HAS SOUPS 2391 WITH SCORE 2399.696
AT ITER 378 NEW BEST:: SOT 13487 SOS 8702 HAS SOPS 7980 HAS SOUS 2590 HAS SOUPS 2388 WITH SCORE 2396.702
AT ITER 399 NEW BEST:: SOT 13483 SOS 8698 HAS SOPS 7976 HAS SOUS 2588 HAS SOUPS 2386 WITH SCORE 2394.698
AT ITER 412 NEW BEST:: SOT 13483 SOS 8694 HAS SOPS 7972 HAS SOUS 2586 HAS SOUPS 2384 WITH SCORE 2392.694
AT ITER 423 NEW BEST:: SOT 13473 SOS 8688 HAS SOPS 7962 HAS SOUS 2584 HAS SOUPS 2380 WITH SCORE 2388.688
AT ITER 424 NEW BEST:: SOT 13503 SOS 8718 HAS SOPS 7992 HAS SOUS 2582 HAS SOUPS 2378 WITH SCORE 2386.718
AT ITER 432 NEW BEST:: SOT 13495 SOS 8710 HAS SOPS 7984 HAS SOUS 2578 HAS SOUPS 2374 WITH SCORE 2382.71
AT ITER 466 NEW BEST:: SOT 13433 SOS 8650 HAS SOPS 7936 HAS SOUS 2548 HAS SOUPS 2350 WITH SCORE 2358.65
AT ITER 486 NEW BEST:: SOT 13419 SOS 8636 HAS SOPS 7922 HAS SOUS 2541 HAS SOUPS 2343 WITH SCORE 2351.636
AT ITER 491 NEW BEST:: SOT 13419 SOS 8606 HAS SOPS 7922 HAS SOUS 2526 HAS SOUPS 2343 WITH SCORE 2351.606
AT ITER 494 NEW BEST:: SOT 13409 SOS 8596 HAS SOPS 7912 HAS SOUS 2521 HAS SOUPS 2338 WITH SCORE 2346.596
AT ITER 503 NEW BEST:: SOT 13433 SOS 8620 HAS SOPS 7936 HAS SOUS 2510 HAS SOUPS 2327 WITH SCORE 2335.62
AT ITER 504 NEW BEST:: SOT 13433 SOS 8592 HAS SOPS 7922 HAS SOUS 2496 HAS SOUPS 2320 WITH SCORE 2328.592
AT ITER 506 NEW BEST:: SOT 13437 SOS 8596 HAS SOPS 7926 HAS SOUS 2495 HAS SOUPS 2319 WITH SCORE 2327.596
AT ITER 520 NEW BEST:: SOT 13423 SOS 8582 HAS SOPS 7912 HAS SOUS 2483 HAS SOUPS 2307 WITH SCORE 2315.582
AT ITER 541 NEW BEST:: SOT 13405 SOS 8546 HAS SOPS 7894 HAS SOUS 2456 HAS SOUPS 2289 WITH SCORE 2297.546
AT ITER 551 NEW BEST:: SOT 13413 SOS 8598 HAS SOPS 7902 HAS SOUS 2465 HAS SOUPS 2276 WITH SCORE 2284.598
AT ITER 556 NEW BEST:: SOT 13413 SOS 8592 HAS SOPS 7900 HAS SOUS 2463 HAS SOUPS 2275 WITH SCORE 2283.592
AT ITER 574 NEW BEST:: SOT 13413 SOS 8586 HAS SOPS 7898 HAS SOUS 2461 HAS SOUPS 2274 WITH SCORE 2282.586
AT ITER 580 NEW BEST:: SOT 13387 SOS 8560 HAS SOPS 7872 HAS SOUS 2457 HAS SOUPS 2270 WITH SCORE 2278.56
AT ITER 581 NEW BEST:: SOT 13387 SOS 8522 HAS SOPS 7872 HAS SOUS 2436 HAS SOUPS 2268 WITH SCORE 2276.522
AT ITER 593 NEW BEST:: SOT 13377 SOS 8512 HAS SOPS 7862 HAS SOUS 2427 HAS SOUPS 2259 WITH SCORE 2267.512
AT ITER 600 NEW BEST:: SOT 13377 SOS 8510 HAS SOPS 7862 HAS SOUS 2427 HAS SOUPS 2250 WITH SCORE 2258.51
AT ITER 606 NEW BEST:: SOT 13377 SOS 8510 HAS SOPS 7862 HAS SOUS 2422 HAS SOUPS 2245 WITH SCORE 2253.51
AT ITER 609 NEW BEST:: SOT 13373 SOS 8506 HAS SOPS 7858 HAS SOUS 2420 HAS SOUPS 2243 WITH SCORE 2251.506
AT ITER 616 NEW BEST:: SOT 13369 SOS 8502 HAS SOPS 7854 HAS SOUS 2416 HAS SOUPS 2239 WITH SCORE 2247.502
AT ITER 624 NEW BEST:: SOT 13369 SOS 8502 HAS SOPS 7854 HAS SOUS 2414 HAS SOUPS 2237 WITH SCORE 2245.502
AT ITER 654 NEW BEST:: SOT 13341 SOS 8474 HAS SOPS 7826 HAS SOUS 2399 HAS SOUPS 2222 WITH SCORE 2230.474
AT ITER 662 NEW BEST:: SOT 13341 SOS 8295 HAS SOPS 7397 HAS SOUS 2399 HAS SOUPS 2154 WITH SCORE 2162.295
AT ITER 676 NEW BEST:: SOT 13351 SOS 8305 HAS SOPS 7407 HAS SOUS 2386 HAS SOUPS 2141 WITH SCORE 2149.305
AT ITER 680 NEW BEST:: SOT 13351 SOS 8305 HAS SOPS 7407 HAS SOUS 2382 HAS SOUPS 2137 WITH SCORE 2145.305
AT ITER 715 NEW BEST:: SOT 13351 SOS 8279 HAS SOPS 7407 HAS SOUS 2360 HAS SOUPS 2128 WITH SCORE 2136.279
AT ITER 717 NEW BEST:: SOT 13349 SOS 8277 HAS SOPS 7405 HAS SOUS 2348 HAS SOUPS 2116 WITH SCORE 2124.277
AT ITER 731 NEW BEST:: SOT 13351 SOS 8279 HAS SOPS 7407 HAS SOUS 2342 HAS SOUPS 2110 WITH SCORE 2118.279
AT ITER 742 NEW BEST:: SOT 13327 SOS 8255 HAS SOPS 7383 HAS SOUS 2319 HAS SOUPS 2087 WITH SCORE 2095.255
AT ITER 783 NEW BEST:: SOT 13321 SOS 8249 HAS SOPS 7377 HAS SOUS 2316 HAS SOUPS 2084 WITH SCORE 2092.249
AT ITER 812 NEW BEST:: SOT 13321 SOS 8245 HAS SOPS 7375 HAS SOUS 2314 HAS SOUPS 2083 WITH SCORE 2091.245
AT ITER 813 NEW BEST:: SOT 13293 SOS 8217 HAS SOPS 7347 HAS SOUS 2310 HAS SOUPS 2079 WITH SCORE 2087.217
AT ITER 831 NEW BEST:: SOT 13285 SOS 8209 HAS SOPS 7339 HAS SOUS 2304 HAS SOUPS 2073 WITH SCORE 2081.209
AT ITER 837 NEW BEST:: SOT 13303 SOS 8227 HAS SOPS 7357 HAS SOUS 2298 HAS SOUPS 2067 WITH SCORE 2075.227
AT ITER 845 NEW BEST:: SOT 13303 SOS 8221 HAS SOPS 7357 HAS SOUS 2298 HAS SOUPS 2067 WITH SCORE 2075.221
AT ITER 863 NEW BEST:: SOT 13255 SOS 8173 HAS SOPS 7309 HAS SOUS 2278 HAS SOUPS 2047 WITH SCORE 2055.173
AT ITER 872 NEW BEST:: SOT 13255 SOS 8175 HAS SOPS 7307 HAS SOUS 2279 HAS SOUPS 2046 WITH SCORE 2054.175
AT ITER 873 NEW BEST:: SOT 13257 SOS 8209 HAS SOPS 7341 HAS SOUS 2278 HAS SOUPS 2045 WITH SCORE 2053.209
AT ITER 907 NEW BEST:: SOT 13257 SOS 8229 HAS SOPS 7333 HAS SOUS 2277 HAS SOUPS 2041 WITH SCORE 2049.229
AT ITER 910 NEW BEST:: SOT 13201 SOS 8217 HAS SOPS 7299 HAS SOUS 2275 HAS SOUPS 2028 WITH SCORE 2036.217
AT ITER 912 NEW BEST:: SOT 13197 SOS 8213 HAS SOPS 7295 HAS SOUS 2272 HAS SOUPS 2025 WITH SCORE 2033.213
AT ITER 926 NEW BEST:: SOT 13197 SOS 8213 HAS SOPS 7295 HAS SOUS 2271 HAS SOUPS 2024 WITH SCORE 2032.213
AT ITER 937 NEW BEST:: SOT 13181 SOS 8197 HAS SOPS 7279 HAS SOUS 2263 HAS SOUPS 2016 WITH SCORE 2024.197
AT ITER 945 NEW BEST:: SOT 13181 SOS 8197 HAS SOPS 7279 HAS SOUS 2257 HAS SOUPS 2010 WITH SCORE 2018.197
AT ITER 984 NEW BEST:: SOT 13181 SOS 8179 HAS SOPS 7273 HAS SOUS 2251 HAS SOUPS 2007 WITH SCORE 2015.179
AT ITER 1012 NEW BEST:: SOT 13199 SOS 8169 HAS SOPS 7277 HAS SOUS 2240 HAS SOUPS 2003 WITH SCORE 2011.169
AT ITER 1028 NEW BEST:: SOT 13193 SOS 8163 HAS SOPS 7271 HAS SOUS 2234 HAS SOUPS 1997 WITH SCORE 2005.163
AT ITER 1040 NEW BEST:: SOT 13171 SOS 8141 HAS SOPS 7249 HAS SOUS 2228 HAS SOUPS 1991 WITH SCORE 1999.141
AT ITER 1061 NEW BEST:: SOT 13151 SOS 8121 HAS SOPS 7229 HAS SOUS 2210 HAS SOUPS 1973 WITH SCORE 1981.121
AT ITER 1070 NEW BEST:: SOT 13127 SOS 8097 HAS SOPS 7205 HAS SOUS 2190 HAS SOUPS 1953 WITH SCORE 1961.097
AT ITER 1071 NEW BEST:: SOT 13099 SOS 8067 HAS SOPS 7177 HAS SOUS 2175 HAS SOUPS 1939 WITH SCORE 1947.067
AT ITER 1081 NEW BEST:: SOT 13099 SOS 8063 HAS SOPS 7173 HAS SOUS 2173 HAS SOUPS 1937 WITH SCORE 1945.063
AT ITER 1088 NEW BEST:: SOT 13089 SOS 8053 HAS SOPS 7163 HAS SOUS 2160 HAS SOUPS 1924 WITH SCORE 1932.053
AT ITER 1107 NEW BEST:: SOT 13089 SOS 8049 HAS SOPS 7153 HAS SOUS 2154 HAS SOUPS 1919 WITH SCORE 1927.049
AT ITER 1162 NEW BEST:: SOT 13089 SOS 8041 HAS SOPS 7153 HAS SOUS 2150 HAS SOUPS 1919 WITH SCORE 1927.041
AT ITER 1187 NEW BEST:: SOT 13089 SOS 8033 HAS SOPS 7141 HAS SOUS 2146 HAS SOUPS 1913 WITH SCORE 1921.033
AT ITER 1193 NEW BEST:: SOT 13049 SOS 7993 HAS SOPS 7101 HAS SOUS 2146 HAS SOUPS 1913 WITH SCORE 1920.993
AT ITER 1207 NEW BEST:: SOT 13045 SOS 7989 HAS SOPS 7097 HAS SOUS 2145 HAS SOUPS 1912 WITH SCORE 1919.989
AT ITER 1217 NEW BEST:: SOT 12981 SOS 7925 HAS SOPS 7033 HAS SOUS 2134 HAS SOUPS 1901 WITH SCORE 1908.925
AT ITER 1221 NEW BEST:: SOT 12965 SOS 7873 HAS SOPS 6981 HAS SOUS 2120 HAS SOUPS 1887 WITH SCORE 1894.873
AT ITER 1264 NEW BEST:: SOT 12965 SOS 7873 HAS SOPS 6981 HAS SOUS 2115 HAS SOUPS 1882 WITH SCORE 1889.873
AT ITER 1281 NEW BEST:: SOT 12943 SOS 7865 HAS SOPS 6973 HAS SOUS 2113 HAS SOUPS 1880 WITH SCORE 1887.865
AT ITER 1295 NEW BEST:: SOT 12941 SOS 7863 HAS SOPS 6971 HAS SOUS 2112 HAS SOUPS 1879 WITH SCORE 1886.863
AT ITER 1330 NEW BEST:: SOT 12933 SOS 7855 HAS SOPS 6963 HAS SOUS 2108 HAS SOUPS 1875 WITH SCORE 1882.855
AT ITER 1340 NEW BEST:: SOT 12929 SOS 7851 HAS SOPS 6959 HAS SOUS 2106 HAS SOUPS 1873 WITH SCORE 1880.851
AT ITER 1381 NEW BEST:: SOT 12921 SOS 7827 HAS SOPS 6951 HAS SOUS 2069 HAS SOUPS 1844 WITH SCORE 1851.827
AT ITER 1412 NEW BEST:: SOT 12953 SOS 7851 HAS SOPS 6975 HAS SOUS 2065 HAS SOUPS 1838 WITH SCORE 1845.851
AT ITER 1451 NEW BEST:: SOT 12949 SOS 7847 HAS SOPS 6971 HAS SOUS 2063 HAS SOUPS 1836 WITH SCORE 1843.847
AT ITER 1454 NEW BEST:: SOT 12953 SOS 7851 HAS SOPS 6975 HAS SOUS 2040 HAS SOUPS 1813 WITH SCORE 1820.851
AT ITER 1473 NEW BEST:: SOT 12953 SOS 7851 HAS SOPS 6971 HAS SOUS 2040 HAS SOUPS 1811 WITH SCORE 1818.851
AT ITER 1518 NEW BEST:: SOT 12945 SOS 7843 HAS SOPS 6963 HAS SOUS 2033 HAS SOUPS 1804 WITH SCORE 1811.843
AT ITER 1538 NEW BEST:: SOT 12941 SOS 7839 HAS SOPS 6959 HAS SOUS 2028 HAS SOUPS 1799 WITH SCORE 1806.839
AT ITER 1544 NEW BEST:: SOT 12941 SOS 7839 HAS SOPS 6959 HAS SOUS 2027 HAS SOUPS 1798 WITH SCORE 1805.839
AT ITER 1569 NEW BEST:: SOT 12933 SOS 7831 HAS SOPS 6951 HAS SOUS 2023 HAS SOUPS 1794 WITH SCORE 1801.831
AT ITER 1606 NEW BEST:: SOT 12821 SOS 8207 HAS SOPS 7473 HAS SOUS 1978 HAS SOUPS 1792 WITH SCORE 1800.207
AT ITER 1614 NEW BEST:: SOT 12817 SOS 8203 HAS SOPS 7469 HAS SOUS 1976 HAS SOUPS 1790 WITH SCORE 1798.203
AT ITER 1653 NEW BEST:: SOT 12813 SOS 8199 HAS SOPS 7465 HAS SOUS 1972 HAS SOUPS 1786 WITH SCORE 1794.199
AT ITER 1689 NEW BEST:: SOT 12825 SOS 8201 HAS SOPS 7477 HAS SOUS 1953 HAS SOUPS 1772 WITH SCORE 1780.201
AT ITER 1708 NEW BEST:: SOT 12825 SOS 8201 HAS SOPS 7477 HAS SOUS 1950 HAS SOUPS 1769 WITH SCORE 1777.201
AT ITER 1730 NEW BEST:: SOT 12825 SOS 8189 HAS SOPS 7471 HAS SOUS 1944 HAS SOUPS 1766 WITH SCORE 1774.189
AT ITER 1736 NEW BEST:: SOT 12825 SOS 8181 HAS SOPS 7471 HAS SOUS 1940 HAS SOUPS 1766 WITH SCORE 1774.181
AT ITER 1805 NEW BEST:: SOT 12825 SOS 8175 HAS SOPS 7471 HAS SOUS 1940 HAS SOUPS 1766 WITH SCORE 1774.175
AT ITER 1818 NEW BEST:: SOT 12825 SOS 8173 HAS SOPS 7471 HAS SOUS 1939 HAS SOUPS 1766 WITH SCORE 1774.173
AT ITER 1829 NEW BEST:: SOT 12827 SOS 8175 HAS SOPS 7473 HAS SOUS 1937 HAS SOUPS 1764 WITH SCORE 1772.175
AT ITER 1836 NEW BEST:: SOT 12809 SOS 8157 HAS SOPS 7455 HAS SOUS 1937 HAS SOUPS 1764 WITH SCORE 1772.157
AT ITER 1855 NEW BEST:: SOT 12807 SOS 8155 HAS SOPS 7453 HAS SOUS 1937 HAS SOUPS 1764 WITH SCORE 1772.155
AT ITER 1857 NEW BEST:: SOT 12803 SOS 8151 HAS SOPS 7449 HAS SOUS 1935 HAS SOUPS 1762 WITH SCORE 1770.151
AT ITER 1941 NEW BEST:: SOT 12787 SOS 8135 HAS SOPS 7433 HAS SOUS 1935 HAS SOUPS 1762 WITH SCORE 1770.135
AT ITER 1950 NEW BEST:: SOT 12787 SOS 8135 HAS SOPS 7433 HAS SOUS 1934 HAS SOUPS 1761 WITH SCORE 1769.135
AT ITER 1956 NEW BEST:: SOT 12785 SOS 8133 HAS SOPS 7431 HAS SOUS 1930 HAS SOUPS 1757 WITH SCORE 1765.133
AT ITER 1961 NEW BEST:: SOT 12785 SOS 8117 HAS SOPS 7423 HAS SOUS 1922 HAS SOUPS 1753 WITH SCORE 1761.117
AT ITER 1975 NEW BEST:: SOT 12783 SOS 8115 HAS SOPS 7421 HAS SOUS 1922 HAS SOUPS 1753 WITH SCORE 1761.115
AT ITER 2014 NEW BEST:: SOT 12753 SOS 8085 HAS SOPS 7391 HAS SOUS 1919 HAS SOUPS 1750 WITH SCORE 1758.085
AT ITER 2017 NEW BEST:: SOT 12727 SOS 8059 HAS SOPS 7365 HAS SOUS 1896 HAS SOUPS 1727 WITH SCORE 1735.059
AT ITER 2054 NEW BEST:: SOT 12727 SOS 8039 HAS SOPS 7355 HAS SOUS 1886 HAS SOUPS 1722 WITH SCORE 1730.039
AT ITER 2065 NEW BEST:: SOT 12727 SOS 8021 HAS SOPS 7349 HAS SOUS 1880 HAS SOUPS 1719 WITH SCORE 1727.021
AT ITER 2077 NEW BEST:: SOT 12789 SOS 8083 HAS SOPS 7411 HAS SOUS 1858 HAS SOUPS 1697 WITH SCORE 1705.083
AT ITER 2120 NEW BEST:: SOT 12787 SOS 8081 HAS SOPS 7409 HAS SOUS 1855 HAS SOUPS 1694 WITH SCORE 1702.081
AT ITER 2174 NEW BEST:: SOT 12785 SOS 8079 HAS SOPS 7407 HAS SOUS 1853 HAS SOUPS 1692 WITH SCORE 1700.079
AT ITER 2196 NEW BEST:: SOT 12783 SOS 8077 HAS SOPS 7405 HAS SOUS 1842 HAS SOUPS 1681 WITH SCORE 1689.077
AT ITER 2205 NEW BEST:: SOT 12781 SOS 8079 HAS SOPS 7407 HAS SOUS 1841 HAS SOUPS 1680 WITH SCORE 1688.079
AT ITER 2206 NEW BEST:: SOT 12781 SOS 8079 HAS SOPS 7407 HAS SOUS 1839 HAS SOUPS 1678 WITH SCORE 1686.079
AT ITER 2256 NEW BEST:: SOT 12769 SOS 8067 HAS SOPS 7395 HAS SOUS 1837 HAS SOUPS 1676 WITH SCORE 1684.067
AT ITER 2294 NEW BEST:: SOT 12761 SOS 8059 HAS SOPS 7387 HAS SOUS 1833 HAS SOUPS 1672 WITH SCORE 1680.059
AT ITER 2344 NEW BEST:: SOT 12753 SOS 8051 HAS SOPS 7379 HAS SOUS 1827 HAS SOUPS 1666 WITH SCORE 1674.051
AT ITER 2364 NEW BEST:: SOT 12753 SOS 8051 HAS SOPS 7379 HAS SOUS 1824 HAS SOUPS 1663 WITH SCORE 1671.051
AT ITER 2377 NEW BEST:: SOT 12751 SOS 8049 HAS SOPS 7377 HAS SOUS 1820 HAS SOUPS 1659 WITH SCORE 1667.049
AT ITER 2498 NEW BEST:: SOT 12743 SOS 8041 HAS SOPS 7369 HAS SOUS 1814 HAS SOUPS 1653 WITH SCORE 1661.041
AT ITER 2526 NEW BEST:: SOT 12741 SOS 8039 HAS SOPS 7367 HAS SOUS 1814 HAS SOUPS 1653 WITH SCORE 1661.039
AT ITER 2580 NEW BEST:: SOT 12739 SOS 8037 HAS SOPS 7365 HAS SOUS 1812 HAS SOUPS 1651 WITH SCORE 1659.037
AT ITER 2632 NEW BEST:: SOT 12719 SOS 8017 HAS SOPS 7345 HAS SOUS 1810 HAS SOUPS 1649 WITH SCORE 1657.017
AT ITER 2782 NEW BEST:: SOT 12711 SOS 8009 HAS SOPS 7337 HAS SOUS 1809 HAS SOUPS 1648 WITH SCORE 1656.009
AT ITER 2807 NEW BEST:: SOT 12699 SOS 8001 HAS SOPS 7325 HAS SOUS 1798 HAS SOUPS 1639 WITH SCORE 1647.001
AT ITER 2845 NEW BEST:: SOT 12699 SOS 7995 HAS SOPS 7325 HAS SOUS 1797 HAS SOUPS 1639 WITH SCORE 1646.995
AT ITER 2847 NEW BEST:: SOT 12695 SOS 7993 HAS SOPS 7323 HAS SOUS 1797 HAS SOUPS 1639 WITH SCORE 1646.993
AT ITER 2878 NEW BEST:: SOT 12689 SOS 7987 HAS SOPS 7317 HAS SOUS 1794 HAS SOUPS 1636 WITH SCORE 1643.987
AT ITER 2920 NEW BEST:: SOT 12683 SOS 7981 HAS SOPS 7311 HAS SOUS 1792 HAS SOUPS 1634 WITH SCORE 1641.981
AT ITER 2937 NEW BEST:: SOT 12681 SOS 7978 HAS SOPS 7308 HAS SOUS 1790 HAS SOUPS 1632 WITH SCORE 1639.978
AT ITER 2996 NEW BEST:: SOT 12681 SOS 7966 HAS SOPS 7304 HAS SOUS 1786 HAS SOUPS 1630 WITH SCORE 1637.966
AT ITER 3015 NEW BEST:: SOT 12641 SOS 7932 HAS SOPS 7264 HAS SOUS 1776 HAS SOUPS 1620 WITH SCORE 1627.932
AT ITER 3080 NEW BEST:: SOT 12691 SOS 7970 HAS SOPS 7308 HAS SOUS 1761 HAS SOUPS 1605 WITH SCORE 1612.97
AT ITER 3130 NEW BEST:: SOT 12693 SOS 7972 HAS SOPS 7310 HAS SOUS 1760 HAS SOUPS 1604 WITH SCORE 1611.972
AT ITER 3191 NEW BEST:: SOT 12651 SOS 7930 HAS SOPS 7268 HAS SOUS 1757 HAS SOUPS 1601 WITH SCORE 1608.93
AT ITER 3230 NEW BEST:: SOT 12651 SOS 7928 HAS SOPS 7268 HAS SOUS 1756 HAS SOUPS 1601 WITH SCORE 1608.928
AT ITER 3237 NEW BEST:: SOT 12611 SOS 7890 HAS SOPS 7230 HAS SOUS 1752 HAS SOUPS 1597 WITH SCORE 1604.89
AT ITER 3267 NEW BEST:: SOT 12611 SOS 7886 HAS SOPS 7228 HAS SOUS 1750 HAS SOUPS 1596 WITH SCORE 1603.886
AT ITER 3362 NEW BEST:: SOT 12609 SOS 7884 HAS SOPS 7226 HAS SOUS 1748 HAS SOUPS 1594 WITH SCORE 1601.884
AT ITER 3438 NEW BEST:: SOT 12608 SOS 7882 HAS SOPS 7224 HAS SOUS 1748 HAS SOUPS 1594 WITH SCORE 1601.882
AT ITER 3530 NEW BEST:: SOT 12594 SOS 7868 HAS SOPS 7210 HAS SOUS 1746 HAS SOUPS 1592 WITH SCORE 1599.868
AT ITER 3531 NEW BEST:: SOT 12592 SOS 7866 HAS SOPS 7208 HAS SOUS 1744 HAS SOUPS 1590 WITH SCORE 1597.866
AT ITER 3558 NEW BEST:: SOT 12588 SOS 7862 HAS SOPS 7204 HAS SOUS 1740 HAS SOUPS 1586 WITH SCORE 1593.862
AT ITER 3577 NEW BEST:: SOT 12582 SOS 7848 HAS SOPS 7198 HAS SOUS 1730 HAS SOUPS 1580 WITH SCORE 1587.848
AT ITER 3635 NEW BEST:: SOT 12582 SOS 7848 HAS SOPS 7198 HAS SOUS 1726 HAS SOUPS 1576 WITH SCORE 1583.848
AT ITER 3681 NEW BEST:: SOT 12580 SOS 7846 HAS SOPS 7196 HAS SOUS 1723 HAS SOUPS 1573 WITH SCORE 1580.846
AT ITER 3688 NEW BEST:: SOT 12574 SOS 7840 HAS SOPS 7190 HAS SOUS 1717 HAS SOUPS 1567 WITH SCORE 1574.84
AT ITER 3806 NEW BEST:: SOT 12572 SOS 7838 HAS SOPS 7188 HAS SOUS 1715 HAS SOUPS 1565 WITH SCORE 1572.838
AT ITER 3832 NEW BEST:: SOT 12572 SOS 7826 HAS SOPS 7188 HAS SOUS 1709 HAS SOUPS 1565 WITH SCORE 1572.826
AT ITER 3919 NEW BEST:: SOT 12569 SOS 7816 HAS SOPS 7178 HAS SOUS 1706 HAS SOUPS 1562 WITH SCORE 1569.816
AT ITER 3927 NEW BEST:: SOT 12565 SOS 7812 HAS SOPS 7174 HAS SOUS 1703 HAS SOUPS 1559 WITH SCORE 1566.812
AT ITER 3960 NEW BEST:: SOT 12565 SOS 7812 HAS SOPS 7174 HAS SOUS 1702 HAS SOUPS 1558 WITH SCORE 1565.812
AT ITER 3977 NEW BEST:: SOT 12563 SOS 7810 HAS SOPS 7172 HAS SOUS 1700 HAS SOUPS 1556 WITH SCORE 1563.81
AT ITER 4001 NEW BEST:: SOT 12559 SOS 7808 HAS SOPS 7170 HAS SOUS 1700 HAS SOUPS 1556 WITH SCORE 1563.808
AT ITER 4161 NEW BEST:: SOT 12557 SOS 7806 HAS SOPS 7168 HAS SOUS 1700 HAS SOUPS 1556 WITH SCORE 1563.806
AT ITER 4184 NEW BEST:: SOT 12557 SOS 7806 HAS SOPS 7166 HAS SOUS 1700 HAS SOUPS 1555 WITH SCORE 1562.806
AT ITER 4192 NEW BEST:: SOT 12553 SOS 7802 HAS SOPS 7162 HAS SOUS 1693 HAS SOUPS 1548 WITH SCORE 1555.802
AT ITER 4198 NEW BEST:: SOT 12541 SOS 7790 HAS SOPS 7150 HAS SOUS 1693 HAS SOUPS 1548 WITH SCORE 1555.79
AT ITER 4397 NEW BEST:: SOT 12541 SOS 7790 HAS SOPS 7150 HAS SOUS 1691 HAS SOUPS 1546 WITH SCORE 1553.79
AT ITER 4468 NEW BEST:: SOT 12539 SOS 7788 HAS SOPS 7148 HAS SOUS 1689 HAS SOUPS 1544 WITH SCORE 1551.788
AT ITER 4507 NEW BEST:: SOT 12529 SOS 7778 HAS SOPS 7138 HAS SOUS 1688 HAS SOUPS 1543 WITH SCORE 1550.778
AT ITER 4681 NEW BEST:: SOT 12529 SOS 7772 HAS SOPS 7136 HAS SOUS 1685 HAS SOUPS 1542 WITH SCORE 1549.772
AT ITER 4848 NEW BEST:: SOT 12533 SOS 7776 HAS SOPS 7140 HAS SOUS 1684 HAS SOUPS 1541 WITH SCORE 1548.776
AT ITER 4852 NEW BEST:: SOT 12531 SOS 7774 HAS SOPS 7138 HAS SOUS 1684 HAS SOUPS 1541 WITH SCORE 1548.774
AT ITER 5023 NEW BEST:: SOT 12531 SOS 7772 HAS SOPS 7136 HAS SOUS 1682 HAS SOUPS 1540 WITH SCORE 1547.772
AT ITER 5109 NEW BEST:: SOT 12531 SOS 7770 HAS SOPS 7136 HAS SOUS 1681 HAS SOUPS 1540 WITH SCORE 1547.77
AT ITER 5372 NEW BEST:: SOT 12527 SOS 7766 HAS SOPS 7132 HAS SOUS 1681 HAS SOUPS 1540 WITH SCORE 1547.766
AT ITER 5383 NEW BEST:: SOT 12525 SOS 7764 HAS SOPS 7130 HAS SOUS 1679 HAS SOUPS 1538 WITH SCORE 1545.764
AT ITER 5685 NEW BEST:: SOT 12525 SOS 7758 HAS SOPS 7128 HAS SOUS 1677 HAS SOUPS 1537 WITH SCORE 1544.758
AT ITER 5728 NEW BEST:: SOT 12527 SOS 7760 HAS SOPS 7130 HAS SOUS 1675 HAS SOUPS 1535 WITH SCORE 1542.76
AT ITER 5836 NEW BEST:: SOT 12523 SOS 7756 HAS SOPS 7126 HAS SOUS 1671 HAS SOUPS 1531 WITH SCORE 1538.756
AT ITER 5907 NEW BEST:: SOT 12523 SOS 7780 HAS SOPS 7124 HAS SOUS 1679 HAS SOUPS 1530 WITH SCORE 1537.78
AT ITER 6039 NEW BEST:: SOT 12519 SOS 7776 HAS SOPS 7120 HAS SOUS 1677 HAS SOUPS 1528 WITH SCORE 1535.776
AT ITER 6169 NEW BEST:: SOT 12513 SOS 7770 HAS SOPS 7114 HAS SOUS 1675 HAS SOUPS 1526 WITH SCORE 1533.77
AT ITER 6207 NEW BEST:: SOT 12509 SOS 7766 HAS SOPS 7110 HAS SOUS 1674 HAS SOUPS 1525 WITH SCORE 1532.766
AT ITER 6244 NEW BEST:: SOT 12509 SOS 7766 HAS SOPS 7110 HAS SOUS 1670 HAS SOUPS 1521 WITH SCORE 1528.766
AT ITER 6250 NEW BEST:: SOT 12507 SOS 7764 HAS SOPS 7108 HAS SOUS 1669 HAS SOUPS 1520 WITH SCORE 1527.764
AT ITER 6365 NEW BEST:: SOT 12493 SOS 7750 HAS SOPS 7094 HAS SOUS 1663 HAS SOUPS 1514 WITH SCORE 1521.75
AT ITER 6391 NEW BEST:: SOT 12491 SOS 7748 HAS SOPS 7092 HAS SOUS 1661 HAS SOUPS 1512 WITH SCORE 1519.748
AT ITER 6500 NEW BEST:: SOT 12489 SOS 7746 HAS SOPS 7090 HAS SOUS 1659 HAS SOUPS 1510 WITH SCORE 1517.746
AT ITER 6672 NEW BEST:: SOT 12475 SOS 7732 HAS SOPS 7076 HAS SOUS 1656 HAS SOUPS 1507 WITH SCORE 1514.732
AT ITER 6812 NEW BEST:: SOT 12493 SOS 7740 HAS SOPS 7084 HAS SOUS 1655 HAS SOUPS 1506 WITH SCORE 1513.74
AT ITER 6832 NEW BEST:: SOT 12491 SOS 7738 HAS SOPS 7082 HAS SOUS 1653 HAS SOUPS 1504 WITH SCORE 1511.738
AT ITER 7685 NEW BEST:: SOT 12481 SOS 7732 HAS SOPS 7076 HAS SOUS 1651 HAS SOUPS 1502 WITH SCORE 1509.732
AT ITER 8490 NEW BEST:: SOT 12479 SOS 7730 HAS SOPS 7074 HAS SOUS 1651 HAS SOUPS 1502 WITH SCORE 1509.73
AT ITER 8602 NEW BEST:: SOT 12479 SOS 7730 HAS SOPS 7068 HAS SOUS 1651 HAS SOUPS 1499 WITH SCORE 1506.73
AT ITER 8609 NEW BEST:: SOT 12469 SOS 7720 HAS SOPS 7058 HAS SOUS 1650 HAS SOUPS 1498 WITH SCORE 1505.72
AT ITER 8781 NEW BEST:: SOT 12467 SOS 7718 HAS SOPS 7056 HAS SOUS 1649 HAS SOUPS 1497 WITH SCORE 1504.718
AT ITER 8916 NEW BEST:: SOT 12467 SOS 7716 HAS SOPS 7054 HAS SOUS 1647 HAS SOUPS 1496 WITH SCORE 1503.716
AT ITER 9022 NEW BEST:: SOT 12465 SOS 7714 HAS SOPS 7052 HAS SOUS 1645 HAS SOUPS 1494 WITH SCORE 1501.714
AT ITER 9563 NEW BEST:: SOT 12461 SOS 7710 HAS SOPS 7048 HAS SOUS 1645 HAS SOUPS 1494 WITH SCORE 1501.71
AT ITER 9957 NEW BEST:: SOT 12461 SOS 7706 HAS SOPS 7046 HAS SOUS 1643 HAS SOUPS 1493 WITH SCORE 1500.706
BK_STOP 1679140556529
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ 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
ERROR:
Generation failed in Meddly with error code:
Insufficient memory
within model automodel instantiated in file model.sm near line 1336
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 485 Segmentation fault ${SMART}/smart ${INPUT_SM}
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="SemanticWebServices-PT-S064P15"
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 SemanticWebServices-PT-S064P15, 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 r363-smll-167891814200368"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/SemanticWebServices-PT-S064P15.tgz
mv SemanticWebServices-PT-S064P15 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 ;