About the Execution of 2021-gold for ViralEpidemic-PT-S08D1C2A04
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4421.424 | 968000.00 | 1462434.00 | 3332.90 | F | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2022-input.r288-smll-165307357400243.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2022-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool gold2021
Input is ViralEpidemic-PT-S08D1C2A04, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r288-smll-165307357400243
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 27M
-rw-r--r-- 1 mcc users 7.4K Apr 29 12:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 67K Apr 29 12:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.1K Apr 29 12:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 61K Apr 29 12:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 10 09:34 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.5K May 9 09:22 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 9 09:22 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 9 09:22 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 9 09:22 LTLFireability.xml
-rw-r--r-- 1 mcc users 1.9K May 9 09:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K May 9 09:22 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 10 09:34 equiv_col
-rw-r--r-- 1 mcc users 11 May 10 09:34 instance
-rw-r--r-- 1 mcc users 6 May 10 09:34 iscolored
-rw-r--r-- 1 mcc users 27M May 10 09:34 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
FORMULA_NAME StableMarking
=== Now, execution of the tool begins
BK_START 1653222008658
Running Version 0
[2022-05-22 12:20:11] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StableMarking, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2022-05-22 12:20:11] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-05-22 12:20:13] [INFO ] Load time of PNML (sax parser for PT used): 1775 ms
[2022-05-22 12:20:13] [INFO ] Transformed 46811 places.
[2022-05-22 12:20:13] [INFO ] Transformed 79577 transitions.
[2022-05-22 12:20:13] [INFO ] Parsed PT model containing 46811 places and 79577 transitions in 2350 ms.
Structural test allowed to assert that 37449 places are NOT stable. Took 331 ms.
Incomplete random walk after 10000 steps, including 3 resets, run finished after 9495 ms. (steps per millisecond=1 ) properties (out of 9362) seen :4186
Running SMT prover for 5176 properties.
// Phase 1: matrix 79577 rows 46811 cols
[2022-05-22 12:21:26] [INFO ] Computed 1 place invariants in 60554 ms
[2022-05-22 12:21:51] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 5176 Parikh solutions to 1 different solutions.
Support contains 5176 out of 46811 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 46811/46811 places, 79577/79577 transitions.
Graph (complete) has 37448 edges and 46811 vertex of which 27297 are kept as prefixes of interest. Removing 19514 places using SCC suffix rule.112 ms
Discarding 19514 places :
Also discarding 32344 output transitions
Drop transitions removed 32344 transitions
Drop transitions removed 2866 transitions
Reduce isomorphic transitions removed 2866 transitions.
Drop transitions removed 36 transitions
Trivial Post-agglo rules discarded 36 transitions
Performed 36 trivial Post agglomeration. Transition count delta: 36
Iterating post reduction 0 with 2902 rules applied. Total rules applied 2903 place count 27297 transition count 44331
Reduce places removed 36 places and 0 transitions.
Iterating post reduction 1 with 36 rules applied. Total rules applied 2939 place count 27261 transition count 44331
Discarding 118 places :
Symmetric choice reduction at 2 with 118 rule applications. Total rules 3057 place count 27143 transition count 44213
Iterating global reduction 2 with 118 rules applied. Total rules applied 3175 place count 27143 transition count 44213
Performed 1284 Post agglomeration using F-continuation condition.Transition count delta: 1284
Deduced a syphon composed of 1284 places in 13 ms
Reduce places removed 1284 places and 0 transitions.
Iterating global reduction 2 with 2568 rules applied. Total rules applied 5743 place count 25859 transition count 42929
Renaming transitions due to excessive name length > 1024 char.
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 5744 place count 25858 transition count 42928
Ensure Unique test removed 5 places
Iterating post reduction 2 with 5 rules applied. Total rules applied 5749 place count 25853 transition count 42928
Applied a total of 5749 rules in 8697 ms. Remains 25853 /46811 variables (removed 20958) and now considering 42928/79577 (removed 36649) transitions.
Finished structural reductions, in 1 iterations. Remains : 25853/46811 places, 42928/79577 transitions.
[2022-05-22 12:22:03] [INFO ] Flatten gal took : 2469 ms
[2022-05-22 12:22:05] [INFO ] Flatten gal took : 1879 ms
[2022-05-22 12:22:06] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality3485038989659292025.gal : 297 ms
[2022-05-22 12:22:06] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality5018789906438860413.prop : 37 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality3485038989659292025.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality5018789906438860413.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality3485038989659292025.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality5018789906438860413.prop --nowitness --gen-order FOLLOW
Detected timeout of ITS tools.
[2022-05-22 12:22:23] [INFO ] Flatten gal took : 1708 ms
[2022-05-22 12:22:23] [INFO ] Applying decomposition
[2022-05-22 12:22:24] [INFO ] Flatten gal took : 1748 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph16346626120799317531.txt, -o, /tmp/graph16346626120799317531.bin, -w, /tmp/graph16346626120799317531.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph16346626120799317531.bin, -l, -1, -v, -w, /tmp/graph16346626120799317531.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-05-22 12:22:29] [INFO ] Decomposing Gal with order
[2022-05-22 12:22:51] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-22 12:28:56] [INFO ] Removed a total of 56722 redundant transitions.
[2022-05-22 12:28:57] [INFO ] Flatten gal took : 3376 ms
[2022-05-22 12:29:10] [INFO ] Fuse similar labels procedure discarded/fused a total of 17238 labels/synchronizations in 11707 ms.
[2022-05-22 12:29:10] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality9821968852315373466.gal : 207 ms
[2022-05-22 12:29:10] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality7274267393974373496.prop : 11 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality9821968852315373466.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality7274267393974373496.prop, --nowitness], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality9821968852315373466.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality7274267393974373496.prop --nowitness
Loading property file /tmp/ReachabilityCardinality7274267393974373496.prop.
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin14622525095687195316
[2022-05-22 12:29:26] [INFO ] Built C files in 582ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin14622525095687195316
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin14622525095687195316]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin14622525095687195316] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin14622525095687195316] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Interrupted random walk after 20153 steps, including 3 resets, run timeout after 30002 ms. (steps per millisecond=0 ) properties seen :{0=1, 1=1, 2=1, 3=1, 4=1, 5=1, 6=1, 7=1, 8=1, 9=1, 10=1, 11=1, 12=1, 13=1, 14=1, 15=1, 16=1, 17=1, 18=1, 19=1, 20=1, 21=1, 22=1, 23=1, 24=1, 25=1, 26=1, 27=1, 28=1, 29=1, 30=1, 31=1, 32=1, 33=1, 34=1, 35=1, 36=1, 37=1, 38=1, 41=1, 42=1, 43=1, 44=1, 45=1, 46=1, 47=1, 48=1, 49=1, 50=1, 51=1, 52=1, 53=1, 54=1, 55=1, 56=1, 57=1, 58=1, 59=1, 60=1, 61=1, 62=1, 63=1, 64=1, 65=1, 66=1, 67=1, 68=1, 69=1, 70=1, 71=1, 72=1, 73=1, 74=1, 75=1, 76=1, 77=1, 78=1, 79=1, 80=1, 81=1, 82=1, 83=1, 84=1, 85=1, 86=1, 87=1, 88=1, 89=1, 90=1, 91=1, 92=1, 93=1, 94=1, 95=1, 96=1, 97=1, 98=1, 99=1, 100=1, 101=1, 102=1, 103=1, 104=1, 105=1, 108=1, 109=1, 110=1, 111=1, 112=1, 113=1, 114=1, 115=1, 116=1, 117=1, 118=1, 119=1, 120=1, 121=1, 122=1, 123=1, 124=1, 125=1, 126=1, 127=1, 128=1, 129=1, 130=1, 131=1, 132=1, 133=1, 134=1, 135=1, 136=1, 137=1, 138=1, 139=1, 140=1, 141=1, 142=1, 143=1, 144=1, 145=1, 146=1, 147=1, 148=1, 149=1, 150=1, 151=1, 152=1, 153=1, 154=1, 155=1, 156=1, 157=1, 158=1, 159=1, 160=1, 161=1, 162=1, 163=1, 164=1, 165=1, 166=1, 167=1, 168=1, 169=1, 170=1, 171=1, 172=1, 173=1, 174=1, 175=1, 176=1, 177=1, 178=1, 179=1, 180=1, 181=1, 182=1, 183=1, 184=1, 185=1, 186=1, 187=1, 188=1, 189=1, 190=1, 191=1, 192=1, 193=1, 194=1, 195=1, 196=1, 197=1, 198=1, 199=1, 200=1, 201=1, 202=1, 203=1, 204=1, 205=1, 206=1, 207=1, 208=1, 209=1, 210=1, 211=1, 212=1, 213=1, 216=1, 217=1, 218=1, 219=1, 222=1, 223=1, 224=1, 225=1, 226=1, 227=1, 228=1, 229=1, 230=1, 231=1, 232=1, 233=1, 234=1, 235=1, 236=1, 237=1, 238=1, 239=1, 240=1, 241=1, 242=1, 243=1, 244=1, 245=1, 246=1, 247=1, 248=1, 249=1, 250=1, 251=1, 252=1, 253=1, 254=1, 255=1, 256=1, 257=1, 258=1, 259=1, 260=1, 261=1, 262=1, 263=1, 264=1, 265=1, 266=1, 267=1, 268=1, 269=1, 270=1, 271=1, 272=1, 273=1, 274=1, 275=1, 276=1, 277=1, 278=1, 279=1, 280=1, 281=1, 282=1, 283=1, 284=1, 285=1, 286=1, 287=1, 288=1, 289=1, 290=1, 291=1, 292=1, 293=1, 294=1, 295=1, 296=1, 297=1, 298=1, 299=1, 300=1, 301=1, 302=1, 303=1, 304=1, 305=1, 306=1, 307=1, 308=1, 309=1, 310=1, 311=1, 312=1, 313=1, 314=1, 315=1, 316=1, 317=1, 318=1, 319=1, 320=1, 323=1, 324=1, 325=1, 326=1, 327=1, 328=1, 329=1, 330=1, 331=1, 332=1, 333=1, 334=1, 335=1, 336=1, 337=1, 338=1, 339=1, 340=1, 341=1, 342=1, 343=1, 344=1, 345=1, 346=1, 347=1, 348=1, 349=1, 350=1, 351=1, 352=1, 353=1, 354=1, 355=1, 356=1, 357=1, 358=1, 359=1, 360=1, 361=1, 362=1, 363=1, 364=1, 365=1, 366=1, 367=1, 368=1, 369=1, 370=1, 371=1, 372=1, 373=1, 374=1, 375=1, 376=1, 377=1, 378=1, 379=1, 380=1, 381=1, 382=1, 383=1, 384=1, 385=1, 386=1, 387=1, 388=1, 389=1, 390=1, 391=1, 392=1, 393=1, 394=1, 395=1, 396=1, 397=1, 398=1, 399=1, 400=1, 401=1, 402=1, 403=1, 404=1, 405=1, 406=1, 407=1, 408=1, 409=1, 410=1, 411=1, 412=1, 413=1, 414=1, 415=1, 416=1, 417=1, 418=1, 419=1, 420=1, 421=1, 422=1, 423=1, 424=1, 425=1, 427=1, 428=1, 430=1, 431=1, 432=1, 433=1, 434=1, 435=1, 436=1, 437=1, 438=1, 439=1, 440=1, 441=1, 442=1, 443=1, 444=1, 445=1, 446=1, 447=1, 448=1, 449=1, 450=1, 451=1, 452=1, 453=1, 454=1, 455=1, 456=1, 457=1, 458=1, 459=1, 460=1, 461=1, 462=1, 463=1, 464=1, 465=1, 466=1, 467=1, 468=1, 469=1, 470=1, 471=1, 472=1, 473=1, 474=1, 475=1, 476=1, 477=1, 478=1, 479=1, 480=1, 481=1, 482=1, 483=1, 486=1, 487=1, 488=1, 489=1, 490=1, 491=1, 492=1, 493=1, 494=1, 495=1, 496=1, 497=1, 498=1, 499=1, 500=1, 501=1, 502=1, 503=1, 504=1, 505=1, 506=1, 507=1, 508=1, 509=1, 510=1, 511=1, 512=1, 513=1, 514=1, 515=1, 516=1, 517=1, 518=1, 519=1, 520=1, 521=1, 522=1, 523=1, 524=1, 525=1, 526=1, 527=1, 528=1, 529=1, 530=1, 531=1, 532=1, 533=1, 534=1, 535=1, 536=1, 537=1, 538=1, 539=1, 540=1, 541=1, 544=1, 545=1, 546=1, 547=1, 548=1, 549=1, 550=1, 551=1, 552=1, 553=1, 554=1, 555=1, 556=1, 557=1, 558=1, 559=1, 560=1, 561=1, 562=1, 563=1, 564=1, 565=1, 566=1, 567=1, 568=1, 569=1, 570=1, 571=1, 572=1, 573=1, 574=1, 575=1, 576=1, 577=1, 578=1, 579=1, 580=1, 581=1, 582=1, 583=1, 584=1, 585=1, 586=1, 587=1, 588=1, 589=1, 590=1, 591=1, 592=1, 593=1, 596=1, 597=1, 598=1, 599=1, 602=1, 603=1, 604=1, 605=1, 606=1, 607=1, 608=1, 609=1, 610=1, 611=1, 612=1, 613=1, 616=1, 617=1, 618=1, 619=1, 620=1, 621=1, 622=1, 623=1, 624=1, 625=1, 626=1, 627=1, 628=1, 629=1, 630=1, 631=1, 632=1, 633=1, 634=1, 635=1, 636=1, 637=1, 638=1, 639=1, 642=1, 643=1, 644=1, 645=1, 646=1, 647=1, 650=1, 651=1, 652=1, 653=1, 654=1, 655=1, 656=1, 657=1, 658=1, 659=1, 660=1, 661=1, 662=1, 663=1, 664=1, 665=1, 666=1, 667=1, 668=1, 669=1, 670=1, 671=1, 672=1, 673=1, 674=1, 675=1, 676=1, 677=1, 678=1, 679=1, 682=1, 683=1, 684=1, 685=1, 686=1, 687=1, 688=1, 689=1, 690=1, 691=1, 692=1, 693=1, 694=1, 695=1, 699=1, 701=1, 702=1, 703=1, 704=1, 705=1, 708=1, 709=1, 710=1, 711=1, 712=1, 713=1, 714=1, 717=1, 718=1, 719=1, 720=1, 721=1, 724=1, 725=1, 726=1, 727=1, 728=1, 729=1, 731=1, 733=1, 734=1, 735=1, 738=1, 739=1, 744=1, 745=1, 746=1, 747=1, 748=1, 749=1, 750=1, 751=1, 752=1, 753=1, 754=1, 755=1, 756=1, 757=1, 758=1, 759=1, 760=1, 761=1, 762=1, 763=1, 764=1, 765=1, 766=1, 767=1, 768=1, 769=1, 770=1, 771=1, 772=1, 773=1, 774=1, 775=1, 776=1, 777=1, 778=1, 779=1, 782=1, 783=1, 784=1, 785=1, 786=1, 787=1, 788=1, 789=1, 790=1, 791=1, 792=1, 793=1, 794=1, 795=1, 796=1, 797=1, 798=1, 799=1, 800=1, 801=1, 802=1, 803=1, 804=1, 805=1, 806=1, 807=1, 808=1, 809=1, 810=1, 811=1, 812=1, 813=1, 814=1, 815=1, 816=1, 817=1, 818=1, 819=1, 820=1, 821=1, 822=1, 823=1, 824=1, 825=1, 826=1, 827=1, 828=1, 829=1, 830=1, 831=1, 832=1, 833=1, 834=1, 835=1, 836=1, 837=1, 838=1, 839=1, 840=1, 841=1, 842=1, 843=1, 844=1, 845=1, 846=1, 847=1, 848=1, 849=1, 850=1, 851=1, 852=1, 853=1, 854=1, 855=1, 856=1, 857=1, 858=1, 859=1, 860=1, 861=1, 862=1, 863=1, 864=1, 865=1, 866=1, 867=1, 868=1, 869=1, 870=1, 871=1, 872=1, 873=1, 874=1, 875=1, 876=1, 877=1, 878=1, 879=1, 880=1, 881=1, 882=1, 883=1, 884=1, 885=1, 886=1, 887=1, 888=1, 889=1, 890=1, 891=1, 892=1, 893=1, 894=1, 895=1, 898=1, 899=1, 900=1, 901=1, 904=1, 905=1, 906=1, 907=1, 908=1, 909=1, 910=1, 911=1, 912=1, 913=1, 914=1, 915=1, 916=1, 917=1, 918=1, 919=1, 922=1, 923=1, 924=1, 925=1, 926=1, 927=1, 928=1, 929=1, 930=1, 931=1, 932=1, 933=1, 934=1, 935=1, 936=1, 937=1, 938=1, 939=1, 940=1, 941=1, 942=1, 943=1, 944=1, 945=1, 946=1, 947=1, 948=1, 949=1, 950=1, 951=1, 952=1, 953=1, 954=1, 955=1, 956=1, 957=1, 958=1, 959=1, 960=1, 961=1, 962=1, 963=1, 964=1, 965=1, 966=1, 967=1, 968=1, 969=1, 970=1, 971=1, 972=1, 973=1, 976=1, 977=1, 978=1, 979=1, 980=1, 981=1, 982=1, 983=1, 984=1, 985=1, 986=1, 987=1, 988=1, 989=1, 990=1, 991=1, 992=1, 993=1, 994=1, 995=1, 996=1, 997=1, 998=1, 999=1, 1000=1, 1001=1, 1002=1, 1003=1, 1004=1, 1005=1, 1006=1, 1007=1, 1008=1, 1009=1, 1010=1, 1011=1, 1012=1, 1013=1, 1014=1, 1015=1, 1016=1, 1017=1, 1018=1, 1019=1, 1020=1, 1021=1, 1022=1, 1023=1, 1024=1, 1025=1, 1026=1, 1027=1, 1028=1, 1029=1, 1030=1, 1031=1, 1032=1, 1033=1, 1034=1, 1035=1, 1036=1, 1037=1, 1038=1, 1039=1, 1040=1, 1041=1, 1042=1, 1043=1, 1044=1, 1045=1, 1046=1, 1047=1, 1048=1, 1049=1, 1050=1, 1051=1, 1052=1, 1053=1, 1054=1, 1055=1, 1056=1, 1057=1, 1058=1, 1059=1, 1060=1, 1061=1, 1062=1, 1063=1, 1064=1, 1065=1, 1066=1, 1067=1, 1068=1, 1069=1, 1070=1, 1071=1, 1072=1, 1073=1, 1074=1, 1075=1, 1076=1, 1077=1, 1078=1, 1079=1, 1080=1, 1081=1, 1082=1, 1083=1, 1084=1, 1085=1, 1086=1, 1087=1, 1088=1, 1089=1, 1090=1, 1091=1, 1092=1, 1093=1, 1094=1, 1095=1, 1096=1, 1097=1, 1098=1, 1099=1, 1100=1, 1101=1, 1102=1, 1103=1, 1104=1, 1105=1, 1106=1, 1107=1, 1108=1, 1109=1, 1110=1, 1111=1, 1112=1, 1113=1, 1114=1, 1115=1, 1116=1, 1117=1, 1118=1, 1119=1, 1120=1, 1121=1, 1122=1, 1123=1, 1124=1, 1125=1, 1126=1, 1127=1, 1128=1, 1129=1, 1130=1, 1131=1, 1132=1, 1133=1, 1134=1, 1135=1, 1136=1, 1137=1, 1138=1, 1139=1, 1140=1, 1141=1, 1142=1, 1143=1, 1144=1, 1145=1, 1146=1, 1147=1, 1148=1, 1149=1, 1150=1, 1151=1, 1152=1, 1153=1, 1154=1, 1155=1, 1156=1, 1157=1, 1158=1, 1159=1, 1160=1, 1161=1, 1164=1, 1165=1, 1166=1, 1167=1, 1168=1, 1169=1, 1170=1, 1171=1, 1172=1, 1173=1, 1174=1, 1175=1, 1176=1, 1177=1, 1178=1, 1179=1, 1180=1, 1181=1, 1182=1, 1183=1, 1184=1, 1185=1, 1186=1, 1187=1, 1188=1, 1189=1, 1194=1, 1195=1, 1196=1, 1197=1, 1200=1, 1201=1, 1202=1, 1203=1, 1206=1, 1207=1, 1208=1, 1209=1, 1210=1, 1211=1, 1212=1, 1213=1, 1216=1, 1217=1, 1218=1, 1219=1, 1220=1, 1221=1, 1222=1, 1223=1, 1224=1, 1225=1, 1226=1, 1227=1, 1230=1, 1231=1, 1232=1, 1233=1, 1234=1, 1235=1, 1236=1, 1237=1, 1238=1, 1239=1, 1240=1, 1241=1, 1242=1, 1243=1, 1245=1, 1247=1, 1250=1, 1251=1, 1254=1, 1255=1, 1256=1, 1257=1, 1258=1, 1259=1, 1260=1, 1261=1, 1262=1, 1263=1, 1264=1, 1265=1, 1268=1, 1269=1, 1270=1, 1271=1, 1272=1, 1273=1, 1274=1, 1275=1, 1276=1, 1277=1, 1280=1, 1281=1, 1282=1, 1283=1, 1284=1, 1285=1, 1286=1, 1287=1, 1288=1, 1289=1, 1290=1, 1291=1, 1292=1, 1293=1, 1296=1, 1297=1, 1298=1, 1299=1, 1300=1, 1301=1, 1302=1, 1303=1, 1304=1, 1305=1, 1306=1, 1307=1, 1308=1, 1309=1, 1310=1, 1311=1, 1312=1, 1313=1, 1314=1, 1315=1, 1318=1, 1319=1, 1320=1, 1321=1, 1322=1, 1323=1, 1324=1, 1325=1, 1326=1, 1327=1, 1328=1, 1329=1, 1330=1, 1331=1, 1338=1, 1339=1, 1342=1, 1343=1, 1344=1, 1345=1, 1348=1, 1349=1, 1350=1, 1351=1, 1354=1, 1355=1, 1356=1, 1357=1, 1358=1, 1359=1, 1361=1, 1363=1, 1364=1, 1365=1, 1368=1, 1369=1, 1370=1, 1371=1, 1374=1, 1375=1, 1376=1, 1377=1, 1380=1, 1381=1, 1382=1, 1383=1, 1384=1, 1385=1, 1386=1, 1387=1, 1388=1, 1389=1, 1390=1, 1391=1, 1392=1, 1393=1, 1394=1, 1395=1, 1396=1, 1397=1, 1398=1, 1399=1, 1400=1, 1401=1, 1402=1, 1403=1, 1404=1, 1405=1, 1406=1, 1407=1, 1408=1, 1409=1, 1410=1, 1411=1, 1412=1, 1413=1, 1414=1, 1415=1, 1416=1, 1417=1, 1418=1, 1419=1, 1420=1, 1421=1, 1422=1, 1423=1, 1424=1, 1425=1, 1426=1, 1427=1, 1428=1, 1429=1, 1430=1, 1431=1, 1432=1, 1433=1, 1434=1, 1435=1, 1436=1, 1437=1, 1438=1, 1439=1, 1441=1, 1443=1, 1444=1, 1445=1, 1446=1, 1447=1, 1448=1, 1449=1, 1450=1, 1451=1, 1454=1, 1455=1, 1456=1, 1457=1, 1462=1, 1463=1, 1464=1, 1465=1, 1466=1, 1467=1, 1470=1, 1471=1, 1472=1, 1473=1, 1476=1, 1477=1, 1480=1, 1481=1, 1484=1, 1485=1, 1486=1, 1487=1, 1488=1, 1489=1, 1492=1, 1493=1, 1494=1, 1495=1, 1498=1, 1499=1, 1500=1, 1501=1, 1502=1, 1503=1, 1506=1, 1507=1, 1508=1, 1509=1, 1510=1, 1511=1, 1512=1, 1513=1, 1516=1, 1517=1, 1518=1, 1519=1, 1520=1, 1521=1, 1522=1, 1523=1, 1524=1, 1525=1, 1526=1, 1527=1, 1528=1, 1529=1, 1530=1, 1531=1, 1534=1, 1535=1, 1536=1, 1537=1, 1538=1, 1539=1, 1542=1, 1543=1, 1544=1, 1545=1, 1546=1, 1547=1, 1548=1, 1549=1, 1550=1, 1551=1, 1552=1, 1553=1, 1554=1, 1555=1, 1556=1, 1557=1, 1558=1, 1559=1, 1560=1, 1561=1, 1562=1, 1563=1, 1564=1, 1565=1, 1566=1, 1567=1, 1570=1, 1571=1, 1572=1, 1573=1, 1574=1, 1575=1, 1578=1, 1579=1, 1580=1, 1581=1, 1586=1, 1587=1, 1590=1, 1591=1, 1592=1, 1593=1, 1594=1, 1595=1, 1598=1, 1599=1, 1600=1, 1601=1, 1604=1, 1605=1, 1608=1, 1609=1, 1612=1, 1613=1, 1614=1, 1615=1, 1616=1, 1617=1, 1618=1, 1619=1, 1622=1, 1623=1, 1624=1, 1625=1, 1626=1, 1627=1, 1630=1, 1631=1, 1632=1, 1633=1, 1634=1, 1635=1, 1636=1, 1637=1, 1638=1, 1639=1, 1640=1, 1641=1, 1642=1, 1643=1, 1644=1, 1645=1, 1646=1, 1647=1, 1648=1, 1649=1, 1650=1, 1651=1, 1652=1, 1653=1, 1654=1, 1655=1, 1656=1, 1657=1, 1658=1, 1659=1, 1660=1, 1661=1, 1662=1, 1663=1, 1664=1, 1665=1, 1666=1, 1667=1, 1668=1, 1669=1, 1670=1, 1671=1, 1672=1, 1673=1, 1675=1, 1676=1, 1680=1, 1681=1, 1682=1, 1683=1, 1684=1, 1685=1, 1686=1, 1687=1, 1688=1, 1689=1, 1690=1, 1691=1, 1692=1, 1693=1, 1694=1, 1695=1, 1696=1, 1697=1, 1698=1, 1699=1, 1700=1, 1701=1, 1702=1, 1703=1, 1706=1, 1707=1, 1708=1, 1709=1, 1710=1, 1711=1, 1712=1, 1713=1, 1714=1, 1715=1, 1716=1, 1717=1, 1718=1, 1719=1, 1720=1, 1721=1, 1722=1, 1723=1, 1724=1, 1725=1, 1726=1, 1727=1, 1728=1, 1729=1, 1732=1, 1733=1, 1734=1, 1735=1, 1736=1, 1737=1, 1738=1, 1739=1, 1740=1, 1741=1, 1742=1, 1743=1, 1744=1, 1745=1, 1746=1, 1747=1, 1748=1, 1749=1, 1750=1, 1751=1, 1752=1, 1753=1, 1754=1, 1755=1, 1756=1, 1757=1, 1758=1, 1761=1, 1762=1, 1763=1, 1764=1, 1765=1, 1766=1, 1767=1, 1768=1, 1769=1, 1770=1, 1771=1, 1772=1, 1773=1, 1774=1, 1775=1, 1776=1, 1777=1, 1778=1, 1779=1, 1780=1, 1781=1, 1782=1, 1783=1, 1784=1, 1785=1, 1786=1, 1787=1, 1788=1, 1789=1, 1790=1, 1793=1, 1794=1, 1795=1, 1796=1, 1797=1, 1798=1, 1799=1, 1800=1, 1801=1, 1802=1, 1803=1, 1804=1, 1805=1, 1806=1, 1807=1, 1808=1, 1809=1, 1810=1, 1811=1, 1812=1, 1813=1, 1814=1, 1815=1, 1816=1, 1817=1, 1818=1, 1819=1, 1820=1, 1823=1, 1824=1, 1825=1, 1826=1, 1827=1, 1828=1, 1829=1, 1830=1, 1831=1, 1832=1, 1833=1, 1834=1, 1835=1, 1836=1, 1837=1, 1838=1, 1839=1, 1840=1, 1841=1, 1842=1, 1843=1, 1844=1, 1845=1, 1846=1, 1847=1, 1848=1, 1849=1, 1850=1, 1851=1, 1852=1, 1853=1, 1854=1, 1855=1, 1857=1, 1858=1, 1859=1, 1861=1, 1862=1, 1863=1, 1864=1, 1865=1, 1866=1, 1867=1, 1868=1, 1869=1, 1870=1, 1871=1, 1872=1, 1873=1, 1874=1, 1876=1, 1877=1, 1881=1, 1882=1, 1883=1, 1884=1, 1885=1, 1886=1, 1887=1, 1888=1, 1889=1, 1890=1, 1891=1, 1892=1, 1893=1, 1894=1, 1895=1, 1896=1, 1897=1, 1898=1, 1899=1, 1900=1, 1901=1, 1902=1, 1903=1, 1904=1, 1905=1, 1906=1, 1907=1, 1908=1, 1909=1, 1910=1, 1911=1, 1912=1, 1913=1, 1914=1, 1915=1, 1916=1, 1917=1, 1918=1, 1919=1, 1920=1, 1921=1, 1922=1, 1923=1, 1924=1, 1925=1, 1926=1, 1927=1, 1928=1, 1929=1, 1930=1, 1931=1, 1932=1, 1933=1, 1934=1, 1935=1, 1936=1, 1937=1, 1938=1, 1939=1, 1940=1, 1941=1, 1942=1, 1943=1, 1944=1, 1945=1, 1946=1, 1947=1, 1948=1, 1949=1, 1950=1, 1951=1, 1952=1, 1953=1, 1954=1, 1955=1, 1956=1, 1957=1, 1958=1, 1959=1, 1960=1, 1961=1, 1962=1, 1963=1, 1964=1, 1965=1, 1966=1, 1967=1, 1968=1, 1969=1, 1970=1, 1971=1, 1972=1, 1973=1, 1974=1, 1975=1, 1976=1, 1977=1, 1978=1, 1979=1, 1980=1, 1981=1, 1982=1, 1983=1, 1984=1, 1985=1, 1986=1, 1987=1, 1988=1, 1989=1, 1992=1, 1993=1, 1994=1, 1995=1, 1998=1, 1999=1, 2000=1, 2001=1, 2002=1, 2003=1, 2004=1, 2005=1, 2007=1, 2008=1, 2010=1, 2011=1, 2012=1, 2013=1, 2014=1, 2015=1, 2016=1, 2017=1, 2018=1, 2019=1, 2020=1, 2021=1, 2022=1, 2023=1, 2024=1, 2025=1, 2026=1, 2027=1, 2028=1, 2029=1, 2030=1, 2031=1, 2032=1, 2033=1, 2034=1, 2035=1, 2036=1, 2037=1, 2038=1, 2039=1, 2040=1, 2041=1, 2042=1, 2043=1, 2044=1, 2045=1, 2046=1, 2047=1, 2048=1, 2049=1, 2050=1, 2051=1, 2052=1, 2053=1, 2054=1, 2055=1, 2056=1, 2057=1, 2058=1, 2059=1, 2060=1, 2061=1, 2062=1, 2063=1, 2064=1, 2065=1, 2066=1, 2067=1, 2068=1, 2069=1, 2070=1, 2071=1, 2072=1, 2073=1, 2074=1, 2075=1, 2076=1, 2077=1, 2078=1, 2079=1, 2080=1, 2081=1, 2082=1, 2083=1, 2084=1, 2085=1, 2086=1, 2087=1, 2088=1, 2089=1, 2090=1, 2091=1, 2092=1, 2093=1, 2094=1, 2095=1, 2096=1, 2097=1, 2098=1, 2099=1, 2100=1, 2101=1, 2102=1, 2103=1, 2104=1, 2105=1, 2106=1, 2107=1, 2108=1, 2109=1, 2110=1, 2111=1, 2112=1, 2113=1, 2114=1, 2115=1, 2116=1, 2117=1, 2118=1, 2119=1, 2120=1, 2121=1, 2122=1, 2123=1, 2124=1, 2125=1, 2126=1, 2127=1, 2128=1, 2129=1, 2130=1, 2131=1, 2132=1, 2133=1, 2134=1, 2135=1, 2136=1, 2137=1, 2138=1, 2139=1, 2140=1, 2141=1, 2142=1, 2143=1, 2144=1, 2145=1, 2146=1, 2147=1, 2148=1, 2149=1, 2150=1, 2151=1, 2152=1, 2153=1, 2154=1, 2155=1, 2156=1, 2157=1, 2158=1, 2159=1, 2160=1, 2161=1, 2162=1, 2163=1, 2164=1, 2165=1, 2166=1, 2167=1, 2168=1, 2169=1, 2170=1, 2171=1, 2172=1, 2173=1, 2174=1, 2175=1, 2176=1, 2177=1, 2178=1, 2179=1, 2180=1, 2181=1, 2182=1, 2184=1, 2186=1, 2187=1, 2188=1, 2189=1, 2190=1, 2191=1, 2192=1, 2193=1, 2194=1, 2195=1, 2196=1, 2197=1, 2198=1, 2199=1, 2200=1, 2201=1, 2202=1, 2203=1, 2204=1, 2205=1, 2206=1, 2207=1, 2208=1, 2209=1, 2210=1, 2211=1, 2212=1, 2213=1, 2214=1, 2215=1, 2216=1, 2217=1, 2218=1, 2219=1, 2220=1, 2221=1, 2222=1, 2223=1, 2224=1, 2225=1, 2226=1, 2227=1, 2228=1, 2229=1, 2230=1, 2231=1, 2232=1, 2233=1, 2234=1, 2235=1, 2236=1, 2237=1, 2238=1, 2239=1, 2240=1, 2241=1, 2243=1, 2244=1, 2245=1, 2247=1, 2248=1, 2249=1, 2250=1, 2251=1, 2252=1, 2253=1, 2254=1, 2255=1, 2256=1, 2257=1, 2258=1, 2259=1, 2260=1, 2261=1, 2262=1, 2263=1, 2264=1, 2265=1, 2266=1, 2267=1, 2268=1, 2269=1, 2270=1, 2271=1, 2272=1, 2273=1, 2274=1, 2275=1, 2276=1, 2277=1, 2278=1, 2279=1, 2280=1, 2283=1, 2284=1, 2285=1, 2286=1, 2287=1, 2288=1, 2289=1, 2290=1, 2291=1, 2292=1, 2293=1, 2294=1, 2295=1, 2296=1, 2297=1, 2298=1, 2299=1, 2300=1, 2301=1, 2302=1, 2303=1, 2304=1, 2305=1, 2306=1, 2307=1, 2308=1, 2309=1, 2310=1, 2311=1, 2312=1, 2313=1, 2314=1, 2315=1, 2316=1, 2317=1, 2318=1, 2319=1, 2320=1, 2321=1, 2322=1, 2323=1, 2324=1, 2325=1, 2326=1, 2327=1, 2328=1, 2329=1, 2330=1, 2331=1, 2332=1, 2333=1, 2334=1, 2335=1, 2336=1, 2337=1, 2342=1, 2343=1, 2344=1, 2345=1, 2346=1, 2347=1, 2348=1, 2349=1, 2350=1, 2351=1, 2352=1, 2353=1, 2354=1, 2355=1, 2356=1, 2357=1, 2358=1, 2359=1, 2360=1, 2361=1, 2362=1, 2363=1, 2364=1, 2365=1, 2366=1, 2367=1, 2368=1, 2369=1, 2370=1, 2371=1, 2372=1, 2373=1, 2374=1, 2375=1, 2376=1, 2377=1, 2378=1, 2379=1, 2380=1, 2381=1, 2382=1, 2383=1, 2384=1, 2385=1, 2386=1, 2387=1, 2388=1, 2389=1, 2390=1, 2391=1, 2392=1, 2393=1, 2394=1, 2395=1, 2396=1, 2397=1, 2398=1, 2399=1, 2400=1, 2401=1, 2402=1, 2403=1, 2404=1, 2405=1, 2406=1, 2407=1, 2408=1, 2409=1, 2410=1, 2411=1, 2412=1, 2413=1, 2414=1, 2415=1, 2416=1, 2417=1, 2418=1, 2419=1, 2420=1, 2421=1, 2422=1, 2423=1, 2424=1, 2425=1, 2426=1, 2427=1, 2428=1, 2429=1, 2430=1, 2431=1, 2432=1, 2433=1, 2434=1, 2435=1, 2436=1, 2437=1, 2438=1, 2439=1, 2440=1, 2441=1, 2442=1, 2443=1, 2444=1, 2445=1, 2448=1, 2449=1, 2450=1, 2451=1, 2452=1, 2453=1, 2454=1, 2455=1, 2456=1, 2457=1, 2458=1, 2459=1, 2460=1, 2461=1, 2462=1, 2465=1, 2466=1, 2467=1, 2468=1, 2469=1, 2470=1, 2471=1, 2472=1, 2473=1, 2474=1, 2475=1, 2476=1, 2477=1, 2478=1, 2481=1, 2482=1, 2483=1, 2484=1, 2485=1, 2486=1, 2487=1, 2488=1, 2489=1, 2490=1, 2491=1, 2494=1, 2495=1, 2496=1, 2497=1, 2498=1, 2499=1, 2500=1, 2501=1, 2502=1, 2503=1, 2504=1, 2505=1, 2506=1, 2507=1, 2508=1, 2509=1, 2510=1, 2511=1, 2512=1, 2513=1, 2514=1, 2515=1, 2516=1, 2517=1, 2518=1, 2519=1, 2520=1, 2521=1, 2522=1, 2523=1, 2524=1, 2525=1, 2526=1, 2527=1, 2528=1, 2529=1, 2530=1, 2531=1, 2532=1, 2533=1, 2534=1, 2535=1, 2536=1, 2537=1, 2538=1, 2539=1, 2540=1, 2541=1, 2542=1, 2543=1, 2544=1, 2545=1, 2546=1, 2547=1, 2548=1, 2549=1, 2550=1, 2551=1, 2552=1, 2553=1, 2554=1, 2555=1, 2556=1, 2557=1, 2558=1, 2559=1, 2566=1, 2567=1, 2568=1, 2569=1, 2570=1, 2571=1, 2578=1, 2579=1, 2580=1, 2583=1, 2584=1, 2585=1, 2586=1, 2587=1, 2590=1, 2591=1, 2592=1, 2593=1, 2598=1, 2599=1, 2600=1, 2601=1, 2602=1, 2603=1, 2608=1, 2609=1, 2610=1, 2613=1, 2614=1, 2615=1, 2616=1, 2617=1, 2618=1, 2619=1, 2620=1, 2621=1, 2622=1, 2623=1, 2626=1, 2627=1, 2628=1, 2629=1, 2630=1, 2631=1, 2632=1, 2633=1, 2634=1, 2635=1, 2636=1, 2637=1, 2638=1, 2639=1, 2640=1, 2641=1, 2642=1, 2643=1, 2644=1, 2645=1, 2646=1, 2647=1, 2648=1, 2649=1, 2650=1, 2651=1, 2652=1, 2654=1, 2658=1, 2659=1, 2660=1, 2661=1, 2662=1, 2663=1, 2664=1, 2665=1, 2666=1, 2667=1, 2668=1, 2669=1, 2670=1, 2671=1, 2672=1, 2673=1, 2674=1, 2675=1, 2676=1, 2677=1, 2678=1, 2679=1, 2680=1, 2681=1, 2682=1, 2683=1, 2684=1, 2685=1, 2686=1, 2687=1, 2688=1, 2689=1, 2690=1, 2691=1, 2692=1, 2693=1, 2694=1, 2695=1, 2696=1, 2697=1, 2698=1, 2699=1, 2700=1, 2701=1, 2702=1, 2703=1, 2704=1, 2705=1, 2708=1, 2709=1, 2710=1, 2711=1, 2712=1, 2713=1, 2714=1, 2715=1, 2716=1, 2717=1, 2718=1, 2719=1, 2720=1, 2721=1, 2722=1, 2723=1, 2724=1, 2725=1, 2726=1, 2727=1, 2728=1, 2729=1, 2730=1, 2731=1, 2732=1, 2733=1, 2734=1, 2735=1, 2736=1, 2737=1, 2738=1, 2739=1, 2740=1, 2741=1, 2742=1, 2743=1, 2744=1, 2747=1, 2748=1, 2749=1, 2750=1, 2751=1, 2752=1, 2753=1, 2754=1, 2755=1, 2757=1, 2758=1, 2762=1, 2763=1, 2764=1, 2765=1, 2766=1, 2767=1, 2770=1, 2771=1, 2772=1, 2773=1, 2774=1, 2775=1, 2776=1, 2777=1, 2778=1, 2779=1, 2780=1, 2781=1, 2782=1, 2783=1, 2784=1, 2785=1, 2788=1, 2789=1, 2790=1, 2791=1, 2792=1, 2793=1, 2794=1, 2795=1, 2796=1, 2797=1, 2798=1, 2799=1, 2800=1, 2801=1, 2802=1, 2803=1, 2804=1, 2805=1, 2806=1, 2807=1, 2808=1, 2809=1, 2810=1, 2811=1, 2812=1, 2813=1, 2814=1, 2815=1, 2816=1, 2817=1, 2818=1, 2819=1, 2820=1, 2821=1, 2822=1, 2823=1, 2824=1, 2825=1, 2826=1, 2827=1, 2828=1, 2829=1, 2830=1, 2831=1, 2832=1, 2833=1, 2834=1, 2835=1, 2836=1, 2837=1, 2838=1, 2839=1, 2840=1, 2841=1, 2842=1, 2844=1, 2846=1, 2847=1, 2848=1, 2849=1, 2850=1, 2851=1, 2852=1, 2853=1, 2854=1, 2855=1, 2857=1, 2858=1, 2860=1, 2861=1, 2862=1, 2863=1, 2864=1, 2865=1, 2866=1, 2867=1, 2868=1, 2869=1, 2870=1, 2871=1, 2872=1, 2873=1, 2874=1, 2875=1, 2876=1, 2877=1, 2878=1, 2879=1, 2880=1, 2881=1, 2882=1, 2883=1, 2884=1, 2885=1, 2886=1, 2887=1, 2888=1, 2889=1, 2890=1, 2891=1, 2892=1, 2893=1, 2894=1, 2895=1, 2896=1, 2897=1, 2898=1, 2899=1, 2900=1, 2901=1, 2902=1, 2903=1, 2904=1, 2905=1, 2906=1, 2907=1, 2908=1, 2910=1, 2912=1, 2913=1, 2914=1, 2915=1, 2916=1, 2917=1, 2918=1, 2919=1, 2920=1, 2921=1, 2922=1, 2923=1, 2924=1, 2925=1, 2926=1, 2927=1, 2928=1, 2929=1, 2930=1, 2931=1, 2932=1, 2933=1, 2934=1, 2935=1, 2936=1, 2937=1, 2938=1, 2939=1, 2940=1, 2941=1, 2942=1, 2943=1, 2944=1, 2945=1, 2946=1, 2947=1, 2948=1, 2949=1, 2950=1, 2951=1, 2952=1, 2953=1, 2954=1, 2955=1, 2956=1, 2957=1, 2958=1, 2959=1, 2960=1, 2961=1, 2962=1, 2963=1, 2964=1, 2965=1, 2966=1, 2967=1, 2970=1, 2971=1, 2972=1, 2973=1, 2974=1, 2975=1, 2976=1, 2977=1, 2978=1, 2979=1, 2980=1, 2981=1, 2982=1, 2983=1, 2984=1, 2985=1, 2986=1, 2987=1, 2988=1, 2989=1, 2990=1, 2991=1, 2992=1, 2993=1, 2994=1, 2995=1, 2996=1, 2997=1, 2998=1, 2999=1, 3000=1, 3001=1, 3002=1, 3003=1, 3004=1, 3005=1, 3006=1, 3007=1, 3008=1, 3009=1, 3010=1, 3011=1, 3012=1, 3013=1, 3014=1, 3015=1, 3016=1, 3017=1, 3018=1, 3019=1, 3020=1, 3021=1, 3022=1, 3023=1, 3024=1, 3025=1, 3026=1, 3027=1, 3028=1, 3029=1, 3030=1, 3031=1, 3032=1, 3033=1, 3034=1, 3035=1, 3036=1, 3037=1, 3038=1, 3039=1, 3040=1, 3041=1, 3042=1, 3043=1, 3044=1, 3045=1, 3046=1, 3047=1, 3048=1, 3049=1, 3050=1, 3051=1, 3052=1, 3053=1, 3054=1, 3055=1, 3056=1, 3057=1, 3058=1, 3059=1, 3060=1, 3061=1, 3062=1, 3063=1, 3064=1, 3065=1, 3066=1, 3067=1, 3068=1, 3069=1, 3070=1, 3071=1, 3072=1, 3073=1, 3074=1, 3075=1, 3076=1, 3077=1, 3078=1, 3079=1, 3080=1, 3081=1, 3082=1, 3083=1, 3084=1, 3085=1, 3086=1, 3087=1, 3088=1, 3089=1, 3090=1, 3091=1, 3092=1, 3093=1, 3094=1, 3095=1, 3096=1, 3097=1, 3098=1, 3099=1, 3100=1, 3101=1, 3102=1, 3103=1, 3104=1, 3105=1, 3106=1, 3107=1, 3108=1, 3109=1, 3110=1, 3111=1, 3112=1, 3113=1, 3114=1, 3115=1, 3116=1, 3117=1, 3118=1, 3119=1, 3120=1, 3121=1, 3122=1, 3123=1, 3124=1, 3125=1, 3126=1, 3127=1, 3128=1, 3129=1, 3130=1, 3131=1, 3132=1, 3133=1, 3134=1, 3135=1, 3136=1, 3137=1, 3138=1, 3139=1, 3140=1, 3141=1, 3142=1, 3143=1, 3144=1, 3145=1, 3146=1, 3147=1, 3148=1, 3149=1, 3150=1, 3151=1, 3152=1, 3153=1, 3154=1, 3155=1, 3156=1, 3157=1, 3158=1, 3159=1, 3160=1, 3161=1, 3162=1, 3163=1, 3164=1, 3165=1, 3168=1, 3169=1, 3170=1, 3171=1, 3172=1, 3173=1, 3174=1, 3175=1, 3176=1, 3177=1, 3178=1, 3179=1, 3180=1, 3181=1, 3182=1, 3183=1, 3184=1, 3185=1, 3186=1, 3187=1, 3188=1, 3189=1, 3190=1, 3191=1, 3192=1, 3193=1, 3194=1, 3195=1, 3196=1, 3197=1, 3198=1, 3199=1, 3200=1, 3201=1, 3202=1, 3203=1, 3204=1, 3205=1, 3206=1, 3207=1, 3208=1, 3209=1, 3210=1, 3211=1, 3212=1, 3213=1, 3214=1, 3215=1, 3216=1, 3217=1, 3218=1, 3219=1, 3220=1, 3221=1, 3222=1, 3223=1, 3224=1, 3225=1, 3226=1, 3227=1, 3228=1, 3229=1, 3230=1, 3231=1, 3234=1, 3235=1, 3236=1, 3237=1, 3238=1, 3239=1, 3240=1, 3241=1, 3242=1, 3243=1, 3244=1, 3245=1, 3246=1, 3247=1, 3248=1, 3249=1, 3250=1, 3251=1, 3252=1, 3253=1, 3254=1, 3255=1, 3256=1, 3257=1, 3258=1, 3259=1, 3260=1, 3261=1, 3262=1, 3263=1, 3264=1, 3265=1, 3266=1, 3267=1, 3268=1, 3269=1, 3270=1, 3271=1, 3272=1, 3273=1, 3274=1, 3275=1, 3280=1, 3281=1, 3282=1, 3283=1, 3284=1, 3285=1, 3286=1, 3287=1, 3288=1, 3289=1, 3290=1, 3291=1, 3292=1, 3293=1, 3294=1, 3295=1, 3296=1, 3297=1, 3298=1, 3299=1, 3300=1, 3301=1, 3304=1, 3305=1, 3306=1, 3307=1, 3308=1, 3309=1, 3310=1, 3311=1, 3312=1, 3313=1, 3314=1, 3315=1, 3316=1, 3317=1, 3318=1, 3319=1, 3320=1, 3321=1, 3322=1, 3323=1, 3324=1, 3325=1, 3326=1, 3327=1, 3328=1, 3329=1, 3330=1, 3331=1, 3332=1, 3333=1, 3334=1, 3335=1, 3336=1, 3337=1, 3338=1, 3339=1, 3340=1, 3341=1, 3342=1, 3343=1, 3344=1, 3345=1, 3346=1, 3347=1, 3348=1, 3349=1, 3350=1, 3351=1, 3352=1, 3353=1, 3354=1, 3355=1, 3356=1, 3357=1, 3358=1, 3359=1, 3360=1, 3361=1, 3362=1, 3363=1, 3364=1, 3365=1, 3366=1, 3367=1, 3368=1, 3369=1, 3370=1, 3371=1, 3372=1, 3373=1, 3374=1, 3375=1, 3376=1, 3377=1, 3378=1, 3380=1, 3382=1, 3383=1, 3384=1, 3385=1, 3386=1, 3387=1, 3388=1, 3389=1, 3390=1, 3391=1, 3392=1, 3393=1, 3394=1, 3395=1, 3396=1, 3397=1, 3398=1, 3399=1, 3400=1, 3401=1, 3402=1, 3403=1, 3404=1, 3405=1, 3406=1, 3407=1, 3408=1, 3409=1, 3410=1, 3411=1, 3412=1, 3413=1, 3414=1, 3415=1, 3416=1, 3417=1, 3418=1, 3419=1, 3420=1, 3421=1, 3422=1, 3423=1, 3424=1, 3425=1, 3426=1, 3427=1, 3428=1, 3429=1, 3430=1, 3431=1, 3432=1, 3433=1, 3434=1, 3435=1, 3436=1, 3437=1, 3438=1, 3439=1, 3440=1, 3441=1, 3442=1, 3443=1, 3444=1, 3445=1, 3446=1, 3447=1, 3448=1, 3449=1, 3450=1, 3451=1, 3452=1, 3453=1, 3454=1, 3455=1, 3456=1, 3457=1, 3458=1, 3459=1, 3460=1, 3461=1, 3463=1, 3465=1, 3466=1, 3467=1, 3468=1, 3469=1, 3470=1, 3471=1, 3472=1, 3473=1, 3474=1, 3475=1, 3476=1, 3477=1, 3478=1, 3479=1, 3480=1, 3481=1, 3484=1, 3485=1, 3486=1, 3487=1, 3488=1, 3489=1, 3490=1, 3491=1, 3492=1, 3493=1, 3494=1, 3495=1, 3496=1, 3497=1, 3498=1, 3499=1, 3500=1, 3501=1, 3502=1, 3503=1, 3504=1, 3505=1, 3506=1, 3507=1, 3508=1, 3509=1, 3510=1, 3511=1, 3512=1, 3513=1, 3514=1, 3515=1, 3518=1, 3519=1, 3520=1, 3521=1, 3522=1, 3523=1, 3524=1, 3525=1, 3526=1, 3527=1, 3528=1, 3529=1, 3530=1, 3531=1, 3532=1, 3533=1, 3534=1, 3535=1, 3536=1, 3537=1, 3538=1, 3539=1, 3540=1, 3541=1, 3542=1, 3543=1, 3544=1, 3545=1, 3546=1, 3547=1, 3548=1, 3549=1, 3550=1, 3551=1, 3552=1, 3553=1, 3554=1, 3555=1, 3556=1, 3557=1, 3558=1, 3559=1, 3560=1, 3561=1, 3562=1, 3563=1, 3564=1, 3565=1, 3566=1, 3567=1, 3568=1, 3569=1, 3570=1, 3571=1, 3572=1, 3573=1, 3574=1, 3575=1, 3576=1, 3577=1, 3578=1, 3579=1, 3580=1, 3581=1, 3582=1, 3583=1, 3584=1, 3585=1, 3586=1, 3587=1, 3588=1, 3589=1, 3590=1, 3591=1, 3592=1, 3593=1, 3594=1, 3595=1, 3596=1, 3597=1, 3598=1, 3599=1, 3600=1, 3601=1, 3602=1, 3603=1, 3604=1, 3605=1, 3606=1, 3607=1, 3608=1, 3609=1, 3610=1, 3611=1, 3612=1, 3613=1, 3614=1, 3615=1, 3616=1, 3617=1, 3618=1, 3619=1, 3620=1, 3621=1, 3622=1, 3623=1, 3624=1, 3625=1, 3626=1, 3627=1, 3628=1, 3629=1, 3630=1, 3631=1, 3632=1, 3633=1, 3634=1, 3635=1, 3636=1, 3637=1, 3638=1, 3639=1, 3640=1, 3641=1, 3642=1, 3643=1, 3644=1, 3645=1, 3646=1, 3647=1, 3648=1, 3649=1, 3650=1, 3651=1, 3652=1, 3653=1, 3654=1, 3655=1, 3656=1, 3657=1, 3658=1, 3659=1, 3660=1, 3661=1, 3662=1, 3663=1, 3664=1, 3665=1, 3666=1, 3667=1, 3668=1, 3669=1, 3672=1, 3673=1, 3674=1, 3675=1, 3676=1, 3677=1, 3678=1, 3679=1, 3680=1, 3681=1, 3682=1, 3683=1, 3684=1, 3685=1, 3686=1, 3687=1, 3688=1, 3689=1, 3690=1, 3691=1, 3692=1, 3693=1, 3694=1, 3695=1, 3698=1, 3699=1, 3700=1, 3701=1, 3702=1, 3703=1, 3704=1, 3705=1, 3706=1, 3707=1, 3708=1, 3709=1, 3710=1, 3711=1, 3714=1, 3715=1, 3716=1, 3717=1, 3718=1, 3719=1, 3720=1, 3721=1, 3724=1, 3725=1, 3726=1, 3727=1, 3728=1, 3729=1, 3730=1, 3731=1, 3732=1, 3733=1, 3734=1, 3735=1, 3736=1, 3737=1, 3738=1, 3739=1, 3740=1, 3741=1, 3742=1, 3743=1, 3744=1, 3745=1, 3746=1, 3747=1, 3748=1, 3749=1, 3750=1, 3751=1, 3752=1, 3753=1, 3754=1, 3755=1, 3756=1, 3757=1, 3758=1, 3759=1, 3760=1, 3761=1, 3762=1, 3763=1, 3764=1, 3765=1, 3766=1, 3767=1, 3768=1, 3769=1, 3770=1, 3771=1, 3772=1, 3773=1, 3774=1, 3775=1, 3776=1, 3777=1, 3778=1, 3779=1, 3780=1, 3781=1, 3782=1, 3783=1, 3784=1, 3785=1, 3786=1, 3787=1, 3788=1, 3789=1, 3792=1, 3793=1, 3794=1, 3795=1, 3796=1, 3797=1, 3798=1, 3799=1, 3800=1, 3801=1, 3802=1, 3803=1, 3804=1, 3805=1, 3806=1, 3807=1, 3810=1, 3811=1, 3812=1, 3813=1, 3814=1, 3815=1, 3816=1, 3817=1, 3818=1, 3819=1, 3820=1, 3821=1, 3822=1, 3823=1, 3824=1, 3825=1, 3826=1, 3827=1, 3829=1, 3831=1, 3832=1, 3833=1, 3834=1, 3835=1, 3836=1, 3837=1, 3838=1, 3839=1, 3840=1, 3842=1, 3844=1, 3845=1, 3846=1, 3847=1, 3848=1, 3849=1, 3850=1, 3851=1, 3852=1, 3853=1, 3854=1, 3855=1, 3856=1, 3857=1, 3858=1, 3859=1, 3860=1, 3861=1, 3862=1, 3863=1, 3864=1, 3865=1, 3866=1, 3867=1, 3868=1, 3869=1, 3870=1, 3871=1, 3872=1, 3873=1, 3874=1, 3875=1, 3876=1, 3877=1, 3878=1, 3879=1, 3880=1, 3881=1, 3882=1, 3883=1, 3884=1, 3885=1, 3886=1, 3887=1, 3888=1, 3889=1, 3890=1, 3891=1, 3892=1, 3893=1, 3894=1, 3895=1, 3896=1, 3897=1, 3898=1, 3899=1, 3900=1, 3901=1, 3902=1, 3903=1, 3904=1, 3905=1, 3906=1, 3907=1, 3908=1, 3909=1, 3910=1, 3911=1, 3912=1, 3913=1, 3914=1, 3915=1, 3916=1, 3917=1, 3918=1, 3919=1, 3920=1, 3921=1, 3922=1, 3923=1, 3924=1, 3925=1, 3926=1, 3927=1, 3928=1, 3929=1, 3930=1, 3931=1, 3932=1, 3933=1, 3934=1, 3936=1, 3938=1, 3939=1, 3940=1, 3941=1, 3942=1, 3943=1, 3944=1, 3945=1, 3946=1, 3947=1, 3948=1, 3949=1, 3950=1, 3951=1, 3952=1, 3953=1, 3954=1, 3955=1, 3956=1, 3957=1, 3958=1, 3959=1, 3960=1, 3961=1, 3962=1, 3963=1, 3964=1, 3965=1, 3966=1, 3967=1, 3968=1, 3969=1, 3970=1, 3971=1, 3972=1, 3973=1, 3974=1, 3975=1, 3976=1, 3977=1, 3978=1, 3979=1, 3982=1, 3983=1, 3984=1, 3985=1, 3986=1, 3987=1, 3988=1, 3989=1, 3990=1, 3991=1, 3992=1, 3993=1, 3994=1, 3995=1, 3996=1, 3997=1, 3998=1, 3999=1, 4001=1, 4002=1, 4004=1, 4005=1, 4006=1, 4007=1, 4008=1, 4009=1, 4010=1, 4011=1, 4012=1, 4013=1, 4014=1, 4015=1, 4016=1, 4017=1, 4018=1, 4019=1, 4020=1, 4021=1, 4022=1, 4023=1, 4024=1, 4025=1, 4026=1, 4029=1, 4030=1, 4031=1, 4032=1, 4033=1, 4034=1, 4035=1, 4036=1, 4037=1, 4038=1, 4039=1, 4040=1, 4041=1, 4042=1, 4043=1, 4044=1, 4045=1, 4046=1, 4047=1, 4048=1, 4049=1, 4050=1, 4051=1, 4052=1, 4053=1, 4054=1, 4055=1, 4056=1, 4057=1, 4058=1, 4059=1, 4060=1, 4061=1, 4062=1, 4063=1, 4064=1, 4065=1, 4066=1, 4067=1, 4068=1, 4069=1, 4070=1, 4071=1, 4072=1, 4074=1, 4075=1, 4076=1, 4078=1, 4079=1, 4080=1, 4081=1, 4082=1, 4083=1, 4084=1, 4085=1, 4086=1, 4087=1, 4088=1, 4089=1, 4090=1, 4091=1, 4092=1, 4093=1, 4094=1, 4095=1, 4096=1, 4097=1, 4098=1, 4099=1, 4100=1, 4101=1, 4102=1, 4103=1, 4104=1, 4105=1, 4106=1, 4107=1, 4108=1, 4109=1, 4110=1, 4111=1, 4112=1, 4113=1, 4114=1, 4117=1, 4118=1, 4119=1, 4120=1, 4121=1, 4122=1, 4123=1, 4124=1, 4125=1, 4126=1, 4127=1, 4128=1, 4129=1, 4130=1, 4131=1, 4132=1, 4133=1, 4134=1, 4135=1, 4136=1, 4137=1, 4138=1, 4139=1, 4140=1, 4141=1, 4142=1, 4143=1, 4144=1, 4145=1, 4146=1, 4147=1, 4148=1, 4149=1, 4150=1, 4151=1, 4152=1, 4153=1, 4154=1, 4157=1, 4158=1, 4159=1, 4160=1, 4161=1, 4162=1, 4163=1, 4164=1, 4165=1, 4166=1, 4167=1, 4168=1, 4169=1, 4170=1, 4171=1, 4172=1, 4173=1, 4174=1, 4175=1, 4176=1, 4177=1, 4178=1, 4179=1, 4180=1, 4181=1, 4182=1, 4183=1, 4184=1, 4185=1, 4186=1, 4187=1, 4188=1, 4189=1, 4190=1, 4191=1, 4192=1, 4193=1, 4195=1, 4197=1, 4198=1, 4199=1, 4200=1, 4201=1, 4202=1, 4203=1, 4204=1, 4205=1, 4206=1, 4207=1, 4208=1, 4209=1, 4210=1, 4211=1, 4212=1, 4213=1, 4214=1, 4215=1, 4216=1, 4217=1, 4218=1, 4219=1, 4220=1, 4221=1, 4222=1, 4223=1, 4224=1, 4225=1, 4226=1, 4227=1, 4228=1, 4229=1, 4230=1, 4231=1, 4232=1, 4233=1, 4234=1, 4235=1, 4236=1, 4237=1, 4238=1, 4239=1, 4240=1, 4241=1, 4242=1, 4243=1, 4244=1, 4245=1, 4246=1, 4248=1, 4250=1, 4251=1, 4252=1, 4253=1, 4254=1, 4255=1, 4256=1, 4257=1, 4258=1, 4259=1, 4260=1, 4263=1, 4264=1, 4265=1, 4266=1, 4267=1, 4268=1, 4269=1, 4270=1, 4271=1, 4272=1, 4273=1, 4274=1, 4275=1, 4276=1, 4277=1, 4278=1, 4279=1, 4280=1, 4281=1, 4282=1, 4283=1, 4284=1, 4285=1, 4286=1, 4287=1, 4288=1, 4289=1, 4290=1, 4291=1, 4292=1, 4293=1, 4294=1, 4295=1, 4296=1, 4297=1, 4298=1, 4299=1, 4300=1, 4301=1, 4302=1, 4303=1, 4304=1, 4305=1, 4306=1, 4307=1, 4308=1, 4309=1, 4310=1, 4311=1, 4312=1, 4313=1, 4314=1, 4315=1, 4316=1, 4317=1, 4318=1, 4319=1, 4320=1, 4321=1, 4322=1, 4323=1, 4324=1, 4325=1, 4326=1, 4327=1, 4328=1, 4329=1, 4330=1, 4331=1, 4332=1, 4333=1, 4334=1, 4335=1, 4336=1, 4337=1, 4338=1, 4339=1, 4340=1, 4341=1, 4344=1, 4345=1, 4346=1, 4347=1, 4348=1, 4349=1, 4350=1, 4351=1, 4352=1, 4353=1, 4354=1, 4355=1, 4356=1, 4357=1, 4358=1, 4359=1, 4360=1, 4361=1, 4362=1, 4363=1, 4364=1, 4365=1, 4366=1, 4367=1, 4368=1, 4369=1, 4370=1, 4371=1, 4372=1, 4373=1, 4374=1, 4375=1, 4376=1, 4377=1, 4378=1, 4379=1, 4380=1, 4381=1, 4382=1, 4383=1, 4384=1, 4385=1, 4386=1, 4387=1, 4390=1, 4391=1, 4392=1, 4393=1, 4394=1, 4395=1, 4396=1, 4397=1, 4400=1, 4401=1, 4402=1, 4403=1, 4404=1, 4405=1, 4406=1, 4407=1, 4408=1, 4409=1, 4410=1, 4411=1, 4412=1, 4413=1, 4414=1, 4415=1, 4416=1, 4417=1, 4418=1, 4419=1, 4420=1, 4421=1, 4422=1, 4423=1, 4424=1, 4425=1, 4426=1, 4427=1, 4428=1, 4429=1, 4430=1, 4431=1, 4432=1, 4433=1, 4434=1, 4435=1, 4436=1, 4437=1, 4438=1, 4439=1, 4440=1, 4441=1, 4442=1, 4443=1, 4444=1, 4445=1, 4446=1, 4447=1, 4448=1, 4449=1, 4450=1, 4451=1, 4452=1, 4453=1, 4454=1, 4455=1, 4456=1, 4457=1, 4458=1, 4459=1, 4460=1, 4461=1, 4462=1, 4463=1, 4464=1, 4465=1, 4466=1, 4467=1, 4468=1, 4469=1, 4470=1, 4471=1, 4472=1, 4473=1, 4474=1, 4475=1, 4476=1, 4477=1, 4478=1, 4479=1, 4480=1, 4481=1, 4482=1, 4483=1, 4484=1, 4485=1, 4486=1, 4487=1, 4488=1, 4489=1, 4490=1, 4491=1, 4492=1, 4493=1, 4494=1, 4495=1, 4496=1, 4497=1, 4498=1, 4499=1, 4500=1, 4501=1, 4502=1, 4503=1, 4504=1, 4505=1, 4506=1, 4507=1, 4508=1, 4509=1, 4510=1, 4511=1, 4512=1, 4513=1, 4514=1, 4515=1, 4516=1, 4517=1, 4518=1, 4519=1, 4520=1, 4521=1, 4522=1, 4523=1, 4524=1, 4525=1, 4526=1, 4527=1, 4528=1, 4529=1, 4530=1, 4531=1, 4532=1, 4533=1, 4534=1, 4535=1, 4536=1, 4539=1, 4540=1, 4541=1, 4542=1, 4543=1, 4544=1, 4545=1, 4546=1, 4549=1, 4550=1, 4551=1, 4552=1, 4553=1, 4554=1, 4555=1, 4556=1, 4557=1, 4558=1, 4559=1, 4560=1, 4561=1, 4562=1, 4563=1, 4564=1, 4565=1, 4566=1, 4567=1, 4568=1, 4569=1, 4570=1, 4571=1, 4574=1, 4575=1, 4576=1, 4577=1, 4578=1, 4579=1, 4580=1, 4581=1, 4582=1, 4583=1, 4584=1, 4585=1, 4586=1, 4587=1, 4588=1, 4589=1, 4590=1, 4591=1, 4592=1, 4593=1, 4594=1, 4595=1, 4596=1, 4597=1, 4598=1, 4599=1, 4600=1, 4601=1, 4602=1, 4603=1, 4604=1, 4605=1, 4606=1, 4607=1, 4608=1, 4609=1, 4610=1, 4611=1, 4612=1, 4613=1, 4614=1, 4615=1, 4616=1, 4617=1, 4618=1, 4619=1, 4620=1, 4621=1, 4622=1, 4623=1, 4624=1, 4625=1, 4626=1, 4627=1, 4628=1, 4629=1, 4630=1, 4631=1, 4632=1, 4633=1, 4634=1, 4635=1, 4636=1, 4637=1, 4638=1, 4639=1, 4640=1, 4641=1, 4642=1, 4643=1, 4644=1, 4645=1, 4646=1, 4647=1, 4648=1, 4649=1, 4650=1, 4651=1, 4652=1, 4653=1, 4654=1, 4655=1, 4656=1, 4657=1, 4658=1, 4659=1, 4660=1, 4661=1, 4662=1, 4663=1, 4664=1, 4665=1, 4666=1, 4667=1, 4668=1, 4669=1, 4671=1, 4672=1, 4674=1, 4675=1, 4676=1, 4677=1, 4678=1, 4679=1, 4680=1, 4681=1, 4682=1, 4683=1, 4684=1, 4685=1, 4686=1, 4687=1, 4688=1, 4689=1, 4690=1, 4691=1, 4692=1, 4693=1, 4694=1, 4695=1, 4696=1, 4699=1, 4700=1, 4701=1, 4702=1, 4703=1, 4704=1, 4705=1, 4706=1, 4707=1, 4708=1, 4709=1, 4710=1, 4711=1, 4712=1, 4713=1, 4714=1, 4715=1, 4716=1, 4717=1, 4718=1, 4719=1, 4720=1, 4721=1, 4722=1, 4723=1, 4724=1, 4725=1, 4726=1, 4727=1, 4728=1, 4729=1, 4730=1, 4731=1, 4732=1, 4737=1, 4738=1, 4739=1, 4740=1, 4741=1, 4742=1, 4743=1, 4744=1, 4745=1, 4746=1, 4747=1, 4748=1, 4749=1, 4750=1, 4751=1, 4752=1, 4753=1, 4754=1, 4755=1, 4756=1, 4757=1, 4758=1, 4759=1, 4760=1, 4761=1, 4762=1, 4763=1, 4764=1, 4765=1, 4766=1, 4767=1, 4768=1, 4769=1, 4770=1, 4771=1, 4772=1, 4773=1, 4774=1, 4775=1, 4776=1, 4777=1, 4778=1, 4779=1, 4780=1, 4781=1, 4782=1, 4783=1, 4784=1, 4785=1, 4786=1, 4787=1, 4788=1, 4789=1, 4790=1, 4791=1, 4792=1, 4793=1, 4794=1, 4795=1, 4796=1, 4797=1, 4798=1, 4799=1, 4800=1, 4801=1, 4802=1, 4803=1, 4804=1, 4805=1, 4806=1, 4807=1, 4808=1, 4809=1, 4810=1, 4811=1, 4812=1, 4813=1, 4814=1, 4815=1, 4816=1, 4817=1, 4818=1, 4819=1, 4820=1, 4821=1, 4822=1, 4823=1, 4824=1, 4825=1, 4826=1, 4827=1, 4828=1, 4829=1, 4830=1, 4831=1, 4832=1, 4833=1, 4834=1, 4835=1, 4836=1, 4837=1, 4838=1, 4839=1, 4840=1, 4841=1, 4842=1, 4843=1, 4844=1, 4845=1, 4846=1, 4847=1, 4848=1, 4849=1, 4850=1, 4851=1, 4852=1, 4853=1, 4854=1, 4855=1, 4856=1, 4857=1, 4858=1, 4861=1, 4862=1, 4863=1, 4864=1, 4865=1, 4866=1, 4867=1, 4868=1, 4869=1, 4870=1, 4871=1, 4872=1, 4873=1, 4874=1, 4875=1, 4876=1, 4877=1, 4878=1, 4879=1, 4880=1, 4881=1, 4882=1, 4883=1, 4884=1, 4885=1, 4886=1, 4887=1, 4888=1, 4889=1, 4890=1, 4891=1, 4892=1, 4893=1, 4894=1, 4897=1, 4898=1, 4899=1, 4900=1, 4901=1, 4902=1, 4903=1, 4904=1, 4905=1, 4906=1, 4907=1, 4908=1, 4909=1, 4912=1, 4913=1, 4914=1, 4915=1, 4916=1, 4917=1, 4918=1, 4919=1, 4920=1, 4921=1, 4922=1, 4923=1, 4924=1, 4925=1, 4926=1, 4927=1, 4928=1, 4929=1, 4930=1, 4931=1, 4932=1, 4933=1, 4934=1, 4935=1, 4936=1, 4937=1, 4938=1, 4939=1, 4940=1, 4941=1, 4942=1, 4943=1, 4944=1, 4945=1, 4946=1, 4947=1, 4948=1, 4949=1, 4950=1, 4951=1, 4952=1, 4953=1, 4954=1, 4955=1, 4956=1, 4957=1, 4958=1, 4959=1, 4960=1, 4961=1, 4962=1, 4963=1, 4964=1, 4965=1, 4966=1, 4967=1, 4968=1, 4969=1, 4970=1, 4971=1, 4972=1, 4973=1, 4974=1, 4975=1, 4976=1, 4977=1, 4978=1, 4979=1, 4980=1, 4981=1, 4982=1, 4983=1, 4984=1, 4987=1, 4988=1, 4989=1, 4990=1, 4991=1, 4992=1, 4993=1, 4994=1, 4995=1, 4996=1, 4997=1, 4998=1, 4999=1, 5000=1, 5001=1, 5002=1, 5003=1, 5004=1, 5005=1, 5006=1, 5007=1, 5008=1, 5009=1, 5010=1, 5011=1, 5012=1, 5013=1, 5014=1, 5015=1, 5016=1, 5017=1, 5018=1, 5019=1, 5020=1, 5021=1, 5022=1, 5023=1, 5024=1, 5025=1, 5026=1, 5027=1, 5028=1, 5029=1, 5030=1, 5031=1, 5032=1, 5033=1, 5034=1, 5035=1, 5036=1, 5037=1, 5038=1, 5039=1, 5040=1, 5041=1, 5042=1, 5043=1, 5044=1, 5045=1, 5046=1, 5047=1, 5048=1, 5049=1, 5050=1, 5051=1, 5052=1, 5053=1, 5054=1, 5055=1, 5056=1, 5057=1, 5058=1, 5059=1, 5062=1, 5063=1, 5064=1, 5065=1, 5066=1, 5067=1, 5068=1, 5069=1, 5072=1, 5073=1, 5075=1, 5076=1, 5078=1, 5079=1, 5080=1, 5081=1, 5082=1, 5083=1, 5084=1, 5085=1, 5086=1, 5087=1, 5088=1, 5089=1, 5090=1, 5091=1, 5092=1, 5093=1, 5094=1, 5095=1, 5096=1, 5097=1, 5098=1, 5099=1, 5100=1, 5101=1, 5102=1, 5103=1, 5104=1, 5105=1, 5106=1, 5107=1, 5108=1, 5109=1, 5110=1, 5111=1, 5112=1, 5113=1, 5114=1, 5115=1, 5116=1, 5117=1, 5118=1, 5119=1, 5120=1, 5121=1, 5122=1, 5123=1, 5124=1, 5125=1, 5126=1, 5127=1, 5128=1, 5129=1, 5130=1, 5131=1, 5132=1, 5133=1, 5134=1, 5135=1, 5136=1, 5137=1, 5138=1, 5139=1, 5140=1, 5141=1, 5142=1, 5143=1, 5144=1, 5145=1, 5146=1, 5147=1, 5150=1, 5151=1, 5152=1, 5153=1, 5154=1, 5155=1, 5156=1, 5157=1, 5158=1, 5159=1, 5160=1, 5161=1, 5162=1, 5163=1, 5164=1, 5165=1, 5166=1, 5167=1, 5168=1, 5169=1, 5170=1, 5171=1, 5172=1, 5173=1, 5174=1, 5175=1}
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2628 ms. (steps per millisecond=3 ) properties (out of 340) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2391 ms. (steps per millisecond=4 ) properties (out of 340) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2365 ms. (steps per millisecond=4 ) properties (out of 340) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2262 ms. (steps per millisecond=4 ) properties (out of 340) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2273 ms. (steps per millisecond=4 ) properties (out of 340) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2313 ms. (steps per millisecond=4 ) properties (out of 340) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2594 ms. (steps per millisecond=3 ) properties (out of 340) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2624 ms. (steps per millisecond=3 ) properties (out of 340) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2324 ms. (steps per millisecond=4 ) properties (out of 340) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2297 ms. (steps per millisecond=4 ) properties (out of 340) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2261 ms. (steps per millisecond=4 ) properties (out of 340) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2234 ms. (steps per millisecond=4 ) properties (out of 340) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2229 ms. (steps per millisecond=4 ) properties (out of 340) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2250 ms. (steps per millisecond=4 ) properties (out of 340) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2270 ms. (steps per millisecond=4 ) properties (out of 340) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2287 ms. (steps per millisecond=4 ) properties (out of 340) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2247 ms. (steps per millisecond=4 ) properties (out of 340) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2296 ms. (steps per millisecond=4 ) properties (out of 340) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2292 ms. (steps per millisecond=4 ) properties (out of 340) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2272 ms. (steps per millisecond=4 ) properties (out of 340) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2249 ms. (steps per millisecond=4 ) properties (out of 340) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2250 ms. (steps per millisecond=4 ) properties (out of 340) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2255 ms. (steps per millisecond=4 ) properties (out of 340) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2231 ms. (steps per millisecond=4 ) properties (out of 340) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2230 ms. (steps per millisecond=4 ) properties (out of 340) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2234 ms. (steps per millisecond=4 ) properties (out of 340) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2238 ms. (steps per millisecond=4 ) properties (out of 340) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2255 ms. (steps per millisecond=4 ) properties (out of 340) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2233 ms. (steps per millisecond=4 ) properties (out of 340) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2237 ms. (steps per millisecond=4 ) properties (out of 340) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2341 ms. (steps per millisecond=4 ) properties (out of 340) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2337 ms. (steps per millisecond=4 ) properties (out of 340) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2317 ms. (steps per millisecond=4 ) properties (out of 340) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2374 ms. (steps per millisecond=4 ) properties (out of 340) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2313 ms. (steps per millisecond=4 ) properties (out of 340) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2302 ms. (steps per millisecond=4 ) properties (out of 340) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2303 ms. (steps per millisecond=4 ) properties (out of 340) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2301 ms. (steps per millisecond=4 ) properties (out of 340) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2303 ms. (steps per millisecond=4 ) properties (out of 340) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2309 ms. (steps per millisecond=4 ) properties (out of 340) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2319 ms. (steps per millisecond=4 ) properties (out of 340) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2312 ms. (steps per millisecond=4 ) properties (out of 340) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2306 ms. (steps per millisecond=4 ) properties (out of 340) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2308 ms. (steps per millisecond=4 ) properties (out of 340) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2318 ms. (steps per millisecond=4 ) properties (out of 340) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2304 ms. (steps per millisecond=4 ) properties (out of 340) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2381 ms. (steps per millisecond=4 ) properties (out of 340) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2364 ms. (steps per millisecond=4 ) properties (out of 340) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2239 ms. (steps per millisecond=4 ) properties (out of 340) seen :0
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 2258 ms. (steps per millisecond=4 ) properties (out of 340) seen :0
Running SMT prover for 340 properties.
// Phase 1: matrix 42928 rows 25853 cols
[2022-05-22 12:32:22] [INFO ] Computed 957 place invariants in 29772 ms
[2022-05-22 12:35:26] [INFO ] [Real]Absence check using 0 positive and 957 generalized place invariants in 1357 ms returned sat
[2022-05-22 12:36:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-22 12:36:07] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 340 Parikh solutions to 1 different solutions.
Support contains 340 out of 25853 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 25853/25853 places, 42928/42928 transitions.
Graph (complete) has 13336 edges and 25853 vertex of which 1868 are kept as prefixes of interest. Removing 23985 places using SCC suffix rule.20 ms
Discarding 23985 places :
Also discarding 39674 output transitions
Drop transitions removed 39674 transitions
Drop transitions removed 326 transitions
Reduce isomorphic transitions removed 326 transitions.
Drop transitions removed 22 transitions
Trivial Post-agglo rules discarded 22 transitions
Performed 22 trivial Post agglomeration. Transition count delta: 22
Iterating post reduction 0 with 348 rules applied. Total rules applied 349 place count 1868 transition count 2906
Reduce places removed 22 places and 0 transitions.
Iterating post reduction 1 with 22 rules applied. Total rules applied 371 place count 1846 transition count 2906
Discarding 1153 places :
Symmetric choice reduction at 2 with 1153 rule applications. Total rules 1524 place count 693 transition count 600
Iterating global reduction 2 with 1153 rules applied. Total rules applied 2677 place count 693 transition count 600
Performed 44 Post agglomeration using F-continuation condition.Transition count delta: 44
Deduced a syphon composed of 44 places in 0 ms
Reduce places removed 44 places and 0 transitions.
Iterating global reduction 2 with 88 rules applied. Total rules applied 2765 place count 649 transition count 556
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2766 place count 648 transition count 555
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2767 place count 647 transition count 554
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2768 place count 646 transition count 553
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2769 place count 645 transition count 552
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2770 place count 644 transition count 551
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2771 place count 643 transition count 550
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2772 place count 642 transition count 549
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2773 place count 641 transition count 548
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2774 place count 640 transition count 547
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2775 place count 639 transition count 546
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2776 place count 638 transition count 545
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2777 place count 637 transition count 544
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2778 place count 636 transition count 543
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2779 place count 635 transition count 542
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2780 place count 634 transition count 541
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2781 place count 633 transition count 540
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2782 place count 632 transition count 539
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2783 place count 631 transition count 538
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2784 place count 630 transition count 537
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2785 place count 629 transition count 536
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2786 place count 628 transition count 535
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2787 place count 627 transition count 534
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2788 place count 626 transition count 533
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2789 place count 625 transition count 532
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2790 place count 624 transition count 531
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2791 place count 623 transition count 530
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2792 place count 622 transition count 529
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2793 place count 621 transition count 528
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2794 place count 620 transition count 527
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2795 place count 619 transition count 526
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2796 place count 618 transition count 525
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2797 place count 617 transition count 524
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2798 place count 616 transition count 523
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2799 place count 615 transition count 522
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2800 place count 614 transition count 521
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2801 place count 613 transition count 520
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2802 place count 612 transition count 519
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2803 place count 611 transition count 518
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2804 place count 610 transition count 517
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2805 place count 609 transition count 516
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2806 place count 608 transition count 515
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2807 place count 607 transition count 514
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2808 place count 606 transition count 513
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2809 place count 605 transition count 512
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2810 place count 604 transition count 511
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2811 place count 603 transition count 510
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2812 place count 602 transition count 509
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2813 place count 601 transition count 508
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2814 place count 600 transition count 507
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2815 place count 599 transition count 506
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2816 place count 598 transition count 505
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2817 place count 597 transition count 504
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2818 place count 596 transition count 503
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2819 place count 595 transition count 502
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2820 place count 594 transition count 501
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2821 place count 593 transition count 500
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2822 place count 592 transition count 499
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2823 place count 591 transition count 498
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2824 place count 590 transition count 497
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2825 place count 589 transition count 496
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2826 place count 588 transition count 495
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2827 place count 587 transition count 494
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2828 place count 586 transition count 493
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2829 place count 585 transition count 492
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2830 place count 584 transition count 491
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2831 place count 583 transition count 490
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2832 place count 582 transition count 489
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2833 place count 581 transition count 488
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2834 place count 580 transition count 487
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2835 place count 579 transition count 486
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2836 place count 578 transition count 485
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2837 place count 577 transition count 484
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2838 place count 576 transition count 483
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2839 place count 575 transition count 482
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2840 place count 574 transition count 481
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2841 place count 573 transition count 480
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2842 place count 572 transition count 479
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2843 place count 571 transition count 478
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2844 place count 570 transition count 477
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2845 place count 569 transition count 476
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2846 place count 568 transition count 475
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2847 place count 567 transition count 474
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2848 place count 566 transition count 473
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2849 place count 565 transition count 472
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2850 place count 564 transition count 471
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2851 place count 563 transition count 470
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2852 place count 562 transition count 469
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2853 place count 561 transition count 468
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2854 place count 560 transition count 467
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2855 place count 559 transition count 466
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2856 place count 558 transition count 465
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2857 place count 557 transition count 464
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2858 place count 556 transition count 463
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2859 place count 555 transition count 462
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2860 place count 554 transition count 461
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2861 place count 553 transition count 460
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2862 place count 552 transition count 459
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2863 place count 551 transition count 458
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2864 place count 550 transition count 457
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2865 place count 549 transition count 456
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2866 place count 548 transition count 455
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 2867 place count 547 transition count 454
Applied a total of 2867 rules in 1183 ms. Remains 547 /25853 variables (removed 25306) and now considering 454/42928 (removed 42474) transitions.
Finished structural reductions, in 1 iterations. Remains : 547/25853 places, 454/42928 transitions.
[2022-05-22 12:36:09] [INFO ] Flatten gal took : 18 ms
[2022-05-22 12:36:09] [INFO ] Flatten gal took : 22 ms
[2022-05-22 12:36:09] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality13721003266429945108.gal : 4 ms
[2022-05-22 12:36:09] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality17013689300714265093.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality13721003266429945108.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality17013689300714265093.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality13721003266429945108.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality17013689300714265093.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality17013689300714265093.prop.
Invariant property smplace_16151 does not hold.
Invariant property smplace_9516 does not hold.
Invariant property smplace_9514 does not hold.
SDD proceeding with computation,337 properties remain. new max is 2
SDD size :1 after 12
Invariant property smplace_21285 does not hold.
Invariant property smplace_16150 does not hold.
SDD proceeding with computation,335 properties remain. new max is 2
SDD size :12 after 72
Invariant property smplace_21284 does not hold.
SDD proceeding with computation,334 properties remain. new max is 2
SDD size :72 after 216
Invariant property smplace_12893 does not hold.
Invariant property smplace_12889 does not hold.
SDD proceeding with computation,332 properties remain. new max is 2
SDD size :216 after 1296
SDD proceeding with computation,332 properties remain. new max is 4
SDD size :1296 after 1512
Invariant property smplace_12949 does not hold.
Invariant property smplace_12948 does not hold.
SDD proceeding with computation,330 properties remain. new max is 4
SDD size :1512 after 9720
SDD proceeding with computation,330 properties remain. new max is 8
SDD size :9720 after 10584
Invariant property smplace_13005 does not hold.
Invariant property smplace_13002 does not hold.
Invariant property smplace_12881 does not hold.
Invariant property smplace_12880 does not hold.
SDD proceeding with computation,326 properties remain. new max is 8
SDD size :10584 after 363096
Invariant property smplace_25340 does not hold.
Invariant property smplace_25337 does not hold.
SDD proceeding with computation,324 properties remain. new max is 8
SDD size :363096 after 5.97171e+07
Invariant property smplace_13170 does not hold.
Invariant property smplace_13116 does not hold.
Invariant property smplace_13113 does not hold.
Invariant property smplace_13061 does not hold.
Invariant property smplace_13060 does not hold.
SDD proceeding with computation,319 properties remain. new max is 8
SDD size :5.97171e+07 after 1.62145e+09
Invariant property smplace_13280 does not hold.
Invariant property smplace_13279 does not hold.
Invariant property smplace_13226 does not hold.
Invariant property smplace_13224 does not hold.
Invariant property smplace_13172 does not hold.
SDD proceeding with computation,314 properties remain. new max is 8
SDD size :1.62145e+09 after 3.43064e+10
Invariant property smplace_37982 does not hold.
Invariant property smplace_37980 does not hold.
Invariant property smplace_28881 does not hold.
Invariant property smplace_28880 does not hold.
Invariant property smplace_11751 does not hold.
Invariant property smplace_11749 does not hold.
SDD proceeding with computation,308 properties remain. new max is 8
SDD size :3.43064e+10 after 7.41019e+12
Invariant property smplace_12207 does not hold.
Invariant property smplace_12205 does not hold.
Invariant property smplace_11861 does not hold.
Invariant property smplace_11860 does not hold.
Invariant property smplace_11807 does not hold.
Invariant property smplace_11805 does not hold.
SDD proceeding with computation,302 properties remain. new max is 8
SDD size :7.41019e+12 after 1.6006e+15
Invariant property smplace_12772 does not hold.
Invariant property smplace_12770 does not hold.
Invariant property smplace_12607 does not hold.
Invariant property smplace_12605 does not hold.
Invariant property smplace_12261 does not hold.
Invariant property smplace_12260 does not hold.
SDD proceeding with computation,296 properties remain. new max is 8
SDD size :1.6006e+15 after 3.4573e+17
Invariant property smplace_14426 does not hold.
Invariant property smplace_14424 does not hold.
Invariant property smplace_14080 does not hold.
Invariant property smplace_14079 does not hold.
Invariant property smplace_13802 does not hold.
Invariant property smplace_13799 does not hold.
SDD proceeding with computation,290 properties remain. new max is 8
SDD size :3.4573e+17 after 7.46777e+19
Invariant property smplace_17282 does not hold.
Invariant property smplace_17281 does not hold.
Invariant property smplace_16661 does not hold.
Invariant property smplace_16660 does not hold.
Invariant property smplace_14480 does not hold.
Invariant property smplace_14479 does not hold.
SDD proceeding with computation,284 properties remain. new max is 8
SDD size :7.46777e+19 after 1.61304e+22
Invariant property smplace_29521 does not hold.
Invariant property smplace_29517 does not hold.
Invariant property smplace_23630 does not hold.
Invariant property smplace_23626 does not hold.
Invariant property smplace_21282 does not hold.
Invariant property smplace_21281 does not hold.
SDD proceeding with computation,278 properties remain. new max is 8
SDD size :1.61304e+22 after 3.48416e+24
Invariant property smplace_33286 does not hold.
Invariant property smplace_33285 does not hold.
Invariant property smplace_33060 does not hold.
Invariant property smplace_33059 does not hold.
Invariant property smplace_30717 does not hold.
Invariant property smplace_30713 does not hold.
SDD proceeding with computation,272 properties remain. new max is 8
SDD size :3.48416e+24 after 7.52579e+26
Invariant property smplace_33633 does not hold.
Invariant property smplace_33627 does not hold.
Invariant property smplace_7049 does not hold.
Invariant property smplace_7041 does not hold.
SDD proceeding with computation,268 properties remain. new max is 8
SDD size :7.52579e+26 after 3.16083e+28
Invariant property smplace_7103 does not hold.
Invariant property smplace_7102 does not hold.
Invariant property smplace_7034 does not hold.
SDD proceeding with computation,265 properties remain. new max is 8
SDD size :3.16083e+28 after 2.84475e+29
Invariant property smplace_34654 does not hold.
Invariant property smplace_34648 does not hold.
Invariant property smplace_7035 does not hold.
SDD proceeding with computation,262 properties remain. new max is 8
SDD size :2.84475e+29 after 3.94201e+31
Invariant property smplace_7210 does not hold.
Invariant property smplace_7158 does not hold.
Invariant property smplace_7157 does not hold.
SDD proceeding with computation,259 properties remain. new max is 8
SDD size :3.94201e+31 after 1.37109e+33
Invariant property smplace_7324 does not hold.
Invariant property smplace_7323 does not hold.
Invariant property smplace_7269 does not hold.
Invariant property smplace_7261 does not hold.
Invariant property smplace_7211 does not hold.
SDD proceeding with computation,254 properties remain. new max is 8
SDD size :1.37109e+33 after 4.55256e+34
Invariant property smplace_34883 does not hold.
Invariant property smplace_34882 does not hold.
Invariant property smplace_7435 does not hold.
Invariant property smplace_7380 does not hold.
Invariant property smplace_7379 does not hold.
SDD proceeding with computation,249 properties remain. new max is 8
SDD size :4.55256e+34 after 2.18294e+36
Invariant property smplace_36473 does not hold.
Invariant property smplace_36073 does not hold.
Invariant property smplace_36067 does not hold.
Invariant property smplace_35738 does not hold.
Invariant property smplace_35735 does not hold.
Invariant property smplace_7436 does not hold.
SDD proceeding with computation,243 properties remain. new max is 8
SDD size :2.18294e+36 after 3.0982e+38
Invariant property smplace_36467 does not hold.
Invariant property smplace_14829 does not hold.
Invariant property smplace_14822 does not hold.
Invariant property smplace_14813 does not hold.
SDD proceeding with computation,239 properties remain. new max is 8
SDD size :3.0982e+38 after 1.39419e+40
Invariant property smplace_36995 does not hold.
Invariant property smplace_36993 does not hold.
Invariant property smplace_14814 does not hold.
SDD proceeding with computation,236 properties remain. new max is 8
SDD size :1.39419e+40 after 1.67303e+42
Invariant property smplace_14938 does not hold.
Invariant property smplace_14885 does not hold.
Invariant property smplace_14883 does not hold.
SDD proceeding with computation,233 properties remain. new max is 8
SDD size :1.67303e+42 after 5.84054e+43
Invariant property smplace_15052 does not hold.
Invariant property smplace_15044 does not hold.
Invariant property smplace_14994 does not hold.
Invariant property smplace_14993 does not hold.
Invariant property smplace_14939 does not hold.
SDD proceeding with computation,228 properties remain. new max is 8
SDD size :5.84054e+43 after 2.14701e+45
Invariant property smplace_37117 does not hold.
Invariant property smplace_37114 does not hold.
Invariant property smplace_15107 does not hold.
Invariant property smplace_15105 does not hold.
SDD proceeding with computation,224 properties remain. new max is 8
SDD size :2.14701e+45 after 1.27853e+47
Invariant property smplace_15214 does not hold.
Invariant property smplace_15213 does not hold.
Invariant property smplace_15160 does not hold.
Invariant property smplace_15159 does not hold.
Invariant property smplace_1228 does not hold.
Invariant property smplace_1225 does not hold.
SDD proceeding with computation,218 properties remain. new max is 8
SDD size :1.27853e+47 after 5.31441e+48
Invariant property smplace_16922 does not hold.
Invariant property smplace_16921 does not hold.
Invariant property smplace_15562 does not hold.
Invariant property smplace_15557 does not hold.
SDD proceeding with computation,214 properties remain. new max is 8
SDD size :5.31441e+48 after 3.82637e+50
Invariant property smplace_23105 does not hold.
Invariant property smplace_23051 does not hold.
Invariant property smplace_23046 does not hold.
SDD proceeding with computation,211 properties remain. new max is 8
SDD size :3.82637e+50 after 5.35692e+51
Invariant property smplace_23107 does not hold.
Invariant property smplace_23038 does not hold.
Invariant property smplace_23037 does not hold.
SDD proceeding with computation,208 properties remain. new max is 8
SDD size :5.35692e+51 after 2.78369e+53
Invariant property smplace_23159 does not hold.
Invariant property smplace_17162 does not hold.
Invariant property smplace_17157 does not hold.
SDD proceeding with computation,205 properties remain. new max is 8
SDD size :2.78369e+53 after 1.97005e+55
Invariant property smplace_23273 does not hold.
Invariant property smplace_23267 does not hold.
Invariant property smplace_23213 does not hold.
Invariant property smplace_23212 does not hold.
Invariant property smplace_23160 does not hold.
SDD proceeding with computation,200 properties remain. new max is 8
SDD size :1.97005e+55 after 6.89765e+56
Invariant property smplace_23436 does not hold.
Invariant property smplace_23381 does not hold.
Invariant property smplace_23380 does not hold.
Invariant property smplace_23325 does not hold.
Invariant property smplace_23323 does not hold.
SDD proceeding with computation,195 properties remain. new max is 8
SDD size :6.89765e+56 after 1.54151e+58
Invariant property smplace_24994 does not hold.
Invariant property smplace_23437 does not hold.
Invariant property smplace_23117 does not hold.
Invariant property smplace_23114 does not hold.
Invariant property smplace_20362 does not hold.
Invariant property smplace_20357 does not hold.
SDD proceeding with computation,189 properties remain. new max is 8
SDD size :1.54151e+58 after 2.18782e+60
Invariant property smplace_33516 does not hold.
Invariant property smplace_30483 does not hold.
Invariant property smplace_30481 does not hold.
Invariant property smplace_30316 does not hold.
Invariant property smplace_30312 does not hold.
Invariant property smplace_24991 does not hold.
SDD proceeding with computation,183 properties remain. new max is 8
SDD size :2.18782e+60 after 4.72569e+62
Invariant property smplace_42361 does not hold.
Invariant property smplace_42357 does not hold.
Invariant property smplace_34249 does not hold.
Invariant property smplace_34247 does not hold.
Invariant property smplace_33513 does not hold.
SDD proceeding with computation,178 properties remain. new max is 8
SDD size :4.72569e+62 after 5.10375e+64
Invariant property smplace_43945 does not hold.
Invariant property smplace_43944 does not hold.
Invariant property smplace_13945 does not hold.
Invariant property smplace_13942 does not hold.
SDD proceeding with computation,174 properties remain. new max is 8
SDD size :5.10375e+64 after 2.14357e+66
Invariant property smplace_14004 does not hold.
Invariant property smplace_14000 does not hold.
SDD proceeding with computation,172 properties remain. new max is 8
SDD size :2.14357e+66 after 1.5005e+67
Invariant property smplace_14059 does not hold.
Invariant property smplace_14057 does not hold.
Invariant property smplace_13939 does not hold.
Invariant property smplace_13938 does not hold.
SDD proceeding with computation,168 properties remain. new max is 8
SDD size :1.5005e+67 after 5.14764e+68
Invariant property smplace_46589 does not hold.
Invariant property smplace_46586 does not hold.
Invariant property smplace_14109 does not hold.
SDD proceeding with computation,165 properties remain. new max is 8
SDD size :5.14764e+68 after 5.62762e+70
Invariant property smplace_14277 does not hold.
Invariant property smplace_14276 does not hold.
Invariant property smplace_14170 does not hold.
Invariant property smplace_14167 does not hold.
Invariant property smplace_14107 does not hold.
SDD proceeding with computation,160 properties remain. new max is 8
SDD size :5.62762e+70 after 1.60074e+72
Invariant property smplace_14338 does not hold.
Invariant property smplace_14337 does not hold.
Invariant property smplace_4652 does not hold.
Invariant property smplace_3601 does not hold.
Invariant property smplace_3600 does not hold.
SDD proceeding with computation,155 properties remain. new max is 8
SDD size :1.60074e+72 after 1.52302e+74
Invariant property smplace_6302 does not hold.
Invariant property smplace_5792 does not hold.
Invariant property smplace_5791 does not hold.
Invariant property smplace_5228 does not hold.
Invariant property smplace_5220 does not hold.
Invariant property smplace_4644 does not hold.
SDD proceeding with computation,149 properties remain. new max is 8
SDD size :1.52302e+74 after 3.28972e+76
Invariant property smplace_6650 does not hold.
Invariant property smplace_6471 does not hold.
Invariant property smplace_6463 does not hold.
Invariant property smplace_6358 does not hold.
Invariant property smplace_6357 does not hold.
Invariant property smplace_6303 does not hold.
SDD proceeding with computation,143 properties remain. new max is 8
SDD size :3.28972e+76 after 7.10579e+78
Invariant property smplace_14227 does not hold.
Invariant property smplace_14220 does not hold.
Invariant property smplace_6703 does not hold.
Invariant property smplace_6702 does not hold.
Invariant property smplace_6642 does not hold.
SDD proceeding with computation,138 properties remain. new max is 8
SDD size :7.10579e+78 after 7.92011e+80
Invariant property smplace_10011 does not hold.
Invariant property smplace_10010 does not hold.
Invariant property smplace_7852 does not hold.
Invariant property smplace_7844 does not hold.
Invariant property smplace_6926 does not hold.
Invariant property smplace_6924 does not hold.
SDD proceeding with computation,132 properties remain. new max is 8
SDD size :7.92011e+80 after 1.71074e+83
Invariant property smplace_15907 does not hold.
Invariant property smplace_15905 does not hold.
Invariant property smplace_15613 does not hold.
Invariant property smplace_15612 does not hold.
Invariant property smplace_14750 does not hold.
Invariant property smplace_14749 does not hold.
SDD proceeding with computation,126 properties remain. new max is 8
SDD size :1.71074e+83 after 3.69521e+85
Invariant property smplace_18125 does not hold.
Invariant property smplace_18123 does not hold.
Invariant property smplace_17273 does not hold.
Invariant property smplace_17265 does not hold.
Invariant property smplace_16412 does not hold.
Invariant property smplace_16411 does not hold.
SDD proceeding with computation,120 properties remain. new max is 8
SDD size :3.69521e+85 after 7.98164e+87
Invariant property smplace_20812 does not hold.
Invariant property smplace_20811 does not hold.
Invariant property smplace_18292 does not hold.
Invariant property smplace_18284 does not hold.
Invariant property smplace_18179 does not hold.
Invariant property smplace_18178 does not hold.
SDD proceeding with computation,114 properties remain. new max is 8
SDD size :7.98164e+87 after 1.72403e+90
Invariant property smplace_22475 does not hold.
Invariant property smplace_22469 does not hold.
Invariant property smplace_22360 does not hold.
Invariant property smplace_22359 does not hold.
Invariant property smplace_22139 does not hold.
Invariant property smplace_22137 does not hold.
SDD proceeding with computation,108 properties remain. new max is 8
SDD size :1.72403e+90 after 3.72392e+92
Invariant property smplace_24635 does not hold.
Invariant property smplace_24634 does not hold.
Invariant property smplace_24473 does not hold.
Invariant property smplace_24467 does not hold.
Invariant property smplace_24413 does not hold.
Invariant property smplace_24412 does not hold.
SDD proceeding with computation,102 properties remain. new max is 8
SDD size :3.72392e+92 after 8.04366e+94
Invariant property smplace_32117 does not hold.
Invariant property smplace_32111 does not hold.
Invariant property smplace_31894 does not hold.
Invariant property smplace_31888 does not hold.
Invariant property smplace_25092 does not hold.
Invariant property smplace_25086 does not hold.
SDD proceeding with computation,96 properties remain. new max is 8
SDD size :8.04366e+94 after 1.73743e+97
Invariant property smplace_34482 does not hold.
Invariant property smplace_34481 does not hold.
Invariant property smplace_32349 does not hold.
Invariant property smplace_32346 does not hold.
Invariant property smplace_32236 does not hold.
Invariant property smplace_32235 does not hold.
SDD proceeding with computation,90 properties remain. new max is 8
SDD size :1.73743e+97 after 3.75285e+99
Invariant property smplace_40429 does not hold.
Invariant property smplace_40422 does not hold.
Invariant property smplace_38411 does not hold.
Invariant property smplace_38410 does not hold.
Invariant property smplace_35450 does not hold.
Invariant property smplace_35442 does not hold.
SDD proceeding with computation,84 properties remain. new max is 8
SDD size :3.75285e+99 after 8.10615e+101
Invariant property smplace_41672 does not hold.
Invariant property smplace_41665 does not hold.
Invariant property smplace_40760 does not hold.
Invariant property smplace_40759 does not hold.
Invariant property smplace_40485 does not hold.
Invariant property smplace_40484 does not hold.
SDD proceeding with computation,78 properties remain. new max is 8
SDD size :8.10615e+101 after 1.75093e+104
Invariant property smplace_44128 does not hold.
Invariant property smplace_44127 does not hold.
Invariant property smplace_42359 does not hold.
Invariant property smplace_42358 does not hold.
Invariant property smplace_42012 does not hold.
Invariant property smplace_42011 does not hold.
SDD proceeding with computation,72 properties remain. new max is 8
SDD size :1.75093e+104 after 3.78201e+106
Invariant property smplace_45804 does not hold.
Invariant property smplace_45803 does not hold.
Invariant property smplace_45717 does not hold.
Invariant property smplace_45716 does not hold.
Invariant property smplace_44944 does not hold.
Invariant property smplace_44943 does not hold.
SDD proceeding with computation,66 properties remain. new max is 8
SDD size :3.78201e+106 after 8.16913e+108
Invariant property smplace_45853 does not hold.
Invariant property smplace_45847 does not hold.
Invariant property smplace_2343 does not hold.
Invariant property smplace_2342 does not hold.
Invariant property smplace_467 does not hold.
Invariant property smplace_464 does not hold.
SDD proceeding with computation,60 properties remain. new max is 8
SDD size :8.16913e+108 after 1.76453e+111
Invariant property smplace_9658 does not hold.
Invariant property smplace_9657 does not hold.
Invariant property smplace_9433 does not hold.
Invariant property smplace_9431 does not hold.
Invariant property smplace_2462 does not hold.
Invariant property smplace_2461 does not hold.
SDD proceeding with computation,54 properties remain. new max is 8
SDD size :1.76453e+111 after 3.81139e+113
Invariant property smplace_11946 does not hold.
Invariant property smplace_11786 does not hold.
Invariant property smplace_11778 does not hold.
Invariant property smplace_11547 does not hold.
Invariant property smplace_11545 does not hold.
SDD proceeding with computation,49 properties remain. new max is 8
SDD size :3.81139e+113 after 7.54656e+115
Invariant property smplace_12401 does not hold.
Invariant property smplace_12235 does not hold.
Invariant property smplace_12233 does not hold.
Invariant property smplace_12063 does not hold.
Invariant property smplace_12062 does not hold.
Invariant property smplace_11944 does not hold.
SDD proceeding with computation,43 properties remain. new max is 8
SDD size :7.54656e+115 after 1.63006e+118
Invariant property smplace_13879 does not hold.
Invariant property smplace_12911 does not hold.
Invariant property smplace_12910 does not hold.
Invariant property smplace_12513 does not hold.
Invariant property smplace_12512 does not hold.
Invariant property smplace_12406 does not hold.
SDD proceeding with computation,37 properties remain. new max is 8
SDD size :1.63006e+118 after 3.52092e+120
Invariant property smplace_22250 does not hold.
Invariant property smplace_19728 does not hold.
Invariant property smplace_19725 does not hold.
Invariant property smplace_14677 does not hold.
Invariant property smplace_14676 does not hold.
Invariant property smplace_13878 does not hold.
SDD proceeding with computation,31 properties remain. new max is 8
SDD size :3.52092e+120 after 7.60519e+122
Invariant property smplace_23265 does not hold.
Invariant property smplace_23100 does not hold.
Invariant property smplace_23099 does not hold.
Invariant property smplace_23035 does not hold.
Invariant property smplace_23033 does not hold.
Invariant property smplace_22248 does not hold.
SDD proceeding with computation,25 properties remain. new max is 8
SDD size :7.60519e+122 after 1.64272e+125
Invariant property smplace_24015 does not hold.
Invariant property smplace_23665 does not hold.
Invariant property smplace_23663 does not hold.
Invariant property smplace_23326 does not hold.
Invariant property smplace_23324 does not hold.
Invariant property smplace_23263 does not hold.
SDD proceeding with computation,19 properties remain. new max is 8
SDD size :1.64272e+125 after 3.54828e+127
Invariant property smplace_25710 does not hold.
Invariant property smplace_24405 does not hold.
Invariant property smplace_24399 does not hold.
Invariant property smplace_24292 does not hold.
Invariant property smplace_24289 does not hold.
Invariant property smplace_24014 does not hold.
SDD proceeding with computation,13 properties remain. new max is 8
SDD size :3.54828e+127 after 7.66428e+129
Invariant property smplace_28908 does not hold.
Invariant property smplace_28629 does not hold.
Invariant property smplace_28628 does not hold.
Invariant property smplace_28061 does not hold.
Invariant property smplace_28059 does not hold.
Invariant property smplace_25709 does not hold.
SDD proceeding with computation,7 properties remain. new max is 8
SDD size :7.66428e+129 after 1.65548e+132
Invariant property smplace_43588 does not hold.
Invariant property smplace_38343 does not hold.
Invariant property smplace_38340 does not hold.
Invariant property smplace_29029 does not hold.
Invariant property smplace_29028 does not hold.
Invariant property smplace_28906 does not hold.
SDD proceeding with computation,1 properties remain. new max is 8
SDD size :1.65548e+132 after 3.57585e+134
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
petri\_inst\_inst,7.15169e+134,4.89827,91272,2,6490,409,150090,7,0,2140,21056,0
Total reachable state count : 7.151691171937966872911470254287877856818e+134
Verifying 340 reachability properties.
Invariant property smplace_464 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_464,1.47044e+110,4.90347,91272,2,6393,409,150090,8,0,2143,21056,0
Invariant property smplace_467 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_467,4.90148e+109,4.90669,91272,2,6391,409,150090,9,0,2145,21056,0
Invariant property smplace_1225 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1225,8.85734e+47,4.90931,91272,2,4130,409,150090,10,0,2147,21056,0
Invariant property smplace_1228 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_1228,2.6572e+48,4.91189,91272,2,4132,409,150090,11,0,2149,21056,0
Invariant property smplace_2342 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_2342,8.82267e+110,4.91521,91272,2,6396,409,150090,12,0,2151,21056,0
Invariant property smplace_2343 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_2343,2.94089e+110,4.91843,91272,2,6394,409,150090,13,0,2153,21056,0
Invariant property smplace_2461 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_2461,5.2936e+111,4.92165,91272,2,6399,409,150090,14,0,2155,21056,0
Invariant property smplace_2462 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_2462,1.76453e+111,4.92475,91272,2,6397,409,150090,15,0,2157,21056,0
Invariant property smplace_3600 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_3600,7.31675e+71,4.92787,91272,2,5784,409,150090,16,0,2159,21056,0
Invariant property smplace_3601 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_3601,2.19502e+72,4.93094,91272,2,5788,409,150090,17,0,2161,21056,0
Invariant property smplace_4644 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_4644,1.07834e+74,4.93394,91272,2,5933,409,150090,18,0,2163,21056,0
Invariant property smplace_4652 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_4652,3.59447e+73,4.937,91272,2,5931,409,150090,19,0,2165,21056,0
Invariant property smplace_5220 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_5220,6.47005e+74,4.94009,91272,2,5936,409,150090,20,0,2167,21056,0
Invariant property smplace_5228 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_5228,2.15668e+74,4.94305,91272,2,5934,409,150090,21,0,2169,21056,0
Invariant property smplace_5791 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_5791,1.29401e+75,4.94599,91272,2,5937,409,150090,22,0,2171,21056,0
Invariant property smplace_5792 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_5792,3.88203e+75,4.94889,91272,2,5939,409,150090,23,0,2173,21056,0
Invariant property smplace_6302 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_6302,7.76406e+75,4.95179,91272,2,5940,409,150090,24,0,2175,21056,0
Invariant property smplace_6303 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_6303,2.32922e+76,4.95468,91272,2,5942,409,150090,25,0,2177,21056,0
Invariant property smplace_6357 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_6357,4.65843e+76,4.95759,91272,2,5943,409,150090,26,0,2179,21056,0
Invariant property smplace_6358 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_6358,1.39753e+77,4.96051,91272,2,5945,409,150090,27,0,2181,21056,0
Invariant property smplace_6463 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_6463,8.38518e+77,4.96339,91272,2,5948,409,150090,28,0,2183,21056,0
Invariant property smplace_6471 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_6471,2.79506e+77,4.96627,91272,2,5946,409,150090,29,0,2185,21056,0
Invariant property smplace_6642 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_6642,5.03111e+78,4.96913,91272,2,5951,409,150090,30,0,2187,21056,0
Invariant property smplace_6650 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_6650,1.67704e+78,4.972,91272,2,5949,409,150090,31,0,2189,21056,0
Invariant property smplace_6702 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_6702,1.00622e+79,4.97491,91272,2,5952,409,150090,32,0,2191,21056,0
Invariant property smplace_6703 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_6703,6.03733e+79,4.9778,91272,2,5960,409,150090,33,0,2193,21056,0
Invariant property smplace_6924 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_6924,7.92011e+80,4.98095,91272,2,6280,409,150090,34,0,2195,21056,0
Invariant property smplace_6926 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_6926,2.37603e+81,4.98748,91272,2,6282,409,150090,35,0,2197,21056,0
Invariant property smplace_7034 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_7034,4.51547e+27,4.99069,91272,2,1357,409,150090,36,0,2199,21056,0
Invariant property smplace_7035 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_7035,6.77321e+28,4.99351,91272,2,1372,409,150090,37,0,2201,21056,0
Invariant property smplace_7041 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_7041,4.51547e+27,4.99554,91272,2,1357,409,150090,38,0,2203,21056,0
Invariant property smplace_7049 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_7049,4.51547e+27,4.99707,91272,2,1357,409,150090,39,0,2205,21056,0
Invariant property smplace_7102 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_7102,4.51547e+27,4.99909,91272,2,1357,409,150090,40,0,2207,21056,0
Invariant property smplace_7103 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_7103,1.35464e+28,5.00142,91272,2,1359,409,150090,41,0,2209,21056,0
Invariant property smplace_7157 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_7157,2.14033e+30,5.00385,91272,2,1388,409,150090,42,0,2211,21056,0
Invariant property smplace_7158 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_7158,6.421e+30,5.00628,91272,2,1392,409,150090,43,0,2213,21056,0
Invariant property smplace_7210 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_7210,1.84231e+31,5.00853,91272,2,1407,409,150090,44,0,2215,21056,0
Invariant property smplace_7211 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_7211,5.52694e+31,5.01051,91272,2,1409,409,150090,45,0,2217,21056,0
Invariant property smplace_7261 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_7261,4.68246e+32,5.01234,91272,2,1449,409,150090,46,0,2219,21056,0
Invariant property smplace_7269 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_7269,1.56082e+32,5.01415,91272,2,1445,409,150090,47,0,2221,21056,0
Invariant property smplace_7323 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_7323,1.30498e+33,5.01642,91272,2,1522,409,150090,48,0,2223,21056,0
Invariant property smplace_7324 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_7324,3.91494e+33,5.0189,91272,2,1536,409,150090,49,0,2225,21056,0
Invariant property smplace_7379 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_7379,1.0789e+34,5.0213,91272,2,1680,409,150090,50,0,2227,21056,0
Invariant property smplace_7380 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_7380,3.2367e+34,5.02323,91272,2,1682,409,150090,51,0,2229,21056,0
Invariant property smplace_7435 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_7435,5.30027e+35,5.0253,91272,2,1979,409,150090,52,0,2231,21056,0
Invariant property smplace_7436 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_7436,1.59008e+36,5.02737,91272,2,1981,409,150090,53,0,2233,21056,0
Invariant property smplace_7844 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_7844,1.42562e+82,5.03205,91272,2,6285,409,150090,54,0,2235,21056,0
Invariant property smplace_7852 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_7852,4.75206e+81,5.03773,91272,2,6283,409,150090,55,0,2237,21056,0
Invariant property smplace_9431 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_9431,3.17616e+112,5.04269,91272,2,6402,409,150090,56,0,2239,21056,0
Invariant property smplace_9433 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_9433,1.05872e+112,5.04778,91272,2,6400,409,150090,57,0,2241,21056,0
Invariant property smplace_9514 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_9514,3,5.05057,91272,2,550,409,150090,58,0,2243,21056,0
Invariant property smplace_9516 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_9516,1,5.0531,91272,2,548,409,150090,59,0,2245,21056,0
Invariant property smplace_9657 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_9657,1.9057e+113,5.0574,91272,2,6405,409,150090,60,0,2247,21056,0
Invariant property smplace_9658 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_9658,6.35232e+112,5.06228,91272,2,6403,409,150090,61,0,2249,21056,0
Invariant property smplace_10010 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_10010,2.85124e+82,5.06775,91272,2,6286,409,150090,62,0,2251,21056,0
Invariant property smplace_10011 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_10011,8.55372e+82,5.07275,91272,2,6288,409,150090,63,0,2253,21056,0
Invariant property smplace_11545 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_11545,1.14342e+114,5.07803,91272,2,6408,409,150090,64,0,2255,21056,0
Invariant property smplace_11547 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_11547,3.81139e+113,5.08296,91272,2,6406,409,150090,65,0,2257,21056,0
Invariant property smplace_11749 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_11749,1.23503e+12,5.08576,91272,2,1297,409,150090,66,0,2259,21056,0
Invariant property smplace_11751 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_11751,3.7051e+12,5.08835,91272,2,1299,409,150090,67,0,2261,21056,0
Invariant property smplace_11778 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_11778,1.3721e+115,5.09321,91272,2,6414,409,150090,68,0,2263,21056,0
Invariant property smplace_11786 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_11786,2.28683e+114,5.0985,91272,2,6409,409,150090,69,0,2265,21056,0
Invariant property smplace_11805 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_11805,2.22306e+13,5.10133,91272,2,1302,409,150090,70,0,2267,21056,0
Invariant property smplace_11807 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_11807,7.41019e+12,5.10367,91272,2,1300,409,150090,71,0,2269,21056,0
Invariant property smplace_11860 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_11860,4.44612e+13,5.10595,91272,2,1303,409,150090,72,0,2271,21056,0
Invariant property smplace_11861 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_11861,1.33383e+14,5.10841,91272,2,1305,409,150090,73,0,2273,21056,0
Invariant property smplace_11944 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_11944,7.54656e+115,5.11308,91272,2,6417,409,150090,74,0,2275,21056,0
Invariant property smplace_11946 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_11946,2.51552e+115,5.11767,91272,2,6415,409,150090,75,0,2277,21056,0
Invariant property smplace_12062 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_12062,4.52793e+116,5.12252,91272,2,6420,409,150090,76,0,2279,21056,0
Invariant property smplace_12063 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_12063,1.50931e+116,5.12755,91272,2,6418,409,150090,77,0,2281,21056,0
Invariant property smplace_12205 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_12205,8.00301e+14,5.13049,91272,2,1308,409,150090,78,0,2283,21056,0
Invariant property smplace_12207 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_12207,2.66767e+14,5.13293,91272,2,1306,409,150090,79,0,2285,21056,0
Invariant property smplace_12233 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_12233,2.71676e+117,5.13715,91272,2,6423,409,150090,80,0,2287,21056,0
Invariant property smplace_12235 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_12235,9.05587e+116,5.14236,91272,2,6421,409,150090,81,0,2289,21056,0
Invariant property smplace_12260 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_12260,1.6006e+15,5.1452,91272,2,1309,409,150090,82,0,2291,21056,0
Invariant property smplace_12261 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_12261,4.8018e+15,5.14755,91272,2,1311,409,150090,83,0,2293,21056,0
Invariant property smplace_12401 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_12401,5.43352e+117,5.1518,91272,2,6424,409,150090,84,0,2295,21056,0
Invariant property smplace_12406 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_12406,1.63006e+118,5.15703,91272,2,6426,409,150090,85,0,2297,21056,0
Invariant property smplace_12512 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_12512,9.78034e+118,5.16203,91272,2,6429,409,150090,86,0,2299,21056,0
Invariant property smplace_12513 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_12513,3.26011e+118,5.16676,91272,2,6427,409,150090,87,0,2301,21056,0
Invariant property smplace_12605 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_12605,2.88108e+16,5.16975,91272,2,1314,409,150090,88,0,2303,21056,0
Invariant property smplace_12607 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_12607,9.60361e+15,5.17268,91272,2,1312,409,150090,89,0,2305,21056,0
Invariant property smplace_12770 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_12770,5.76217e+16,5.17514,91272,2,1315,409,150090,90,0,2307,21056,0
Invariant property smplace_12772 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_12772,1.72865e+17,5.17735,91272,2,1317,409,150090,91,0,2309,21056,0
Invariant property smplace_12880 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_12880,216,5.17916,91272,2,557,409,150090,92,0,2311,21056,0
Invariant property smplace_12881 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_12881,36504,5.18082,91272,2,599,409,150090,93,0,2313,21056,0
Invariant property smplace_12889 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_12889,216,5.18245,91272,2,557,409,150090,94,0,2315,21056,0
Invariant property smplace_12893 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_12893,216,5.18345,91272,2,557,409,150090,95,0,2317,21056,0
Invariant property smplace_12910 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_12910,5.8682e+119,5.18809,91272,2,6432,409,150090,96,0,2319,21056,0
Invariant property smplace_12911 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_12911,1.95607e+119,5.1929,91272,2,6430,409,150090,97,0,2321,21056,0
Invariant property smplace_12948 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_12948,216,5.19562,91272,2,557,409,150090,98,0,2323,21056,0
Invariant property smplace_12949 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_12949,648,5.19795,91272,2,559,409,150090,99,0,2325,21056,0
Invariant property smplace_13002 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_13002,648,5.20004,91272,2,559,409,150090,100,0,2327,21056,0
Invariant property smplace_13005 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_13005,216,5.20204,91272,2,557,409,150090,101,0,2329,21056,0
Invariant property smplace_13060 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_13060,881280,5.20378,91272,2,611,409,150090,102,0,2331,21056,0
Invariant property smplace_13061 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_13061,2.64384e+06,5.20547,91272,2,615,409,150090,103,0,2333,21056,0
Invariant property smplace_13113 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_13113,2.23988e+07,5.20711,91272,2,645,409,150090,104,0,2335,21056,0
Invariant property smplace_13116 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_13116,7.46626e+06,5.20878,91272,2,631,409,150090,105,0,2337,21056,0
Invariant property smplace_13170 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_13170,6.24244e+07,5.21057,91272,2,681,409,150090,106,0,2339,21056,0
Invariant property smplace_13172 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_13172,1.87273e+08,5.21271,91272,2,685,409,150090,107,0,2341,21056,0
Invariant property smplace_13224 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_13224,1.54829e+09,5.21489,91272,2,784,409,150090,108,0,2343,21056,0
Invariant property smplace_13226 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_13226,5.16097e+08,5.2171,91272,2,770,409,150090,109,0,2345,21056,0
Invariant property smplace_13279 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_13279,4.22568e+09,5.21929,91272,2,952,409,150090,110,0,2347,21056,0
Invariant property smplace_13280 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_13280,1.2677e+10,5.22128,91272,2,954,409,150090,111,0,2349,21056,0
Invariant property smplace_13799 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_13799,1.03719e+18,5.22328,91272,2,1320,409,150090,112,0,2351,21056,0
Invariant property smplace_13802 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_13802,3.4573e+17,5.22526,91272,2,1318,409,150090,113,0,2353,21056,0
Invariant property smplace_13878 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_13878,3.52092e+120,5.22964,91272,2,6435,409,150090,114,0,2355,21056,0
Invariant property smplace_13879 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_13879,1.17364e+120,5.23472,91272,2,6433,409,150090,115,0,2357,21056,0
Invariant property smplace_13938 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_13938,5.1752e+67,5.23942,91272,2,5655,409,150090,116,0,2359,21056,0
Invariant property smplace_13939 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_13939,3.06225e+65,5.2446,91272,2,5601,409,150090,117,0,2361,21056,0
Invariant property smplace_13942 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_13942,5.10375e+64,5.24987,91272,2,5598,409,150090,118,0,2363,21056,0
Invariant property smplace_13945 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_13945,5.10375e+64,5.25431,91272,2,5598,409,150090,119,0,2365,21056,0
Invariant property smplace_14000 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_14000,3.06225e+65,5.25945,91272,2,5601,409,150090,120,0,2367,21056,0
Invariant property smplace_14004 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_14004,3.06225e+65,5.26432,91272,2,5601,409,150090,121,0,2369,21056,0
Invariant property smplace_14057 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_14057,9.18675e+65,5.26905,91272,2,5605,409,150090,122,0,2371,21056,0
Invariant property smplace_14059 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_14059,3.06225e+65,5.27407,91272,2,5601,409,150090,123,0,2373,21056,0
Invariant property smplace_14079 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_14079,2.07438e+18,5.27733,91272,2,1321,409,150090,124,0,2375,21056,0
Invariant property smplace_14080 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_14080,6.22314e+18,5.28013,91272,2,1323,409,150090,125,0,2377,21056,0
Invariant property smplace_14107 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_14107,3.74819e+69,5.28453,91272,2,5673,409,150090,126,0,2379,21056,0
Invariant property smplace_14109 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_14109,1.2494e+69,5.28955,91272,2,5671,409,150090,127,0,2381,21056,0
Invariant property smplace_14167 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_14167,3.17549e+70,5.2948,91272,2,5689,409,150090,128,0,2383,21056,0
Invariant property smplace_14170 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_14170,1.0585e+70,5.29956,91272,2,5687,409,150090,129,0,2385,21056,0
Invariant property smplace_14220 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_14220,3.6224e+80,5.30508,91272,2,5969,409,150090,130,0,2387,21056,0
Invariant property smplace_14227 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_14227,1.20747e+80,5.31029,91272,2,5963,409,150090,131,0,2389,21056,0
Invariant property smplace_14276 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_14276,2.65499e+71,5.31516,91272,2,5722,409,150090,132,0,2391,21056,0
Invariant property smplace_14277 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_14277,8.84996e+70,5.32041,91272,2,5720,409,150090,133,0,2393,21056,0
Invariant property smplace_14337 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_14337,1.31701e+73,5.32543,91272,2,5801,409,150090,134,0,2395,21056,0
Invariant property smplace_14338 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_14338,4.39005e+72,5.33043,91272,2,5789,409,150090,135,0,2397,21056,0
Invariant property smplace_14424 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_14424,3.73388e+19,5.33375,91272,2,1326,409,150090,136,0,2399,21056,0
Invariant property smplace_14426 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_14426,1.24463e+19,5.33707,91272,2,1324,409,150090,137,0,2401,21056,0
Invariant property smplace_14479 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_14479,7.46777e+19,5.3398,91272,2,1327,409,150090,138,0,2403,21056,0
Invariant property smplace_14480 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_14480,2.24033e+20,5.34231,91272,2,1329,409,150090,139,0,2405,21056,0
Invariant property smplace_14676 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_14676,2.11255e+121,5.34674,91272,2,6438,409,150090,140,0,2407,21056,0
Invariant property smplace_14677 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_14677,7.04184e+120,5.35229,91272,2,6436,409,150090,141,0,2409,21056,0
Invariant property smplace_14749 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_14749,1.71074e+83,5.35745,91272,2,6289,409,150090,142,0,2411,21056,0
Invariant property smplace_14750 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_14750,5.13223e+83,5.36279,91272,2,6291,409,150090,143,0,2413,21056,0
Invariant property smplace_14813 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_14813,9.29459e+38,5.36668,91272,2,2424,409,150090,144,0,2415,21056,0
Invariant property smplace_14814 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_14814,9.29459e+38,5.37023,91272,2,2424,409,150090,145,0,2417,21056,0
Invariant property smplace_14822 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_14822,9.29459e+38,5.37333,91272,2,2424,409,150090,146,0,2419,21056,0
Invariant property smplace_14829 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_14829,9.29459e+38,5.37545,91272,2,2424,409,150090,147,0,2421,21056,0
Invariant property smplace_14883 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_14883,5.01908e+40,5.37821,91272,2,2436,409,150090,148,0,2423,21056,0
Invariant property smplace_14885 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_14885,1.50572e+41,5.38152,91272,2,2440,409,150090,149,0,2425,21056,0
Invariant property smplace_14938 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_14938,4.40564e+41,5.38469,91272,2,2457,409,150090,150,0,2427,21056,0
Invariant property smplace_14939 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_14939,1.32169e+42,5.3875,91272,2,2459,409,150090,151,0,2429,21056,0
Invariant property smplace_14993 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_14993,3.79219e+42,5.39016,91272,2,2496,409,150090,152,0,2431,21056,0
Invariant property smplace_14994 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_14994,1.13766e+43,5.39314,91272,2,2500,409,150090,153,0,2433,21056,0
Invariant property smplace_15044 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_15044,9.6383e+43,5.39656,91272,2,2590,409,150090,154,0,2435,21056,0
Invariant property smplace_15052 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_15052,3.21277e+43,5.40001,91272,2,2576,409,150090,155,0,2437,21056,0
Invariant property smplace_15105 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_15105,2.68616e+44,5.40322,91272,2,2738,409,150090,156,0,2439,21056,0
Invariant property smplace_15107 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_15107,8.05847e+44,5.40628,91272,2,2740,409,150090,157,0,2441,21056,0
Invariant property smplace_15159 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_15159,1.33248e+46,5.40957,91272,2,3040,409,150090,158,0,2443,21056,0
Invariant property smplace_15160 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_15160,3.99743e+46,5.41336,91272,2,3044,409,150090,159,0,2445,21056,0
Invariant property smplace_15213 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_15213,1.091e+47,5.41712,91272,2,3490,409,150090,160,0,2447,21056,0
Invariant property smplace_15214 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_15214,3.273e+47,5.43195,91272,2,3504,409,150090,161,0,2449,21056,0
Invariant property smplace_15557 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_15557,1.59432e+49,5.43593,91272,2,4135,409,150090,162,0,2451,21056,0
Invariant property smplace_15562 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_15562,5.31441e+48,5.4402,91272,2,4133,409,150090,163,0,2453,21056,0
Invariant property smplace_15612 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_15612,1.02645e+84,5.44559,91272,2,6292,409,150090,164,0,2455,21056,0
Invariant property smplace_15613 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_15613,3.07934e+84,5.45064,91272,2,6294,409,150090,165,0,2457,21056,0
Invariant property smplace_15905 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_15905,6.15868e+84,5.45623,91272,2,6295,409,150090,166,0,2459,21056,0
Invariant property smplace_15907 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_15907,1.8476e+85,5.46178,91272,2,6297,409,150090,167,0,2461,21056,0
Invariant property smplace_16150 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_16150,18,5.46462,91272,2,553,409,150090,168,0,2463,21056,0
Invariant property smplace_16151 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_16151,6,5.46698,91272,2,551,409,150090,169,0,2465,21056,0
Invariant property smplace_16411 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_16411,3.69521e+85,5.47178,91272,2,6298,409,150090,170,0,2467,21056,0
Invariant property smplace_16412 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_16412,1.10856e+86,5.47709,91272,2,6300,409,150090,171,0,2469,21056,0
Invariant property smplace_16660 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_16660,4.48066e+20,5.48006,91272,2,1330,409,150090,172,0,2471,21056,0
Invariant property smplace_16661 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_16661,1.3442e+21,5.48276,91272,2,1332,409,150090,173,0,2473,21056,0
Invariant property smplace_16921 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_16921,9.56593e+49,5.48682,91272,2,4138,409,150090,174,0,2475,21056,0
Invariant property smplace_16922 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_16922,3.18864e+49,5.49113,91272,2,4136,409,150090,175,0,2477,21056,0
Invariant property smplace_17157 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_17157,4.53425e+52,5.49509,91272,2,4163,409,150090,176,0,2479,21056,0
Invariant property smplace_17162 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_17162,1.51142e+52,5.49898,91272,2,4161,409,150090,177,0,2481,21056,0
Invariant property smplace_17265 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_17265,6.65137e+86,5.5044,91272,2,6303,409,150090,178,0,2483,21056,0
Invariant property smplace_17273 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_17273,2.21712e+86,5.50933,91272,2,6301,409,150090,179,0,2485,21056,0
Invariant property smplace_17281 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_17281,2.6884e+21,5.51239,91272,2,1333,409,150090,180,0,2487,21056,0
Invariant property smplace_17282 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_17282,8.06519e+21,5.51539,91272,2,1335,409,150090,181,0,2489,21056,0
Invariant property smplace_18123 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_18123,1.33027e+87,5.52086,91272,2,6304,409,150090,182,0,2491,21056,0
Invariant property smplace_18125 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_18125,3.99082e+87,5.52618,91272,2,6306,409,150090,183,0,2493,21056,0
Invariant property smplace_18178 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_18178,7.98164e+87,5.53156,91272,2,6307,409,150090,184,0,2495,21056,0
Invariant property smplace_18179 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_18179,2.39449e+88,5.53694,91272,2,6309,409,150090,185,0,2497,21056,0
Invariant property smplace_18284 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_18284,1.4367e+89,5.54211,91272,2,6312,409,150090,186,0,2499,21056,0
Invariant property smplace_18292 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_18292,4.78899e+88,5.54777,91272,2,6310,409,150090,187,0,2501,21056,0
Invariant property smplace_19725 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_19725,1.26753e+122,5.553,91272,2,6441,409,150090,188,0,2503,21056,0
Invariant property smplace_19728 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_19728,4.2251e+121,5.55803,91272,2,6439,409,150090,189,0,2505,21056,0
Invariant property smplace_20357 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_20357,9.11592e+58,5.56349,91272,2,5576,409,150090,190,0,2507,21056,0
Invariant property smplace_20362 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_20362,3.03864e+58,5.56865,91272,2,5574,409,150090,191,0,2509,21056,0
Invariant property smplace_20811 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_20811,2.87339e+89,5.57388,91272,2,6313,409,150090,192,0,2511,21056,0
Invariant property smplace_20812 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_20812,8.62017e+89,5.57961,91272,2,6315,409,150090,193,0,2513,21056,0
Invariant property smplace_21281 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_21281,1.61304e+22,5.58269,91272,2,1336,409,150090,194,0,2515,21056,0
Invariant property smplace_21282 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_21282,4.83911e+22,5.58547,91272,2,1338,409,150090,195,0,2517,21056,0
Invariant property smplace_21284 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_21284,108,5.58765,91272,2,556,409,150090,196,0,2519,21056,0
Invariant property smplace_21285 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_21285,36,5.5901,91272,2,554,409,150090,197,0,2521,21056,0
Invariant property smplace_22137 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_22137,1.72403e+90,5.59515,91272,2,6316,409,150090,198,0,2523,21056,0
Invariant property smplace_22139 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_22139,5.1721e+90,5.60019,91272,2,6318,409,150090,199,0,2525,21056,0
Invariant property smplace_22248 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_22248,7.60519e+122,5.60524,91272,2,6444,409,150090,200,0,2527,21056,0
Invariant property smplace_22250 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_22250,2.53506e+122,5.61072,91272,2,6442,409,150090,201,0,2529,21056,0
Invariant property smplace_22359 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_22359,1.03442e+91,5.61598,91272,2,6319,409,150090,202,0,2531,21056,0
Invariant property smplace_22360 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_22360,3.10326e+91,5.62115,91272,2,6321,409,150090,203,0,2533,21056,0
Invariant property smplace_22469 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_22469,1.86196e+92,5.62678,91272,2,6324,409,150090,204,0,2535,21056,0
Invariant property smplace_22475 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_22475,6.20653e+91,5.63187,91272,2,6322,409,150090,205,0,2537,21056,0
Invariant property smplace_23033 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_23033,4.56311e+123,5.63702,91272,2,6447,409,150090,206,0,2539,21056,0
Invariant property smplace_23035 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_23035,1.52104e+123,5.6425,91272,2,6445,409,150090,207,0,2541,21056,0
Invariant property smplace_23037 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_23037,1.91319e+50,5.64665,91272,2,4139,409,150090,208,0,2543,21056,0
Invariant property smplace_23038 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_23038,2.86978e+51,5.6507,91272,2,4152,409,150090,209,0,2545,21056,0
Invariant property smplace_23046 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_23046,5.73956e+50,5.65514,91272,2,4141,409,150090,210,0,2547,21056,0
Invariant property smplace_23051 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_23051,1.91319e+50,5.65923,91272,2,4139,409,150090,211,0,2549,21056,0
Invariant property smplace_23099 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_23099,2.73787e+124,5.6639,91272,2,6450,409,150090,212,0,2551,21056,0
Invariant property smplace_23100 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_23100,9.12623e+123,5.66927,91272,2,6448,409,150090,213,0,2553,21056,0
Invariant property smplace_23105 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_23105,1.91319e+50,5.67394,91272,2,4139,409,150090,214,0,2555,21056,0
Invariant property smplace_23107 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_23107,5.73956e+50,5.67828,91272,2,4141,409,150090,215,0,2557,21056,0
Invariant property smplace_23114 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_23114,5.46955e+59,5.68346,91272,2,5579,409,150090,216,0,2559,21056,0
Invariant property smplace_23117 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_23117,1.82318e+59,5.68859,91272,2,5577,409,150090,217,0,2561,21056,0
Invariant property smplace_23159 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_23159,9.0685e+52,5.69287,91272,2,4164,409,150090,218,0,2563,21056,0
Invariant property smplace_23160 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_23160,2.72055e+53,5.69729,91272,2,4168,409,150090,219,0,2565,21056,0
Invariant property smplace_23212 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_23212,7.8058e+53,5.70193,91272,2,4185,409,150090,220,0,2567,21056,0
Invariant property smplace_23213 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_23213,2.34174e+54,5.70616,91272,2,4199,409,150090,221,0,2569,21056,0
Invariant property smplace_23263 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_23263,1.64272e+125,5.71073,91272,2,6453,409,150090,222,0,2571,21056,0
Invariant property smplace_23265 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_23265,5.47574e+124,5.71608,91272,2,6451,409,150090,223,0,2573,21056,0
Invariant property smplace_23267 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_23267,1.98394e+55,5.72047,91272,2,4241,409,150090,224,0,2575,21056,0
Invariant property smplace_23273 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_23273,6.61312e+54,5.72466,91272,2,4237,409,150090,225,0,2577,21056,0
Invariant property smplace_23323 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_23323,5.52915e+55,5.72928,91272,2,4330,409,150090,226,0,2579,21056,0
Invariant property smplace_23324 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_23324,9.85632e+125,5.73459,91272,2,6456,409,150090,227,0,2581,21056,0
Invariant property smplace_23325 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_23325,1.65874e+56,5.73901,91272,2,4344,409,150090,228,0,2583,21056,0
Invariant property smplace_23326 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_23326,3.28544e+125,5.74407,91272,2,6454,409,150090,229,0,2585,21056,0
Invariant property smplace_23380 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_23380,4.57125e+56,5.74881,91272,2,4520,409,150090,230,0,2587,21056,0
Invariant property smplace_23381 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_23381,1.37137e+57,5.75325,91272,2,4524,409,150090,231,0,2589,21056,0
Invariant property smplace_23436 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_23436,3.74283e+57,5.75777,91272,2,4878,409,150090,232,0,2591,21056,0
Invariant property smplace_23437 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_23437,1.12285e+58,5.76228,91272,2,4892,409,150090,233,0,2593,21056,0
Invariant property smplace_23626 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_23626,2.90347e+23,5.76565,91272,2,1341,409,150090,234,0,2595,21056,0
Invariant property smplace_23630 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_23630,9.67823e+22,5.76858,91272,2,1339,409,150090,235,0,2597,21056,0
Invariant property smplace_23663 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_23663,5.91379e+126,5.77295,91272,2,6459,409,150090,236,0,2599,21056,0
Invariant property smplace_23665 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_23665,1.97126e+126,5.77803,91272,2,6457,409,150090,237,0,2601,21056,0
Invariant property smplace_24014 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_24014,3.54828e+127,5.78368,91272,2,6462,409,150090,238,0,2603,21056,0
Invariant property smplace_24015 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_24015,1.18276e+127,5.78868,91272,2,6460,409,150090,239,0,2605,21056,0
Invariant property smplace_24289 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_24289,2.12897e+128,5.79407,91272,2,6465,409,150090,240,0,2607,21056,0
Invariant property smplace_24292 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_24292,7.09655e+127,5.79948,91272,2,6463,409,150090,241,0,2609,21056,0
Invariant property smplace_24399 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_24399,4.25793e+128,5.80443,91272,2,6466,409,150090,242,0,2611,21056,0
Invariant property smplace_24405 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_24405,1.27738e+129,5.80981,91272,2,6468,409,150090,243,0,2613,21056,0
Invariant property smplace_24412 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_24412,3.72392e+92,5.81525,91272,2,6325,409,150090,244,0,2615,21056,0
Invariant property smplace_24413 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_24413,1.11717e+93,5.82045,91272,2,6327,409,150090,245,0,2617,21056,0
Invariant property smplace_24467 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_24467,6.70305e+93,5.82639,91272,2,6330,409,150090,246,0,2619,21056,0
Invariant property smplace_24473 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_24473,2.23435e+93,5.83181,91272,2,6328,409,150090,247,0,2621,21056,0
Invariant property smplace_24634 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_24634,1.34061e+94,5.83694,91272,2,6331,409,150090,248,0,2623,21056,0
Invariant property smplace_24635 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_24635,4.02183e+94,5.84263,91272,2,6333,409,150090,249,0,2625,21056,0
Invariant property smplace_24991 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_24991,3.28173e+60,5.84767,91272,2,5582,409,150090,250,0,2627,21056,0
Invariant property smplace_24994 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_24994,1.09391e+60,5.85317,91272,2,5580,409,150090,251,0,2629,21056,0
Invariant property smplace_25086 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_25086,2.4131e+95,5.85908,91272,2,6336,409,150090,252,0,2631,21056,0
Invariant property smplace_25092 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_25092,8.04366e+94,5.86436,91272,2,6334,409,150090,253,0,2633,21056,0
Invariant property smplace_25337 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_25337,440640,5.86812,91272,2,610,409,150090,254,0,2635,21056,0
Invariant property smplace_25340 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_25340,146880,5.87113,91272,2,608,409,150090,255,0,2637,21056,0
Invariant property smplace_25709 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_25709,7.66428e+129,5.8761,91272,2,6471,409,150090,256,0,2639,21056,0
Invariant property smplace_25710 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_25710,2.55476e+129,5.88117,91272,2,6469,409,150090,257,0,2641,21056,0
Invariant property smplace_28059 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_28059,4.59857e+130,5.88631,91272,2,6474,409,150090,258,0,2643,21056,0
Invariant property smplace_28061 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_28061,1.53286e+130,5.8956,91272,2,6472,409,150090,259,0,2645,21056,0
Invariant property smplace_28628 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_28628,2.75914e+131,5.90112,91272,2,6477,409,150090,260,0,2647,21056,0
Invariant property smplace_28629 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_28629,9.19713e+130,5.90598,91272,2,6475,409,150090,261,0,2649,21056,0
Invariant property smplace_28880 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_28880,1.02919e+11,5.90915,91272,2,1293,409,150090,262,0,2651,21056,0
Invariant property smplace_28881 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_28881,3.43064e+10,5.91231,91272,2,1291,409,150090,263,0,2653,21056,0
Invariant property smplace_28906 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_28906,1.65548e+132,5.91719,91272,2,6480,409,150090,264,0,2655,21056,0
Invariant property smplace_28908 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_28908,5.51828e+131,5.9221,91272,2,6478,409,150090,265,0,2657,21056,0
Invariant property smplace_29028 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_29028,9.9329e+132,5.92694,91272,2,6483,409,150090,266,0,2659,21056,0
Invariant property smplace_29029 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_29029,3.31097e+132,5.93228,91272,2,6481,409,150090,267,0,2661,21056,0
Invariant property smplace_29517 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_29517,1.74208e+24,5.9354,91272,2,1344,409,150090,268,0,2663,21056,0
Invariant property smplace_29521 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_29521,5.80694e+23,5.93805,91272,2,1342,409,150090,269,0,2665,21056,0
Invariant property smplace_30312 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_30312,1.96904e+61,5.94269,91272,2,5585,409,150090,270,0,2667,21056,0
Invariant property smplace_30316 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_30316,6.56346e+60,5.94809,91272,2,5583,409,150090,271,0,2669,21056,0
Invariant property smplace_30481 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_30481,1.18142e+62,5.95293,91272,2,5588,409,150090,272,0,2671,21056,0
Invariant property smplace_30483 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_30483,3.93808e+61,5.95799,91272,2,5586,409,150090,273,0,2673,21056,0
Invariant property smplace_30713 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_30713,1.04525e+25,5.96142,91272,2,1347,409,150090,274,0,2675,21056,0
Invariant property smplace_30717 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_30717,3.48416e+24,5.96447,91272,2,1345,409,150090,275,0,2677,21056,0
Invariant property smplace_31888 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_31888,1.44786e+96,5.96907,91272,2,6339,409,150090,276,0,2679,21056,0
Invariant property smplace_31894 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_31894,4.82619e+95,5.97441,91272,2,6337,409,150090,277,0,2681,21056,0
Invariant property smplace_32111 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_32111,8.68715e+96,5.9798,91272,2,6342,409,150090,278,0,2683,21056,0
Invariant property smplace_32117 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_32117,2.89572e+96,5.98491,91272,2,6340,409,150090,279,0,2685,21056,0
Invariant property smplace_32235 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_32235,1.73743e+97,5.99049,91272,2,6343,409,150090,280,0,2687,21056,0
Invariant property smplace_32236 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_32236,5.21229e+97,5.99559,91272,2,6345,409,150090,281,0,2689,21056,0
Invariant property smplace_32346 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_32346,1.04246e+98,6.00096,91272,2,6346,409,150090,282,0,2691,21056,0
Invariant property smplace_32349 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_32349,3.12737e+98,6.00663,91272,2,6348,409,150090,283,0,2693,21056,0
Invariant property smplace_33059 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_33059,2.0905e+25,6.00978,91272,2,1348,409,150090,284,0,2695,21056,0
Invariant property smplace_33060 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_33060,6.27149e+25,6.0126,91272,2,1350,409,150090,285,0,2697,21056,0
Invariant property smplace_33285 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_33285,1.2543e+26,6.01523,91272,2,1351,409,150090,286,0,2699,21056,0
Invariant property smplace_33286 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_33286,3.76289e+26,6.01809,91272,2,1353,409,150090,287,0,2701,21056,0
Invariant property smplace_33513 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_33513,7.08854e+62,6.02272,91272,2,5591,409,150090,288,0,2703,21056,0
Invariant property smplace_33516 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_33516,2.36285e+62,6.02754,91272,2,5589,409,150090,289,0,2705,21056,0
Invariant property smplace_33627 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_33627,2.25774e+27,6.03081,91272,2,1356,409,150090,290,0,2707,21056,0
Invariant property smplace_33633 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_33633,7.52579e+26,6.03384,91272,2,1354,409,150090,291,0,2709,21056,0
Invariant property smplace_34247 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_34247,1.41771e+63,6.03865,91272,2,5592,409,150090,292,0,2711,21056,0
Invariant property smplace_34249 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_34249,4.25312e+63,6.04351,91272,2,5594,409,150090,293,0,2713,21056,0
Invariant property smplace_34481 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_34481,6.25475e+98,6.04911,91272,2,6349,409,150090,294,0,2715,21056,0
Invariant property smplace_34482 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_34482,1.87642e+99,6.05454,91272,2,6351,409,150090,295,0,2717,21056,0
Invariant property smplace_34648 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_34648,1.07017e+30,6.05767,91272,2,1387,409,150090,296,0,2719,21056,0
Invariant property smplace_34654 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_34654,3.56722e+29,6.06056,91272,2,1385,409,150090,297,0,2721,21056,0
Invariant property smplace_34882 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_34882,3.2367e+34,6.06278,91272,2,1682,409,150090,298,0,2723,21056,0
Invariant property smplace_34883 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_34883,2.65013e+35,6.06599,91272,2,1978,409,150090,299,0,2725,21056,0
Invariant property smplace_35442 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_35442,1.12585e+100,6.07102,91272,2,6354,409,150090,300,0,2727,21056,0
Invariant property smplace_35450 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_35450,3.75285e+99,6.07604,91272,2,6352,409,150090,301,0,2729,21056,0
Invariant property smplace_35735 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_35735,1.29092e+37,6.07993,91272,2,2417,409,150090,302,0,2731,21056,0
Invariant property smplace_35738 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_35738,4.30305e+36,6.08379,91272,2,2415,409,150090,303,0,2733,21056,0
Invariant property smplace_36067 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_36067,7.74549e+37,6.08706,91272,2,2420,409,150090,304,0,2735,21056,0
Invariant property smplace_36073 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_36073,2.58183e+37,6.09009,91272,2,2418,409,150090,305,0,2737,21056,0
Invariant property smplace_36467 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_36467,4.6473e+38,6.09319,91272,2,2423,409,150090,306,0,2739,21056,0
Invariant property smplace_36473 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_36473,1.5491e+38,6.09666,91272,2,2421,409,150090,307,0,2741,21056,0
Invariant property smplace_36993 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_36993,8.36513e+39,6.09993,91272,2,2433,409,150090,308,0,2743,21056,0
Invariant property smplace_36995 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_36995,2.50954e+40,6.103,91272,2,2435,409,150090,309,0,2745,21056,0
Invariant property smplace_37114 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_37114,6.66238e+45,6.10622,91272,2,3039,409,150090,310,0,2747,21056,0
Invariant property smplace_37117 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_37117,2.22079e+45,6.11003,91272,2,3037,409,150090,311,0,2749,21056,0
Invariant property smplace_37980 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_37980,6.17516e+11,6.11317,91272,2,1296,409,150090,312,0,2751,21056,0
Invariant property smplace_37982 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_37982,2.05839e+11,6.11599,91272,2,1294,409,150090,313,0,2753,21056,0
Invariant property smplace_38340 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_38340,5.95974e+133,6.12028,91272,2,6486,409,150090,314,0,2755,21056,0
Invariant property smplace_38343 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_38343,1.98658e+133,6.12503,91272,2,6484,409,150090,315,0,2757,21056,0
Invariant property smplace_38410 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_38410,2.25171e+100,6.13084,91272,2,6355,409,150090,316,0,2759,21056,0
Invariant property smplace_38411 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_38411,6.75513e+100,6.13604,91272,2,6357,409,150090,317,0,2761,21056,0
Invariant property smplace_40422 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_40422,4.05308e+101,6.14141,91272,2,6360,409,150090,318,0,2763,21056,0
Invariant property smplace_40429 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_40429,1.35103e+101,6.14702,91272,2,6358,409,150090,319,0,2765,21056,0
Invariant property smplace_40484 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_40484,8.10615e+101,6.1521,91272,2,6361,409,150090,320,0,2767,21056,0
Invariant property smplace_40485 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_40485,2.43185e+102,6.15766,91272,2,6363,409,150090,321,0,2769,21056,0
Invariant property smplace_40759 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_40759,4.86369e+102,6.16336,91272,2,6364,409,150090,322,0,2771,21056,0
Invariant property smplace_40760 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_40760,1.45911e+103,6.16835,91272,2,6366,409,150090,323,0,2773,21056,0
Invariant property smplace_41665 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_41665,8.75465e+103,6.1736,91272,2,6369,409,150090,324,0,2775,21056,0
Invariant property smplace_41672 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_41672,2.91822e+103,6.17892,91272,2,6367,409,150090,325,0,2777,21056,0
Invariant property smplace_42011 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_42011,1.75093e+104,6.18398,91272,2,6370,409,150090,326,0,2779,21056,0
Invariant property smplace_42012 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_42012,5.25279e+104,6.1895,91272,2,6372,409,150090,327,0,2781,21056,0
Invariant property smplace_42357 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_42357,2.55187e+64,6.19513,91272,2,5597,409,150090,328,0,2783,21056,0
Invariant property smplace_42358 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_42358,1.05056e+105,6.20006,91272,2,6373,409,150090,329,0,2785,21056,0
Invariant property smplace_42359 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_42359,3.15167e+105,6.20537,91272,2,6375,409,150090,330,0,2787,21056,0
Invariant property smplace_42361 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_42361,8.50625e+63,6.21059,91272,2,5595,409,150090,331,0,2789,21056,0
Invariant property smplace_43586 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_43586,3.57585e+134,6.21537,91272,2,6489,409,150090,331,0,2790,21056,0
Invariant property smplace_43588 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_43588,1.19195e+134,6.22052,91272,2,6487,409,150090,332,0,2792,21056,0
Invariant property smplace_43944 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_43944,1.53112e+65,6.22599,91272,2,5600,409,150090,333,0,2794,21056,0
Invariant property smplace_43945 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_43945,5.10375e+64,6.23106,91272,2,5598,409,150090,334,0,2796,21056,0
Invariant property smplace_44127 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_44127,6.30334e+105,6.23638,91272,2,6376,409,150090,335,0,2798,21056,0
Invariant property smplace_44128 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_44128,1.891e+106,6.24193,91272,2,6378,409,150090,336,0,2800,21056,0
Invariant property smplace_44943 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_44943,3.78201e+106,6.24697,91272,2,6379,409,150090,337,0,2802,21056,0
Invariant property smplace_44944 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_44944,1.1346e+107,6.25246,91272,2,6381,409,150090,338,0,2804,21056,0
Invariant property smplace_45716 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_45716,2.2692e+107,6.25762,91272,2,6382,409,150090,339,0,2806,21056,0
Invariant property smplace_45717 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_45717,6.80761e+107,6.26264,91272,2,6384,409,150090,340,0,2808,21056,0
Invariant property smplace_45803 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_45803,1.36152e+108,6.26823,91272,2,6385,409,150090,341,0,2810,21056,0
Invariant property smplace_45804 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_45804,4.08457e+108,6.27337,91272,2,6387,409,150090,342,0,2812,21056,0
Invariant property smplace_45847 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_45847,2.45074e+109,6.27876,91272,2,6390,409,150090,343,0,2814,21056,0
Invariant property smplace_45853 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_45853,8.16913e+108,6.28427,91272,2,6388,409,150090,344,0,2816,21056,0
Invariant property smplace_46586 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_46586,6.24699e+68,6.28922,91272,2,5670,409,150090,345,0,2818,21056,0
Invariant property smplace_46589 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_46589,2.08233e+68,6.29458,91272,2,5668,409,150090,346,0,2820,21056,0
Able to resolve query StableMarking after proving 9363 properties.
FORMULA StableMarking FALSE TECHNIQUES RANDOM_WALK MARKED_SUFFIX_TEST DECISION_DIAGRAMS COLLATERAL_PROCESSING TOPOLOGICAL
BK_STOP 1653222976658
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ StableMarking = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution StableMarking -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ cut -d . -f 9
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202104292328.jar
+ VERSION=0
+ echo 'Running Version 0'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination StableMarking -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m
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="ViralEpidemic-PT-S08D1C2A04"
export BK_EXAMINATION="StableMarking"
export BK_TOOL="gold2021"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool gold2021"
echo " Input is ViralEpidemic-PT-S08D1C2A04, examination is StableMarking"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r288-smll-165307357400243"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ViralEpidemic-PT-S08D1C2A04.tgz
mv ViralEpidemic-PT-S08D1C2A04 execution
cd execution
if [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "UpperBounds" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] || [ "StableMarking" = "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 [ "StableMarking" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StableMarking" != "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 "StableMarking.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StableMarking.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StableMarking.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 [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] ; then
echo "FORMULA_NAME StableMarking"
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 ;