About the Execution of ITS-Tools for DatabaseWithMutex-PT-40
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 12593.460 | 638677.00 | 960674.00 | 4808.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/mcc2021-input.r071-tall-162039089200468.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is DatabaseWithMutex-PT-40, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r071-tall-162039089200468
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 115M
-rw-r--r-- 1 mcc users 6.3M May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 25M May 5 16:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.0M May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 38M May 5 16:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 908K Mar 28 16:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 2.7M Mar 28 16:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 964K Mar 28 16:01 LTLFireability.txt
-rw-r--r-- 1 mcc users 3.5M Mar 28 16:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 848K Mar 23 10:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 2.3M Mar 23 10:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 732K Mar 22 17:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 2.5M Mar 22 17:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 163K Mar 22 09:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 354K Mar 22 09:11 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 3 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 23M May 5 16:51 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 1620481930740
Running Version 0
[2021-05-08 13:52:12] [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]
[2021-05-08 13:52:12] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-08 13:52:13] [INFO ] Load time of PNML (sax parser for PT used): 893 ms
[2021-05-08 13:52:13] [INFO ] Transformed 12920 places.
[2021-05-08 13:52:13] [INFO ] Transformed 12800 transitions.
[2021-05-08 13:52:13] [INFO ] Found NUPN structural information;
[2021-05-08 13:52:13] [INFO ] Parsed PT model containing 12920 places and 12800 transitions in 1093 ms.
Structural test allowed to assert that 1640 places are NOT stable. Took 92 ms.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 5572 ms. (steps per millisecond=1 ) properties (out of 11280) seen :7277
Running SMT prover for 4003 properties.
// Phase 1: matrix 12800 rows 12920 cols
[2021-05-08 13:52:20] [INFO ] Computed 1720 place invariants in 1254 ms
[2021-05-08 13:52:45] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 4003 Parikh solutions to 1 different solutions.
Support contains 4003 out of 12920 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 12920/12920 places, 12800/12800 transitions.
Drop transitions removed 1421 transitions
Trivial Post-agglo rules discarded 1421 transitions
Performed 1421 trivial Post agglomeration. Transition count delta: 1421
Iterating post reduction 0 with 1421 rules applied. Total rules applied 1421 place count 12920 transition count 11379
Reduce places removed 1421 places and 0 transitions.
Iterating post reduction 1 with 1421 rules applied. Total rules applied 2842 place count 11499 transition count 11379
Performed 2820 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 2820 Pre rules applied. Total rules applied 2842 place count 11499 transition count 8559
Deduced a syphon composed of 2820 places in 5 ms
Reduce places removed 2820 places and 0 transitions.
Iterating global reduction 2 with 5640 rules applied. Total rules applied 8482 place count 8679 transition count 8559
Free-agglomeration rule applied 1600 times.
Iterating global reduction 2 with 1600 rules applied. Total rules applied 10082 place count 8679 transition count 6959
Reduce places removed 1600 places and 0 transitions.
Iterating post reduction 2 with 1600 rules applied. Total rules applied 11682 place count 7079 transition count 6959
Free-agglomeration rule (complex) applied 29 times.
Iterating global reduction 3 with 29 rules applied. Total rules applied 11711 place count 7079 transition count 6930
Reduce places removed 29 places and 0 transitions.
Iterating post reduction 3 with 29 rules applied. Total rules applied 11740 place count 7050 transition count 6930
Applied a total of 11740 rules in 8392 ms. Remains 7050 /12920 variables (removed 5870) and now considering 6930/12800 (removed 5870) transitions.
Finished structural reductions, in 1 iterations. Remains : 7050/12920 places, 6930/12800 transitions.
[2021-05-08 13:52:56] [INFO ] Flatten gal took : 1950 ms
[2021-05-08 13:52:58] [INFO ] Flatten gal took : 1584 ms
[2021-05-08 13:52:58] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality1483624089046507274.gal : 214 ms
[2021-05-08 13:52:58] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality14199461521582016522.prop : 15 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/ReachabilityCardinality1483624089046507274.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality14199461521582016522.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/ReachabilityCardinality1483624089046507274.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality14199461521582016522.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality14199461521582016522.prop.
Detected timeout of ITS tools.
[2021-05-08 13:53:15] [INFO ] Flatten gal took : 1515 ms
[2021-05-08 13:53:15] [INFO ] Applying decomposition
[2021-05-08 13:53:16] [INFO ] Flatten gal took : 1429 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/graph5878571897448222674.txt, -o, /tmp/graph5878571897448222674.bin, -w, /tmp/graph5878571897448222674.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/graph5878571897448222674.bin, -l, -1, -v, -w, /tmp/graph5878571897448222674.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-08 13:53:19] [INFO ] Decomposing Gal with order
[2021-05-08 13:53:19] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-08 13:53:23] [INFO ] Removed a total of 73977 redundant transitions.
[2021-05-08 13:53:24] [INFO ] Flatten gal took : 2599 ms
[2021-05-08 13:53:32] [INFO ] Fuse similar labels procedure discarded/fused a total of 296 labels/synchronizations in 6985 ms.
[2021-05-08 13:53:32] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality15420895487294370466.gal : 373 ms
[2021-05-08 13:53:32] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality4148317272974949296.prop : 7 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/ReachabilityCardinality15420895487294370466.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality4148317272974949296.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/ReachabilityCardinality15420895487294370466.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality4148317272974949296.prop --nowitness
Loading property file /tmp/ReachabilityCardinality4148317272974949296.prop.
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin10798126454124711856
[2021-05-08 13:53:47] [INFO ] Built C files in 238ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin10798126454124711856
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/ltsmin10798126454124711856]
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/ltsmin10798126454124711856] 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/ltsmin10798126454124711856] 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 136546 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=4 ) properties seen :{1=1, 2=1, 3=1, 5=1, 7=1, 8=1, 9=1, 11=1, 12=1, 13=1, 15=1, 18=1, 19=1, 21=1, 22=1, 23=1, 24=1, 26=1, 27=1, 29=1, 30=1, 31=1, 32=1, 33=1, 36=1, 37=1, 38=1, 39=1, 40=1, 41=1, 42=1, 43=1, 44=1, 46=1, 48=1, 49=1, 50=1, 51=1, 52=1, 53=1, 56=1, 57=1, 58=1, 62=1, 64=1, 66=1, 67=1, 68=1, 70=1, 71=1, 72=1, 73=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, 90=1, 91=1, 92=1, 93=1, 98=1, 99=1, 101=1, 105=1, 106=1, 107=1, 109=1, 110=1, 111=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, 127=1, 128=1, 132=1, 133=1, 134=1, 136=1, 137=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, 161=1, 162=1, 163=1, 166=1, 167=1, 168=1, 169=1, 170=1, 173=1, 175=1, 176=1, 178=1, 181=1, 183=1, 184=1, 185=1, 186=1, 187=1, 188=1, 191=1, 192=1, 193=1, 195=1, 198=1, 200=1, 201=1, 202=1, 204=1, 205=1, 207=1, 208=1, 211=1, 215=1, 216=1, 217=1, 218=1, 219=1, 220=1, 221=1, 222=1, 223=1, 224=1, 225=1, 228=1, 229=1, 230=1, 231=1, 232=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, 247=1, 248=1, 250=1, 251=1, 252=1, 253=1, 254=1, 255=1, 256=1, 257=1, 261=1, 263=1, 264=1, 265=1, 266=1, 267=1, 268=1, 269=1, 270=1, 271=1, 272=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, 293=1, 294=1, 295=1, 296=1, 297=1, 298=1, 299=1, 300=1, 301=1, 303=1, 304=1, 306=1, 307=1, 308=1, 310=1, 313=1, 314=1, 316=1, 318=1, 323=1, 327=1, 328=1, 331=1, 332=1, 333=1, 334=1, 335=1, 337=1, 338=1, 339=1, 341=1, 342=1, 343=1, 344=1, 345=1, 346=1, 347=1, 348=1, 349=1, 350=1, 352=1, 353=1, 355=1, 357=1, 358=1, 359=1, 361=1, 362=1, 363=1, 364=1, 366=1, 368=1, 369=1, 370=1, 371=1, 372=1, 373=1, 374=1, 375=1, 377=1, 379=1, 380=1, 381=1, 382=1, 384=1, 386=1, 387=1, 388=1, 389=1, 393=1, 395=1, 396=1, 397=1, 398=1, 399=1, 401=1, 402=1, 403=1, 404=1, 405=1, 406=1, 407=1, 408=1, 409=1, 412=1, 414=1, 415=1, 416=1, 418=1, 419=1, 420=1, 421=1, 422=1, 424=1, 425=1, 426=1, 427=1, 428=1, 431=1, 432=1, 434=1, 435=1, 436=1, 437=1, 438=1, 439=1, 440=1, 441=1, 443=1, 444=1, 445=1, 446=1, 447=1, 448=1, 450=1, 451=1, 452=1, 454=1, 456=1, 457=1, 459=1, 460=1, 461=1, 462=1, 463=1, 464=1, 465=1, 467=1, 469=1, 470=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, 484=1, 485=1, 486=1, 487=1, 489=1, 490=1, 492=1, 494=1, 495=1, 496=1, 497=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, 520=1, 522=1, 523=1, 524=1, 525=1, 526=1, 527=1, 528=1, 529=1, 530=1, 531=1, 533=1, 534=1, 536=1, 537=1, 538=1, 540=1, 541=1, 542=1, 543=1, 545=1, 547=1, 548=1, 551=1, 553=1, 555=1, 556=1, 558=1, 559=1, 560=1, 561=1, 562=1, 563=1, 564=1, 565=1, 566=1, 567=1, 569=1, 571=1, 572=1, 573=1, 575=1, 577=1, 578=1, 579=1, 580=1, 581=1, 582=1, 586=1, 587=1, 588=1, 589=1, 590=1, 591=1, 592=1, 593=1, 594=1, 595=1, 596=1, 597=1, 598=1, 599=1, 600=1, 601=1, 603=1, 604=1, 607=1, 608=1, 609=1, 610=1, 611=1, 612=1, 613=1, 615=1, 617=1, 618=1, 619=1, 620=1, 621=1, 622=1, 623=1, 626=1, 627=1, 628=1, 630=1, 631=1, 633=1, 634=1, 635=1, 636=1, 637=1, 639=1, 640=1, 642=1, 643=1, 644=1, 645=1, 646=1, 647=1, 649=1, 650=1, 652=1, 653=1, 654=1, 655=1, 656=1, 657=1, 658=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, 680=1, 681=1, 682=1, 683=1, 684=1, 685=1, 686=1, 687=1, 688=1, 689=1, 690=1, 691=1, 693=1, 695=1, 697=1, 698=1, 699=1, 700=1, 701=1, 702=1, 703=1, 704=1, 705=1, 706=1, 708=1, 709=1, 711=1, 713=1, 714=1, 715=1, 717=1, 718=1, 719=1, 720=1, 722=1, 723=1, 724=1, 725=1, 726=1, 727=1, 728=1, 730=1, 731=1, 732=1, 733=1, 734=1, 735=1, 736=1, 737=1, 738=1, 739=1, 740=1, 741=1, 742=1, 743=1, 744=1, 745=1, 746=1, 748=1, 749=1, 750=1, 751=1, 752=1, 753=1, 754=1, 756=1, 757=1, 758=1, 759=1, 760=1, 761=1, 762=1, 763=1, 764=1, 768=1, 769=1, 770=1, 771=1, 773=1, 774=1, 775=1, 776=1, 779=1, 780=1, 781=1, 782=1, 783=1, 785=1, 786=1, 788=1, 789=1, 790=1, 791=1, 792=1, 793=1, 794=1, 795=1, 796=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, 813=1, 816=1, 817=1, 818=1, 819=1, 820=1, 821=1, 823=1, 825=1, 826=1, 827=1, 828=1, 829=1, 831=1, 832=1, 833=1, 834=1, 836=1, 837=1, 838=1, 839=1, 840=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, 860=1, 862=1, 863=1, 864=1, 865=1, 867=1, 870=1, 871=1, 872=1, 873=1, 875=1, 877=1, 878=1, 879=1, 880=1, 881=1, 882=1, 884=1, 886=1, 887=1, 888=1, 889=1, 893=1, 895=1, 896=1, 897=1, 898=1, 899=1, 900=1, 901=1, 902=1, 903=1, 904=1, 905=1, 906=1, 907=1, 908=1, 909=1, 910=1, 912=1, 913=1, 914=1, 915=1, 916=1, 917=1, 918=1, 919=1, 921=1, 922=1, 923=1, 924=1, 925=1, 926=1, 927=1, 928=1, 929=1, 930=1, 933=1, 934=1, 935=1, 936=1, 937=1, 939=1, 940=1, 942=1, 943=1, 945=1, 946=1, 947=1, 948=1, 949=1, 951=1, 952=1, 954=1, 955=1, 956=1, 957=1, 958=1, 960=1, 962=1, 963=1, 964=1, 965=1, 966=1, 967=1, 969=1, 970=1, 971=1, 972=1, 976=1, 977=1, 978=1, 979=1, 981=1, 983=1, 984=1, 985=1, 986=1, 987=1, 988=1, 989=1, 990=1, 992=1, 993=1, 994=1, 995=1, 996=1, 997=1, 1001=1, 1002=1, 1003=1, 1005=1, 1006=1, 1007=1, 1009=1, 1011=1, 1014=1, 1015=1, 1016=1, 1017=1, 1018=1, 1019=1, 1020=1, 1023=1, 1024=1, 1025=1, 1026=1, 1027=1, 1028=1, 1029=1, 1031=1, 1032=1, 1033=1, 1034=1, 1035=1, 1036=1, 1037=1, 1039=1, 1040=1, 1041=1, 1042=1, 1043=1, 1044=1, 1045=1, 1046=1, 1047=1, 1049=1, 1050=1, 1052=1, 1054=1, 1059=1, 1060=1, 1061=1, 1062=1, 1065=1, 1067=1, 1068=1, 1070=1, 1072=1, 1075=1, 1076=1, 1077=1, 1078=1, 1079=1, 1080=1, 1081=1, 1082=1, 1083=1, 1084=1, 1085=1, 1088=1, 1091=1, 1092=1, 1093=1, 1094=1, 1096=1, 1097=1, 1098=1, 1099=1, 1101=1, 1102=1, 1105=1, 1108=1, 1109=1, 1110=1, 1111=1, 1112=1, 1113=1, 1114=1, 1115=1, 1116=1, 1118=1, 1119=1, 1120=1, 1121=1, 1122=1, 1123=1, 1124=1, 1125=1, 1126=1, 1128=1, 1129=1, 1130=1, 1131=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, 1150=1, 1151=1, 1152=1, 1153=1, 1154=1, 1155=1, 1156=1, 1158=1, 1159=1, 1160=1, 1161=1, 1163=1, 1166=1, 1167=1, 1168=1, 1171=1, 1172=1, 1173=1, 1174=1, 1175=1, 1176=1, 1177=1, 1179=1, 1180=1, 1181=1, 1182=1, 1183=1, 1184=1, 1185=1, 1186=1, 1187=1, 1188=1, 1189=1, 1190=1, 1191=1, 1192=1, 1194=1, 1195=1, 1196=1, 1197=1, 1198=1, 1201=1, 1202=1, 1204=1, 1205=1, 1206=1, 1208=1, 1209=1, 1211=1, 1212=1, 1215=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, 1229=1, 1230=1, 1231=1, 1233=1, 1234=1, 1235=1, 1236=1, 1237=1, 1238=1, 1239=1, 1240=1, 1241=1, 1242=1, 1243=1, 1244=1, 1245=1, 1247=1, 1248=1, 1249=1, 1250=1, 1251=1, 1252=1, 1253=1, 1254=1, 1255=1, 1256=1, 1257=1, 1258=1, 1261=1, 1263=1, 1264=1, 1265=1, 1268=1, 1269=1, 1271=1, 1272=1, 1273=1, 1274=1, 1275=1, 1276=1, 1277=1, 1278=1, 1279=1, 1280=1, 1281=1, 1283=1, 1285=1, 1286=1, 1287=1, 1288=1, 1290=1, 1292=1, 1293=1, 1294=1, 1295=1, 1296=1, 1298=1, 1299=1, 1300=1, 1301=1, 1302=1, 1304=1, 1306=1, 1307=1, 1309=1, 1310=1, 1311=1, 1312=1, 1313=1, 1315=1, 1316=1, 1317=1, 1318=1, 1319=1, 1321=1, 1322=1, 1323=1, 1324=1, 1325=1, 1326=1, 1327=1, 1328=1, 1329=1, 1330=1, 1331=1, 1333=1, 1334=1, 1335=1, 1336=1, 1337=1, 1338=1, 1339=1, 1340=1, 1341=1, 1342=1, 1343=1, 1344=1, 1346=1, 1347=1, 1348=1, 1349=1, 1350=1, 1351=1, 1352=1, 1353=1, 1354=1, 1355=1, 1356=1, 1357=1, 1358=1, 1359=1, 1360=1, 1361=1, 1364=1, 1365=1, 1366=1, 1368=1, 1369=1, 1370=1, 1373=1, 1374=1, 1376=1, 1379=1, 1382=1, 1384=1, 1385=1, 1386=1, 1387=1, 1388=1, 1391=1, 1392=1, 1394=1, 1395=1, 1398=1, 1399=1, 1400=1, 1402=1, 1404=1, 1405=1, 1409=1, 1410=1, 1411=1, 1412=1, 1413=1, 1414=1, 1415=1, 1416=1, 1417=1, 1418=1, 1420=1, 1421=1, 1422=1, 1423=1, 1425=1, 1428=1, 1429=1, 1430=1, 1432=1, 1434=1, 1435=1, 1436=1, 1437=1, 1438=1, 1439=1, 1440=1, 1443=1, 1444=1, 1445=1, 1446=1, 1447=1, 1449=1, 1450=1, 1452=1, 1453=1, 1454=1, 1455=1, 1456=1, 1457=1, 1458=1, 1459=1, 1460=1, 1463=1, 1464=1, 1465=1, 1467=1, 1468=1, 1471=1, 1472=1, 1473=1, 1474=1, 1477=1, 1479=1, 1480=1, 1481=1, 1483=1, 1485=1, 1486=1, 1487=1, 1488=1, 1489=1, 1490=1, 1492=1, 1493=1, 1494=1, 1495=1, 1496=1, 1497=1, 1498=1, 1499=1, 1500=1, 1502=1, 1503=1, 1506=1, 1507=1, 1508=1, 1509=1, 1510=1, 1512=1, 1513=1, 1514=1, 1516=1, 1517=1, 1519=1, 1520=1, 1522=1, 1524=1, 1525=1, 1526=1, 1527=1, 1528=1, 1529=1, 1530=1, 1531=1, 1532=1, 1533=1, 1534=1, 1535=1, 1537=1, 1541=1, 1545=1, 1546=1, 1547=1, 1548=1, 1549=1, 1550=1, 1551=1, 1552=1, 1553=1, 1554=1, 1555=1, 1557=1, 1558=1, 1559=1, 1560=1, 1561=1, 1562=1, 1564=1, 1565=1, 1566=1, 1567=1, 1569=1, 1570=1, 1572=1, 1573=1, 1575=1, 1576=1, 1578=1, 1579=1, 1580=1, 1582=1, 1583=1, 1584=1, 1586=1, 1587=1, 1590=1, 1591=1, 1592=1, 1593=1, 1594=1, 1595=1, 1596=1, 1597=1, 1598=1, 1599=1, 1600=1, 1601=1, 1602=1, 1603=1, 1604=1, 1605=1, 1606=1, 1607=1, 1608=1, 1610=1, 1611=1, 1614=1, 1616=1, 1617=1, 1618=1, 1619=1, 1621=1, 1622=1, 1624=1, 1625=1, 1626=1, 1627=1, 1628=1, 1629=1, 1630=1, 1631=1, 1633=1, 1634=1, 1636=1, 1637=1, 1640=1, 1641=1, 1642=1, 1644=1, 1646=1, 1647=1, 1648=1, 1650=1, 1651=1, 1653=1, 1655=1, 1657=1, 1658=1, 1659=1, 1660=1, 1662=1, 1663=1, 1665=1, 1667=1, 1668=1, 1669=1, 1670=1, 1672=1, 1673=1, 1674=1, 1675=1, 1676=1, 1677=1, 1678=1, 1680=1, 1682=1, 1683=1, 1684=1, 1685=1, 1686=1, 1687=1, 1688=1, 1689=1, 1690=1, 1691=1, 1693=1, 1694=1, 1695=1, 1697=1, 1698=1, 1699=1, 1700=1, 1702=1, 1703=1, 1705=1, 1706=1, 1707=1, 1708=1, 1710=1, 1712=1, 1713=1, 1714=1, 1715=1, 1717=1, 1718=1, 1719=1, 1720=1, 1721=1, 1723=1, 1724=1, 1727=1, 1730=1, 1731=1, 1735=1, 1736=1, 1737=1, 1738=1, 1739=1, 1740=1, 1742=1, 1743=1, 1744=1, 1745=1, 1746=1, 1748=1, 1749=1, 1751=1, 1752=1, 1753=1, 1754=1, 1755=1, 1756=1, 1757=1, 1759=1, 1762=1, 1763=1, 1764=1, 1766=1, 1767=1, 1768=1, 1769=1, 1772=1, 1773=1, 1774=1, 1775=1, 1777=1, 1778=1, 1779=1, 1780=1, 1782=1, 1783=1, 1784=1, 1786=1, 1788=1, 1789=1, 1790=1, 1791=1, 1792=1, 1793=1, 1794=1, 1795=1, 1796=1, 1797=1, 1798=1, 1801=1, 1802=1, 1803=1, 1804=1, 1806=1, 1807=1, 1811=1, 1812=1, 1813=1, 1814=1, 1815=1, 1817=1, 1818=1, 1820=1, 1821=1, 1822=1, 1823=1, 1824=1, 1825=1, 1826=1, 1827=1, 1828=1, 1830=1, 1833=1, 1834=1, 1836=1, 1837=1, 1838=1, 1839=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, 1856=1, 1857=1, 1859=1, 1860=1, 1861=1, 1862=1, 1863=1, 1864=1, 1866=1, 1867=1, 1869=1, 1871=1, 1872=1, 1873=1, 1876=1, 1877=1, 1878=1, 1880=1, 1881=1, 1883=1, 1887=1, 1890=1, 1891=1, 1892=1, 1894=1, 1895=1, 1897=1, 1898=1, 1900=1, 1902=1, 1903=1, 1904=1, 1905=1, 1906=1, 1907=1, 1908=1, 1910=1, 1911=1, 1912=1, 1913=1, 1914=1, 1915=1, 1916=1, 1917=1, 1919=1, 1921=1, 1922=1, 1923=1, 1925=1, 1926=1, 1927=1, 1928=1, 1929=1, 1931=1, 1934=1, 1935=1, 1936=1, 1938=1, 1939=1, 1940=1, 1944=1, 1945=1, 1946=1, 1947=1, 1948=1, 1949=1, 1951=1, 1953=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, 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, 1988=1, 1989=1, 1990=1, 1992=1, 1993=1, 1994=1, 1995=1, 1996=1, 1997=1, 1998=1, 1999=1, 2000=1, 2001=1, 2002=1, 2003=1, 2005=1, 2006=1, 2007=1, 2010=1, 2011=1, 2013=1, 2014=1, 2016=1, 2017=1, 2023=1, 2024=1, 2025=1, 2026=1, 2029=1, 2030=1, 2031=1, 2032=1, 2033=1, 2034=1, 2036=1, 2037=1, 2038=1, 2039=1, 2040=1, 2041=1, 2043=1, 2044=1, 2045=1, 2047=1, 2048=1, 2049=1, 2051=1, 2052=1, 2053=1, 2054=1, 2055=1, 2057=1, 2058=1, 2060=1, 2061=1, 2062=1, 2063=1, 2064=1, 2065=1, 2066=1, 2069=1, 2070=1, 2071=1, 2072=1, 2076=1, 2077=1, 2078=1, 2079=1, 2080=1, 2082=1, 2083=1, 2084=1, 2085=1, 2086=1, 2087=1, 2088=1, 2089=1, 2091=1, 2092=1, 2093=1, 2094=1, 2095=1, 2096=1, 2098=1, 2100=1, 2101=1, 2103=1, 2107=1, 2109=1, 2110=1, 2112=1, 2113=1, 2114=1, 2116=1, 2118=1, 2119=1, 2120=1, 2121=1, 2122=1, 2123=1, 2124=1, 2125=1, 2127=1, 2128=1, 2129=1, 2130=1, 2131=1, 2132=1, 2133=1, 2134=1, 2136=1, 2137=1, 2138=1, 2139=1, 2144=1, 2145=1, 2146=1, 2147=1, 2148=1, 2150=1, 2152=1, 2153=1, 2154=1, 2156=1, 2157=1, 2159=1, 2162=1, 2163=1, 2164=1, 2165=1, 2166=1, 2167=1, 2170=1, 2172=1, 2173=1, 2175=1, 2176=1, 2177=1, 2178=1, 2179=1, 2180=1, 2181=1, 2183=1, 2184=1, 2186=1, 2187=1, 2188=1, 2189=1, 2191=1, 2192=1, 2193=1, 2195=1, 2196=1, 2197=1, 2198=1, 2200=1, 2201=1, 2202=1, 2203=1, 2206=1, 2207=1, 2208=1, 2209=1, 2210=1, 2211=1, 2212=1, 2215=1, 2216=1, 2217=1, 2218=1, 2220=1, 2221=1, 2222=1, 2224=1, 2225=1, 2226=1, 2227=1, 2228=1, 2229=1, 2230=1, 2233=1, 2234=1, 2235=1, 2238=1, 2239=1, 2240=1, 2244=1, 2245=1, 2246=1, 2247=1, 2248=1, 2249=1, 2250=1, 2251=1, 2252=1, 2253=1, 2254=1, 2255=1, 2257=1, 2258=1, 2260=1, 2261=1, 2262=1, 2265=1, 2266=1, 2267=1, 2268=1, 2269=1, 2271=1, 2272=1, 2273=1, 2276=1, 2277=1, 2278=1, 2280=1, 2282=1, 2283=1, 2284=1, 2286=1, 2288=1, 2291=1, 2293=1, 2294=1, 2295=1, 2297=1, 2299=1, 2300=1, 2301=1, 2302=1, 2303=1, 2304=1, 2305=1, 2306=1, 2307=1, 2309=1, 2311=1, 2313=1, 2317=1, 2318=1, 2319=1, 2320=1, 2323=1, 2325=1, 2326=1, 2327=1, 2328=1, 2330=1, 2331=1, 2332=1, 2334=1, 2335=1, 2336=1, 2338=1, 2339=1, 2340=1, 2341=1, 2342=1, 2343=1, 2344=1, 2345=1, 2346=1, 2347=1, 2348=1, 2352=1, 2353=1, 2356=1, 2358=1, 2359=1, 2361=1, 2364=1, 2365=1, 2366=1, 2367=1, 2368=1, 2369=1, 2370=1, 2372=1, 2373=1, 2374=1, 2375=1, 2376=1, 2378=1, 2380=1, 2381=1, 2382=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, 2401=1, 2402=1, 2403=1, 2405=1, 2406=1, 2407=1, 2409=1, 2410=1, 2413=1, 2414=1, 2415=1, 2416=1, 2417=1, 2419=1, 2421=1, 2425=1, 2426=1, 2427=1, 2428=1, 2429=1, 2430=1, 2431=1, 2432=1, 2433=1, 2434=1, 2435=1, 2438=1, 2439=1, 2440=1, 2443=1, 2444=1, 2445=1, 2446=1, 2448=1, 2450=1, 2451=1, 2453=1, 2455=1, 2456=1, 2458=1, 2459=1, 2461=1, 2463=1, 2464=1, 2465=1, 2468=1, 2469=1, 2470=1, 2471=1, 2472=1, 2473=1, 2474=1, 2475=1, 2477=1, 2478=1, 2480=1, 2481=1, 2482=1, 2483=1, 2485=1, 2486=1, 2488=1, 2489=1, 2491=1, 2493=1, 2494=1, 2496=1, 2497=1, 2499=1, 2500=1, 2501=1, 2502=1, 2504=1, 2505=1, 2506=1, 2507=1, 2508=1, 2513=1, 2514=1, 2515=1, 2518=1, 2519=1, 2522=1, 2523=1, 2525=1, 2526=1, 2528=1, 2530=1, 2532=1, 2533=1, 2534=1, 2535=1, 2538=1, 2539=1, 2540=1, 2541=1, 2542=1, 2543=1, 2544=1, 2545=1, 2547=1, 2548=1, 2549=1, 2551=1, 2552=1, 2554=1, 2555=1, 2556=1, 2557=1, 2558=1, 2560=1, 2561=1, 2562=1, 2563=1, 2564=1, 2565=1, 2566=1, 2567=1, 2569=1, 2570=1, 2573=1, 2574=1, 2575=1, 2577=1, 2578=1, 2579=1, 2580=1, 2581=1, 2582=1, 2583=1, 2584=1, 2585=1, 2586=1, 2587=1, 2588=1, 2590=1, 2592=1, 2593=1, 2594=1, 2596=1, 2599=1, 2600=1, 2601=1, 2602=1, 2604=1, 2605=1, 2607=1, 2609=1, 2611=1, 2612=1, 2613=1, 2614=1, 2615=1, 2616=1, 2620=1, 2621=1, 2622=1, 2624=1, 2626=1, 2627=1, 2628=1, 2629=1, 2630=1, 2631=1, 2633=1, 2636=1, 2637=1, 2639=1, 2640=1, 2642=1, 2643=1, 2644=1, 2645=1, 2646=1, 2647=1, 2649=1, 2650=1, 2651=1, 2652=1, 2655=1, 2656=1, 2659=1, 2660=1, 2661=1, 2663=1, 2664=1, 2666=1, 2668=1, 2669=1, 2671=1, 2672=1, 2673=1, 2674=1, 2676=1, 2677=1, 2678=1, 2679=1, 2680=1, 2681=1, 2682=1, 2683=1, 2684=1, 2685=1, 2687=1, 2689=1, 2690=1, 2691=1, 2692=1, 2693=1, 2694=1, 2695=1, 2696=1, 2699=1, 2702=1, 2703=1, 2704=1, 2705=1, 2706=1, 2707=1, 2708=1, 2710=1, 2711=1, 2712=1, 2713=1, 2714=1, 2717=1, 2718=1, 2719=1, 2721=1, 2722=1, 2723=1, 2724=1, 2725=1, 2727=1, 2729=1, 2731=1, 2732=1, 2733=1, 2734=1, 2735=1, 2736=1, 2737=1, 2739=1, 2740=1, 2741=1, 2742=1, 2744=1, 2748=1, 2750=1, 2751=1, 2752=1, 2754=1, 2755=1, 2756=1, 2757=1, 2758=1, 2759=1, 2760=1, 2761=1, 2762=1, 2763=1, 2766=1, 2767=1, 2769=1, 2771=1, 2773=1, 2775=1, 2776=1, 2778=1, 2779=1, 2780=1, 2781=1, 2782=1, 2783=1, 2784=1, 2785=1, 2786=1, 2787=1, 2788=1, 2789=1, 2790=1, 2791=1, 2792=1, 2793=1, 2794=1, 2795=1, 2796=1, 2797=1, 2799=1, 2800=1, 2801=1, 2802=1, 2803=1, 2804=1, 2806=1, 2807=1, 2808=1, 2809=1, 2810=1, 2811=1, 2812=1, 2813=1, 2815=1, 2817=1, 2818=1, 2820=1, 2821=1, 2822=1, 2823=1, 2825=1, 2826=1, 2827=1, 2828=1, 2830=1, 2832=1, 2833=1, 2834=1, 2835=1, 2836=1, 2838=1, 2840=1, 2841=1, 2843=1, 2845=1, 2846=1, 2847=1, 2848=1, 2849=1, 2850=1, 2851=1, 2852=1, 2853=1, 2854=1, 2859=1, 2861=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, 2881=1, 2883=1, 2885=1, 2887=1, 2888=1, 2889=1, 2891=1, 2892=1, 2893=1, 2894=1, 2895=1, 2896=1, 2897=1, 2898=1, 2899=1, 2901=1, 2902=1, 2905=1, 2906=1, 2908=1, 2909=1, 2910=1, 2911=1, 2914=1, 2917=1, 2918=1, 2919=1, 2920=1, 2922=1, 2923=1, 2924=1, 2928=1, 2929=1, 2931=1, 2935=1, 2936=1, 2937=1, 2939=1, 2940=1, 2941=1, 2942=1, 2943=1, 2944=1, 2945=1, 2949=1, 2950=1, 2951=1, 2952=1, 2953=1, 2954=1, 2955=1, 2956=1, 2957=1, 2958=1, 2961=1, 2962=1, 2963=1, 2964=1, 2965=1, 2966=1, 2967=1, 2968=1, 2969=1, 2970=1, 2971=1, 2973=1, 2976=1, 2978=1, 2980=1, 2981=1, 2982=1, 2983=1, 2985=1, 2987=1, 2988=1, 2990=1, 2991=1, 2992=1, 2993=1, 2994=1, 2997=1, 2999=1, 3000=1, 3001=1, 3002=1, 3008=1, 3009=1, 3010=1, 3011=1, 3012=1, 3013=1, 3014=1, 3015=1, 3016=1, 3018=1, 3021=1, 3022=1, 3023=1, 3024=1, 3026=1, 3027=1, 3028=1, 3029=1, 3030=1, 3032=1, 3037=1, 3038=1, 3039=1, 3040=1, 3042=1, 3044=1, 3045=1, 3046=1, 3047=1, 3049=1, 3050=1, 3053=1, 3054=1, 3055=1, 3056=1, 3058=1, 3059=1, 3060=1, 3061=1, 3062=1, 3066=1, 3067=1, 3069=1, 3070=1, 3071=1, 3072=1, 3073=1, 3075=1, 3076=1, 3078=1, 3081=1, 3082=1, 3083=1, 3084=1, 3085=1, 3087=1, 3088=1, 3091=1, 3093=1, 3094=1, 3096=1, 3097=1, 3100=1, 3101=1, 3102=1, 3103=1, 3104=1, 3105=1, 3106=1, 3107=1, 3110=1, 3111=1, 3112=1, 3113=1, 3114=1, 3115=1, 3116=1, 3117=1, 3118=1, 3119=1, 3121=1, 3122=1, 3123=1, 3124=1, 3125=1, 3126=1, 3127=1, 3128=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, 3147=1, 3149=1, 3150=1, 3151=1, 3152=1, 3154=1, 3155=1, 3156=1, 3157=1, 3158=1, 3159=1, 3160=1, 3161=1, 3162=1, 3163=1, 3164=1, 3166=1, 3167=1, 3170=1, 3171=1, 3172=1, 3175=1, 3176=1, 3178=1, 3179=1, 3180=1, 3181=1, 3182=1, 3183=1, 3184=1, 3185=1, 3186=1, 3188=1, 3190=1, 3191=1, 3192=1, 3194=1, 3195=1, 3196=1, 3197=1, 3200=1, 3202=1, 3203=1, 3204=1, 3205=1, 3206=1, 3207=1, 3209=1, 3210=1, 3211=1, 3213=1, 3214=1, 3216=1, 3218=1, 3219=1, 3220=1, 3222=1, 3223=1, 3226=1, 3228=1, 3230=1, 3232=1, 3233=1, 3234=1, 3235=1, 3239=1, 3240=1, 3241=1, 3242=1, 3243=1, 3244=1, 3248=1, 3249=1, 3250=1, 3251=1, 3252=1, 3253=1, 3254=1, 3257=1, 3258=1, 3259=1, 3261=1, 3262=1, 3264=1, 3266=1, 3268=1, 3270=1, 3271=1, 3273=1, 3274=1, 3275=1, 3277=1, 3278=1, 3279=1, 3280=1, 3281=1, 3282=1, 3284=1, 3285=1, 3290=1, 3291=1, 3292=1, 3293=1, 3294=1, 3296=1, 3297=1, 3298=1, 3299=1, 3300=1, 3301=1, 3302=1, 3303=1, 3304=1, 3305=1, 3306=1, 3307=1, 3308=1, 3309=1, 3310=1, 3311=1, 3313=1, 3315=1, 3316=1, 3317=1, 3318=1, 3319=1, 3320=1, 3322=1, 3323=1, 3324=1, 3326=1, 3328=1, 3329=1, 3330=1, 3332=1, 3333=1, 3335=1, 3336=1, 3337=1, 3339=1, 3341=1, 3342=1, 3343=1, 3344=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, 3361=1, 3362=1, 3363=1, 3364=1, 3365=1, 3367=1, 3368=1, 3370=1, 3371=1, 3372=1, 3373=1, 3374=1, 3375=1, 3376=1, 3377=1, 3378=1, 3379=1, 3380=1, 3381=1, 3383=1, 3384=1, 3385=1, 3386=1, 3390=1, 3391=1, 3392=1, 3393=1, 3394=1, 3396=1, 3397=1, 3398=1, 3400=1, 3401=1, 3402=1, 3403=1, 3404=1, 3405=1, 3406=1, 3407=1, 3408=1, 3409=1, 3410=1, 3412=1, 3413=1, 3414=1, 3415=1, 3416=1, 3417=1, 3419=1, 3420=1, 3422=1, 3423=1, 3425=1, 3427=1, 3430=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, 3449=1, 3450=1, 3452=1, 3454=1, 3460=1, 3461=1, 3462=1, 3464=1, 3465=1, 3466=1, 3467=1, 3469=1, 3470=1, 3471=1, 3472=1, 3473=1, 3474=1, 3475=1, 3476=1, 3477=1, 3478=1, 3480=1, 3482=1, 3483=1, 3484=1, 3486=1, 3488=1, 3489=1, 3490=1, 3491=1, 3492=1, 3494=1, 3495=1, 3496=1, 3499=1, 3501=1, 3502=1, 3503=1, 3504=1, 3505=1, 3506=1, 3507=1, 3513=1, 3515=1, 3516=1, 3518=1, 3519=1, 3520=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, 3537=1, 3538=1, 3539=1, 3540=1, 3541=1, 3542=1, 3543=1, 3544=1, 3545=1, 3546=1, 3549=1, 3553=1, 3555=1, 3557=1, 3558=1, 3560=1, 3561=1, 3562=1, 3563=1, 3565=1, 3566=1, 3567=1, 3568=1, 3569=1, 3570=1, 3571=1, 3572=1, 3573=1, 3574=1, 3575=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, 3590=1, 3591=1, 3592=1, 3593=1, 3594=1, 3596=1, 3597=1, 3598=1, 3599=1, 3600=1, 3602=1, 3603=1, 3604=1, 3605=1, 3607=1, 3608=1, 3609=1, 3610=1, 3611=1, 3612=1, 3618=1, 3619=1, 3620=1, 3623=1, 3625=1, 3626=1, 3627=1, 3628=1, 3630=1, 3631=1, 3632=1, 3633=1, 3634=1, 3635=1, 3639=1, 3640=1, 3641=1, 3642=1, 3643=1, 3644=1, 3645=1, 3646=1, 3648=1, 3649=1, 3650=1, 3651=1, 3653=1, 3654=1, 3655=1, 3656=1, 3657=1, 3658=1, 3659=1, 3660=1, 3661=1, 3662=1, 3664=1, 3665=1, 3666=1, 3667=1, 3669=1, 3670=1, 3671=1, 3672=1, 3674=1, 3675=1, 3677=1, 3678=1, 3680=1, 3683=1, 3684=1, 3685=1, 3688=1, 3690=1, 3691=1, 3692=1, 3693=1, 3694=1, 3695=1, 3697=1, 3698=1, 3701=1, 3704=1, 3706=1, 3708=1, 3709=1, 3710=1, 3712=1, 3714=1, 3715=1, 3717=1, 3718=1, 3719=1, 3720=1, 3721=1, 3722=1, 3723=1, 3724=1, 3725=1, 3727=1, 3728=1, 3729=1, 3730=1, 3733=1, 3734=1, 3736=1, 3737=1, 3738=1, 3739=1, 3741=1, 3742=1, 3743=1, 3745=1, 3747=1, 3748=1, 3749=1, 3750=1, 3752=1, 3753=1, 3755=1, 3757=1, 3758=1, 3759=1, 3760=1, 3763=1, 3765=1, 3766=1, 3768=1, 3769=1, 3770=1, 3772=1, 3774=1, 3776=1, 3777=1, 3778=1, 3780=1, 3782=1, 3784=1, 3785=1, 3787=1, 3791=1, 3793=1, 3796=1, 3797=1, 3798=1, 3799=1, 3800=1, 3801=1, 3805=1, 3806=1, 3809=1, 3810=1, 3811=1, 3813=1, 3814=1, 3815=1, 3816=1, 3819=1, 3820=1, 3823=1, 3824=1, 3826=1, 3827=1, 3829=1, 3830=1, 3834=1, 3835=1, 3836=1, 3839=1, 3841=1, 3843=1, 3844=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, 3860=1, 3861=1, 3862=1, 3863=1, 3864=1, 3865=1, 3867=1, 3869=1, 3870=1, 3871=1, 3872=1, 3874=1, 3876=1, 3877=1, 3878=1, 3879=1, 3881=1, 3882=1, 3883=1, 3884=1, 3886=1, 3888=1, 3889=1, 3891=1, 3892=1, 3895=1, 3896=1, 3897=1, 3900=1, 3901=1, 3903=1, 3904=1, 3905=1, 3907=1, 3908=1, 3909=1, 3911=1, 3913=1, 3914=1, 3916=1, 3918=1, 3919=1, 3921=1, 3922=1, 3924=1, 3925=1, 3926=1, 3927=1, 3928=1, 3930=1, 3931=1, 3932=1, 3933=1, 3934=1, 3935=1, 3936=1, 3941=1, 3942=1, 3944=1, 3946=1, 3947=1, 3948=1, 3949=1, 3951=1, 3952=1, 3953=1, 3955=1, 3956=1, 3958=1, 3960=1, 3961=1, 3962=1, 3963=1, 3964=1, 3965=1, 3967=1, 3968=1, 3969=1, 3970=1, 3972=1, 3973=1, 3974=1, 3975=1, 3976=1, 3977=1, 3979=1, 3980=1, 3981=1, 3982=1, 3983=1, 3986=1, 3987=1, 3988=1, 3989=1, 3990=1, 3991=1, 3992=1, 3993=1, 3994=1, 3996=1, 3997=1, 3998=1, 3999=1, 4000=1, 4001=1, 4002=1}
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 1020) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 1020) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 1020) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 1020) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 1020) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 1020) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 1020) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 1020) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 1020) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 1020) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 1020) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 1020) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 1020) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 1020) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 1020) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 1020) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 1020) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 1020) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 1020) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 1020) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 1020) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 1020) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 1020) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 1020) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 1020) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 1020) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 1020) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 1020) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 1020) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 1020) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 1020) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 1020) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 1020) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 1020) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 1020) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 1020) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 1020) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 1020) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 1020) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 1020) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 1020) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 1020) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 1020) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 1020) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 1020) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 1020) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 1020) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 1020) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 1020) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 1020) seen :0
Running SMT prover for 1020 properties.
// Phase 1: matrix 6930 rows 7050 cols
[2021-05-08 13:54:19] [INFO ] Computed 1720 place invariants in 769 ms
[2021-05-08 13:55:56] [INFO ] SMT Verify possible in real domain returnedunsat :0 sat :0 real:1020
[2021-05-08 13:57:20] [INFO ] [Nat]Absence check using 84 positive place invariants in 102 ms returned sat
[2021-05-08 13:57:22] [INFO ] [Nat]Absence check using 84 positive and 1636 generalized place invariants in 1316 ms returned sat
[2021-05-08 13:59:32] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 13:59:41] [INFO ] [Nat]Absence check using state equation in 8627 ms returned unsat :0 sat :1019
Attempting to minimize the solution found.
Minimization took 3 ms.
[2021-05-08 13:59:41] [INFO ] SMT Verify possible in nat domain returned unsat :0 sat :1019
Fused 1020 Parikh solutions to 1 different solutions.
Support contains 1020 out of 7050 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 7050/7050 places, 6930/6930 transitions.
Drop transitions removed 1240 transitions
Trivial Post-agglo rules discarded 1240 transitions
Performed 1240 trivial Post agglomeration. Transition count delta: 1240
Iterating post reduction 0 with 1240 rules applied. Total rules applied 1240 place count 7050 transition count 5690
Reduce places removed 1280 places and 0 transitions.
Drop transitions removed 380 transitions
Trivial Post-agglo rules discarded 380 transitions
Performed 380 trivial Post agglomeration. Transition count delta: 380
Iterating post reduction 1 with 1660 rules applied. Total rules applied 2900 place count 5770 transition count 5310
Reduce places removed 380 places and 0 transitions.
Iterating post reduction 2 with 380 rules applied. Total rules applied 3280 place count 5390 transition count 5310
Performed 1600 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 1600 Pre rules applied. Total rules applied 3280 place count 5390 transition count 3710
Renaming transitions due to excessive name length > 1024 char.
Deduced a syphon composed of 1600 places in 3 ms
Reduce places removed 1600 places and 0 transitions.
Iterating global reduction 3 with 3200 rules applied. Total rules applied 6480 place count 3790 transition count 3710
Applied a total of 6480 rules in 133291 ms. Remains 3790 /7050 variables (removed 3260) and now considering 3710/6930 (removed 3220) transitions.
Finished structural reductions, in 1 iterations. Remains : 3790/7050 places, 3710/6930 transitions.
[2021-05-08 14:01:56] [INFO ] Flatten gal took : 1270 ms
[2021-05-08 14:01:57] [INFO ] Flatten gal took : 1198 ms
[2021-05-08 14:01:57] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality16309975162399938672.gal : 174 ms
[2021-05-08 14:01:57] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality17811400653979467264.prop : 2 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/ReachabilityCardinality16309975162399938672.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality17811400653979467264.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/ReachabilityCardinality16309975162399938672.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality17811400653979467264.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality17811400653979467264.prop.
Detected timeout of ITS tools.
[2021-05-08 14:02:13] [INFO ] Flatten gal took : 1133 ms
[2021-05-08 14:02:13] [INFO ] Applying decomposition
[2021-05-08 14:02:15] [INFO ] Flatten gal took : 1162 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/graph5683551932537405883.txt, -o, /tmp/graph5683551932537405883.bin, -w, /tmp/graph5683551932537405883.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/graph5683551932537405883.bin, -l, -1, -v, -w, /tmp/graph5683551932537405883.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-08 14:02:20] [INFO ] Decomposing Gal with order
[2021-05-08 14:02:20] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-08 14:02:22] [INFO ] Removed a total of 940 redundant transitions.
[2021-05-08 14:02:23] [INFO ] Flatten gal took : 2146 ms
[2021-05-08 14:02:23] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 14 ms.
[2021-05-08 14:02:23] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality16408846532330418296.gal : 89 ms
[2021-05-08 14:02:23] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality11407527670237331799.prop : 2 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/ReachabilityCardinality16408846532330418296.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality11407527670237331799.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/ReachabilityCardinality16408846532330418296.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality11407527670237331799.prop --nowitness
Loading property file /tmp/ReachabilityCardinality11407527670237331799.prop.
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin8263571322670446455
[2021-05-08 14:02:38] [INFO ] Built C files in 113ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin8263571322670446455
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/ltsmin8263571322670446455]
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/ltsmin8263571322670446455] 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/ltsmin8263571322670446455] 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)
Finished random walk after 19896 steps, including 0 resets, run visited all 1020 properties in 8063 ms. (steps per millisecond=2 )
Able to resolve query StableMarking after proving 11281 properties.
FORMULA StableMarking FALSE TECHNIQUES RANDOM_WALK MARKED_SUFFIX_TEST TOPOLOGICAL
BK_STOP 1620482569417
--------------------
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="DatabaseWithMutex-PT-40"
export BK_EXAMINATION="StableMarking"
export BK_TOOL="itstools"
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 itstools"
echo " Input is DatabaseWithMutex-PT-40, 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 r071-tall-162039089200468"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DatabaseWithMutex-PT-40.tgz
mv DatabaseWithMutex-PT-40 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 ;