About the Execution of Smart+red for Diffusion2D-PT-D10N150
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 6159.119 | 424956.00 | 433556.00 | 1882.60 | 2.4252E+0071 9.9930E+0073 150 150 | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r139-smll-167819422000144.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 Diffusion2D-PT-D10N150, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r139-smll-167819422000144
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 812K
-rw-r--r-- 1 mcc users 11K Feb 26 04:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 112K Feb 26 04:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 26 04:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Feb 26 04:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:57 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 15:57 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 25 15:57 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:57 LTLFireability.xml
-rw-r--r-- 1 mcc users 19K Feb 26 04:30 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 179K Feb 26 04:30 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 04:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 87K Feb 26 04:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:57 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:57 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 255K Mar 5 18:22 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 1678323189168
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=Diffusion2D-PT-D10N150
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 00:53:12] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 00:53:12] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 00:53:12] [INFO ] Load time of PNML (sax parser for PT used): 146 ms
[2023-03-09 00:53:12] [INFO ] Transformed 100 places.
[2023-03-09 00:53:12] [INFO ] Transformed 684 transitions.
[2023-03-09 00:53:12] [INFO ] Parsed PT model containing 100 places and 684 transitions and 1368 arcs in 264 ms.
[2023-03-09 00:53:12] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 100 places, 684 transitions and 1368 arcs took 10 ms.
Total runtime 324 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Diffusion2D (PT), instance D10N150
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: 100 places, 684 transitions, 1368 arcs.
AT ITER 0 NEW BEST:: SOT 39196 SOS 7736 HAS SOPS 7736 HAS SOUS 3558 HAS SOUPS 3558 WITH SCORE 3565.736
AT ITER 31 NEW BEST:: SOT 39204 SOS 7712 HAS SOPS 7712 HAS SOUS 3558 HAS SOUPS 3558 WITH SCORE 3565.712
AT ITER 32 NEW BEST:: SOT 39190 SOS 7684 HAS SOPS 7684 HAS SOUS 3548 HAS SOUPS 3548 WITH SCORE 3555.684
AT ITER 46 NEW BEST:: SOT 39216 SOS 7694 HAS SOPS 7694 HAS SOUS 3544 HAS SOUPS 3544 WITH SCORE 3551.694
AT ITER 47 NEW BEST:: SOT 39154 SOS 7690 HAS SOPS 7690 HAS SOUS 3510 HAS SOUPS 3510 WITH SCORE 3517.69
AT ITER 62 NEW BEST:: SOT 39110 SOS 7642 HAS SOPS 7642 HAS SOUS 3508 HAS SOUPS 3508 WITH SCORE 3515.642
AT ITER 70 NEW BEST:: SOT 39088 SOS 7652 HAS SOPS 7652 HAS SOUS 3506 HAS SOUPS 3506 WITH SCORE 3513.652
AT ITER 75 NEW BEST:: SOT 39086 SOS 7648 HAS SOPS 7648 HAS SOUS 3506 HAS SOUPS 3506 WITH SCORE 3513.648
AT ITER 93 NEW BEST:: SOT 39084 SOS 7644 HAS SOPS 7644 HAS SOUS 3506 HAS SOUPS 3506 WITH SCORE 3513.644
AT ITER 122 NEW BEST:: SOT 39018 SOS 7652 HAS SOPS 7652 HAS SOUS 3474 HAS SOUPS 3474 WITH SCORE 3481.652
AT ITER 130 NEW BEST:: SOT 39018 SOS 7640 HAS SOPS 7640 HAS SOUS 3474 HAS SOUPS 3474 WITH SCORE 3481.64
AT ITER 137 NEW BEST:: SOT 38986 SOS 7714 HAS SOPS 7714 HAS SOUS 3472 HAS SOUPS 3472 WITH SCORE 3479.714
AT ITER 231 NEW BEST:: SOT 39020 SOS 7692 HAS SOPS 7692 HAS SOUS 3466 HAS SOUPS 3466 WITH SCORE 3473.692
AT ITER 247 NEW BEST:: SOT 39004 SOS 7660 HAS SOPS 7660 HAS SOUS 3450 HAS SOUPS 3450 WITH SCORE 3457.66
AT ITER 258 NEW BEST:: SOT 39000 SOS 7652 HAS SOPS 7652 HAS SOUS 3448 HAS SOUPS 3448 WITH SCORE 3455.652
AT ITER 269 NEW BEST:: SOT 38946 SOS 7598 HAS SOPS 7598 HAS SOUS 3448 HAS SOUPS 3448 WITH SCORE 3455.598
AT ITER 294 NEW BEST:: SOT 38828 SOS 7536 HAS SOPS 7536 HAS SOUS 3440 HAS SOUPS 3440 WITH SCORE 3447.536
AT ITER 300 NEW BEST:: SOT 38808 SOS 7526 HAS SOPS 7526 HAS SOUS 3434 HAS SOUPS 3434 WITH SCORE 3441.526
AT ITER 301 NEW BEST:: SOT 38744 SOS 7518 HAS SOPS 7518 HAS SOUS 3434 HAS SOUPS 3434 WITH SCORE 3441.518
AT ITER 308 NEW BEST:: SOT 38724 SOS 7478 HAS SOPS 7478 HAS SOUS 3414 HAS SOUPS 3414 WITH SCORE 3421.478
AT ITER 320 NEW BEST:: SOT 38714 SOS 7458 HAS SOPS 7458 HAS SOUS 3410 HAS SOUPS 3410 WITH SCORE 3417.458
AT ITER 337 NEW BEST:: SOT 38712 SOS 7454 HAS SOPS 7454 HAS SOUS 3408 HAS SOUPS 3408 WITH SCORE 3415.454
AT ITER 366 NEW BEST:: SOT 38708 SOS 7446 HAS SOPS 7446 HAS SOUS 3404 HAS SOUPS 3404 WITH SCORE 3411.446
AT ITER 435 NEW BEST:: SOT 38704 SOS 7438 HAS SOPS 7438 HAS SOUS 3404 HAS SOUPS 3404 WITH SCORE 3411.438
AT ITER 440 NEW BEST:: SOT 38682 SOS 7484 HAS SOPS 7484 HAS SOUS 3382 HAS SOUPS 3382 WITH SCORE 3389.484
AT ITER 475 NEW BEST:: SOT 38676 SOS 7472 HAS SOPS 7472 HAS SOUS 3376 HAS SOUPS 3376 WITH SCORE 3383.472
AT ITER 522 NEW BEST:: SOT 38672 SOS 7444 HAS SOPS 7444 HAS SOUS 3372 HAS SOUPS 3372 WITH SCORE 3379.444
AT ITER 537 NEW BEST:: SOT 38662 SOS 7412 HAS SOPS 7412 HAS SOUS 3364 HAS SOUPS 3364 WITH SCORE 3371.412
AT ITER 548 NEW BEST:: SOT 38646 SOS 7440 HAS SOPS 7440 HAS SOUS 3358 HAS SOUPS 3358 WITH SCORE 3365.44
AT ITER 594 NEW BEST:: SOT 38642 SOS 7432 HAS SOPS 7432 HAS SOUS 3352 HAS SOUPS 3352 WITH SCORE 3359.432
AT ITER 595 NEW BEST:: SOT 38650 SOS 7430 HAS SOPS 7430 HAS SOUS 3352 HAS SOUPS 3352 WITH SCORE 3359.43
AT ITER 602 NEW BEST:: SOT 38648 SOS 7426 HAS SOPS 7426 HAS SOUS 3350 HAS SOUPS 3350 WITH SCORE 3357.426
AT ITER 623 NEW BEST:: SOT 38646 SOS 7422 HAS SOPS 7422 HAS SOUS 3348 HAS SOUPS 3348 WITH SCORE 3355.422
AT ITER 636 NEW BEST:: SOT 38588 SOS 7378 HAS SOPS 7378 HAS SOUS 3338 HAS SOUPS 3338 WITH SCORE 3345.378
AT ITER 662 NEW BEST:: SOT 38564 SOS 7372 HAS SOPS 7372 HAS SOUS 3332 HAS SOUPS 3332 WITH SCORE 3339.372
AT ITER 667 NEW BEST:: SOT 38556 SOS 7356 HAS SOPS 7356 HAS SOUS 3332 HAS SOUPS 3332 WITH SCORE 3339.356
AT ITER 708 NEW BEST:: SOT 38552 SOS 7348 HAS SOPS 7348 HAS SOUS 3332 HAS SOUPS 3332 WITH SCORE 3339.348
AT ITER 754 NEW BEST:: SOT 38532 SOS 7356 HAS SOPS 7356 HAS SOUS 3316 HAS SOUPS 3316 WITH SCORE 3323.356
AT ITER 757 NEW BEST:: SOT 38542 SOS 7352 HAS SOPS 7352 HAS SOUS 3310 HAS SOUPS 3310 WITH SCORE 3317.352
AT ITER 785 NEW BEST:: SOT 38514 SOS 7296 HAS SOPS 7296 HAS SOUS 3298 HAS SOUPS 3298 WITH SCORE 3305.296
AT ITER 822 NEW BEST:: SOT 38512 SOS 7292 HAS SOPS 7292 HAS SOUS 3298 HAS SOUPS 3298 WITH SCORE 3305.292
AT ITER 845 NEW BEST:: SOT 38508 SOS 7284 HAS SOPS 7284 HAS SOUS 3290 HAS SOUPS 3290 WITH SCORE 3297.284
AT ITER 949 NEW BEST:: SOT 38462 SOS 7302 HAS SOPS 7302 HAS SOUS 3288 HAS SOUPS 3288 WITH SCORE 3295.302
AT ITER 960 NEW BEST:: SOT 38460 SOS 7298 HAS SOPS 7298 HAS SOUS 3288 HAS SOUPS 3288 WITH SCORE 3295.298
AT ITER 980 NEW BEST:: SOT 38454 SOS 7286 HAS SOPS 7286 HAS SOUS 3284 HAS SOUPS 3284 WITH SCORE 3291.286
AT ITER 982 NEW BEST:: SOT 38406 SOS 7274 HAS SOPS 7274 HAS SOUS 3284 HAS SOUPS 3284 WITH SCORE 3291.274
AT ITER 986 NEW BEST:: SOT 38400 SOS 7262 HAS SOPS 7262 HAS SOUS 3278 HAS SOUPS 3278 WITH SCORE 3285.262
AT ITER 998 NEW BEST:: SOT 38358 SOS 7178 HAS SOPS 7178 HAS SOUS 3270 HAS SOUPS 3270 WITH SCORE 3277.178
AT ITER 1042 NEW BEST:: SOT 38356 SOS 7174 HAS SOPS 7174 HAS SOUS 3270 HAS SOUPS 3270 WITH SCORE 3277.174
AT ITER 1051 NEW BEST:: SOT 38368 SOS 7180 HAS SOPS 7180 HAS SOUS 3268 HAS SOUPS 3268 WITH SCORE 3275.18
AT ITER 1070 NEW BEST:: SOT 38354 SOS 7152 HAS SOPS 7152 HAS SOUS 3268 HAS SOUPS 3268 WITH SCORE 3275.152
AT ITER 1083 NEW BEST:: SOT 38352 SOS 7148 HAS SOPS 7148 HAS SOUS 3256 HAS SOUPS 3256 WITH SCORE 3263.148
AT ITER 1155 NEW BEST:: SOT 38352 SOS 7148 HAS SOPS 7148 HAS SOUS 3254 HAS SOUPS 3254 WITH SCORE 3261.148
AT ITER 1188 NEW BEST:: SOT 38316 SOS 7100 HAS SOPS 7100 HAS SOUS 3246 HAS SOUPS 3246 WITH SCORE 3253.1
AT ITER 1199 NEW BEST:: SOT 38310 SOS 7094 HAS SOPS 7094 HAS SOUS 3244 HAS SOUPS 3244 WITH SCORE 3251.094
AT ITER 1206 NEW BEST:: SOT 38308 SOS 7090 HAS SOPS 7090 HAS SOUS 3244 HAS SOUPS 3244 WITH SCORE 3251.09
AT ITER 1231 NEW BEST:: SOT 38304 SOS 7082 HAS SOPS 7082 HAS SOUS 3244 HAS SOUPS 3244 WITH SCORE 3251.082
AT ITER 1279 NEW BEST:: SOT 38294 SOS 7074 HAS SOPS 7074 HAS SOUS 3244 HAS SOUPS 3244 WITH SCORE 3251.074
AT ITER 1294 NEW BEST:: SOT 38270 SOS 7074 HAS SOPS 7074 HAS SOUS 3232 HAS SOUPS 3232 WITH SCORE 3239.074
AT ITER 1332 NEW BEST:: SOT 38250 SOS 7034 HAS SOPS 7034 HAS SOUS 3232 HAS SOUPS 3232 WITH SCORE 3239.034
AT ITER 1377 NEW BEST:: SOT 38220 SOS 7010 HAS SOPS 7010 HAS SOUS 3232 HAS SOUPS 3232 WITH SCORE 3239.01
AT ITER 1400 NEW BEST:: SOT 38212 SOS 6994 HAS SOPS 6994 HAS SOUS 3222 HAS SOUPS 3222 WITH SCORE 3228.994
AT ITER 1488 NEW BEST:: SOT 38202 SOS 6974 HAS SOPS 6974 HAS SOUS 3210 HAS SOUPS 3210 WITH SCORE 3216.974
AT ITER 1489 NEW BEST:: SOT 38204 SOS 6928 HAS SOPS 6928 HAS SOUS 3200 HAS SOUPS 3200 WITH SCORE 3206.928
AT ITER 1512 NEW BEST:: SOT 38240 SOS 6922 HAS SOPS 6922 HAS SOUS 3200 HAS SOUPS 3200 WITH SCORE 3206.922
AT ITER 1515 NEW BEST:: SOT 38240 SOS 6922 HAS SOPS 6922 HAS SOUS 3198 HAS SOUPS 3198 WITH SCORE 3204.922
AT ITER 1538 NEW BEST:: SOT 38254 SOS 6920 HAS SOPS 6920 HAS SOUS 3198 HAS SOUPS 3198 WITH SCORE 3204.92
AT ITER 1539 NEW BEST:: SOT 38248 SOS 6908 HAS SOPS 6908 HAS SOUS 3194 HAS SOUPS 3194 WITH SCORE 3200.908
AT ITER 1566 NEW BEST:: SOT 38240 SOS 6892 HAS SOPS 6892 HAS SOUS 3190 HAS SOUPS 3190 WITH SCORE 3196.892
AT ITER 1572 NEW BEST:: SOT 38238 SOS 6888 HAS SOPS 6888 HAS SOUS 3186 HAS SOUPS 3186 WITH SCORE 3192.888
AT ITER 1585 NEW BEST:: SOT 38222 SOS 6856 HAS SOPS 6856 HAS SOUS 3186 HAS SOUPS 3186 WITH SCORE 3192.856
AT ITER 1611 NEW BEST:: SOT 38220 SOS 6852 HAS SOPS 6852 HAS SOUS 3184 HAS SOUPS 3184 WITH SCORE 3190.852
AT ITER 1672 NEW BEST:: SOT 38222 SOS 6806 HAS SOPS 6806 HAS SOUS 3172 HAS SOUPS 3172 WITH SCORE 3178.806
AT ITER 1703 NEW BEST:: SOT 38178 SOS 6808 HAS SOPS 6808 HAS SOUS 3150 HAS SOUPS 3150 WITH SCORE 3156.808
AT ITER 1710 NEW BEST:: SOT 38178 SOS 6804 HAS SOPS 6804 HAS SOUS 3150 HAS SOUPS 3150 WITH SCORE 3156.804
AT ITER 1712 NEW BEST:: SOT 38152 SOS 6818 HAS SOPS 6818 HAS SOUS 3146 HAS SOUPS 3146 WITH SCORE 3152.818
AT ITER 1727 NEW BEST:: SOT 38144 SOS 6802 HAS SOPS 6802 HAS SOUS 3146 HAS SOUPS 3146 WITH SCORE 3152.802
AT ITER 1741 NEW BEST:: SOT 38138 SOS 6790 HAS SOPS 6790 HAS SOUS 3142 HAS SOUPS 3142 WITH SCORE 3148.79
AT ITER 1764 NEW BEST:: SOT 38126 SOS 6766 HAS SOPS 6766 HAS SOUS 3130 HAS SOUPS 3130 WITH SCORE 3136.766
AT ITER 1794 NEW BEST:: SOT 38122 SOS 6758 HAS SOPS 6758 HAS SOUS 3124 HAS SOUPS 3124 WITH SCORE 3130.758
AT ITER 1805 NEW BEST:: SOT 38104 SOS 6662 HAS SOPS 6662 HAS SOUS 3120 HAS SOUPS 3120 WITH SCORE 3126.662
AT ITER 1806 NEW BEST:: SOT 38102 SOS 6640 HAS SOPS 6640 HAS SOUS 3118 HAS SOUPS 3118 WITH SCORE 3124.64
AT ITER 1825 NEW BEST:: SOT 38092 SOS 6656 HAS SOPS 6656 HAS SOUS 3106 HAS SOUPS 3106 WITH SCORE 3112.656
AT ITER 1878 NEW BEST:: SOT 38078 SOS 6648 HAS SOPS 6648 HAS SOUS 3106 HAS SOUPS 3106 WITH SCORE 3112.648
AT ITER 1887 NEW BEST:: SOT 38072 SOS 6636 HAS SOPS 6636 HAS SOUS 3104 HAS SOUPS 3104 WITH SCORE 3110.636
AT ITER 2008 NEW BEST:: SOT 38068 SOS 6628 HAS SOPS 6628 HAS SOUS 3098 HAS SOUPS 3098 WITH SCORE 3104.628
AT ITER 2023 NEW BEST:: SOT 38068 SOS 6628 HAS SOPS 6628 HAS SOUS 3096 HAS SOUPS 3096 WITH SCORE 3102.628
AT ITER 2097 NEW BEST:: SOT 38064 SOS 6620 HAS SOPS 6620 HAS SOUS 3096 HAS SOUPS 3096 WITH SCORE 3102.62
AT ITER 2107 NEW BEST:: SOT 38052 SOS 6614 HAS SOPS 6614 HAS SOUS 3090 HAS SOUPS 3090 WITH SCORE 3096.614
AT ITER 2117 NEW BEST:: SOT 38018 SOS 6600 HAS SOPS 6600 HAS SOUS 3086 HAS SOUPS 3086 WITH SCORE 3092.6
AT ITER 2160 NEW BEST:: SOT 37972 SOS 6598 HAS SOPS 6598 HAS SOUS 3076 HAS SOUPS 3076 WITH SCORE 3082.598
AT ITER 2173 NEW BEST:: SOT 37970 SOS 6594 HAS SOPS 6594 HAS SOUS 3074 HAS SOUPS 3074 WITH SCORE 3080.594
AT ITER 2280 NEW BEST:: SOT 37968 SOS 6590 HAS SOPS 6590 HAS SOUS 3072 HAS SOUPS 3072 WITH SCORE 3078.59
AT ITER 2316 NEW BEST:: SOT 37976 SOS 6588 HAS SOPS 6588 HAS SOUS 3070 HAS SOUPS 3070 WITH SCORE 3076.588
AT ITER 2324 NEW BEST:: SOT 37980 SOS 6576 HAS SOPS 6576 HAS SOUS 3066 HAS SOUPS 3066 WITH SCORE 3072.576
AT ITER 2333 NEW BEST:: SOT 37966 SOS 6566 HAS SOPS 6566 HAS SOUS 3066 HAS SOUPS 3066 WITH SCORE 3072.566
AT ITER 2361 NEW BEST:: SOT 37992 SOS 6558 HAS SOPS 6558 HAS SOUS 3064 HAS SOUPS 3064 WITH SCORE 3070.558
AT ITER 2368 NEW BEST:: SOT 37998 SOS 6540 HAS SOPS 6540 HAS SOUS 3050 HAS SOUPS 3050 WITH SCORE 3056.54
AT ITER 2398 NEW BEST:: SOT 37996 SOS 6536 HAS SOPS 6536 HAS SOUS 3048 HAS SOUPS 3048 WITH SCORE 3054.536
AT ITER 2447 NEW BEST:: SOT 37998 SOS 6534 HAS SOPS 6534 HAS SOUS 3048 HAS SOUPS 3048 WITH SCORE 3054.534
AT ITER 2499 NEW BEST:: SOT 37980 SOS 6516 HAS SOPS 6516 HAS SOUS 3042 HAS SOUPS 3042 WITH SCORE 3048.516
AT ITER 2564 NEW BEST:: SOT 37970 SOS 6496 HAS SOPS 6496 HAS SOUS 3038 HAS SOUPS 3038 WITH SCORE 3044.496
AT ITER 2623 NEW BEST:: SOT 37968 SOS 6492 HAS SOPS 6492 HAS SOUS 3036 HAS SOUPS 3036 WITH SCORE 3042.492
AT ITER 2652 NEW BEST:: SOT 37968 SOS 6488 HAS SOPS 6488 HAS SOUS 3036 HAS SOUPS 3036 WITH SCORE 3042.488
AT ITER 2777 NEW BEST:: SOT 37964 SOS 6480 HAS SOPS 6480 HAS SOUS 3032 HAS SOUPS 3032 WITH SCORE 3038.48
AT ITER 2835 NEW BEST:: SOT 37966 SOS 6520 HAS SOPS 6520 HAS SOUS 3030 HAS SOUPS 3030 WITH SCORE 3036.52
AT ITER 2903 NEW BEST:: SOT 37966 SOS 6508 HAS SOPS 6508 HAS SOUS 3030 HAS SOUPS 3030 WITH SCORE 3036.508
AT ITER 2961 NEW BEST:: SOT 37962 SOS 6506 HAS SOPS 6506 HAS SOUS 3028 HAS SOUPS 3028 WITH SCORE 3034.506
AT ITER 3004 NEW BEST:: SOT 37972 SOS 6514 HAS SOPS 6514 HAS SOUS 3026 HAS SOUPS 3026 WITH SCORE 3032.514
AT ITER 3014 NEW BEST:: SOT 37978 SOS 6508 HAS SOPS 6508 HAS SOUS 3026 HAS SOUPS 3026 WITH SCORE 3032.508
AT ITER 3033 NEW BEST:: SOT 37972 SOS 6496 HAS SOPS 6496 HAS SOUS 3022 HAS SOUPS 3022 WITH SCORE 3028.496
AT ITER 3039 NEW BEST:: SOT 37966 SOS 6490 HAS SOPS 6490 HAS SOUS 3020 HAS SOUPS 3020 WITH SCORE 3026.49
AT ITER 3045 NEW BEST:: SOT 37948 SOS 6454 HAS SOPS 6454 HAS SOUS 3014 HAS SOUPS 3014 WITH SCORE 3020.454
AT ITER 3058 NEW BEST:: SOT 37942 SOS 6424 HAS SOPS 6424 HAS SOUS 3014 HAS SOUPS 3014 WITH SCORE 3020.424
AT ITER 3130 NEW BEST:: SOT 37938 SOS 6416 HAS SOPS 6416 HAS SOUS 3014 HAS SOUPS 3014 WITH SCORE 3020.416
AT ITER 3158 NEW BEST:: SOT 37926 SOS 6392 HAS SOPS 6392 HAS SOUS 3002 HAS SOUPS 3002 WITH SCORE 3008.392
AT ITER 3177 NEW BEST:: SOT 37922 SOS 6384 HAS SOPS 6384 HAS SOUS 3000 HAS SOUPS 3000 WITH SCORE 3006.384
AT ITER 3286 NEW BEST:: SOT 37922 SOS 6378 HAS SOPS 6378 HAS SOUS 3000 HAS SOUPS 3000 WITH SCORE 3006.378
AT ITER 3403 NEW BEST:: SOT 37926 SOS 6374 HAS SOPS 6374 HAS SOUS 2998 HAS SOUPS 2998 WITH SCORE 3004.374
AT ITER 3452 NEW BEST:: SOT 37928 SOS 6372 HAS SOPS 6372 HAS SOUS 2998 HAS SOUPS 2998 WITH SCORE 3004.372
AT ITER 3620 NEW BEST:: SOT 37926 SOS 6368 HAS SOPS 6368 HAS SOUS 2998 HAS SOUPS 2998 WITH SCORE 3004.368
AT ITER 3632 NEW BEST:: SOT 37908 SOS 6350 HAS SOPS 6350 HAS SOUS 2992 HAS SOUPS 2992 WITH SCORE 2998.35
AT ITER 3663 NEW BEST:: SOT 37908 SOS 6338 HAS SOPS 6338 HAS SOUS 2992 HAS SOUPS 2992 WITH SCORE 2998.338
AT ITER 3678 NEW BEST:: SOT 37908 SOS 6332 HAS SOPS 6332 HAS SOUS 2990 HAS SOUPS 2990 WITH SCORE 2996.332
AT ITER 3708 NEW BEST:: SOT 37920 SOS 6314 HAS SOPS 6314 HAS SOUS 2990 HAS SOUPS 2990 WITH SCORE 2996.314
AT ITER 3762 NEW BEST:: SOT 37904 SOS 6318 HAS SOPS 6318 HAS SOUS 2980 HAS SOUPS 2980 WITH SCORE 2986.318
AT ITER 3887 NEW BEST:: SOT 37904 SOS 6310 HAS SOPS 6310 HAS SOUS 2980 HAS SOUPS 2980 WITH SCORE 2986.31
AT ITER 3905 NEW BEST:: SOT 37894 SOS 6266 HAS SOPS 6266 HAS SOUS 2978 HAS SOUPS 2978 WITH SCORE 2984.266
AT ITER 4023 NEW BEST:: SOT 37894 SOS 6254 HAS SOPS 6254 HAS SOUS 2978 HAS SOUPS 2978 WITH SCORE 2984.254
AT ITER 4025 NEW BEST:: SOT 37868 SOS 6232 HAS SOPS 6232 HAS SOUS 2970 HAS SOUPS 2970 WITH SCORE 2976.232
AT ITER 4033 NEW BEST:: SOT 37868 SOS 6220 HAS SOPS 6220 HAS SOUS 2970 HAS SOUPS 2970 WITH SCORE 2976.22
AT ITER 4037 NEW BEST:: SOT 37866 SOS 6216 HAS SOPS 6216 HAS SOUS 2968 HAS SOUPS 2968 WITH SCORE 2974.216
AT ITER 4084 NEW BEST:: SOT 37864 SOS 6212 HAS SOPS 6212 HAS SOUS 2968 HAS SOUPS 2968 WITH SCORE 2974.212
AT ITER 4120 NEW BEST:: SOT 37834 SOS 6206 HAS SOPS 6206 HAS SOUS 2962 HAS SOUPS 2962 WITH SCORE 2968.206
AT ITER 4221 NEW BEST:: SOT 37824 SOS 6186 HAS SOPS 6186 HAS SOUS 2958 HAS SOUPS 2958 WITH SCORE 2964.186
AT ITER 4253 NEW BEST:: SOT 37808 SOS 6202 HAS SOPS 6202 HAS SOUS 2956 HAS SOUPS 2956 WITH SCORE 2962.202
AT ITER 4257 NEW BEST:: SOT 37804 SOS 6194 HAS SOPS 6194 HAS SOUS 2956 HAS SOUPS 2956 WITH SCORE 2962.194
AT ITER 4371 NEW BEST:: SOT 37812 SOS 6192 HAS SOPS 6192 HAS SOUS 2952 HAS SOUPS 2952 WITH SCORE 2958.192
AT ITER 4381 NEW BEST:: SOT 37810 SOS 6188 HAS SOPS 6188 HAS SOUS 2950 HAS SOUPS 2950 WITH SCORE 2956.188
AT ITER 4467 NEW BEST:: SOT 37804 SOS 6188 HAS SOPS 6188 HAS SOUS 2948 HAS SOUPS 2948 WITH SCORE 2954.188
AT ITER 4580 NEW BEST:: SOT 37798 SOS 6176 HAS SOPS 6176 HAS SOUS 2948 HAS SOUPS 2948 WITH SCORE 2954.176
AT ITER 4582 NEW BEST:: SOT 37794 SOS 6168 HAS SOPS 6168 HAS SOUS 2946 HAS SOUPS 2946 WITH SCORE 2952.168
AT ITER 4642 NEW BEST:: SOT 37764 SOS 6178 HAS SOPS 6178 HAS SOUS 2942 HAS SOUPS 2942 WITH SCORE 2948.178
AT ITER 4656 NEW BEST:: SOT 37728 SOS 6136 HAS SOPS 6136 HAS SOUS 2936 HAS SOUPS 2936 WITH SCORE 2942.136
AT ITER 4697 NEW BEST:: SOT 37726 SOS 6132 HAS SOPS 6132 HAS SOUS 2934 HAS SOUPS 2934 WITH SCORE 2940.132
AT ITER 4987 NEW BEST:: SOT 37726 SOS 6132 HAS SOPS 6132 HAS SOUS 2932 HAS SOUPS 2932 WITH SCORE 2938.132
AT ITER 5090 NEW BEST:: SOT 37718 SOS 6134 HAS SOPS 6134 HAS SOUS 2928 HAS SOUPS 2928 WITH SCORE 2934.134
AT ITER 5303 NEW BEST:: SOT 37720 SOS 6132 HAS SOPS 6132 HAS SOUS 2928 HAS SOUPS 2928 WITH SCORE 2934.132
AT ITER 5313 NEW BEST:: SOT 37716 SOS 6124 HAS SOPS 6124 HAS SOUS 2926 HAS SOUPS 2926 WITH SCORE 2932.124
AT ITER 5355 NEW BEST:: SOT 37714 SOS 6120 HAS SOPS 6120 HAS SOUS 2924 HAS SOUPS 2924 WITH SCORE 2930.12
AT ITER 5550 NEW BEST:: SOT 37710 SOS 6100 HAS SOPS 6100 HAS SOUS 2916 HAS SOUPS 2916 WITH SCORE 2922.1
AT ITER 5619 NEW BEST:: SOT 37708 SOS 6096 HAS SOPS 6096 HAS SOUS 2912 HAS SOUPS 2912 WITH SCORE 2918.096
AT ITER 5754 NEW BEST:: SOT 37714 SOS 6090 HAS SOPS 6090 HAS SOUS 2908 HAS SOUPS 2908 WITH SCORE 2914.09
AT ITER 5829 NEW BEST:: SOT 37710 SOS 6088 HAS SOPS 6088 HAS SOUS 2906 HAS SOUPS 2906 WITH SCORE 2912.088
AT ITER 5854 NEW BEST:: SOT 37724 SOS 6076 HAS SOPS 6076 HAS SOUS 2906 HAS SOUPS 2906 WITH SCORE 2912.076
AT ITER 5917 NEW BEST:: SOT 37718 SOS 6046 HAS SOPS 6046 HAS SOUS 2904 HAS SOUPS 2904 WITH SCORE 2910.046
AT ITER 6180 NEW BEST:: SOT 37716 SOS 6042 HAS SOPS 6042 HAS SOUS 2902 HAS SOUPS 2902 WITH SCORE 2908.042
AT ITER 6220 NEW BEST:: SOT 37706 SOS 6046 HAS SOPS 6046 HAS SOUS 2900 HAS SOUPS 2900 WITH SCORE 2906.046
AT ITER 6241 NEW BEST:: SOT 37706 SOS 6034 HAS SOPS 6034 HAS SOUS 2900 HAS SOUPS 2900 WITH SCORE 2906.034
AT ITER 6558 NEW BEST:: SOT 37704 SOS 6030 HAS SOPS 6030 HAS SOUS 2900 HAS SOUPS 2900 WITH SCORE 2906.03
AT ITER 6609 NEW BEST:: SOT 37706 SOS 6026 HAS SOPS 6026 HAS SOUS 2900 HAS SOUPS 2900 WITH SCORE 2906.026
AT ITER 6760 NEW BEST:: SOT 37700 SOS 6014 HAS SOPS 6014 HAS SOUS 2898 HAS SOUPS 2898 WITH SCORE 2904.014
AT ITER 6814 NEW BEST:: SOT 37692 SOS 6010 HAS SOPS 6010 HAS SOUS 2894 HAS SOUPS 2894 WITH SCORE 2900.01
AT ITER 6822 NEW BEST:: SOT 37688 SOS 6008 HAS SOPS 6008 HAS SOUS 2892 HAS SOUPS 2892 WITH SCORE 2898.008
AT ITER 6832 NEW BEST:: SOT 37686 SOS 6004 HAS SOPS 6004 HAS SOUS 2892 HAS SOUPS 2892 WITH SCORE 2898.004
AT ITER 6974 NEW BEST:: SOT 37684 SOS 6000 HAS SOPS 6000 HAS SOUS 2890 HAS SOUPS 2890 WITH SCORE 2896.0
AT ITER 7025 NEW BEST:: SOT 37686 SOS 5998 HAS SOPS 5998 HAS SOUS 2890 HAS SOUPS 2890 WITH SCORE 2895.998
AT ITER 7242 NEW BEST:: SOT 37682 SOS 5990 HAS SOPS 5990 HAS SOUS 2888 HAS SOUPS 2888 WITH SCORE 2893.99
AT ITER 7243 NEW BEST:: SOT 37682 SOS 5966 HAS SOPS 5966 HAS SOUS 2888 HAS SOUPS 2888 WITH SCORE 2893.966
AT ITER 7295 NEW BEST:: SOT 37682 SOS 5962 HAS SOPS 5962 HAS SOUS 2888 HAS SOUPS 2888 WITH SCORE 2893.962
AT ITER 7557 NEW BEST:: SOT 37676 SOS 5962 HAS SOPS 5962 HAS SOUS 2886 HAS SOUPS 2886 WITH SCORE 2891.962
AT ITER 7596 NEW BEST:: SOT 37674 SOS 5958 HAS SOPS 5958 HAS SOUS 2884 HAS SOUPS 2884 WITH SCORE 2889.958
AT ITER 7922 NEW BEST:: SOT 37664 SOS 5950 HAS SOPS 5950 HAS SOUS 2882 HAS SOUPS 2882 WITH SCORE 2887.95
AT ITER 7928 NEW BEST:: SOT 37660 SOS 5948 HAS SOPS 5948 HAS SOUS 2880 HAS SOUPS 2880 WITH SCORE 2885.948
AT ITER 8010 NEW BEST:: SOT 37666 SOS 5942 HAS SOPS 5942 HAS SOUS 2880 HAS SOUPS 2880 WITH SCORE 2885.942
AT ITER 8210 NEW BEST:: SOT 37664 SOS 5938 HAS SOPS 5938 HAS SOUS 2878 HAS SOUPS 2878 WITH SCORE 2883.938
AT ITER 8592 NEW BEST:: SOT 37664 SOS 5932 HAS SOPS 5932 HAS SOUS 2878 HAS SOUPS 2878 WITH SCORE 2883.932
AT ITER 8690 NEW BEST:: SOT 37662 SOS 5928 HAS SOPS 5928 HAS SOUS 2878 HAS SOUPS 2878 WITH SCORE 2883.928
AT ITER 9986 NEW BEST:: SOT 37660 SOS 5942 HAS SOPS 5942 HAS SOUS 2874 HAS SOUPS 2874 WITH SCORE 2879.942
STATE_SPACE STATES 242520983711364275168282666169455781913613043678110346873178692778335084 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 150 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 150 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 99930333047333231454882737144522743872838145708329805579068810759265781600 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
BK_STOP 1678323614124
--------------------
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
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="Diffusion2D-PT-D10N150"
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 Diffusion2D-PT-D10N150, 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 r139-smll-167819422000144"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Diffusion2D-PT-D10N150.tgz
mv Diffusion2D-PT-D10N150 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 ;