About the Execution of M4M.full for CloudDeployment-PT-6b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15919.290 | 3600000.00 | 4623534.00 | 19696.70 | [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 5.0M
-rw-r--r-- 1 mcc users 3.1K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K 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 7.6K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 112 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 350 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 15K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 3 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 4.8M May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-full
Input is CloudDeployment-PT-6b, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r046-smll-152646362700258
=====================================================================
--------------------
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 CloudDeployment-PT-6b-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1526587753874
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Prefix is 65b80f64.
Reading known information in /usr/share/mcc4mcc/65b80f64-known.json.
Reading learned information in /usr/share/mcc4mcc/65b80f64-learned.json.
Reading value translations in /usr/share/mcc4mcc/65b80f64-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using CloudDeployment-PT-6b as instance name.
Using CloudDeployment as model name.
Using algorithm or tool bmdt.
Model characteristics are: {'Examination': 'ReachabilityDeadlock', 'Place/Transition': True, 'Colored': False, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': True, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': False, 'Source Place': True, 'Sink Place': None, 'Source Transition': False, 'Sink Transition': True, 'Loop Free': None, 'Conservative': False, 'Sub-Conservative': False, 'Nested Units': True, 'Safe': True, 'Deadlock': None, 'Reversible': None, 'Quasi Live': None, 'Live': None}.
Known tools are: [{'Time': 963, 'Memory': 129.59, 'Tool': 'lola'}, {'Time': 1355, 'Memory': 130.05, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'itstools'}].
ReachabilityDeadlock itstools CloudDeployment-PT-6b...
May 17, 2018 8:09:24 PM fr.lip6.move.gal.application.Application start
INFO: Running its-tools with arguments : [-z3path, /usr/bin/z3, -yices2path, /usr/bin/yices, -ltsminpath, /usr/bin, -smt, -its, -pnfolder, /mcc-data, -examination, ReachabilityDeadlock]
May 17, 2018 8:09:24 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /mcc-data/model.pnml
May 17, 2018 8:09:25 PM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 695 ms
May 17, 2018 8:09:25 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 1888 places.
May 17, 2018 8:09:26 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 6804 transitions.
May 17, 2018 8:09:26 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Found NUPN structural information;
May 17, 2018 8:09:30 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 3691 ms
Flatten gal took : 3696 ms
May 17, 2018 8:09:30 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /mcc-data/model.pnml.simple.gal : 223 ms
May 17, 2018 8:09:32 PM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was already deterministic with 6804 transitions.
Constant places removed 8 places and 1 transitions.
Performed 1148 Post agglomeration using F-continuation condition.
Iterating post reduction 0 with 1156 rules applied. Total rules applied 1156 place count 1880 transition count 5655
Constant places removed 1149 places and 1 transitions.
Reduce isomorphic transitions removed 18 transitions.
Performed 12 Post agglomeration using F-continuation condition.
Iterating post reduction 1 with 1179 rules applied. Total rules applied 2335 place count 731 transition count 5624
Constant places removed 12 places and 0 transitions.
Iterating post reduction 2 with 12 rules applied. Total rules applied 2347 place count 719 transition count 5624
Performed 12 Pre agglomeration using Quasi-Persistent + HF-interchangeable + Divergent Free condition.
Pre-agglomeration after 3 with 12 Pre rules applied. Total rules applied 2347 place count 719 transition count 5612
Constant places removed 12 places and 0 transitions.
Iterating post reduction 3 with 12 rules applied. Total rules applied 2359 place count 707 transition count 5612
Symmetric choice reduction at 4 with 232 rule applications. Total rules 2591 place count 707 transition count 5612
Constant places removed 232 places and 4315 transitions.
Reduce isomorphic transitions removed 30 transitions.
Iterating post reduction 4 with 262 rules applied. Total rules applied 2853 place count 475 transition count 1267
Symmetric choice reduction at 5 with 3 rule applications. Total rules 2856 place count 475 transition count 1267
Constant places removed 3 places and 3 transitions.
Iterating post reduction 5 with 3 rules applied. Total rules applied 2859 place count 472 transition count 1264
Symmetric choice reduction at 6 with 2 rule applications. Total rules 2861 place count 472 transition count 1264
Constant places removed 2 places and 2 transitions.
Iterating post reduction 6 with 2 rules applied. Total rules applied 2863 place count 470 transition count 1262
Symmetric choice reduction at 7 with 1 rule applications. Total rules 2864 place count 470 transition count 1262
Constant places removed 1 places and 1 transitions.
Iterating post reduction 7 with 1 rules applied. Total rules applied 2865 place count 469 transition count 1261
Performed 127 Post agglomeration using F-continuation condition.
Constant places removed 127 places and 0 transitions.
Iterating post reduction 8 with 127 rules applied. Total rules applied 2992 place count 342 transition count 1134
Performed 96 Post agglomeration using F-continuation condition.
Constant places removed 96 places and 0 transitions.
Reduce isomorphic transitions removed 12 transitions.
Iterating post reduction 9 with 108 rules applied. Total rules applied 3100 place count 246 transition count 3524
Applied a total of 3100 rules in 8010 ms. Remains 246 /1888 variables (removed 1642) and now considering 3524/6804 (removed 3280) transitions.
Normalized transition count is 3207
// Phase 1: matrix 3207 rows 246 cols
Using solver Z3 to compute partial order matrices.
Built C files in :
/mcc-data
May 17, 2018 8:09:41 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /mcc-data/ReachabilityDeadlock.pnml.gal : 52 ms
Invoking ITS tools like this :CommandLine [args=[/usr/share/itscl/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201804131302/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /mcc-data/ReachabilityDeadlock.pnml.gal, -t, CGAL, -ctl, DEADLOCK], workingDir=/mcc-data]
its-ctl command run as :
/usr/share/itscl/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201804131302/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /mcc-data/ReachabilityDeadlock.pnml.gal -t CGAL -ctl DEADLOCK
May 17, 2018 8:09:42 PM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was already deterministic with 3524 transitions.
No direction supplied, using forward translation only.
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
Normalized transition count is 3207
// Phase 1: matrix 3207 rows 246 cols
May 17, 2018 8:09:45 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 0 place invariants in 154 ms
May 17, 2018 8:10:06 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 246 variables to be positive in 21354 ms
May 17, 2018 8:10:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 3524 transitions.
May 17, 2018 8:10:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of disable matrix completed :0/3524 took 2 ms. Total solver calls (SAT/UNSAT): 0(0/0)
May 17, 2018 8:10:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of disable matrix completed :3077/3524 took 3003 ms. Total solver calls (SAT/UNSAT): 0(0/0)
May 17, 2018 8:10:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 3434 ms. Total solver calls (SAT/UNSAT): 0(0/0)
May 17, 2018 8:10:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 3524 transitions.
May 17, 2018 8:10:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 1989 ms. Total solver calls (SAT/UNSAT): 0(0/0)
May 17, 2018 8:10:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 3524 transitions.
May 17, 2018 8:10:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(3/3524) took 3248 ms. Total solver calls (SAT/UNSAT): 2582(2582/0)
May 17, 2018 8:10:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(11/3524) took 6251 ms. Total solver calls (SAT/UNSAT): 4639(4639/0)
May 17, 2018 8:10:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(20/3524) took 9898 ms. Total solver calls (SAT/UNSAT): 7718(7718/0)
May 17, 2018 8:10:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(31/3524) took 13330 ms. Total solver calls (SAT/UNSAT): 10807(10807/0)
May 17, 2018 8:10:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(41/3524) took 17170 ms. Total solver calls (SAT/UNSAT): 13880(13880/0)
May 17, 2018 8:10:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(47/3524) took 20592 ms. Total solver calls (SAT/UNSAT): 16919(16919/0)
May 17, 2018 8:10:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(51/3524) took 25179 ms. Total solver calls (SAT/UNSAT): 19960(19960/0)
May 17, 2018 8:10:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(55/3524) took 28475 ms. Total solver calls (SAT/UNSAT): 23003(23003/0)
May 17, 2018 8:10:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(60/3524) took 32354 ms. Total solver calls (SAT/UNSAT): 27069(27069/0)
May 17, 2018 8:10:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(65/3524) took 36236 ms. Total solver calls (SAT/UNSAT): 31136(31136/0)
May 17, 2018 8:10:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(70/3524) took 40565 ms. Total solver calls (SAT/UNSAT): 34160(34160/0)
May 17, 2018 8:10:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(73/3524) took 44796 ms. Total solver calls (SAT/UNSAT): 37163(37163/0)
May 17, 2018 8:11:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(76/3524) took 47807 ms. Total solver calls (SAT/UNSAT): 39161(39161/0)
May 17, 2018 8:11:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(85/3524) took 51808 ms. Total solver calls (SAT/UNSAT): 42577(42577/0)
May 17, 2018 8:11:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(87/3524) took 55258 ms. Total solver calls (SAT/UNSAT): 44620(44620/0)
May 17, 2018 8:11:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(90/3524) took 59931 ms. Total solver calls (SAT/UNSAT): 47645(47645/0)
May 17, 2018 8:11:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(92/3524) took 63121 ms. Total solver calls (SAT/UNSAT): 49688(49688/0)
May 17, 2018 8:11:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(98/3524) took 66969 ms. Total solver calls (SAT/UNSAT): 52757(52757/0)
May 17, 2018 8:11:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(108/3524) took 71297 ms. Total solver calls (SAT/UNSAT): 55858(55858/0)
May 17, 2018 8:11:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(111/3524) took 74867 ms. Total solver calls (SAT/UNSAT): 59184(59184/0)
May 17, 2018 8:11:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(114/3524) took 78217 ms. Total solver calls (SAT/UNSAT): 62241(62241/0)
May 17, 2018 8:11:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(117/3524) took 81426 ms. Total solver calls (SAT/UNSAT): 65563(65563/0)
May 17, 2018 8:11:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(120/3524) took 84426 ms. Total solver calls (SAT/UNSAT): 68582(68582/0)
May 17, 2018 8:11:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(123/3524) took 87721 ms. Total solver calls (SAT/UNSAT): 71633(71633/0)
May 17, 2018 8:11:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(129/3524) took 92036 ms. Total solver calls (SAT/UNSAT): 74720(74720/0)
May 17, 2018 8:11:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(135/3524) took 96470 ms. Total solver calls (SAT/UNSAT): 77756(77756/0)
May 17, 2018 8:11:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(144/3524) took 100023 ms. Total solver calls (SAT/UNSAT): 79859(79859/0)
May 17, 2018 8:11:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(146/3524) took 103308 ms. Total solver calls (SAT/UNSAT): 81892(81892/0)
May 17, 2018 8:11:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(148/3524) took 106708 ms. Total solver calls (SAT/UNSAT): 84198(84198/0)
May 17, 2018 8:12:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(151/3524) took 110401 ms. Total solver calls (SAT/UNSAT): 87249(87249/0)
May 17, 2018 8:12:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(154/3524) took 114395 ms. Total solver calls (SAT/UNSAT): 90563(90563/0)
May 17, 2018 8:12:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(157/3524) took 117732 ms. Total solver calls (SAT/UNSAT): 93868(93868/0)
May 17, 2018 8:12:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(160/3524) took 121160 ms. Total solver calls (SAT/UNSAT): 96888(96888/0)
May 17, 2018 8:12:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(163/3524) took 124302 ms. Total solver calls (SAT/UNSAT): 99917(99917/0)
May 17, 2018 8:12:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(169/3524) took 127831 ms. Total solver calls (SAT/UNSAT): 102988(102988/0)
May 17, 2018 8:12:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(175/3524) took 130991 ms. Total solver calls (SAT/UNSAT): 106047(106047/0)
May 17, 2018 8:12:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(181/3524) took 134166 ms. Total solver calls (SAT/UNSAT): 109080(109080/0)
May 17, 2018 8:12:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(183/3524) took 137378 ms. Total solver calls (SAT/UNSAT): 111077(111077/0)
May 17, 2018 8:12:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(193/3524) took 141211 ms. Total solver calls (SAT/UNSAT): 114218(114218/0)
May 17, 2018 8:12:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(196/3524) took 144464 ms. Total solver calls (SAT/UNSAT): 117536(117536/0)
May 17, 2018 8:12:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(198/3524) took 147589 ms. Total solver calls (SAT/UNSAT): 119567(119567/0)
May 17, 2018 8:12:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(201/3524) took 150811 ms. Total solver calls (SAT/UNSAT): 122876(122876/0)
May 17, 2018 8:12:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(204/3524) took 154036 ms. Total solver calls (SAT/UNSAT): 126176(126176/0)
May 17, 2018 8:12:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(207/3524) took 157151 ms. Total solver calls (SAT/UNSAT): 129197(129197/0)
May 17, 2018 8:12:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(210/3524) took 160497 ms. Total solver calls (SAT/UNSAT): 132479(132479/0)
May 17, 2018 8:12:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(213/3524) took 164048 ms. Total solver calls (SAT/UNSAT): 135486(135486/0)
May 17, 2018 8:13:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(216/3524) took 167121 ms. Total solver calls (SAT/UNSAT): 138513(138513/0)
May 17, 2018 8:13:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(222/3524) took 170169 ms. Total solver calls (SAT/UNSAT): 141564(141564/0)
May 17, 2018 8:13:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(228/3524) took 173316 ms. Total solver calls (SAT/UNSAT): 144603(144603/0)
May 17, 2018 8:13:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(234/3524) took 176418 ms. Total solver calls (SAT/UNSAT): 147630(147630/0)
May 17, 2018 8:13:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(240/3524) took 179504 ms. Total solver calls (SAT/UNSAT): 150642(150642/0)
May 17, 2018 8:13:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(250/3524) took 182848 ms. Total solver calls (SAT/UNSAT): 153764(153764/0)
May 17, 2018 8:13:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(253/3524) took 186010 ms. Total solver calls (SAT/UNSAT): 156812(156812/0)
May 17, 2018 8:13:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(256/3524) took 189374 ms. Total solver calls (SAT/UNSAT): 160122(160122/0)
May 17, 2018 8:13:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(259/3524) took 193454 ms. Total solver calls (SAT/UNSAT): 163423(163423/0)
May 17, 2018 8:13:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(261/3524) took 196589 ms. Total solver calls (SAT/UNSAT): 165440(165440/0)
May 17, 2018 8:13:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(263/3524) took 200207 ms. Total solver calls (SAT/UNSAT): 167721(167721/0)
May 17, 2018 8:13:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(265/3524) took 203650 ms. Total solver calls (SAT/UNSAT): 169730(169730/0)
May 17, 2018 8:13:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(268/3524) took 207520 ms. Total solver calls (SAT/UNSAT): 173004(173004/0)
May 17, 2018 8:13:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(271/3524) took 210679 ms. Total solver calls (SAT/UNSAT): 176269(176269/0)
May 17, 2018 8:13:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(274/3524) took 213778 ms. Total solver calls (SAT/UNSAT): 179265(179265/0)
May 17, 2018 8:13:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(277/3524) took 216847 ms. Total solver calls (SAT/UNSAT): 182278(182278/0)
May 17, 2018 8:13:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(283/3524) took 221084 ms. Total solver calls (SAT/UNSAT): 185313(185313/0)
May 17, 2018 8:13:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(289/3524) took 225262 ms. Total solver calls (SAT/UNSAT): 188336(188336/0)
May 17, 2018 8:14:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(294/3524) took 228743 ms. Total solver calls (SAT/UNSAT): 190348(190348/0)
May 17, 2018 8:14:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(296/3524) took 232096 ms. Total solver calls (SAT/UNSAT): 192345(192345/0)
May 17, 2018 8:14:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(301/3524) took 235492 ms. Total solver calls (SAT/UNSAT): 194346(194346/0)
May 17, 2018 8:14:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(306/3524) took 238855 ms. Total solver calls (SAT/UNSAT): 196343(196343/0)
May 17, 2018 8:14:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(308/3524) took 242092 ms. Total solver calls (SAT/UNSAT): 198342(198342/0)
May 17, 2018 8:14:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(317/3524) took 246815 ms. Total solver calls (SAT/UNSAT): 201722(201722/0)
May 17, 2018 8:14:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(319/3524) took 252147 ms. Total solver calls (SAT/UNSAT): 206309(206309/0)
May 17, 2018 8:14:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(321/3524) took 255657 ms. Total solver calls (SAT/UNSAT): 210892(210892/0)
May 17, 2018 8:14:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(323/3524) took 260062 ms. Total solver calls (SAT/UNSAT): 215471(215471/0)
May 17, 2018 8:14:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(325/3524) took 263506 ms. Total solver calls (SAT/UNSAT): 220046(220046/0)
May 17, 2018 8:14:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(327/3524) took 266937 ms. Total solver calls (SAT/UNSAT): 224617(224617/0)
May 17, 2018 8:14:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(329/3524) took 270343 ms. Total solver calls (SAT/UNSAT): 229184(229184/0)
May 17, 2018 8:14:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(331/3524) took 273922 ms. Total solver calls (SAT/UNSAT): 233747(233747/0)
May 17, 2018 8:14:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(333/3524) took 277494 ms. Total solver calls (SAT/UNSAT): 238306(238306/0)
May 17, 2018 8:14:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(335/3524) took 281202 ms. Total solver calls (SAT/UNSAT): 242861(242861/0)
May 17, 2018 8:14:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(337/3524) took 286346 ms. Total solver calls (SAT/UNSAT): 247412(247412/0)
May 17, 2018 8:15:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(339/3524) took 291146 ms. Total solver calls (SAT/UNSAT): 251959(251959/0)
May 17, 2018 8:15:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(341/3524) took 294506 ms. Total solver calls (SAT/UNSAT): 256502(256502/0)
May 17, 2018 8:15:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(343/3524) took 297909 ms. Total solver calls (SAT/UNSAT): 261041(261041/0)
May 17, 2018 8:15:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(345/3524) took 301678 ms. Total solver calls (SAT/UNSAT): 265576(265576/0)
May 17, 2018 8:15:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(347/3524) took 305187 ms. Total solver calls (SAT/UNSAT): 270107(270107/0)
May 17, 2018 8:15:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(349/3524) took 308694 ms. Total solver calls (SAT/UNSAT): 274634(274634/0)
May 17, 2018 8:15:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(351/3524) took 312172 ms. Total solver calls (SAT/UNSAT): 279157(279157/0)
May 17, 2018 8:15:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(356/3524) took 316048 ms. Total solver calls (SAT/UNSAT): 283405(283405/0)
May 17, 2018 8:15:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(358/3524) took 319442 ms. Total solver calls (SAT/UNSAT): 287918(287918/0)
May 17, 2018 8:15:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(360/3524) took 322986 ms. Total solver calls (SAT/UNSAT): 292427(292427/0)
May 17, 2018 8:15:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(362/3524) took 326430 ms. Total solver calls (SAT/UNSAT): 296932(296932/0)
May 17, 2018 8:15:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(364/3524) took 329876 ms. Total solver calls (SAT/UNSAT): 301433(301433/0)
May 17, 2018 8:15:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(366/3524) took 333399 ms. Total solver calls (SAT/UNSAT): 305930(305930/0)
May 17, 2018 8:15:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(368/3524) took 336836 ms. Total solver calls (SAT/UNSAT): 310423(310423/0)
May 17, 2018 8:15:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(371/3524) took 340672 ms. Total solver calls (SAT/UNSAT): 314619(314619/0)
May 17, 2018 8:15:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(373/3524) took 344178 ms. Total solver calls (SAT/UNSAT): 319102(319102/0)
May 17, 2018 8:16:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(375/3524) took 347562 ms. Total solver calls (SAT/UNSAT): 323581(323581/0)
May 17, 2018 8:16:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(377/3524) took 350973 ms. Total solver calls (SAT/UNSAT): 328056(328056/0)
May 17, 2018 8:16:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(379/3524) took 354386 ms. Total solver calls (SAT/UNSAT): 332527(332527/0)
May 17, 2018 8:16:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(381/3524) took 357806 ms. Total solver calls (SAT/UNSAT): 336994(336994/0)
May 17, 2018 8:16:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(385/3524) took 361297 ms. Total solver calls (SAT/UNSAT): 341482(341482/0)
May 17, 2018 8:16:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(387/3524) took 365029 ms. Total solver calls (SAT/UNSAT): 345941(345941/0)
May 17, 2018 8:16:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(389/3524) took 370830 ms. Total solver calls (SAT/UNSAT): 350396(350396/0)
May 17, 2018 8:16:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(391/3524) took 376467 ms. Total solver calls (SAT/UNSAT): 354847(354847/0)
May 17, 2018 8:16:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(393/3524) took 379931 ms. Total solver calls (SAT/UNSAT): 359294(359294/0)
May 17, 2018 8:16:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(395/3524) took 383183 ms. Total solver calls (SAT/UNSAT): 363737(363737/0)
May 17, 2018 8:16:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(408/3524) took 386845 ms. Total solver calls (SAT/UNSAT): 368332(368332/0)
May 17, 2018 8:16:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(410/3524) took 391830 ms. Total solver calls (SAT/UNSAT): 372773(372773/0)
May 17, 2018 8:16:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(412/3524) took 397374 ms. Total solver calls (SAT/UNSAT): 377210(377210/0)
May 17, 2018 8:16:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(414/3524) took 402324 ms. Total solver calls (SAT/UNSAT): 381643(381643/0)
May 17, 2018 8:17:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(416/3524) took 408074 ms. Total solver calls (SAT/UNSAT): 386072(386072/0)
May 17, 2018 8:17:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(418/3524) took 413949 ms. Total solver calls (SAT/UNSAT): 390497(390497/0)
May 17, 2018 8:17:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(420/3524) took 419576 ms. Total solver calls (SAT/UNSAT): 394918(394918/0)
May 17, 2018 8:17:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(422/3524) took 425326 ms. Total solver calls (SAT/UNSAT): 399335(399335/0)
May 17, 2018 8:17:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(424/3524) took 430957 ms. Total solver calls (SAT/UNSAT): 403748(403748/0)
May 17, 2018 8:17:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(426/3524) took 436578 ms. Total solver calls (SAT/UNSAT): 408154(408154/0)
May 17, 2018 8:17:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(428/3524) took 442317 ms. Total solver calls (SAT/UNSAT): 412553(412553/0)
May 17, 2018 8:17:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(430/3524) took 448008 ms. Total solver calls (SAT/UNSAT): 416948(416948/0)
May 17, 2018 8:17:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(432/3524) took 453540 ms. Total solver calls (SAT/UNSAT): 421339(421339/0)
May 17, 2018 8:17:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(434/3524) took 459203 ms. Total solver calls (SAT/UNSAT): 425726(425726/0)
May 17, 2018 8:17:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(436/3524) took 464652 ms. Total solver calls (SAT/UNSAT): 430109(430109/0)
May 17, 2018 8:18:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(438/3524) took 470077 ms. Total solver calls (SAT/UNSAT): 434488(434488/0)
May 17, 2018 8:18:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(440/3524) took 475532 ms. Total solver calls (SAT/UNSAT): 438863(438863/0)
May 17, 2018 8:18:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(442/3524) took 481295 ms. Total solver calls (SAT/UNSAT): 443234(443234/0)
May 17, 2018 8:18:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(450/3524) took 485776 ms. Total solver calls (SAT/UNSAT): 446339(446339/0)
May 17, 2018 8:18:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(452/3524) took 490158 ms. Total solver calls (SAT/UNSAT): 449434(449434/0)
May 17, 2018 8:18:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(454/3524) took 495783 ms. Total solver calls (SAT/UNSAT): 453793(453793/0)
May 17, 2018 8:18:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(456/3524) took 500490 ms. Total solver calls (SAT/UNSAT): 458148(458148/0)
May 17, 2018 8:18:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(458/3524) took 506008 ms. Total solver calls (SAT/UNSAT): 462499(462499/0)
May 17, 2018 8:18:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(460/3524) took 511564 ms. Total solver calls (SAT/UNSAT): 466846(466846/0)
May 17, 2018 8:18:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(462/3524) took 517007 ms. Total solver calls (SAT/UNSAT): 471189(471189/0)
May 17, 2018 8:18:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(466/3524) took 522611 ms. Total solver calls (SAT/UNSAT): 475553(475553/0)
May 17, 2018 8:19:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(468/3524) took 528275 ms. Total solver calls (SAT/UNSAT): 479888(479888/0)
May 17, 2018 8:19:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(470/3524) took 533466 ms. Total solver calls (SAT/UNSAT): 484219(484219/0)
May 17, 2018 8:19:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(472/3524) took 538985 ms. Total solver calls (SAT/UNSAT): 488546(488546/0)
May 17, 2018 8:19:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(474/3524) took 544317 ms. Total solver calls (SAT/UNSAT): 492869(492869/0)
May 17, 2018 8:19:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(476/3524) took 549648 ms. Total solver calls (SAT/UNSAT): 497188(497188/0)
May 17, 2018 8:19:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(482/3524) took 553415 ms. Total solver calls (SAT/UNSAT): 500241(500241/0)
May 17, 2018 8:19:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(486/3524) took 557295 ms. Total solver calls (SAT/UNSAT): 503787(503787/0)
May 17, 2018 8:19:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(488/3524) took 560660 ms. Total solver calls (SAT/UNSAT): 508090(508090/0)
May 17, 2018 8:19:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(490/3524) took 564042 ms. Total solver calls (SAT/UNSAT): 512389(512389/0)
May 17, 2018 8:19:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(492/3524) took 568489 ms. Total solver calls (SAT/UNSAT): 516684(516684/0)
May 17, 2018 8:19:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(494/3524) took 574041 ms. Total solver calls (SAT/UNSAT): 520975(520975/0)
May 17, 2018 8:19:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(496/3524) took 579459 ms. Total solver calls (SAT/UNSAT): 525262(525262/0)
May 17, 2018 8:19:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(498/3524) took 584998 ms. Total solver calls (SAT/UNSAT): 529545(529545/0)
May 17, 2018 8:20:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(500/3524) took 588927 ms. Total solver calls (SAT/UNSAT): 533824(533824/0)
May 17, 2018 8:20:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(502/3524) took 592248 ms. Total solver calls (SAT/UNSAT): 538099(538099/0)
May 17, 2018 8:20:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(504/3524) took 595557 ms. Total solver calls (SAT/UNSAT): 542370(542370/0)
May 17, 2018 8:20:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(506/3524) took 598846 ms. Total solver calls (SAT/UNSAT): 546637(546637/0)
May 17, 2018 8:20:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(508/3524) took 602101 ms. Total solver calls (SAT/UNSAT): 550900(550900/0)
May 17, 2018 8:20:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(510/3524) took 605493 ms. Total solver calls (SAT/UNSAT): 555159(555159/0)
May 17, 2018 8:20:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(512/3524) took 608816 ms. Total solver calls (SAT/UNSAT): 559414(559414/0)
May 17, 2018 8:20:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(514/3524) took 612062 ms. Total solver calls (SAT/UNSAT): 563665(563665/0)
May 17, 2018 8:20:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(516/3524) took 615354 ms. Total solver calls (SAT/UNSAT): 567912(567912/0)
May 17, 2018 8:20:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(524/3524) took 618900 ms. Total solver calls (SAT/UNSAT): 572386(572386/0)
May 17, 2018 8:20:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(526/3524) took 622234 ms. Total solver calls (SAT/UNSAT): 576625(576625/0)
May 17, 2018 8:20:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(528/3524) took 625905 ms. Total solver calls (SAT/UNSAT): 580860(580860/0)
May 17, 2018 8:20:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(530/3524) took 631114 ms. Total solver calls (SAT/UNSAT): 585091(585091/0)
May 17, 2018 8:20:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(532/3524) took 636357 ms. Total solver calls (SAT/UNSAT): 589318(589318/0)
May 17, 2018 8:20:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(534/3524) took 641498 ms. Total solver calls (SAT/UNSAT): 593541(593541/0)
May 17, 2018 8:20:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(536/3524) took 645398 ms. Total solver calls (SAT/UNSAT): 597760(597760/0)
May 17, 2018 8:21:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(538/3524) took 648568 ms. Total solver calls (SAT/UNSAT): 601975(601975/0)
May 17, 2018 8:21:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(540/3524) took 651814 ms. Total solver calls (SAT/UNSAT): 606186(606186/0)
May 17, 2018 8:21:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(542/3524) took 655171 ms. Total solver calls (SAT/UNSAT): 610393(610393/0)
May 17, 2018 8:21:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(544/3524) took 659005 ms. Total solver calls (SAT/UNSAT): 614596(614596/0)
May 17, 2018 8:21:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(546/3524) took 662295 ms. Total solver calls (SAT/UNSAT): 618795(618795/0)
May 17, 2018 8:21:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(548/3524) took 665882 ms. Total solver calls (SAT/UNSAT): 622990(622990/0)
May 17, 2018 8:21:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(550/3524) took 670201 ms. Total solver calls (SAT/UNSAT): 627181(627181/0)
May 17, 2018 8:21:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(552/3524) took 674917 ms. Total solver calls (SAT/UNSAT): 631368(631368/0)
May 17, 2018 8:21:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(554/3524) took 679659 ms. Total solver calls (SAT/UNSAT): 635551(635551/0)
May 17, 2018 8:21:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(556/3524) took 684082 ms. Total solver calls (SAT/UNSAT): 639730(639730/0)
May 17, 2018 8:21:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(558/3524) took 687921 ms. Total solver calls (SAT/UNSAT): 643905(643905/0)
May 17, 2018 8:21:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(567/3524) took 691456 ms. Total solver calls (SAT/UNSAT): 648391(648391/0)
May 17, 2018 8:21:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(569/3524) took 694834 ms. Total solver calls (SAT/UNSAT): 652558(652558/0)
May 17, 2018 8:21:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(571/3524) took 698123 ms. Total solver calls (SAT/UNSAT): 656721(656721/0)
May 17, 2018 8:21:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(573/3524) took 701350 ms. Total solver calls (SAT/UNSAT): 660880(660880/0)
May 17, 2018 8:21:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(575/3524) took 704608 ms. Total solver calls (SAT/UNSAT): 665035(665035/0)
May 17, 2018 8:22:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(577/3524) took 707962 ms. Total solver calls (SAT/UNSAT): 669186(669186/0)
May 17, 2018 8:22:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(579/3524) took 711303 ms. Total solver calls (SAT/UNSAT): 673333(673333/0)
May 17, 2018 8:22:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(581/3524) took 714576 ms. Total solver calls (SAT/UNSAT): 677476(677476/0)
May 17, 2018 8:22:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(583/3524) took 717835 ms. Total solver calls (SAT/UNSAT): 681615(681615/0)
May 17, 2018 8:22:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(585/3524) took 722233 ms. Total solver calls (SAT/UNSAT): 685750(685750/0)
May 17, 2018 8:22:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(587/3524) took 725526 ms. Total solver calls (SAT/UNSAT): 689881(689881/0)
May 17, 2018 8:22:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(589/3524) took 728752 ms. Total solver calls (SAT/UNSAT): 694008(694008/0)
May 17, 2018 8:22:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(591/3524) took 731957 ms. Total solver calls (SAT/UNSAT): 698131(698131/0)
May 17, 2018 8:22:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(593/3524) took 735183 ms. Total solver calls (SAT/UNSAT): 702250(702250/0)
May 17, 2018 8:22:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(595/3524) took 738352 ms. Total solver calls (SAT/UNSAT): 706365(706365/0)
May 17, 2018 8:22:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(597/3524) took 741550 ms. Total solver calls (SAT/UNSAT): 710476(710476/0)
May 17, 2018 8:22:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(599/3524) took 744751 ms. Total solver calls (SAT/UNSAT): 714583(714583/0)
May 17, 2018 8:22:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(601/3524) took 747983 ms. Total solver calls (SAT/UNSAT): 718686(718686/0)
May 17, 2018 8:22:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(603/3524) took 751204 ms. Total solver calls (SAT/UNSAT): 722785(722785/0)
May 17, 2018 8:22:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(605/3524) took 754423 ms. Total solver calls (SAT/UNSAT): 726880(726880/0)
May 17, 2018 8:22:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(607/3524) took 757618 ms. Total solver calls (SAT/UNSAT): 730971(730971/0)
May 17, 2018 8:22:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(611/3524) took 761148 ms. Total solver calls (SAT/UNSAT): 734101(734101/0)
May 17, 2018 8:22:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(615/3524) took 764567 ms. Total solver calls (SAT/UNSAT): 737215(737215/0)
May 17, 2018 8:23:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(617/3524) took 767763 ms. Total solver calls (SAT/UNSAT): 741286(741286/0)
May 17, 2018 8:23:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(619/3524) took 770882 ms. Total solver calls (SAT/UNSAT): 745353(745353/0)
May 17, 2018 8:23:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(621/3524) took 774024 ms. Total solver calls (SAT/UNSAT): 749416(749416/0)
May 17, 2018 8:23:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(623/3524) took 777200 ms. Total solver calls (SAT/UNSAT): 753475(753475/0)
May 17, 2018 8:23:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(625/3524) took 780306 ms. Total solver calls (SAT/UNSAT): 757530(757530/0)
May 17, 2018 8:23:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(627/3524) took 783423 ms. Total solver calls (SAT/UNSAT): 761581(761581/0)
May 17, 2018 8:23:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(629/3524) took 786582 ms. Total solver calls (SAT/UNSAT): 765628(765628/0)
May 17, 2018 8:23:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(631/3524) took 789726 ms. Total solver calls (SAT/UNSAT): 769671(769671/0)
May 17, 2018 8:23:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(633/3524) took 792864 ms. Total solver calls (SAT/UNSAT): 773710(773710/0)
May 17, 2018 8:23:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(635/3524) took 795982 ms. Total solver calls (SAT/UNSAT): 777745(777745/0)
May 17, 2018 8:23:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(637/3524) took 799136 ms. Total solver calls (SAT/UNSAT): 781776(781776/0)
May 17, 2018 8:23:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(639/3524) took 802312 ms. Total solver calls (SAT/UNSAT): 785803(785803/0)
May 17, 2018 8:23:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(641/3524) took 805669 ms. Total solver calls (SAT/UNSAT): 789826(789826/0)
May 17, 2018 8:23:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(643/3524) took 808794 ms. Total solver calls (SAT/UNSAT): 793845(793845/0)
May 17, 2018 8:23:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(645/3524) took 811930 ms. Total solver calls (SAT/UNSAT): 797860(797860/0)
May 17, 2018 8:23:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(647/3524) took 815088 ms. Total solver calls (SAT/UNSAT): 801871(801871/0)
May 17, 2018 8:23:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(649/3524) took 818219 ms. Total solver calls (SAT/UNSAT): 805878(805878/0)
May 17, 2018 8:23:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(651/3524) took 821332 ms. Total solver calls (SAT/UNSAT): 809881(809881/0)
May 17, 2018 8:23:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(653/3524) took 824435 ms. Total solver calls (SAT/UNSAT): 813880(813880/0)
May 17, 2018 8:24:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(655/3524) took 827567 ms. Total solver calls (SAT/UNSAT): 817875(817875/0)
May 17, 2018 8:24:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(657/3524) took 830666 ms. Total solver calls (SAT/UNSAT): 821866(821866/0)
May 17, 2018 8:24:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(659/3524) took 833786 ms. Total solver calls (SAT/UNSAT): 825853(825853/0)
May 17, 2018 8:24:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(661/3524) took 836896 ms. Total solver calls (SAT/UNSAT): 829836(829836/0)
May 17, 2018 8:24:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(663/3524) took 840013 ms. Total solver calls (SAT/UNSAT): 833815(833815/0)
May 17, 2018 8:24:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(706/3524) took 843028 ms. Total solver calls (SAT/UNSAT): 838717(838717/0)
May 17, 2018 8:24:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(762/3524) took 846467 ms. Total solver calls (SAT/UNSAT): 843213(843213/0)
May 17, 2018 8:24:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(765/3524) took 850549 ms. Total solver calls (SAT/UNSAT): 848212(848212/0)
May 17, 2018 8:24:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(767/3524) took 853630 ms. Total solver calls (SAT/UNSAT): 852217(852217/0)
May 17, 2018 8:24:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(769/3524) took 856716 ms. Total solver calls (SAT/UNSAT): 856218(856218/0)
May 17, 2018 8:24:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(771/3524) took 859777 ms. Total solver calls (SAT/UNSAT): 860215(860215/0)
May 17, 2018 8:24:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(773/3524) took 862960 ms. Total solver calls (SAT/UNSAT): 864208(864208/0)
May 17, 2018 8:24:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(775/3524) took 866127 ms. Total solver calls (SAT/UNSAT): 868197(868197/0)
May 17, 2018 8:24:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(778/3524) took 869809 ms. Total solver calls (SAT/UNSAT): 872141(872141/0)
May 17, 2018 8:24:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(780/3524) took 872995 ms. Total solver calls (SAT/UNSAT): 876120(876120/0)
May 17, 2018 8:24:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(782/3524) took 876134 ms. Total solver calls (SAT/UNSAT): 880095(880095/0)
May 17, 2018 8:24:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(784/3524) took 879360 ms. Total solver calls (SAT/UNSAT): 884066(884066/0)
May 17, 2018 8:24:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(786/3524) took 882557 ms. Total solver calls (SAT/UNSAT): 888033(888033/0)
May 17, 2018 8:24:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(788/3524) took 885645 ms. Total solver calls (SAT/UNSAT): 891996(891996/0)
May 17, 2018 8:25:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(792/3524) took 888778 ms. Total solver calls (SAT/UNSAT): 895980(895980/0)
May 17, 2018 8:25:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(794/3524) took 891851 ms. Total solver calls (SAT/UNSAT): 899935(899935/0)
May 17, 2018 8:25:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(796/3524) took 894930 ms. Total solver calls (SAT/UNSAT): 903886(903886/0)
May 17, 2018 8:25:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(798/3524) took 897995 ms. Total solver calls (SAT/UNSAT): 907833(907833/0)
May 17, 2018 8:25:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(800/3524) took 901030 ms. Total solver calls (SAT/UNSAT): 911776(911776/0)
May 17, 2018 8:25:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(802/3524) took 904058 ms. Total solver calls (SAT/UNSAT): 915715(915715/0)
May 17, 2018 8:25:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(815/3524) took 907290 ms. Total solver calls (SAT/UNSAT): 919806(919806/0)
May 17, 2018 8:25:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(817/3524) took 910343 ms. Total solver calls (SAT/UNSAT): 923743(923743/0)
May 17, 2018 8:25:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(819/3524) took 913421 ms. Total solver calls (SAT/UNSAT): 927676(927676/0)
May 17, 2018 8:25:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(821/3524) took 916802 ms. Total solver calls (SAT/UNSAT): 931605(931605/0)
May 17, 2018 8:25:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(823/3524) took 919857 ms. Total solver calls (SAT/UNSAT): 935530(935530/0)
May 17, 2018 8:25:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(825/3524) took 923808 ms. Total solver calls (SAT/UNSAT): 939451(939451/0)
May 17, 2018 8:25:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(827/3524) took 928101 ms. Total solver calls (SAT/UNSAT): 943368(943368/0)
May 17, 2018 8:25:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(829/3524) took 932611 ms. Total solver calls (SAT/UNSAT): 947281(947281/0)
May 17, 2018 8:25:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(831/3524) took 937629 ms. Total solver calls (SAT/UNSAT): 951190(951190/0)
May 17, 2018 8:25:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(833/3524) took 942341 ms. Total solver calls (SAT/UNSAT): 955092(955092/0)
May 17, 2018 8:26:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(835/3524) took 947412 ms. Total solver calls (SAT/UNSAT): 958987(958987/0)
May 17, 2018 8:26:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(837/3524) took 952587 ms. Total solver calls (SAT/UNSAT): 962878(962878/0)
May 17, 2018 8:26:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(839/3524) took 957250 ms. Total solver calls (SAT/UNSAT): 966765(966765/0)
May 17, 2018 8:26:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(841/3524) took 962332 ms. Total solver calls (SAT/UNSAT): 970648(970648/0)
May 17, 2018 8:26:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(843/3524) took 967267 ms. Total solver calls (SAT/UNSAT): 974527(974527/0)
May 17, 2018 8:26:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(845/3524) took 972138 ms. Total solver calls (SAT/UNSAT): 978402(978402/0)
May 17, 2018 8:26:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(847/3524) took 976786 ms. Total solver calls (SAT/UNSAT): 982273(982273/0)
May 17, 2018 8:26:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(849/3524) took 981811 ms. Total solver calls (SAT/UNSAT): 986140(986140/0)
May 17, 2018 8:26:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(857/3524) took 985668 ms. Total solver calls (SAT/UNSAT): 988993(988993/0)
May 17, 2018 8:26:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(859/3524) took 989273 ms. Total solver calls (SAT/UNSAT): 991836(991836/0)
May 17, 2018 8:26:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(861/3524) took 993375 ms. Total solver calls (SAT/UNSAT): 995691(995691/0)
May 17, 2018 8:26:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(863/3524) took 998166 ms. Total solver calls (SAT/UNSAT): 999542(999542/0)
May 17, 2018 8:26:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(865/3524) took 1003133 ms. Total solver calls (SAT/UNSAT): 1003389(1003389/0)
May 17, 2018 8:27:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(867/3524) took 1007626 ms. Total solver calls (SAT/UNSAT): 1007232(1007232/0)
May 17, 2018 8:27:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(869/3524) took 1012134 ms. Total solver calls (SAT/UNSAT): 1011071(1011071/0)
May 17, 2018 8:27:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(873/3524) took 1016610 ms. Total solver calls (SAT/UNSAT): 1014931(1014931/0)
May 17, 2018 8:27:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(875/3524) took 1021001 ms. Total solver calls (SAT/UNSAT): 1018762(1018762/0)
May 17, 2018 8:27:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(877/3524) took 1025434 ms. Total solver calls (SAT/UNSAT): 1022589(1022589/0)
May 17, 2018 8:27:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(879/3524) took 1030094 ms. Total solver calls (SAT/UNSAT): 1026412(1026412/0)
May 17, 2018 8:27:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(881/3524) took 1034281 ms. Total solver calls (SAT/UNSAT): 1030231(1030231/0)
May 17, 2018 8:27:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(883/3524) took 1038435 ms. Total solver calls (SAT/UNSAT): 1034046(1034046/0)
May 17, 2018 8:27:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(889/3524) took 1041555 ms. Total solver calls (SAT/UNSAT): 1036847(1036847/0)
May 17, 2018 8:27:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(892/3524) took 1045085 ms. Total solver calls (SAT/UNSAT): 1039508(1039508/0)
May 17, 2018 8:27:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(894/3524) took 1048129 ms. Total solver calls (SAT/UNSAT): 1042293(1042293/0)
ITS-tools command line returned an error code 137
May 17, 2018 8:28:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(896/3524) took 1079370 ms. Total solver calls (SAT/UNSAT): 1046090(1046090/0)
May 17, 2018 8:28:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(898/3524) took 1082656 ms. Total solver calls (SAT/UNSAT): 1049883(1049883/0)
May 17, 2018 8:28:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(900/3524) took 1086840 ms. Total solver calls (SAT/UNSAT): 1053672(1053672/0)
May 17, 2018 8:28:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(902/3524) took 1091420 ms. Total solver calls (SAT/UNSAT): 1057457(1057457/0)
May 17, 2018 8:28:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(904/3524) took 1095508 ms. Total solver calls (SAT/UNSAT): 1061238(1061238/0)
May 17, 2018 8:28:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(906/3524) took 1099073 ms. Total solver calls (SAT/UNSAT): 1065015(1065015/0)
May 17, 2018 8:28:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(908/3524) took 1103033 ms. Total solver calls (SAT/UNSAT): 1068788(1068788/0)
May 17, 2018 8:28:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(910/3524) took 1107588 ms. Total solver calls (SAT/UNSAT): 1072557(1072557/0)
May 17, 2018 8:28:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(912/3524) took 1112056 ms. Total solver calls (SAT/UNSAT): 1076322(1076322/0)
May 17, 2018 8:28:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(914/3524) took 1116680 ms. Total solver calls (SAT/UNSAT): 1080083(1080083/0)
May 17, 2018 8:28:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(916/3524) took 1119755 ms. Total solver calls (SAT/UNSAT): 1083840(1083840/0)
May 17, 2018 8:28:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(918/3524) took 1124325 ms. Total solver calls (SAT/UNSAT): 1087593(1087593/0)
May 17, 2018 8:29:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(920/3524) took 1127665 ms. Total solver calls (SAT/UNSAT): 1091342(1091342/0)
May 17, 2018 8:29:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(922/3524) took 1131546 ms. Total solver calls (SAT/UNSAT): 1095087(1095087/0)
May 17, 2018 8:29:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(930/3524) took 1136065 ms. Total solver calls (SAT/UNSAT): 1099059(1099059/0)
May 17, 2018 8:29:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(932/3524) took 1139643 ms. Total solver calls (SAT/UNSAT): 1102796(1102796/0)
May 17, 2018 8:29:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(934/3524) took 1144083 ms. Total solver calls (SAT/UNSAT): 1106529(1106529/0)
May 17, 2018 8:29:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(936/3524) took 1148275 ms. Total solver calls (SAT/UNSAT): 1110258(1110258/0)
May 17, 2018 8:29:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(938/3524) took 1152208 ms. Total solver calls (SAT/UNSAT): 1113983(1113983/0)
May 17, 2018 8:29:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(940/3524) took 1156398 ms. Total solver calls (SAT/UNSAT): 1117704(1117704/0)
May 17, 2018 8:29:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(942/3524) took 1160554 ms. Total solver calls (SAT/UNSAT): 1121421(1121421/0)
May 17, 2018 8:29:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(944/3524) took 1164509 ms. Total solver calls (SAT/UNSAT): 1125134(1125134/0)
May 17, 2018 8:29:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(946/3524) took 1169059 ms. Total solver calls (SAT/UNSAT): 1128843(1128843/0)
May 17, 2018 8:29:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(948/3524) took 1173343 ms. Total solver calls (SAT/UNSAT): 1132548(1132548/0)
May 17, 2018 8:29:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(950/3524) took 1177397 ms. Total solver calls (SAT/UNSAT): 1136249(1136249/0)
May 17, 2018 8:29:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(952/3524) took 1181362 ms. Total solver calls (SAT/UNSAT): 1139946(1139946/0)
May 17, 2018 8:29:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(954/3524) took 1185481 ms. Total solver calls (SAT/UNSAT): 1143639(1143639/0)
May 17, 2018 8:30:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(956/3524) took 1189881 ms. Total solver calls (SAT/UNSAT): 1147328(1147328/0)
May 17, 2018 8:30:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(958/3524) took 1193957 ms. Total solver calls (SAT/UNSAT): 1151013(1151013/0)
May 17, 2018 8:30:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(960/3524) took 1198677 ms. Total solver calls (SAT/UNSAT): 1154694(1154694/0)
May 17, 2018 8:30:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(962/3524) took 1202382 ms. Total solver calls (SAT/UNSAT): 1158371(1158371/0)
May 17, 2018 8:30:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(964/3524) took 1206843 ms. Total solver calls (SAT/UNSAT): 1162044(1162044/0)
May 17, 2018 8:30:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(969/3524) took 1209871 ms. Total solver calls (SAT/UNSAT): 1164065(1164065/0)
May 17, 2018 8:30:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(974/3524) took 1215184 ms. Total solver calls (SAT/UNSAT): 1167861(1167861/0)
May 17, 2018 8:30:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(976/3524) took 1220321 ms. Total solver calls (SAT/UNSAT): 1171524(1171524/0)
May 17, 2018 8:30:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(978/3524) took 1225569 ms. Total solver calls (SAT/UNSAT): 1175183(1175183/0)
May 17, 2018 8:30:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(980/3524) took 1230032 ms. Total solver calls (SAT/UNSAT): 1178838(1178838/0)
May 17, 2018 8:30:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(982/3524) took 1233111 ms. Total solver calls (SAT/UNSAT): 1182489(1182489/0)
May 17, 2018 8:30:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(984/3524) took 1236159 ms. Total solver calls (SAT/UNSAT): 1186136(1186136/0)
May 17, 2018 8:30:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(986/3524) took 1240016 ms. Total solver calls (SAT/UNSAT): 1189779(1189779/0)
May 17, 2018 8:30:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(988/3524) took 1244019 ms. Total solver calls (SAT/UNSAT): 1193418(1193418/0)
May 17, 2018 8:31:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(990/3524) took 1247033 ms. Total solver calls (SAT/UNSAT): 1197053(1197053/0)
May 17, 2018 8:31:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(992/3524) took 1250112 ms. Total solver calls (SAT/UNSAT): 1200684(1200684/0)
May 17, 2018 8:31:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(994/3524) took 1253116 ms. Total solver calls (SAT/UNSAT): 1204311(1204311/0)
May 17, 2018 8:31:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(996/3524) took 1256143 ms. Total solver calls (SAT/UNSAT): 1207934(1207934/0)
May 17, 2018 8:31:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(998/3524) took 1259212 ms. Total solver calls (SAT/UNSAT): 1211553(1211553/0)
May 17, 2018 8:31:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1000/3524) took 1262277 ms. Total solver calls (SAT/UNSAT): 1215168(1215168/0)
May 17, 2018 8:31:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1002/3524) took 1265306 ms. Total solver calls (SAT/UNSAT): 1218779(1218779/0)
May 17, 2018 8:31:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1004/3524) took 1268701 ms. Total solver calls (SAT/UNSAT): 1222386(1222386/0)
May 17, 2018 8:31:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1006/3524) took 1272966 ms. Total solver calls (SAT/UNSAT): 1225989(1225989/0)
May 17, 2018 8:31:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1008/3524) took 1276986 ms. Total solver calls (SAT/UNSAT): 1229588(1229588/0)
May 17, 2018 8:31:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1010/3524) took 1280729 ms. Total solver calls (SAT/UNSAT): 1233183(1233183/0)
May 17, 2018 8:31:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1012/3524) took 1284199 ms. Total solver calls (SAT/UNSAT): 1236774(1236774/0)
May 17, 2018 8:31:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1014/3524) took 1288543 ms. Total solver calls (SAT/UNSAT): 1240361(1240361/0)
May 17, 2018 8:31:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1018/3524) took 1292408 ms. Total solver calls (SAT/UNSAT): 1243491(1243491/0)
May 17, 2018 8:31:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1022/3524) took 1296128 ms. Total solver calls (SAT/UNSAT): 1246605(1246605/0)
May 17, 2018 8:31:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1024/3524) took 1299554 ms. Total solver calls (SAT/UNSAT): 1250172(1250172/0)
May 17, 2018 8:31:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1026/3524) took 1302558 ms. Total solver calls (SAT/UNSAT): 1253735(1253735/0)
May 17, 2018 8:32:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1029/3524) took 1307036 ms. Total solver calls (SAT/UNSAT): 1259072(1259072/0)
May 17, 2018 8:32:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1031/3524) took 1310155 ms. Total solver calls (SAT/UNSAT): 1262625(1262625/0)
May 17, 2018 8:32:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1034/3524) took 1314603 ms. Total solver calls (SAT/UNSAT): 1267947(1267947/0)
May 17, 2018 8:32:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1037/3524) took 1319084 ms. Total solver calls (SAT/UNSAT): 1273260(1273260/0)
May 17, 2018 8:32:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1039/3524) took 1322103 ms. Total solver calls (SAT/UNSAT): 1276797(1276797/0)
May 17, 2018 8:32:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1042/3524) took 1326715 ms. Total solver calls (SAT/UNSAT): 1282095(1282095/0)
May 17, 2018 8:32:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1044/3524) took 1329755 ms. Total solver calls (SAT/UNSAT): 1285622(1285622/0)
May 17, 2018 8:32:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1046/3524) took 1332831 ms. Total solver calls (SAT/UNSAT): 1289145(1289145/0)
May 17, 2018 8:32:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1048/3524) took 1335866 ms. Total solver calls (SAT/UNSAT): 1292664(1292664/0)
May 17, 2018 8:32:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1051/3524) took 1340293 ms. Total solver calls (SAT/UNSAT): 1297935(1297935/0)
May 17, 2018 8:32:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1054/3524) took 1344697 ms. Total solver calls (SAT/UNSAT): 1303197(1303197/0)
May 17, 2018 8:32:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1057/3524) took 1349138 ms. Total solver calls (SAT/UNSAT): 1308450(1308450/0)
May 17, 2018 8:32:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1060/3524) took 1353683 ms. Total solver calls (SAT/UNSAT): 1313694(1313694/0)
May 17, 2018 8:32:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1062/3524) took 1356716 ms. Total solver calls (SAT/UNSAT): 1317185(1317185/0)
May 17, 2018 8:32:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1064/3524) took 1359780 ms. Total solver calls (SAT/UNSAT): 1320672(1320672/0)
May 17, 2018 8:32:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1066/3524) took 1363089 ms. Total solver calls (SAT/UNSAT): 1324155(1324155/0)
May 17, 2018 8:32:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1068/3524) took 1366227 ms. Total solver calls (SAT/UNSAT): 1327634(1327634/0)
May 17, 2018 8:33:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1070/3524) took 1369366 ms. Total solver calls (SAT/UNSAT): 1331109(1331109/0)
May 17, 2018 8:33:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1111/3524) took 1372400 ms. Total solver calls (SAT/UNSAT): 1335496(1335496/0)
May 17, 2018 8:33:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1169/3524) took 1376108 ms. Total solver calls (SAT/UNSAT): 1339739(1339739/0)
May 17, 2018 8:33:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1172/3524) took 1380203 ms. Total solver calls (SAT/UNSAT): 1344234(1344234/0)
May 17, 2018 8:33:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1175/3524) took 1384560 ms. Total solver calls (SAT/UNSAT): 1349484(1349484/0)
May 17, 2018 8:33:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1178/3524) took 1389023 ms. Total solver calls (SAT/UNSAT): 1354725(1354725/0)
May 17, 2018 8:33:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1181/3524) took 1393418 ms. Total solver calls (SAT/UNSAT): 1359957(1359957/0)
May 17, 2018 8:33:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1184/3524) took 1396867 ms. Total solver calls (SAT/UNSAT): 1363652(1363652/0)
May 17, 2018 8:33:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1187/3524) took 1401157 ms. Total solver calls (SAT/UNSAT): 1368866(1368866/0)
May 17, 2018 8:33:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1189/3524) took 1404212 ms. Total solver calls (SAT/UNSAT): 1372337(1372337/0)
May 17, 2018 8:33:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1192/3524) took 1408540 ms. Total solver calls (SAT/UNSAT): 1377536(1377536/0)
May 17, 2018 8:33:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1195/3524) took 1412951 ms. Total solver calls (SAT/UNSAT): 1382726(1382726/0)
May 17, 2018 8:33:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1200/3524) took 1417322 ms. Total solver calls (SAT/UNSAT): 1387932(1387932/0)
May 17, 2018 8:33:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1203/3524) took 1422233 ms. Total solver calls (SAT/UNSAT): 1393104(1393104/0)
May 17, 2018 8:33:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1205/3524) took 1425738 ms. Total solver calls (SAT/UNSAT): 1396547(1396547/0)
May 17, 2018 8:34:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1207/3524) took 1430350 ms. Total solver calls (SAT/UNSAT): 1399986(1399986/0)
May 17, 2018 8:34:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1209/3524) took 1435394 ms. Total solver calls (SAT/UNSAT): 1403421(1403421/0)
May 17, 2018 8:34:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1221/3524) took 1438401 ms. Total solver calls (SAT/UNSAT): 1405290(1405290/0)
May 17, 2018 8:34:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1223/3524) took 1443436 ms. Total solver calls (SAT/UNSAT): 1408725(1408725/0)
May 17, 2018 8:34:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1225/3524) took 1448408 ms. Total solver calls (SAT/UNSAT): 1412156(1412156/0)
May 17, 2018 8:34:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1227/3524) took 1453519 ms. Total solver calls (SAT/UNSAT): 1415583(1415583/0)
May 17, 2018 8:34:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1229/3524) took 1458411 ms. Total solver calls (SAT/UNSAT): 1419006(1419006/0)
May 17, 2018 8:34:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1231/3524) took 1463471 ms. Total solver calls (SAT/UNSAT): 1422425(1422425/0)
May 17, 2018 8:34:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1233/3524) took 1468503 ms. Total solver calls (SAT/UNSAT): 1425840(1425840/0)
May 17, 2018 8:34:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1235/3524) took 1473045 ms. Total solver calls (SAT/UNSAT): 1429251(1429251/0)
May 17, 2018 8:34:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1237/3524) took 1476366 ms. Total solver calls (SAT/UNSAT): 1432658(1432658/0)
May 17, 2018 8:34:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1239/3524) took 1480317 ms. Total solver calls (SAT/UNSAT): 1436061(1436061/0)
May 17, 2018 8:34:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1241/3524) took 1484418 ms. Total solver calls (SAT/UNSAT): 1439454(1439454/0)
May 17, 2018 8:35:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1243/3524) took 1489357 ms. Total solver calls (SAT/UNSAT): 1442843(1442843/0)
May 17, 2018 8:35:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1245/3524) took 1494262 ms. Total solver calls (SAT/UNSAT): 1446228(1446228/0)
May 17, 2018 8:35:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1247/3524) took 1499213 ms. Total solver calls (SAT/UNSAT): 1449609(1449609/0)
May 17, 2018 8:35:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1249/3524) took 1504191 ms. Total solver calls (SAT/UNSAT): 1452986(1452986/0)
May 17, 2018 8:35:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1251/3524) took 1507695 ms. Total solver calls (SAT/UNSAT): 1456359(1456359/0)
May 17, 2018 8:35:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1253/3524) took 1511829 ms. Total solver calls (SAT/UNSAT): 1459728(1459728/0)
May 17, 2018 8:35:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1255/3524) took 1516135 ms. Total solver calls (SAT/UNSAT): 1463093(1463093/0)
May 17, 2018 8:35:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1257/3524) took 1520479 ms. Total solver calls (SAT/UNSAT): 1466454(1466454/0)
May 17, 2018 8:35:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1265/3524) took 1523542 ms. Total solver calls (SAT/UNSAT): 1468289(1468289/0)
May 17, 2018 8:35:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1267/3524) took 1528545 ms. Total solver calls (SAT/UNSAT): 1471642(1471642/0)
May 17, 2018 8:35:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1269/3524) took 1533643 ms. Total solver calls (SAT/UNSAT): 1474991(1474991/0)
May 17, 2018 8:35:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1271/3524) took 1538604 ms. Total solver calls (SAT/UNSAT): 1478336(1478336/0)
May 17, 2018 8:35:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1273/3524) took 1543479 ms. Total solver calls (SAT/UNSAT): 1481677(1481677/0)
May 17, 2018 8:36:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1275/3524) took 1548520 ms. Total solver calls (SAT/UNSAT): 1485014(1485014/0)
May 17, 2018 8:36:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1277/3524) took 1552363 ms. Total solver calls (SAT/UNSAT): 1488347(1488347/0)
May 17, 2018 8:36:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1281/3524) took 1556187 ms. Total solver calls (SAT/UNSAT): 1491701(1491701/0)
May 17, 2018 8:36:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1283/3524) took 1560048 ms. Total solver calls (SAT/UNSAT): 1495026(1495026/0)
May 17, 2018 8:36:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1285/3524) took 1563244 ms. Total solver calls (SAT/UNSAT): 1498347(1498347/0)
May 17, 2018 8:36:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1288/3524) took 1567468 ms. Total solver calls (SAT/UNSAT): 1503321(1503321/0)
May 17, 2018 8:36:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1291/3524) took 1571825 ms. Total solver calls (SAT/UNSAT): 1508286(1508286/0)
May 17, 2018 8:36:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1298/3524) took 1575337 ms. Total solver calls (SAT/UNSAT): 1510956(1510956/0)
May 17, 2018 8:36:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1300/3524) took 1578605 ms. Total solver calls (SAT/UNSAT): 1512727(1512727/0)
May 17, 2018 8:36:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1302/3524) took 1582143 ms. Total solver calls (SAT/UNSAT): 1516022(1516022/0)
May 17, 2018 8:36:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1305/3524) took 1586305 ms. Total solver calls (SAT/UNSAT): 1520957(1520957/0)
May 17, 2018 8:36:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1308/3524) took 1590684 ms. Total solver calls (SAT/UNSAT): 1525883(1525883/0)
May 17, 2018 8:36:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1310/3524) took 1594806 ms. Total solver calls (SAT/UNSAT): 1529162(1529162/0)
May 17, 2018 8:36:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1312/3524) took 1599016 ms. Total solver calls (SAT/UNSAT): 1532437(1532437/0)
May 17, 2018 8:36:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1314/3524) took 1603983 ms. Total solver calls (SAT/UNSAT): 1535708(1535708/0)
May 17, 2018 8:37:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1316/3524) took 1608486 ms. Total solver calls (SAT/UNSAT): 1538975(1538975/0)
May 17, 2018 8:37:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1318/3524) took 1613325 ms. Total solver calls (SAT/UNSAT): 1542238(1542238/0)
May 17, 2018 8:37:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1320/3524) took 1617999 ms. Total solver calls (SAT/UNSAT): 1545497(1545497/0)
May 17, 2018 8:37:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1322/3524) took 1622333 ms. Total solver calls (SAT/UNSAT): 1548752(1548752/0)
May 17, 2018 8:37:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1324/3524) took 1626581 ms. Total solver calls (SAT/UNSAT): 1552003(1552003/0)
May 17, 2018 8:37:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1326/3524) took 1630937 ms. Total solver calls (SAT/UNSAT): 1555250(1555250/0)
May 17, 2018 8:37:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1328/3524) took 1635555 ms. Total solver calls (SAT/UNSAT): 1558493(1558493/0)
May 17, 2018 8:37:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1330/3524) took 1640584 ms. Total solver calls (SAT/UNSAT): 1561732(1561732/0)
May 17, 2018 8:37:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1338/3524) took 1645711 ms. Total solver calls (SAT/UNSAT): 1565198(1565198/0)
May 17, 2018 8:37:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1340/3524) took 1650239 ms. Total solver calls (SAT/UNSAT): 1568429(1568429/0)
May 17, 2018 8:37:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1342/3524) took 1654543 ms. Total solver calls (SAT/UNSAT): 1571656(1571656/0)
May 17, 2018 8:37:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1344/3524) took 1659386 ms. Total solver calls (SAT/UNSAT): 1574879(1574879/0)
May 17, 2018 8:37:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1346/3524) took 1664082 ms. Total solver calls (SAT/UNSAT): 1578098(1578098/0)
May 17, 2018 8:38:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1348/3524) took 1667638 ms. Total solver calls (SAT/UNSAT): 1581313(1581313/0)
May 17, 2018 8:38:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1350/3524) took 1671695 ms. Total solver calls (SAT/UNSAT): 1584524(1584524/0)
May 17, 2018 8:38:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1352/3524) took 1675936 ms. Total solver calls (SAT/UNSAT): 1587731(1587731/0)
May 17, 2018 8:38:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1354/3524) took 1679954 ms. Total solver calls (SAT/UNSAT): 1590934(1590934/0)
May 17, 2018 8:38:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1356/3524) took 1684217 ms. Total solver calls (SAT/UNSAT): 1594133(1594133/0)
May 17, 2018 8:38:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1358/3524) took 1688113 ms. Total solver calls (SAT/UNSAT): 1597328(1597328/0)
May 17, 2018 8:38:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1361/3524) took 1692461 ms. Total solver calls (SAT/UNSAT): 1602113(1602113/0)
May 17, 2018 8:38:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1364/3524) took 1696663 ms. Total solver calls (SAT/UNSAT): 1606889(1606889/0)
May 17, 2018 8:38:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1367/3524) took 1700736 ms. Total solver calls (SAT/UNSAT): 1611656(1611656/0)
May 17, 2018 8:38:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1370/3524) took 1704841 ms. Total solver calls (SAT/UNSAT): 1616414(1616414/0)
May 17, 2018 8:38:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1379/3524) took 1707869 ms. Total solver calls (SAT/UNSAT): 1619896(1619896/0)
May 17, 2018 8:38:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1382/3524) took 1711933 ms. Total solver calls (SAT/UNSAT): 1624639(1624639/0)
May 17, 2018 8:38:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1385/3524) took 1716036 ms. Total solver calls (SAT/UNSAT): 1629373(1629373/0)
May 17, 2018 8:38:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1388/3524) took 1720350 ms. Total solver calls (SAT/UNSAT): 1634098(1634098/0)
May 17, 2018 8:38:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1391/3524) took 1724586 ms. Total solver calls (SAT/UNSAT): 1638814(1638814/0)
May 17, 2018 8:39:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1394/3524) took 1728847 ms. Total solver calls (SAT/UNSAT): 1643521(1643521/0)
May 17, 2018 8:39:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1397/3524) took 1732921 ms. Total solver calls (SAT/UNSAT): 1648219(1648219/0)
May 17, 2018 8:39:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1400/3524) took 1737168 ms. Total solver calls (SAT/UNSAT): 1652908(1652908/0)
May 17, 2018 8:39:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1403/3524) took 1741265 ms. Total solver calls (SAT/UNSAT): 1657588(1657588/0)
May 17, 2018 8:39:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1406/3524) took 1745430 ms. Total solver calls (SAT/UNSAT): 1662259(1662259/0)
May 17, 2018 8:39:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1409/3524) took 1749560 ms. Total solver calls (SAT/UNSAT): 1666921(1666921/0)
May 17, 2018 8:39:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1412/3524) took 1753722 ms. Total solver calls (SAT/UNSAT): 1671574(1671574/0)
May 17, 2018 8:39:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1414/3524) took 1756812 ms. Total solver calls (SAT/UNSAT): 1674671(1674671/0)
May 17, 2018 8:39:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1416/3524) took 1761372 ms. Total solver calls (SAT/UNSAT): 1677764(1677764/0)
May 17, 2018 8:39:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1418/3524) took 1765924 ms. Total solver calls (SAT/UNSAT): 1680853(1680853/0)
May 17, 2018 8:39:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1420/3524) took 1770608 ms. Total solver calls (SAT/UNSAT): 1683938(1683938/0)
May 17, 2018 8:39:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1422/3524) took 1774441 ms. Total solver calls (SAT/UNSAT): 1686263(1686263/0)
May 17, 2018 8:39:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1424/3524) took 1777593 ms. Total solver calls (SAT/UNSAT): 1687828(1687828/0)
May 17, 2018 8:39:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1426/3524) took 1780700 ms. Total solver calls (SAT/UNSAT): 1689389(1689389/0)
May 17, 2018 8:39:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1428/3524) took 1783700 ms. Total solver calls (SAT/UNSAT): 1690946(1690946/0)
May 17, 2018 8:40:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1430/3524) took 1787238 ms. Total solver calls (SAT/UNSAT): 1693255(1693255/0)
May 17, 2018 8:40:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1432/3524) took 1791643 ms. Total solver calls (SAT/UNSAT): 1696316(1696316/0)
May 17, 2018 8:40:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1434/3524) took 1796346 ms. Total solver calls (SAT/UNSAT): 1699373(1699373/0)
May 17, 2018 8:40:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1436/3524) took 1800680 ms. Total solver calls (SAT/UNSAT): 1702426(1702426/0)
May 17, 2018 8:40:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1438/3524) took 1804431 ms. Total solver calls (SAT/UNSAT): 1705475(1705475/0)
May 17, 2018 8:40:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1440/3524) took 1809052 ms. Total solver calls (SAT/UNSAT): 1708520(1708520/0)
May 17, 2018 8:40:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1442/3524) took 1813572 ms. Total solver calls (SAT/UNSAT): 1711561(1711561/0)
May 17, 2018 8:40:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1444/3524) took 1817007 ms. Total solver calls (SAT/UNSAT): 1714598(1714598/0)
May 17, 2018 8:40:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1446/3524) took 1821424 ms. Total solver calls (SAT/UNSAT): 1717631(1717631/0)
May 17, 2018 8:40:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1448/3524) took 1825250 ms. Total solver calls (SAT/UNSAT): 1720660(1720660/0)
May 17, 2018 8:40:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1450/3524) took 1828775 ms. Total solver calls (SAT/UNSAT): 1723685(1723685/0)
May 17, 2018 8:40:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1452/3524) took 1833442 ms. Total solver calls (SAT/UNSAT): 1726706(1726706/0)
May 17, 2018 8:40:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1454/3524) took 1837938 ms. Total solver calls (SAT/UNSAT): 1729723(1729723/0)
May 17, 2018 8:40:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1456/3524) took 1842661 ms. Total solver calls (SAT/UNSAT): 1732736(1732736/0)
May 17, 2018 8:40:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1458/3524) took 1846421 ms. Total solver calls (SAT/UNSAT): 1735745(1735745/0)
May 17, 2018 8:41:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1461/3524) took 1851373 ms. Total solver calls (SAT/UNSAT): 1740251(1740251/0)
May 17, 2018 8:41:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1463/3524) took 1854993 ms. Total solver calls (SAT/UNSAT): 1743250(1743250/0)
May 17, 2018 8:41:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1465/3524) took 1859022 ms. Total solver calls (SAT/UNSAT): 1746245(1746245/0)
May 17, 2018 8:41:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1468/3524) took 1863070 ms. Total solver calls (SAT/UNSAT): 1750730(1750730/0)
May 17, 2018 8:41:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1471/3524) took 1867077 ms. Total solver calls (SAT/UNSAT): 1755206(1755206/0)
May 17, 2018 8:41:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1473/3524) took 1870909 ms. Total solver calls (SAT/UNSAT): 1758185(1758185/0)
May 17, 2018 8:41:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1475/3524) took 1874381 ms. Total solver calls (SAT/UNSAT): 1761160(1761160/0)
May 17, 2018 8:41:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1477/3524) took 1877963 ms. Total solver calls (SAT/UNSAT): 1764131(1764131/0)
May 17, 2018 8:41:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1508/3524) took 1881027 ms. Total solver calls (SAT/UNSAT): 1767355(1767355/0)
May 17, 2018 8:41:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1558/3524) took 1884061 ms. Total solver calls (SAT/UNSAT): 1770530(1770530/0)
May 17, 2018 8:41:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1578/3524) took 1888144 ms. Total solver calls (SAT/UNSAT): 1774484(1774484/0)
May 17, 2018 8:41:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1580/3524) took 1891408 ms. Total solver calls (SAT/UNSAT): 1777483(1777483/0)
May 17, 2018 8:41:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1583/3524) took 1896281 ms. Total solver calls (SAT/UNSAT): 1781974(1781974/0)
May 17, 2018 8:41:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1585/3524) took 1900743 ms. Total solver calls (SAT/UNSAT): 1784963(1784963/0)
May 17, 2018 8:41:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1587/3524) took 1904181 ms. Total solver calls (SAT/UNSAT): 1787948(1787948/0)
May 17, 2018 8:42:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1590/3524) took 1908466 ms. Total solver calls (SAT/UNSAT): 1791906(1791906/0)
May 17, 2018 8:42:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1592/3524) took 1911957 ms. Total solver calls (SAT/UNSAT): 1794369(1794369/0)
May 17, 2018 8:42:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1594/3524) took 1916439 ms. Total solver calls (SAT/UNSAT): 1797340(1797340/0)
May 17, 2018 8:42:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1596/3524) took 1920739 ms. Total solver calls (SAT/UNSAT): 1800307(1800307/0)
May 17, 2018 8:42:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1598/3524) took 1925225 ms. Total solver calls (SAT/UNSAT): 1803270(1803270/0)
May 17, 2018 8:42:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1600/3524) took 1929515 ms. Total solver calls (SAT/UNSAT): 1806229(1806229/0)
May 17, 2018 8:42:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1602/3524) took 1934142 ms. Total solver calls (SAT/UNSAT): 1809184(1809184/0)
May 17, 2018 8:42:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1606/3524) took 1938960 ms. Total solver calls (SAT/UNSAT): 1812160(1812160/0)
May 17, 2018 8:42:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1608/3524) took 1943588 ms. Total solver calls (SAT/UNSAT): 1815107(1815107/0)
May 17, 2018 8:42:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1610/3524) took 1946948 ms. Total solver calls (SAT/UNSAT): 1818050(1818050/0)
May 17, 2018 8:42:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1613/3524) took 1950889 ms. Total solver calls (SAT/UNSAT): 1822457(1822457/0)
May 17, 2018 8:42:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1615/3524) took 1953902 ms. Total solver calls (SAT/UNSAT): 1825390(1825390/0)
May 17, 2018 8:42:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1629/3524) took 1958197 ms. Total solver calls (SAT/UNSAT): 1829938(1829938/0)
May 17, 2018 8:42:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1632/3524) took 1962162 ms. Total solver calls (SAT/UNSAT): 1834330(1834330/0)
May 17, 2018 8:42:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1635/3524) took 1966123 ms. Total solver calls (SAT/UNSAT): 1838713(1838713/0)
May 17, 2018 8:43:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1638/3524) took 1969973 ms. Total solver calls (SAT/UNSAT): 1843087(1843087/0)
May 17, 2018 8:43:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1641/3524) took 1973691 ms. Total solver calls (SAT/UNSAT): 1847452(1847452/0)
May 17, 2018 8:43:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1644/3524) took 1977527 ms. Total solver calls (SAT/UNSAT): 1851808(1851808/0)
May 17, 2018 8:43:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1647/3524) took 1981543 ms. Total solver calls (SAT/UNSAT): 1856152(1856152/0)
May 17, 2018 8:43:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1650/3524) took 1985355 ms. Total solver calls (SAT/UNSAT): 1860481(1860481/0)
May 17, 2018 8:43:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1653/3524) took 1989226 ms. Total solver calls (SAT/UNSAT): 1864801(1864801/0)
May 17, 2018 8:43:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1656/3524) took 1993096 ms. Total solver calls (SAT/UNSAT): 1869112(1869112/0)
May 17, 2018 8:43:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1659/3524) took 1996956 ms. Total solver calls (SAT/UNSAT): 1873414(1873414/0)
May 17, 2018 8:43:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1662/3524) took 2000768 ms. Total solver calls (SAT/UNSAT): 1877707(1877707/0)
May 17, 2018 8:43:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1671/3524) took 2004491 ms. Total solver calls (SAT/UNSAT): 1881485(1881485/0)
May 17, 2018 8:43:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1674/3524) took 2008099 ms. Total solver calls (SAT/UNSAT): 1885248(1885248/0)
May 17, 2018 8:43:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1677/3524) took 2011942 ms. Total solver calls (SAT/UNSAT): 1889514(1889514/0)
May 17, 2018 8:43:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1680/3524) took 2015706 ms. Total solver calls (SAT/UNSAT): 1893771(1893771/0)
May 17, 2018 8:43:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1683/3524) took 2019619 ms. Total solver calls (SAT/UNSAT): 1898019(1898019/0)
May 17, 2018 8:43:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1688/3524) took 2023398 ms. Total solver calls (SAT/UNSAT): 1902283(1902283/0)
May 17, 2018 8:44:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1691/3524) took 2027350 ms. Total solver calls (SAT/UNSAT): 1906513(1906513/0)
May 17, 2018 8:44:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1693/3524) took 2030496 ms. Total solver calls (SAT/UNSAT): 1909328(1909328/0)
May 17, 2018 8:44:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1695/3524) took 2033759 ms. Total solver calls (SAT/UNSAT): 1912139(1912139/0)
May 17, 2018 8:44:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1697/3524) took 2037183 ms. Total solver calls (SAT/UNSAT): 1914946(1914946/0)
May 17, 2018 8:44:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1704/3524) took 2040528 ms. Total solver calls (SAT/UNSAT): 1918131(1918131/0)
May 17, 2018 8:44:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1708/3524) took 2044698 ms. Total solver calls (SAT/UNSAT): 1922185(1922185/0)
May 17, 2018 8:44:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1711/3524) took 2048453 ms. Total solver calls (SAT/UNSAT): 1926367(1926367/0)
May 17, 2018 8:44:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1714/3524) took 2052156 ms. Total solver calls (SAT/UNSAT): 1930540(1930540/0)
May 17, 2018 8:44:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1717/3524) took 2055858 ms. Total solver calls (SAT/UNSAT): 1934704(1934704/0)
May 17, 2018 8:44:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1720/3524) took 2059556 ms. Total solver calls (SAT/UNSAT): 1938859(1938859/0)
May 17, 2018 8:44:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1723/3524) took 2063328 ms. Total solver calls (SAT/UNSAT): 1943005(1943005/0)
May 17, 2018 8:44:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1726/3524) took 2067072 ms. Total solver calls (SAT/UNSAT): 1947142(1947142/0)
May 17, 2018 8:44:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1728/3524) took 2070157 ms. Total solver calls (SAT/UNSAT): 1949895(1949895/0)
May 17, 2018 8:44:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1730/3524) took 2073171 ms. Total solver calls (SAT/UNSAT): 1952644(1952644/0)
May 17, 2018 8:44:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1732/3524) took 2076361 ms. Total solver calls (SAT/UNSAT): 1955389(1955389/0)
May 17, 2018 8:44:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1734/3524) took 2079863 ms. Total solver calls (SAT/UNSAT): 1958130(1958130/0)
May 17, 2018 8:44:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1736/3524) took 2083233 ms. Total solver calls (SAT/UNSAT): 1960867(1960867/0)
May 17, 2018 8:45:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1744/3524) took 2087829 ms. Total solver calls (SAT/UNSAT): 1963831(1963831/0)
May 17, 2018 8:45:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1746/3524) took 2091542 ms. Total solver calls (SAT/UNSAT): 1966560(1966560/0)
May 17, 2018 8:45:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1749/3524) took 2095211 ms. Total solver calls (SAT/UNSAT): 1970646(1970646/0)
May 17, 2018 8:45:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1752/3524) took 2098979 ms. Total solver calls (SAT/UNSAT): 1974723(1974723/0)
May 17, 2018 8:45:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1755/3524) took 2102744 ms. Total solver calls (SAT/UNSAT): 1978791(1978791/0)
May 17, 2018 8:45:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1758/3524) took 2106462 ms. Total solver calls (SAT/UNSAT): 1982850(1982850/0)
May 17, 2018 8:45:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1761/3524) took 2110240 ms. Total solver calls (SAT/UNSAT): 1986900(1986900/0)
May 17, 2018 8:45:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1764/3524) took 2114143 ms. Total solver calls (SAT/UNSAT): 1990941(1990941/0)
May 17, 2018 8:45:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1767/3524) took 2118003 ms. Total solver calls (SAT/UNSAT): 1994973(1994973/0)
May 17, 2018 8:45:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1770/3524) took 2121612 ms. Total solver calls (SAT/UNSAT): 1998996(1998996/0)
May 17, 2018 8:45:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1773/3524) took 2125306 ms. Total solver calls (SAT/UNSAT): 2003010(2003010/0)
May 17, 2018 8:45:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1776/3524) took 2129108 ms. Total solver calls (SAT/UNSAT): 2007015(2007015/0)
May 17, 2018 8:45:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1779/3524) took 2132734 ms. Total solver calls (SAT/UNSAT): 2011011(2011011/0)
May 17, 2018 8:45:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1788/3524) took 2136140 ms. Total solver calls (SAT/UNSAT): 2013985(2013985/0)
May 17, 2018 8:45:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1790/3524) took 2140278 ms. Total solver calls (SAT/UNSAT): 2016640(2016640/0)
May 17, 2018 8:45:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1792/3524) took 2144433 ms. Total solver calls (SAT/UNSAT): 2019291(2019291/0)
May 17, 2018 8:46:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1794/3524) took 2148338 ms. Total solver calls (SAT/UNSAT): 2021938(2021938/0)
May 17, 2018 8:46:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1796/3524) took 2152615 ms. Total solver calls (SAT/UNSAT): 2024581(2024581/0)
May 17, 2018 8:46:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1798/3524) took 2156541 ms. Total solver calls (SAT/UNSAT): 2027220(2027220/0)
May 17, 2018 8:46:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1801/3524) took 2161028 ms. Total solver calls (SAT/UNSAT): 2031171(2031171/0)
May 17, 2018 8:46:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1804/3524) took 2164950 ms. Total solver calls (SAT/UNSAT): 2035113(2035113/0)
May 17, 2018 8:46:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1807/3524) took 2168634 ms. Total solver calls (SAT/UNSAT): 2039046(2039046/0)
May 17, 2018 8:46:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1810/3524) took 2172344 ms. Total solver calls (SAT/UNSAT): 2042970(2042970/0)
May 17, 2018 8:46:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1813/3524) took 2176018 ms. Total solver calls (SAT/UNSAT): 2046885(2046885/0)
May 17, 2018 8:46:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1816/3524) took 2179707 ms. Total solver calls (SAT/UNSAT): 2050791(2050791/0)
May 17, 2018 8:46:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1819/3524) took 2183256 ms. Total solver calls (SAT/UNSAT): 2054688(2054688/0)
May 17, 2018 8:46:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1822/3524) took 2186813 ms. Total solver calls (SAT/UNSAT): 2058576(2058576/0)
May 17, 2018 8:46:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1825/3524) took 2190547 ms. Total solver calls (SAT/UNSAT): 2062455(2062455/0)
May 17, 2018 8:46:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1828/3524) took 2194238 ms. Total solver calls (SAT/UNSAT): 2066325(2066325/0)
May 17, 2018 8:46:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1832/3524) took 2197691 ms. Total solver calls (SAT/UNSAT): 2069455(2069455/0)
May 17, 2018 8:46:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1836/3524) took 2201112 ms. Total solver calls (SAT/UNSAT): 2072569(2072569/0)
May 17, 2018 8:46:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1839/3524) took 2204801 ms. Total solver calls (SAT/UNSAT): 2076406(2076406/0)
May 17, 2018 8:47:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1842/3524) took 2208510 ms. Total solver calls (SAT/UNSAT): 2080234(2080234/0)
May 17, 2018 8:47:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1845/3524) took 2212028 ms. Total solver calls (SAT/UNSAT): 2084053(2084053/0)
May 17, 2018 8:47:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1848/3524) took 2215493 ms. Total solver calls (SAT/UNSAT): 2087863(2087863/0)
May 17, 2018 8:47:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1851/3524) took 2219099 ms. Total solver calls (SAT/UNSAT): 2091664(2091664/0)
May 17, 2018 8:47:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1854/3524) took 2222592 ms. Total solver calls (SAT/UNSAT): 2095456(2095456/0)
May 17, 2018 8:47:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1857/3524) took 2226029 ms. Total solver calls (SAT/UNSAT): 2099239(2099239/0)
May 17, 2018 8:47:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1860/3524) took 2230044 ms. Total solver calls (SAT/UNSAT): 2103013(2103013/0)
May 17, 2018 8:47:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1863/3524) took 2233765 ms. Total solver calls (SAT/UNSAT): 2106778(2106778/0)
May 17, 2018 8:47:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1866/3524) took 2237420 ms. Total solver calls (SAT/UNSAT): 2110534(2110534/0)
May 17, 2018 8:47:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1869/3524) took 2240923 ms. Total solver calls (SAT/UNSAT): 2114281(2114281/0)
May 17, 2018 8:47:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1872/3524) took 2244364 ms. Total solver calls (SAT/UNSAT): 2118019(2118019/0)
May 17, 2018 8:47:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1875/3524) took 2247869 ms. Total solver calls (SAT/UNSAT): 2121748(2121748/0)
May 17, 2018 8:47:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1878/3524) took 2251359 ms. Total solver calls (SAT/UNSAT): 2125468(2125468/0)
May 17, 2018 8:47:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1881/3524) took 2254818 ms. Total solver calls (SAT/UNSAT): 2129179(2129179/0)
May 17, 2018 8:47:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1884/3524) took 2258633 ms. Total solver calls (SAT/UNSAT): 2132881(2132881/0)
May 17, 2018 8:47:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1924/3524) took 2261636 ms. Total solver calls (SAT/UNSAT): 2136541(2136541/0)
May 17, 2018 8:47:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1983/3524) took 2265823 ms. Total solver calls (SAT/UNSAT): 2139975(2139975/0)
May 17, 2018 8:48:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1985/3524) took 2268944 ms. Total solver calls (SAT/UNSAT): 2142214(2142214/0)
May 17, 2018 8:48:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1987/3524) took 2272136 ms. Total solver calls (SAT/UNSAT): 2144709(2144709/0)
May 17, 2018 8:48:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1990/3524) took 2276030 ms. Total solver calls (SAT/UNSAT): 2148444(2148444/0)
May 17, 2018 8:48:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1993/3524) took 2279464 ms. Total solver calls (SAT/UNSAT): 2152170(2152170/0)
May 17, 2018 8:48:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1996/3524) took 2282902 ms. Total solver calls (SAT/UNSAT): 2155887(2155887/0)
May 17, 2018 8:48:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1999/3524) took 2286156 ms. Total solver calls (SAT/UNSAT): 2159075(2159075/0)
May 17, 2018 8:48:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2002/3524) took 2289621 ms. Total solver calls (SAT/UNSAT): 2162774(2162774/0)
May 17, 2018 8:48:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2005/3524) took 2293079 ms. Total solver calls (SAT/UNSAT): 2166464(2166464/0)
May 17, 2018 8:48:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2008/3524) took 2296516 ms. Total solver calls (SAT/UNSAT): 2170145(2170145/0)
May 17, 2018 8:48:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2013/3524) took 2300100 ms. Total solver calls (SAT/UNSAT): 2173842(2173842/0)
May 17, 2018 8:48:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2016/3524) took 2303602 ms. Total solver calls (SAT/UNSAT): 2177505(2177505/0)
May 17, 2018 8:48:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2019/3524) took 2307055 ms. Total solver calls (SAT/UNSAT): 2181159(2181159/0)
May 17, 2018 8:48:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2022/3524) took 2310600 ms. Total solver calls (SAT/UNSAT): 2184804(2184804/0)
May 17, 2018 8:48:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2036/3524) took 2314387 ms. Total solver calls (SAT/UNSAT): 2188596(2188596/0)
May 17, 2018 8:48:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2039/3524) took 2317861 ms. Total solver calls (SAT/UNSAT): 2192232(2192232/0)
May 17, 2018 8:48:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2042/3524) took 2321482 ms. Total solver calls (SAT/UNSAT): 2195859(2195859/0)
May 17, 2018 8:48:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2045/3524) took 2324943 ms. Total solver calls (SAT/UNSAT): 2199477(2199477/0)
May 17, 2018 8:49:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2048/3524) took 2328490 ms. Total solver calls (SAT/UNSAT): 2203086(2203086/0)
May 17, 2018 8:49:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2051/3524) took 2331952 ms. Total solver calls (SAT/UNSAT): 2206686(2206686/0)
May 17, 2018 8:49:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2054/3524) took 2335357 ms. Total solver calls (SAT/UNSAT): 2210274(2210274/0)
May 17, 2018 8:49:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2057/3524) took 2338751 ms. Total solver calls (SAT/UNSAT): 2213847(2213847/0)
May 17, 2018 8:49:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2060/3524) took 2342238 ms. Total solver calls (SAT/UNSAT): 2217411(2217411/0)
May 17, 2018 8:49:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2063/3524) took 2345653 ms. Total solver calls (SAT/UNSAT): 2220966(2220966/0)
May 17, 2018 8:49:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2066/3524) took 2349018 ms. Total solver calls (SAT/UNSAT): 2224512(2224512/0)
May 17, 2018 8:49:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2069/3524) took 2352513 ms. Total solver calls (SAT/UNSAT): 2228049(2228049/0)
May 17, 2018 8:49:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2078/3524) took 2356025 ms. Total solver calls (SAT/UNSAT): 2231323(2231323/0)
May 17, 2018 8:49:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2081/3524) took 2359283 ms. Total solver calls (SAT/UNSAT): 2234582(2234582/0)
May 17, 2018 8:49:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2084/3524) took 2362732 ms. Total solver calls (SAT/UNSAT): 2238092(2238092/0)
May 17, 2018 8:49:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2087/3524) took 2366138 ms. Total solver calls (SAT/UNSAT): 2241593(2241593/0)
May 17, 2018 8:49:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2090/3524) took 2369605 ms. Total solver calls (SAT/UNSAT): 2245085(2245085/0)
May 17, 2018 8:49:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2095/3524) took 2373007 ms. Total solver calls (SAT/UNSAT): 2248593(2248593/0)
May 17, 2018 8:49:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2098/3524) took 2376353 ms. Total solver calls (SAT/UNSAT): 2252067(2252067/0)
May 17, 2018 8:49:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2101/3524) took 2379762 ms. Total solver calls (SAT/UNSAT): 2255532(2255532/0)
May 17, 2018 8:49:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2104/3524) took 2383068 ms. Total solver calls (SAT/UNSAT): 2258988(2258988/0)
May 17, 2018 8:49:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2111/3524) took 2386230 ms. Total solver calls (SAT/UNSAT): 2261921(2261921/0)
May 17, 2018 8:50:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2115/3524) took 2390269 ms. Total solver calls (SAT/UNSAT): 2265723(2265723/0)
May 17, 2018 8:50:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2118/3524) took 2393640 ms. Total solver calls (SAT/UNSAT): 2269149(2269149/0)
May 17, 2018 8:50:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2121/3524) took 2397059 ms. Total solver calls (SAT/UNSAT): 2272566(2272566/0)
May 17, 2018 8:50:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2124/3524) took 2400444 ms. Total solver calls (SAT/UNSAT): 2275974(2275974/0)
May 17, 2018 8:50:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2127/3524) took 2403770 ms. Total solver calls (SAT/UNSAT): 2279373(2279373/0)
May 17, 2018 8:50:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2130/3524) took 2407114 ms. Total solver calls (SAT/UNSAT): 2282763(2282763/0)
May 17, 2018 8:50:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2133/3524) took 2410396 ms. Total solver calls (SAT/UNSAT): 2286144(2286144/0)
May 17, 2018 8:50:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2136/3524) took 2413583 ms. Total solver calls (SAT/UNSAT): 2289516(2289516/0)
May 17, 2018 8:50:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2139/3524) took 2416988 ms. Total solver calls (SAT/UNSAT): 2292879(2292879/0)
May 17, 2018 8:50:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2142/3524) took 2420274 ms. Total solver calls (SAT/UNSAT): 2296233(2296233/0)
May 17, 2018 8:50:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2151/3524) took 2423673 ms. Total solver calls (SAT/UNSAT): 2299809(2299809/0)
May 17, 2018 8:50:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2154/3524) took 2426848 ms. Total solver calls (SAT/UNSAT): 2303145(2303145/0)
May 17, 2018 8:50:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2157/3524) took 2430282 ms. Total solver calls (SAT/UNSAT): 2306472(2306472/0)
May 17, 2018 8:50:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2160/3524) took 2433958 ms. Total solver calls (SAT/UNSAT): 2309790(2309790/0)
May 17, 2018 8:50:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2163/3524) took 2437443 ms. Total solver calls (SAT/UNSAT): 2313099(2313099/0)
May 17, 2018 8:50:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2166/3524) took 2442283 ms. Total solver calls (SAT/UNSAT): 2316399(2316399/0)
May 17, 2018 8:50:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2168/3524) took 2446010 ms. Total solver calls (SAT/UNSAT): 2318594(2318594/0)
May 17, 2018 8:51:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2170/3524) took 2449692 ms. Total solver calls (SAT/UNSAT): 2320785(2320785/0)
May 17, 2018 8:51:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2172/3524) took 2453268 ms. Total solver calls (SAT/UNSAT): 2322972(2322972/0)
May 17, 2018 8:51:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2175/3524) took 2456540 ms. Total solver calls (SAT/UNSAT): 2326245(2326245/0)
May 17, 2018 8:51:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2178/3524) took 2459736 ms. Total solver calls (SAT/UNSAT): 2329509(2329509/0)
May 17, 2018 8:51:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2181/3524) took 2462983 ms. Total solver calls (SAT/UNSAT): 2332764(2332764/0)
May 17, 2018 8:51:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2184/3524) took 2466183 ms. Total solver calls (SAT/UNSAT): 2336010(2336010/0)
May 17, 2018 8:51:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2194/3524) took 2469614 ms. Total solver calls (SAT/UNSAT): 2339562(2339562/0)
May 17, 2018 8:51:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2197/3524) took 2472777 ms. Total solver calls (SAT/UNSAT): 2342790(2342790/0)
May 17, 2018 8:51:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2200/3524) took 2476045 ms. Total solver calls (SAT/UNSAT): 2346009(2346009/0)
May 17, 2018 8:51:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2203/3524) took 2479193 ms. Total solver calls (SAT/UNSAT): 2349219(2349219/0)
May 17, 2018 8:51:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2206/3524) took 2482643 ms. Total solver calls (SAT/UNSAT): 2352420(2352420/0)
May 17, 2018 8:51:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2209/3524) took 2486130 ms. Total solver calls (SAT/UNSAT): 2355612(2355612/0)
May 17, 2018 8:51:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2212/3524) took 2490254 ms. Total solver calls (SAT/UNSAT): 2358795(2358795/0)
May 17, 2018 8:51:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2214/3524) took 2493759 ms. Total solver calls (SAT/UNSAT): 2360912(2360912/0)
May 17, 2018 8:51:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2216/3524) took 2497282 ms. Total solver calls (SAT/UNSAT): 2363025(2363025/0)
May 17, 2018 8:51:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2218/3524) took 2500762 ms. Total solver calls (SAT/UNSAT): 2365134(2365134/0)
May 17, 2018 8:51:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2220/3524) took 2504225 ms. Total solver calls (SAT/UNSAT): 2367239(2367239/0)
May 17, 2018 8:52:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2222/3524) took 2507719 ms. Total solver calls (SAT/UNSAT): 2369340(2369340/0)
May 17, 2018 8:52:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2224/3524) took 2511175 ms. Total solver calls (SAT/UNSAT): 2371437(2371437/0)
May 17, 2018 8:52:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2226/3524) took 2514639 ms. Total solver calls (SAT/UNSAT): 2373530(2373530/0)
May 17, 2018 8:52:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2228/3524) took 2518057 ms. Total solver calls (SAT/UNSAT): 2375619(2375619/0)
May 17, 2018 8:52:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2230/3524) took 2521475 ms. Total solver calls (SAT/UNSAT): 2377704(2377704/0)
May 17, 2018 8:52:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2232/3524) took 2524860 ms. Total solver calls (SAT/UNSAT): 2379785(2379785/0)
May 17, 2018 8:52:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2234/3524) took 2528260 ms. Total solver calls (SAT/UNSAT): 2381862(2381862/0)
May 17, 2018 8:52:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2236/3524) took 2531457 ms. Total solver calls (SAT/UNSAT): 2383683(2383683/0)
May 17, 2018 8:52:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2239/3524) took 2535923 ms. Total solver calls (SAT/UNSAT): 2386029(2386029/0)
May 17, 2018 8:52:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2241/3524) took 2538946 ms. Total solver calls (SAT/UNSAT): 2387588(2387588/0)
May 17, 2018 8:52:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2244/3524) took 2543316 ms. Total solver calls (SAT/UNSAT): 2390171(2390171/0)
May 17, 2018 8:52:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2246/3524) took 2546860 ms. Total solver calls (SAT/UNSAT): 2392224(2392224/0)
May 17, 2018 8:52:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2248/3524) took 2550174 ms. Total solver calls (SAT/UNSAT): 2394273(2394273/0)
May 17, 2018 8:52:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2250/3524) took 2553588 ms. Total solver calls (SAT/UNSAT): 2396318(2396318/0)
May 17, 2018 8:52:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2252/3524) took 2556756 ms. Total solver calls (SAT/UNSAT): 2398359(2398359/0)
May 17, 2018 8:52:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2254/3524) took 2559895 ms. Total solver calls (SAT/UNSAT): 2400396(2400396/0)
May 17, 2018 8:52:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2256/3524) took 2563063 ms. Total solver calls (SAT/UNSAT): 2402429(2402429/0)
May 17, 2018 8:52:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2258/3524) took 2566496 ms. Total solver calls (SAT/UNSAT): 2404458(2404458/0)
May 17, 2018 8:53:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2260/3524) took 2569883 ms. Total solver calls (SAT/UNSAT): 2406483(2406483/0)
May 17, 2018 8:53:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2262/3524) took 2573145 ms. Total solver calls (SAT/UNSAT): 2408504(2408504/0)
May 17, 2018 8:53:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2264/3524) took 2576454 ms. Total solver calls (SAT/UNSAT): 2410521(2410521/0)
May 17, 2018 8:53:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2266/3524) took 2579690 ms. Total solver calls (SAT/UNSAT): 2412534(2412534/0)
May 17, 2018 8:53:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2268/3524) took 2583006 ms. Total solver calls (SAT/UNSAT): 2414543(2414543/0)
May 17, 2018 8:53:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2270/3524) took 2586465 ms. Total solver calls (SAT/UNSAT): 2416548(2416548/0)
May 17, 2018 8:53:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2273/3524) took 2590471 ms. Total solver calls (SAT/UNSAT): 2419548(2419548/0)
May 17, 2018 8:53:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2275/3524) took 2593518 ms. Total solver calls (SAT/UNSAT): 2421543(2421543/0)
May 17, 2018 8:53:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2277/3524) took 2596902 ms. Total solver calls (SAT/UNSAT): 2423534(2423534/0)
May 17, 2018 8:53:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2279/3524) took 2600267 ms. Total solver calls (SAT/UNSAT): 2425521(2425521/0)
May 17, 2018 8:53:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2282/3524) took 2604851 ms. Total solver calls (SAT/UNSAT): 2428494(2428494/0)
May 17, 2018 8:53:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2284/3524) took 2608273 ms. Total solver calls (SAT/UNSAT): 2430471(2430471/0)
May 17, 2018 8:53:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2286/3524) took 2611739 ms. Total solver calls (SAT/UNSAT): 2432444(2432444/0)
May 17, 2018 8:53:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2289/3524) took 2615417 ms. Total solver calls (SAT/UNSAT): 2435396(2435396/0)
May 17, 2018 8:53:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2291/3524) took 2618606 ms. Total solver calls (SAT/UNSAT): 2437359(2437359/0)
May 17, 2018 8:53:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2331/3524) took 2621607 ms. Total solver calls (SAT/UNSAT): 2440699(2440699/0)
May 17, 2018 8:53:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2390/3524) took 2625097 ms. Total solver calls (SAT/UNSAT): 2443685(2443685/0)
May 17, 2018 8:54:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2393/3524) took 2628904 ms. Total solver calls (SAT/UNSAT): 2446668(2446668/0)
May 17, 2018 8:54:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2396/3524) took 2632622 ms. Total solver calls (SAT/UNSAT): 2449650(2449650/0)
May 17, 2018 8:54:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2399/3524) took 2636612 ms. Total solver calls (SAT/UNSAT): 2452623(2452623/0)
May 17, 2018 8:54:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2402/3524) took 2640598 ms. Total solver calls (SAT/UNSAT): 2455587(2455587/0)
May 17, 2018 8:54:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2405/3524) took 2644161 ms. Total solver calls (SAT/UNSAT): 2458526(2458526/0)
May 17, 2018 8:54:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2408/3524) took 2648002 ms. Total solver calls (SAT/UNSAT): 2461472(2461472/0)
May 17, 2018 8:54:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2411/3524) took 2651887 ms. Total solver calls (SAT/UNSAT): 2464409(2464409/0)
May 17, 2018 8:54:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2414/3524) took 2655402 ms. Total solver calls (SAT/UNSAT): 2467337(2467337/0)
May 17, 2018 8:54:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2417/3524) took 2659203 ms. Total solver calls (SAT/UNSAT): 2470256(2470256/0)
May 17, 2018 8:54:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2422/3524) took 2663487 ms. Total solver calls (SAT/UNSAT): 2473191(2473191/0)
May 17, 2018 8:54:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2425/3524) took 2667123 ms. Total solver calls (SAT/UNSAT): 2476092(2476092/0)
May 17, 2018 8:54:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2428/3524) took 2670850 ms. Total solver calls (SAT/UNSAT): 2478984(2478984/0)
May 17, 2018 8:54:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2431/3524) took 2674388 ms. Total solver calls (SAT/UNSAT): 2481867(2481867/0)
May 17, 2018 8:54:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2445/3524) took 2677872 ms. Total solver calls (SAT/UNSAT): 2484903(2484903/0)
May 17, 2018 8:54:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2448/3524) took 2681513 ms. Total solver calls (SAT/UNSAT): 2487777(2487777/0)
May 17, 2018 8:54:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2451/3524) took 2685605 ms. Total solver calls (SAT/UNSAT): 2490642(2490642/0)
May 17, 2018 8:55:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2454/3524) took 2688970 ms. Total solver calls (SAT/UNSAT): 2493498(2493498/0)
May 17, 2018 8:55:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2457/3524) took 2692357 ms. Total solver calls (SAT/UNSAT): 2496345(2496345/0)
May 17, 2018 8:55:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2460/3524) took 2696300 ms. Total solver calls (SAT/UNSAT): 2499183(2499183/0)
May 17, 2018 8:55:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2463/3524) took 2700407 ms. Total solver calls (SAT/UNSAT): 2502003(2502003/0)
May 17, 2018 8:55:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2466/3524) took 2703738 ms. Total solver calls (SAT/UNSAT): 2504814(2504814/0)
May 17, 2018 8:55:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2469/3524) took 2707554 ms. Total solver calls (SAT/UNSAT): 2507616(2507616/0)
May 17, 2018 8:55:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2472/3524) took 2711578 ms. Total solver calls (SAT/UNSAT): 2510409(2510409/0)
May 17, 2018 8:55:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2475/3524) took 2715600 ms. Total solver calls (SAT/UNSAT): 2513193(2513193/0)
May 17, 2018 8:55:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2478/3524) took 2719304 ms. Total solver calls (SAT/UNSAT): 2515968(2515968/0)
May 17, 2018 8:55:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2481/3524) took 2723092 ms. Total solver calls (SAT/UNSAT): 2518734(2518734/0)
May 17, 2018 8:55:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2484/3524) took 2726406 ms. Total solver calls (SAT/UNSAT): 2521491(2521491/0)
May 17, 2018 8:55:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2487/3524) took 2730022 ms. Total solver calls (SAT/UNSAT): 2524239(2524239/0)
May 17, 2018 8:55:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2490/3524) took 2733547 ms. Total solver calls (SAT/UNSAT): 2526978(2526978/0)
May 17, 2018 8:55:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2493/3524) took 2737272 ms. Total solver calls (SAT/UNSAT): 2529708(2529708/0)
May 17, 2018 8:55:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2496/3524) took 2740498 ms. Total solver calls (SAT/UNSAT): 2532429(2532429/0)
May 17, 2018 8:55:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2499/3524) took 2743915 ms. Total solver calls (SAT/UNSAT): 2535141(2535141/0)
May 17, 2018 8:56:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2502/3524) took 2747076 ms. Total solver calls (SAT/UNSAT): 2537844(2537844/0)
May 17, 2018 8:56:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2506/3524) took 2751126 ms. Total solver calls (SAT/UNSAT): 2541434(2541434/0)
May 17, 2018 8:56:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2509/3524) took 2754830 ms. Total solver calls (SAT/UNSAT): 2544116(2544116/0)
May 17, 2018 8:56:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2512/3524) took 2757845 ms. Total solver calls (SAT/UNSAT): 2546789(2546789/0)
May 17, 2018 8:56:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2515/3524) took 2760866 ms. Total solver calls (SAT/UNSAT): 2549453(2549453/0)
May 17, 2018 8:56:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2518/3524) took 2764200 ms. Total solver calls (SAT/UNSAT): 2552108(2552108/0)
May 17, 2018 8:56:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2521/3524) took 2767435 ms. Total solver calls (SAT/UNSAT): 2554754(2554754/0)
May 17, 2018 8:56:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2525/3524) took 2771672 ms. Total solver calls (SAT/UNSAT): 2558268(2558268/0)
May 17, 2018 8:56:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2528/3524) took 2774967 ms. Total solver calls (SAT/UNSAT): 2560893(2560893/0)
May 17, 2018 8:56:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2531/3524) took 2778255 ms. Total solver calls (SAT/UNSAT): 2563509(2563509/0)
May 17, 2018 8:56:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2534/3524) took 2781705 ms. Total solver calls (SAT/UNSAT): 2566116(2566116/0)
May 17, 2018 8:56:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2537/3524) took 2785052 ms. Total solver calls (SAT/UNSAT): 2568714(2568714/0)
May 17, 2018 8:56:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2540/3524) took 2788333 ms. Total solver calls (SAT/UNSAT): 2571303(2571303/0)
May 17, 2018 8:56:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2543/3524) took 2791780 ms. Total solver calls (SAT/UNSAT): 2573883(2573883/0)
May 17, 2018 8:56:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2546/3524) took 2795008 ms. Total solver calls (SAT/UNSAT): 2576454(2576454/0)
May 17, 2018 8:56:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2549/3524) took 2798276 ms. Total solver calls (SAT/UNSAT): 2579016(2579016/0)
May 17, 2018 8:56:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2552/3524) took 2801584 ms. Total solver calls (SAT/UNSAT): 2581569(2581569/0)
May 17, 2018 8:56:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2555/3524) took 2804669 ms. Total solver calls (SAT/UNSAT): 2584113(2584113/0)
May 17, 2018 8:57:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2558/3524) took 2807878 ms. Total solver calls (SAT/UNSAT): 2586648(2586648/0)
May 17, 2018 8:57:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2561/3524) took 2811192 ms. Total solver calls (SAT/UNSAT): 2589174(2589174/0)
May 17, 2018 8:57:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2564/3524) took 2814243 ms. Total solver calls (SAT/UNSAT): 2591691(2591691/0)
May 17, 2018 8:57:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2567/3524) took 2817266 ms. Total solver calls (SAT/UNSAT): 2594199(2594199/0)
May 17, 2018 8:57:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2571/3524) took 2820998 ms. Total solver calls (SAT/UNSAT): 2597529(2597529/0)
May 17, 2018 8:57:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2575/3524) took 2824626 ms. Total solver calls (SAT/UNSAT): 2600843(2600843/0)
May 17, 2018 8:57:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2579/3524) took 2828843 ms. Total solver calls (SAT/UNSAT): 2604141(2604141/0)
May 17, 2018 8:57:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2582/3524) took 2831913 ms. Total solver calls (SAT/UNSAT): 2606604(2606604/0)
May 17, 2018 8:57:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2586/3524) took 2835794 ms. Total solver calls (SAT/UNSAT): 2609874(2609874/0)
May 17, 2018 8:57:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2589/3524) took 2839074 ms. Total solver calls (SAT/UNSAT): 2612316(2612316/0)
May 17, 2018 8:57:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2592/3524) took 2842210 ms. Total solver calls (SAT/UNSAT): 2614749(2614749/0)
May 17, 2018 8:57:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2595/3524) took 2845360 ms. Total solver calls (SAT/UNSAT): 2617173(2617173/0)
May 17, 2018 8:57:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2598/3524) took 2848443 ms. Total solver calls (SAT/UNSAT): 2619588(2619588/0)
May 17, 2018 8:57:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2601/3524) took 2851480 ms. Total solver calls (SAT/UNSAT): 2621994(2621994/0)
May 17, 2018 8:57:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2604/3524) took 2854701 ms. Total solver calls (SAT/UNSAT): 2624391(2624391/0)
May 17, 2018 8:57:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2607/3524) took 2857846 ms. Total solver calls (SAT/UNSAT): 2626779(2626779/0)
May 17, 2018 8:57:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2611/3524) took 2861894 ms. Total solver calls (SAT/UNSAT): 2629949(2629949/0)
May 17, 2018 8:57:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2615/3524) took 2865971 ms. Total solver calls (SAT/UNSAT): 2633103(2633103/0)
May 17, 2018 8:58:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2619/3524) took 2869793 ms. Total solver calls (SAT/UNSAT): 2636241(2636241/0)
May 17, 2018 8:58:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2623/3524) took 2873778 ms. Total solver calls (SAT/UNSAT): 2639363(2639363/0)
May 17, 2018 8:58:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2627/3524) took 2877569 ms. Total solver calls (SAT/UNSAT): 2642469(2642469/0)
May 17, 2018 8:58:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2630/3524) took 2880587 ms. Total solver calls (SAT/UNSAT): 2644788(2644788/0)
May 17, 2018 8:58:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2634/3524) took 2883928 ms. Total solver calls (SAT/UNSAT): 2647866(2647866/0)
May 17, 2018 8:58:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2638/3524) took 2887605 ms. Total solver calls (SAT/UNSAT): 2650928(2650928/0)
May 17, 2018 8:58:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2642/3524) took 2891328 ms. Total solver calls (SAT/UNSAT): 2653974(2653974/0)
May 17, 2018 8:58:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2646/3524) took 2895003 ms. Total solver calls (SAT/UNSAT): 2657004(2657004/0)
May 17, 2018 8:58:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2650/3524) took 2898685 ms. Total solver calls (SAT/UNSAT): 2660018(2660018/0)
May 17, 2018 8:58:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2654/3524) took 2902449 ms. Total solver calls (SAT/UNSAT): 2663016(2663016/0)
May 17, 2018 8:58:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2658/3524) took 2905923 ms. Total solver calls (SAT/UNSAT): 2665998(2665998/0)
May 17, 2018 8:58:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2662/3524) took 2909546 ms. Total solver calls (SAT/UNSAT): 2668964(2668964/0)
May 17, 2018 8:58:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2666/3524) took 2913304 ms. Total solver calls (SAT/UNSAT): 2671914(2671914/0)
May 17, 2018 8:58:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2670/3524) took 2916817 ms. Total solver calls (SAT/UNSAT): 2674848(2674848/0)
May 17, 2018 8:58:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2674/3524) took 2920374 ms. Total solver calls (SAT/UNSAT): 2677766(2677766/0)
May 17, 2018 8:58:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2678/3524) took 2924221 ms. Total solver calls (SAT/UNSAT): 2680668(2680668/0)
May 17, 2018 8:59:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2682/3524) took 2927518 ms. Total solver calls (SAT/UNSAT): 2683554(2683554/0)
May 17, 2018 8:59:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2686/3524) took 2931029 ms. Total solver calls (SAT/UNSAT): 2686424(2686424/0)
May 17, 2018 8:59:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2690/3524) took 2934349 ms. Total solver calls (SAT/UNSAT): 2689278(2689278/0)
May 17, 2018 8:59:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2694/3524) took 2937927 ms. Total solver calls (SAT/UNSAT): 2692116(2692116/0)
May 17, 2018 8:59:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2698/3524) took 2941130 ms. Total solver calls (SAT/UNSAT): 2694938(2694938/0)
May 17, 2018 8:59:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2702/3524) took 2944868 ms. Total solver calls (SAT/UNSAT): 2697744(2697744/0)
May 17, 2018 8:59:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2706/3524) took 2948363 ms. Total solver calls (SAT/UNSAT): 2700534(2700534/0)
May 17, 2018 8:59:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2710/3524) took 2951748 ms. Total solver calls (SAT/UNSAT): 2703308(2703308/0)
May 17, 2018 8:59:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2714/3524) took 2954965 ms. Total solver calls (SAT/UNSAT): 2706066(2706066/0)
May 17, 2018 8:59:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2718/3524) took 2958029 ms. Total solver calls (SAT/UNSAT): 2708808(2708808/0)
May 17, 2018 8:59:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2722/3524) took 2961619 ms. Total solver calls (SAT/UNSAT): 2711534(2711534/0)
May 17, 2018 8:59:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2726/3524) took 2965098 ms. Total solver calls (SAT/UNSAT): 2714244(2714244/0)
May 17, 2018 8:59:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2730/3524) took 2968228 ms. Total solver calls (SAT/UNSAT): 2716938(2716938/0)
May 17, 2018 8:59:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2734/3524) took 2971293 ms. Total solver calls (SAT/UNSAT): 2719616(2719616/0)
May 17, 2018 8:59:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2738/3524) took 2974544 ms. Total solver calls (SAT/UNSAT): 2722278(2722278/0)
May 17, 2018 8:59:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2743/3524) took 2978396 ms. Total solver calls (SAT/UNSAT): 2725583(2725583/0)
May 17, 2018 8:59:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2748/3524) took 2981947 ms. Total solver calls (SAT/UNSAT): 2728863(2728863/0)
May 17, 2018 8:59:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2752/3524) took 2985088 ms. Total solver calls (SAT/UNSAT): 2731469(2731469/0)
May 17, 2018 9:00:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2757/3524) took 2988633 ms. Total solver calls (SAT/UNSAT): 2734704(2734704/0)
May 17, 2018 9:00:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2761/3524) took 2991701 ms. Total solver calls (SAT/UNSAT): 2737274(2737274/0)
May 17, 2018 9:00:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2766/3524) took 2995448 ms. Total solver calls (SAT/UNSAT): 2740464(2740464/0)
May 17, 2018 9:00:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2770/3524) took 2998637 ms. Total solver calls (SAT/UNSAT): 2742998(2742998/0)
May 17, 2018 9:00:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2775/3524) took 3002218 ms. Total solver calls (SAT/UNSAT): 2746143(2746143/0)
May 17, 2018 9:00:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2779/3524) took 3005305 ms. Total solver calls (SAT/UNSAT): 2748641(2748641/0)
May 17, 2018 9:00:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2784/3524) took 3009028 ms. Total solver calls (SAT/UNSAT): 2751741(2751741/0)
May 17, 2018 9:00:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2788/3524) took 3012174 ms. Total solver calls (SAT/UNSAT): 2754203(2754203/0)
May 17, 2018 9:00:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2792/3524) took 3015333 ms. Total solver calls (SAT/UNSAT): 2756649(2756649/0)
May 17, 2018 9:00:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2796/3524) took 3018362 ms. Total solver calls (SAT/UNSAT): 2759079(2759079/0)
May 17, 2018 9:00:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2800/3524) took 3021401 ms. Total solver calls (SAT/UNSAT): 2761493(2761493/0)
May 17, 2018 9:00:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2805/3524) took 3024812 ms. Total solver calls (SAT/UNSAT): 2764488(2764488/0)
May 17, 2018 9:00:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2811/3524) took 3028470 ms. Total solver calls (SAT/UNSAT): 2768049(2768049/0)
May 17, 2018 9:00:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2816/3524) took 3031584 ms. Total solver calls (SAT/UNSAT): 2770989(2770989/0)
May 17, 2018 9:00:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2821/3524) took 3034819 ms. Total solver calls (SAT/UNSAT): 2773904(2773904/0)
May 17, 2018 9:00:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2826/3524) took 3038274 ms. Total solver calls (SAT/UNSAT): 2776794(2776794/0)
May 17, 2018 9:00:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2831/3524) took 3041689 ms. Total solver calls (SAT/UNSAT): 2779659(2779659/0)
May 17, 2018 9:00:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2836/3524) took 3044769 ms. Total solver calls (SAT/UNSAT): 2782499(2782499/0)
May 17, 2018 9:01:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2841/3524) took 3048238 ms. Total solver calls (SAT/UNSAT): 2785314(2785314/0)
May 17, 2018 9:01:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2846/3524) took 3051610 ms. Total solver calls (SAT/UNSAT): 2788104(2788104/0)
May 17, 2018 9:01:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2851/3524) took 3055013 ms. Total solver calls (SAT/UNSAT): 2790869(2790869/0)
May 17, 2018 9:01:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2856/3524) took 3058046 ms. Total solver calls (SAT/UNSAT): 2793609(2793609/0)
May 17, 2018 9:01:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2862/3524) took 3061546 ms. Total solver calls (SAT/UNSAT): 2796864(2796864/0)
May 17, 2018 9:01:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2867/3524) took 3064572 ms. Total solver calls (SAT/UNSAT): 2799549(2799549/0)
May 17, 2018 9:01:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2873/3524) took 3067763 ms. Total solver calls (SAT/UNSAT): 2802738(2802738/0)
May 17, 2018 9:01:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2878/3524) took 3070836 ms. Total solver calls (SAT/UNSAT): 2805368(2805368/0)
May 17, 2018 9:01:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2883/3524) took 3074014 ms. Total solver calls (SAT/UNSAT): 2807973(2807973/0)
May 17, 2018 9:01:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2888/3524) took 3077181 ms. Total solver calls (SAT/UNSAT): 2810553(2810553/0)
May 17, 2018 9:01:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2894/3524) took 3080656 ms. Total solver calls (SAT/UNSAT): 2813616(2813616/0)
May 17, 2018 9:01:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2899/3524) took 3083724 ms. Total solver calls (SAT/UNSAT): 2816141(2816141/0)
May 17, 2018 9:01:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2906/3524) took 3087124 ms. Total solver calls (SAT/UNSAT): 2819634(2819634/0)
May 17, 2018 9:01:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2912/3524) took 3090397 ms. Total solver calls (SAT/UNSAT): 2822589(2822589/0)
May 17, 2018 9:01:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2918/3524) took 3094011 ms. Total solver calls (SAT/UNSAT): 2825508(2825508/0)
May 17, 2018 9:01:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2925/3524) took 3097583 ms. Total solver calls (SAT/UNSAT): 2828868(2828868/0)
May 17, 2018 9:01:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2931/3524) took 3100647 ms. Total solver calls (SAT/UNSAT): 2831709(2831709/0)
May 17, 2018 9:01:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2937/3524) took 3103896 ms. Total solver calls (SAT/UNSAT): 2834514(2834514/0)
May 17, 2018 9:02:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2944/3524) took 3107333 ms. Total solver calls (SAT/UNSAT): 2837741(2837741/0)
May 17, 2018 9:02:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2950/3524) took 3110628 ms. Total solver calls (SAT/UNSAT): 2840468(2840468/0)
May 17, 2018 9:02:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2956/3524) took 3113630 ms. Total solver calls (SAT/UNSAT): 2843159(2843159/0)
May 17, 2018 9:02:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2962/3524) took 3116845 ms. Total solver calls (SAT/UNSAT): 2845814(2845814/0)
May 17, 2018 9:02:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2968/3524) took 3119923 ms. Total solver calls (SAT/UNSAT): 2848433(2848433/0)
May 17, 2018 9:02:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2975/3524) took 3123160 ms. Total solver calls (SAT/UNSAT): 2851443(2851443/0)
May 17, 2018 9:02:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2982/3524) took 3126316 ms. Total solver calls (SAT/UNSAT): 2854404(2854404/0)
May 17, 2018 9:02:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2989/3524) took 3129439 ms. Total solver calls (SAT/UNSAT): 2857316(2857316/0)
May 17, 2018 9:02:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(2995/3524) took 3132439 ms. Total solver calls (SAT/UNSAT): 2859773(2859773/0)
May 17, 2018 9:02:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(3003/3524) took 3135723 ms. Total solver calls (SAT/UNSAT): 2862993(2862993/0)
May 17, 2018 9:02:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(3011/3524) took 3139213 ms. Total solver calls (SAT/UNSAT): 2866149(2866149/0)
May 17, 2018 9:02:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(3019/3524) took 3142666 ms. Total solver calls (SAT/UNSAT): 2869241(2869241/0)
May 17, 2018 9:02:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(3026/3524) took 3145849 ms. Total solver calls (SAT/UNSAT): 2871894(2871894/0)
May 17, 2018 9:02:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(3034/3524) took 3149154 ms. Total solver calls (SAT/UNSAT): 2874866(2874866/0)
May 17, 2018 9:02:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(3042/3524) took 3152335 ms. Total solver calls (SAT/UNSAT): 2877774(2877774/0)
May 17, 2018 9:02:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(3050/3524) took 3155603 ms. Total solver calls (SAT/UNSAT): 2880618(2880618/0)
May 17, 2018 9:02:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(3058/3524) took 3158813 ms. Total solver calls (SAT/UNSAT): 2883398(2883398/0)
May 17, 2018 9:02:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(3067/3524) took 3162157 ms. Total solver calls (SAT/UNSAT): 2886449(2886449/0)
May 17, 2018 9:02:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(3075/3524) took 3165232 ms. Total solver calls (SAT/UNSAT): 2889093(2889093/0)
May 17, 2018 9:03:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(3084/3524) took 3168381 ms. Total solver calls (SAT/UNSAT): 2891991(2891991/0)
May 17, 2018 9:03:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(3094/3524) took 3171639 ms. Total solver calls (SAT/UNSAT): 2895116(2895116/0)
May 17, 2018 9:03:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(3104/3524) took 3174778 ms. Total solver calls (SAT/UNSAT): 2898141(2898141/0)
May 17, 2018 9:03:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(3115/3524) took 3177964 ms. Total solver calls (SAT/UNSAT): 2901353(2901353/0)
May 17, 2018 9:03:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(3127/3524) took 3181287 ms. Total solver calls (SAT/UNSAT): 2904719(2904719/0)
May 17, 2018 9:03:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(3138/3524) took 3184472 ms. Total solver calls (SAT/UNSAT): 2907678(2907678/0)
May 17, 2018 9:03:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(3150/3524) took 3187652 ms. Total solver calls (SAT/UNSAT): 2910768(2910768/0)
May 17, 2018 9:03:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(3162/3524) took 3190878 ms. Total solver calls (SAT/UNSAT): 2913714(2913714/0)
May 17, 2018 9:03:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(3176/3524) took 3193937 ms. Total solver calls (SAT/UNSAT): 2916969(2916969/0)
May 17, 2018 9:03:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(3190/3524) took 3197038 ms. Total solver calls (SAT/UNSAT): 2920028(2920028/0)
May 17, 2018 9:03:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(3206/3524) took 3200139 ms. Total solver calls (SAT/UNSAT): 2923284(2923284/0)
May 17, 2018 9:03:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(3232/3524) took 3203201 ms. Total solver calls (SAT/UNSAT): 2926656(2926656/0)
May 17, 2018 9:03:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(3260/3524) took 3206308 ms. Total solver calls (SAT/UNSAT): 2930594(2930594/0)
May 17, 2018 9:03:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(3293/3524) took 3209358 ms. Total solver calls (SAT/UNSAT): 2934605(2934605/0)
May 17, 2018 9:03:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(3329/3524) took 3212385 ms. Total solver calls (SAT/UNSAT): 2938168(2938168/0)
May 17, 2018 9:03:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(3372/3524) took 3215437 ms. Total solver calls (SAT/UNSAT): 2941436(2941436/0)
May 17, 2018 9:03:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(3445/3524) took 3218449 ms. Total solver calls (SAT/UNSAT): 2944478(2944478/0)
May 17, 2018 9:03:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(3514/3524) took 3221466 ms. Total solver calls (SAT/UNSAT): 2947445(2947445/0)
May 17, 2018 9:03:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Finished co-enabling matrix. took 3221609 ms. Total solver calls (SAT/UNSAT): 2947481(2947481/0)
May 17, 2018 9:03:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeDoNotAccord
INFO: Computing Do-Not-Accords matrix : 3524 transitions.
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="CloudDeployment-PT-6b"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="mcc4mcc-full"
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/CloudDeployment-PT-6b.tgz
mv CloudDeployment-PT-6b 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 mcc4mcc-full"
echo " Input is CloudDeployment-PT-6b, 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 r046-smll-152646362700258"
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 ;