About the Execution of ITS-Tools.L for DLCround-PT-13b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15770.860 | 3600000.00 | 5054310.00 | 12703.30 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
/home/mcc/execution
total 2.3M
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.4K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 106 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 344 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 2.1M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool itstoolsl
Input is DLCround-PT-13b, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r069-smll-152649741900153
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME DLCround-PT-13b-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1527300997808
Flatten gal took : 1423 ms
Constant places removed 1 places and 1 transitions.
Performed 3076 Post agglomeration using F-continuation condition.
Iterating post reduction 0 with 3077 rules applied. Total rules applied 3077 place count 5342 transition count 5650
Constant places removed 3078 places and 2 transitions.
Reduce isomorphic transitions removed 54 transitions.
Performed 40 Post agglomeration using F-continuation condition.
Iterating post reduction 1 with 3172 rules applied. Total rules applied 6249 place count 2264 transition count 5554
Constant places removed 40 places and 0 transitions.
Reduce isomorphic transitions removed 4 transitions.
Performed 4 Post agglomeration using F-continuation condition.
Iterating post reduction 2 with 48 rules applied. Total rules applied 6297 place count 2224 transition count 5546
Constant places removed 4 places and 0 transitions.
Iterating post reduction 3 with 4 rules applied. Total rules applied 6301 place count 2220 transition count 5546
Performed 4 Pre agglomeration using Quasi-Persistent + HF-interchangeable + Divergent Free condition.
Pre-agglomeration after 4 with 4 Pre rules applied. Total rules applied 6301 place count 2220 transition count 5542
Constant places removed 4 places and 0 transitions.
Iterating post reduction 4 with 4 rules applied. Total rules applied 6305 place count 2216 transition count 5542
Symmetric choice reduction at 5 with 408 rule applications. Total rules 6713 place count 2216 transition count 5542
Constant places removed 408 places and 408 transitions.
Iterating post reduction 5 with 408 rules applied. Total rules applied 7121 place count 1808 transition count 5134
Performed 42 Pre agglomeration using Quasi-Persistent + HF-interchangeable + Divergent Free condition.
Pre-agglomeration after 6 with 42 Pre rules applied. Total rules applied 7121 place count 1808 transition count 5092
Constant places removed 42 places and 0 transitions.
Iterating post reduction 6 with 42 rules applied. Total rules applied 7163 place count 1766 transition count 5092
Symmetric choice reduction at 7 with 18 rule applications. Total rules 7181 place count 1766 transition count 5092
Constant places removed 18 places and 294 transitions.
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 7 with 22 rules applied. Total rules applied 7203 place count 1748 transition count 4794
Performed 556 Post agglomeration using F-continuation condition.
Constant places removed 556 places and 0 transitions.
Iterating post reduction 8 with 556 rules applied. Total rules applied 7759 place count 1192 transition count 4224
Symmetric choice reduction at 9 with 56 rule applications. Total rules 7815 place count 1192 transition count 4224
Constant places removed 56 places and 952 transitions.
Iterating post reduction 9 with 56 rules applied. Total rules applied 7871 place count 1136 transition count 3272
Performed 44 Post agglomeration using F-continuation condition.
Constant places removed 44 places and 0 transitions.
Reduce isomorphic transitions removed 18 transitions.
Iterating post reduction 10 with 62 rules applied. Total rules applied 7933 place count 1092 transition count 3744
Applied a total of 7933 rules in 6040 ms. Remains 1092 /5343 variables (removed 4251) and now considering 3744/8727 (removed 4983) transitions.
Normalized transition count is 3559
// Phase 1: matrix 3559 rows 1092 cols
Using solver Z3 to compute partial order matrices.
Built C files in :
/home/mcc/execution
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit//lts_install_dir//include, -I., -std=c99, -fPIC, -O3, model.c], workingDir=/home/mcc/execution]
Compilation finished in 55279 ms.
Running link step : CommandLine [args=[gcc, -shared, -o, gal.so, model.o], workingDir=/home/mcc/execution]
Link finished in 87 ms.
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=1, -p, --pins-guards, --when, -d], workingDir=/home/mcc/execution]
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201805241334/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/ReachabilityDeadlock.pnml.gal, -t, CGAL, -ctl, DEADLOCK], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201805241334/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/ReachabilityDeadlock.pnml.gal -t CGAL -ctl DEADLOCK
No direction supplied, using forward translation only.
built 1 ordering constraints for composite.
built 2814 ordering constraints for composite.
built 2661 ordering constraints for composite.
built 2508 ordering constraints for composite.
built 2355 ordering constraints for composite.
built 2202 ordering constraints for composite.
built 2049 ordering constraints for composite.
built 1896 ordering constraints for composite.
built 1743 ordering constraints for composite.
built 1590 ordering constraints for composite.
built 1437 ordering constraints for composite.
built 1284 ordering constraints for composite.
built 1131 ordering constraints for composite.
built 978 ordering constraints for composite.
built 825 ordering constraints for composite.
built 672 ordering constraints for composite.
built 504 ordering constraints for composite.
built 336 ordering constraints for composite.
built 2814 ordering constraints for composite.
built 2805 ordering constraints for composite.
built 2796 ordering constraints for composite.
built 2787 ordering constraints for composite.
built 2778 ordering constraints for composite.
built 2769 ordering constraints for composite.
built 2760 ordering constraints for composite.
built 2751 ordering constraints for composite.
built 2742 ordering constraints for composite.
built 2733 ordering constraints for composite.
built 2724 ordering constraints for composite.
built 2715 ordering constraints for composite.
built 2706 ordering constraints for composite.
built 2697 ordering constraints for composite.
built 2688 ordering constraints for composite.
built 2679 ordering constraints for composite.
built 2670 ordering constraints for composite.
built 2661 ordering constraints for composite.
built 2652 ordering constraints for composite.
built 2643 ordering constraints for composite.
built 2634 ordering constraints for composite.
built 2625 ordering constraints for composite.
built 2616 ordering constraints for composite.
built 2607 ordering constraints for composite.
built 2598 ordering constraints for composite.
built 2589 ordering constraints for composite.
built 2580 ordering constraints for composite.
built 2571 ordering constraints for composite.
built 2562 ordering constraints for composite.
built 2553 ordering constraints for composite.
built 2544 ordering constraints for composite.
built 2535 ordering constraints for composite.
built 2526 ordering constraints for composite.
built 2517 ordering constraints for composite.
built 2508 ordering constraints for composite.
built 2499 ordering constraints for composite.
built 2490 ordering constraints for composite.
built 2481 ordering constraints for composite.
built 2472 ordering constraints for composite.
built 2463 ordering constraints for composite.
built 2454 ordering constraints for composite.
built 2445 ordering constraints for composite.
built 2436 ordering constraints for composite.
built 2427 ordering constraints for composite.
built 2418 ordering constraints for composite.
built 2409 ordering constraints for composite.
built 2400 ordering constraints for composite.
built 2391 ordering constraints for composite.
built 2382 ordering constraints for composite.
built 2373 ordering constraints for composite.
built 2364 ordering constraints for composite.
built 2355 ordering constraints for composite.
built 2346 ordering constraints for composite.
built 2337 ordering constraints for composite.
built 2328 ordering constraints for composite.
built 2319 ordering constraints for composite.
built 2310 ordering constraints for composite.
built 2301 ordering constraints for composite.
built 2292 ordering constraints for composite.
built 2283 ordering constraints for composite.
built 2274 ordering constraints for composite.
built 2265 ordering constraints for composite.
built 2256 ordering constraints for composite.
built 2247 ordering constraints for composite.
built 2238 ordering constraints for composite.
built 2229 ordering constraints for composite.
built 2220 ordering constraints for composite.
built 2211 ordering constraints for composite.
built 2202 ordering constraints for composite.
built 2193 ordering constraints for composite.
built 2184 ordering constraints for composite.
built 2175 ordering constraints for composite.
built 2166 ordering constraints for composite.
built 2157 ordering constraints for composite.
built 2148 ordering constraints for composite.
built 2139 ordering constraints for composite.
built 2130 ordering constraints for composite.
built 2121 ordering constraints for composite.
built 2112 ordering constraints for composite.
built 2103 ordering constraints for composite.
built 2094 ordering constraints for composite.
built 2085 ordering constraints for composite.
built 2076 ordering constraints for composite.
built 2067 ordering constraints for composite.
built 2058 ordering constraints for composite.
built 2049 ordering constraints for composite.
built 2040 ordering constraints for composite.
built 2031 ordering constraints for composite.
built 2022 ordering constraints for composite.
built 2013 ordering constraints for composite.
built 2004 ordering constraints for composite.
built 1995 ordering constraints for composite.
built 1986 ordering constraints for composite.
built 1977 ordering constraints for composite.
built 1968 ordering constraints for composite.
built 1959 ordering constraints for composite.
built 1950 ordering constraints for composite.
built 1941 ordering constraints for composite.
built 1932 ordering constraints for composite.
built 1923 ordering constraints for composite.
built 1914 ordering constraints for composite.
built 1905 ordering constraints for composite.
built 1896 ordering constraints for composite.
built 1887 ordering constraints for composite.
built 1878 ordering constraints for composite.
built 1869 ordering constraints for composite.
built 1860 ordering constraints for composite.
built 1851 ordering constraints for composite.
built 1842 ordering constraints for composite.
built 1833 ordering constraints for composite.
built 1824 ordering constraints for composite.
built 1815 ordering constraints for composite.
built 1806 ordering constraints for composite.
built 1797 ordering constraints for composite.
built 1788 ordering constraints for composite.
built 1779 ordering constraints for composite.
built 1770 ordering constraints for composite.
built 1761 ordering constraints for composite.
built 1752 ordering constraints for composite.
built 1743 ordering constraints for composite.
built 1734 ordering constraints for composite.
built 1725 ordering constraints for composite.
built 1716 ordering constraints for composite.
built 1707 ordering constraints for composite.
built 1698 ordering constraints for composite.
built 1689 ordering constraints for composite.
built 1680 ordering constraints for composite.
built 1671 ordering constraints for composite.
built 1662 ordering constraints for composite.
built 1653 ordering constraints for composite.
built 1644 ordering constraints for composite.
built 1635 ordering constraints for composite.
built 1626 ordering constraints for composite.
built 1617 ordering constraints for composite.
built 1608 ordering constraints for composite.
built 1599 ordering constraints for composite.
built 1590 ordering constraints for composite.
built 1581 ordering constraints for composite.
built 1572 ordering constraints for composite.
built 1563 ordering constraints for composite.
built 1554 ordering constraints for composite.
built 1545 ordering constraints for composite.
built 1536 ordering constraints for composite.
built 1527 ordering constraints for composite.
built 1518 ordering constraints for composite.
built 1509 ordering constraints for composite.
built 1500 ordering constraints for composite.
built 1491 ordering constraints for composite.
built 1482 ordering constraints for composite.
built 1473 ordering constraints for composite.
built 1464 ordering constraints for composite.
built 1455 ordering constraints for composite.
built 1446 ordering constraints for composite.
built 1437 ordering constraints for composite.
built 1428 ordering constraints for composite.
built 1419 ordering constraints for composite.
built 1410 ordering constraints for composite.
built 1401 ordering constraints for composite.
built 1392 ordering constraints for composite.
built 1383 ordering constraints for composite.
built 1374 ordering constraints for composite.
built 1365 ordering constraints for composite.
built 1356 ordering constraints for composite.
built 1347 ordering constraints for composite.
built 1338 ordering constraints for composite.
built 1329 ordering constraints for composite.
built 1320 ordering constraints for composite.
built 1311 ordering constraints for composite.
built 1302 ordering constraints for composite.
built 1293 ordering constraints for composite.
built 1284 ordering constraints for composite.
built 1275 ordering constraints for composite.
built 1266 ordering constraints for composite.
built 1257 ordering constraints for composite.
built 1248 ordering constraints for composite.
built 1239 ordering constraints for composite.
built 1230 ordering constraints for composite.
built 1221 ordering constraints for composite.
built 1212 ordering constraints for composite.
built 1203 ordering constraints for composite.
built 1194 ordering constraints for composite.
built 1185 ordering constraints for composite.
built 1176 ordering constraints for composite.
built 1166 ordering constraints for composite.
built 1155 ordering constraints for composite.
built 1145 ordering constraints for composite.
built 1134 ordering constraints for composite.
built 1124 ordering constraints for composite.
built 1113 ordering constraints for composite.
built 1103 ordering constraints for composite.
built 1092 ordering constraints for composite.
built 1082 ordering constraints for composite.
built 1071 ordering constraints for composite.
built 1061 ordering constraints for composite.
built 1050 ordering constraints for composite.
built 1040 ordering constraints for composite.
built 1029 ordering constraints for composite.
built 1019 ordering constraints for composite.
built 1008 ordering constraints for composite.
built 998 ordering constraints for composite.
built 987 ordering constraints for composite.
built 977 ordering constraints for composite.
built 966 ordering constraints for composite.
built 956 ordering constraints for composite.
built 945 ordering constraints for composite.
built 935 ordering constraints for composite.
built 924 ordering constraints for composite.
built 914 ordering constraints for composite.
built 903 ordering constraints for composite.
built 893 ordering constraints for composite.
built 882 ordering constraints for composite.
built 872 ordering constraints for composite.
built 861 ordering constraints for composite.
built 851 ordering constraints for composite.
built 840 ordering constraints for composite.
built 830 ordering constraints for composite.
built 819 ordering constraints for composite.
built 809 ordering constraints for composite.
built 798 ordering constraints for composite.
built 788 ordering constraints for composite.
built 777 ordering constraints for composite.
built 767 ordering constraints for composite.
built 756 ordering constraints for composite.
built 746 ordering constraints for composite.
built 735 ordering constraints for composite.
built 725 ordering constraints for composite.
built 714 ordering constraints for composite.
built 704 ordering constraints for composite.
built 693 ordering constraints for composite.
built 683 ordering constraints for composite.
built 672 ordering constraints for composite.
built 662 ordering constraints for composite.
built 651 ordering constraints for composite.
built 641 ordering constraints for composite.
built 630 ordering constraints for composite.
built 620 ordering constraints for composite.
built 609 ordering constraints for composite.
built 599 ordering constraints for composite.
built 588 ordering constraints for composite.
built 578 ordering constraints for composite.
built 567 ordering constraints for composite.
built 557 ordering constraints for composite.
built 546 ordering constraints for composite.
built 536 ordering constraints for composite.
built 525 ordering constraints for composite.
built 515 ordering constraints for composite.
built 504 ordering constraints for composite.
built 494 ordering constraints for composite.
built 483 ordering constraints for composite.
built 473 ordering constraints for composite.
built 462 ordering constraints for composite.
built 452 ordering constraints for composite.
built 441 ordering constraints for composite.
built 431 ordering constraints for composite.
built 420 ordering constraints for composite.
built 410 ordering constraints for composite.
built 399 ordering constraints for composite.
built 389 ordering constraints for composite.
built 378 ordering constraints for composite.
built 368 ordering constraints for composite.
built 357 ordering constraints for composite.
built 347 ordering constraints for composite.
built 336 ordering constraints for composite.
built 326 ordering constraints for composite.
built 315 ordering constraints for composite.
built 305 ordering constraints for composite.
built 294 ordering constraints for composite.
built 284 ordering constraints for composite.
built 273 ordering constraints for composite.
built 263 ordering constraints for composite.
built 252 ordering constraints for composite.
built 242 ordering constraints for composite.
built 231 ordering constraints for composite.
built 221 ordering constraints for composite.
built 210 ordering constraints for composite.
built 200 ordering constraints for composite.
built 189 ordering constraints for composite.
built 179 ordering constraints for composite.
built 168 ordering constraints for composite.
built 158 ordering constraints for composite.
built 147 ordering constraints for composite.
built 137 ordering constraints for composite.
built 126 ordering constraints for composite.
built 116 ordering constraints for composite.
built 105 ordering constraints for composite.
built 95 ordering constraints for composite.
built 84 ordering constraints for composite.
built 74 ordering constraints for composite.
built 63 ordering constraints for composite.
built 53 ordering constraints for composite.
built 42 ordering constraints for composite.
built 32 ordering constraints for composite.
built 21 ordering constraints for composite.
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution ReachabilityDeadlock -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -louvain -smt
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ /home/mcc/BenchKit//itstools/its-tools -consoleLog -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination ReachabilityDeadlock -z3path /home/mcc/BenchKit//z3/bin/z3 -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -louvain -smt -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss8m -Xms40m -Xmx8192m -Dfile.encoding=UTF-8 -Dosgi.requiredJavaVersion=1.6
May 26, 2018 2:16:39 AM fr.lip6.move.gal.application.Application start
INFO: Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityDeadlock, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -its, -ltsminpath, /home/mcc/BenchKit//lts_install_dir/, -louvain, -smt]
May 26, 2018 2:16:39 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
May 26, 2018 2:16:40 AM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 424 ms
May 26, 2018 2:16:40 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 5343 places.
May 26, 2018 2:16:40 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 8727 transitions.
May 26, 2018 2:16:40 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Found NUPN structural information;
May 26, 2018 2:16:42 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 1415 ms
May 26, 2018 2:16:42 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/model.pnml.simple.gal : 108 ms
May 26, 2018 2:16:43 AM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was already deterministic with 8727 transitions.
May 26, 2018 2:16:51 AM fr.lip6.move.gal.application.MccTranslator applyOrder
INFO: Applying decomposition
May 26, 2018 2:16:51 AM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was already deterministic with 3744 transitions.
May 26, 2018 2:16:51 AM fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext transform
INFO: Too many transitions (3744) to apply POR reductions. Disabling POR matrices.
May 26, 2018 2:16:51 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 386 ms
May 26, 2018 2:16:51 AM fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext transform
INFO: Built C files in 468ms conformant to PINS in folder :/home/mcc/execution
May 26, 2018 2:16:52 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 328 ms
May 26, 2018 2:16:52 AM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
May 26, 2018 2:16:52 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 320 ms
May 26, 2018 2:16:53 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting arrays to variables to allow decomposition.
May 26, 2018 2:25:19 AM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 4866 redundant transitions.
May 26, 2018 2:25:20 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/ReachabilityDeadlock.pnml.gal : 811 ms
ITS-tools command line returned an error code 134
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="DLCround-PT-13b"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="itstoolsl"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# 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
tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-13b.tgz
mv DLCround-PT-13b execution
cd execution
pwd
ls -lh
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool itstoolsl"
echo " Input is DLCround-PT-13b, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r069-smll-152649741900153"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityDeadlock" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityDeadlock" != "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 "ReachabilityDeadlock.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityDeadlock.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityDeadlock.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
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 ;