About the Execution of M4M.full for CloudDeployment-PT-7b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15911.240 | 3600000.00 | 4863832.00 | 13834.20 | [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 21M
-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.6K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K 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 9.8K 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 8.2K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K 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.8K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.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 20M May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-full
Input is CloudDeployment-PT-7b, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r046-smll-152646362700272
=====================================================================
--------------------
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-7b-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1526594092564
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-7b 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': 5439, 'Memory': 176.62, 'Tool': 'lola'}, {'Time': 6220, 'Memory': 311.3, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'itstools'}].
ReachabilityDeadlock itstools CloudDeployment-PT-7b...
May 17, 2018 9:55:03 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 9:55:03 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /mcc-data/model.pnml
May 17, 2018 9:55:05 PM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 1992 ms
May 17, 2018 9:55:05 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 2271 places.
May 17, 2018 9:55:07 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 19752 transitions.
May 17, 2018 9:55:07 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Found NUPN structural information;
May 17, 2018 9:55:23 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 15164 ms
Flatten gal took : 15172 ms
May 17, 2018 9:55:23 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /mcc-data/model.pnml.simple.gal : 557 ms
May 17, 2018 9:55:29 PM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was already deterministic with 19752 transitions.
Constant places removed 9 places and 1 transitions.
Performed 1360 Post agglomeration using F-continuation condition.
Iterating post reduction 0 with 1369 rules applied. Total rules applied 1369 place count 2262 transition count 18391
Constant places removed 1361 places and 1 transitions.
Reduce isomorphic transitions removed 21 transitions.
Performed 14 Post agglomeration using F-continuation condition.
Iterating post reduction 1 with 1396 rules applied. Total rules applied 2765 place count 901 transition count 18355
Constant places removed 14 places and 0 transitions.
Iterating post reduction 2 with 14 rules applied. Total rules applied 2779 place count 887 transition count 18355
Performed 14 Pre agglomeration using Quasi-Persistent + HF-interchangeable + Divergent Free condition.
Pre-agglomeration after 3 with 14 Pre rules applied. Total rules applied 2779 place count 887 transition count 18341
Constant places removed 14 places and 0 transitions.
Iterating post reduction 3 with 14 rules applied. Total rules applied 2793 place count 873 transition count 18341
Symmetric choice reduction at 4 with 313 rule applications. Total rules 3106 place count 873 transition count 18341
Constant places removed 313 places and 16682 transitions.
Reduce isomorphic transitions removed 42 transitions.
Iterating post reduction 4 with 355 rules applied. Total rules applied 3461 place count 560 transition count 1617
Symmetric choice reduction at 5 with 4 rule applications. Total rules 3465 place count 560 transition count 1617
Constant places removed 4 places and 4 transitions.
Iterating post reduction 5 with 4 rules applied. Total rules applied 3469 place count 556 transition count 1613
Symmetric choice reduction at 6 with 3 rule applications. Total rules 3472 place count 556 transition count 1613
Constant places removed 3 places and 3 transitions.
Iterating post reduction 6 with 3 rules applied. Total rules applied 3475 place count 553 transition count 1610
Symmetric choice reduction at 7 with 2 rule applications. Total rules 3477 place count 553 transition count 1610
Constant places removed 2 places and 2 transitions.
Iterating post reduction 7 with 2 rules applied. Total rules applied 3479 place count 551 transition count 1608
Symmetric choice reduction at 8 with 1 rule applications. Total rules 3480 place count 551 transition count 1608
Constant places removed 1 places and 1 transitions.
Iterating post reduction 8 with 1 rules applied. Total rules applied 3481 place count 550 transition count 1607
Performed 148 Post agglomeration using F-continuation condition.
Constant places removed 148 places and 0 transitions.
Iterating post reduction 9 with 148 rules applied. Total rules applied 3629 place count 402 transition count 1459
Performed 101 Post agglomeration using F-continuation condition.
Constant places removed 101 places and 0 transitions.
Reduce isomorphic transitions removed 14 transitions.
Iterating post reduction 10 with 115 rules applied. Total rules applied 3744 place count 301 transition count 4136
Performed 11 Post agglomeration using F-continuation condition.
Constant places removed 11 places and 0 transitions.
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 11 with 12 rules applied. Total rules applied 3756 place count 290 transition count 5899
Applied a total of 3756 rules in 43423 ms. Remains 290 /2271 variables (removed 1981) and now considering 5899/19752 (removed 13853) transitions.
Normalized transition count is 5480
// Phase 1: matrix 5480 rows 290 cols
Using solver Z3 to compute partial order matrices.
Built C files in :
/mcc-data
May 17, 2018 9:56:16 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /mcc-data/ReachabilityDeadlock.pnml.gal : 143 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 9:56:18 PM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was already deterministic with 5899 transitions.
No direction supplied, using forward translation only.
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
Normalized transition count is 5480
// Phase 1: matrix 5480 rows 290 cols
May 17, 2018 9:56:25 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 0 place invariants in 320 ms
May 17, 2018 9:58:07 PM fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver checkSat
WARNING: SMT solver unexpectedly returned 'unknown' answer, retrying.
May 17, 2018 9:58:17 PM fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver checkSat
WARNING: SMT solver unexpectedly returned 'unknown' answer, retrying.
May 17, 2018 9:58:19 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 290 variables to be positive in 113801 ms
May 17, 2018 9:58:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 5899 transitions.
May 17, 2018 9:58:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of disable matrix completed :0/5899 took 3 ms. Total solver calls (SAT/UNSAT): 0(0/0)
May 17, 2018 9:58:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of disable matrix completed :3423/5899 took 3005 ms. Total solver calls (SAT/UNSAT): 0(0/0)
May 17, 2018 9:58:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of disable matrix completed :3840/5899 took 6008 ms. Total solver calls (SAT/UNSAT): 0(0/0)
May 17, 2018 9:58:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of disable matrix completed :4435/5899 took 9008 ms. Total solver calls (SAT/UNSAT): 0(0/0)
May 17, 2018 9:58:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of disable matrix completed :5025/5899 took 12010 ms. Total solver calls (SAT/UNSAT): 0(0/0)
May 17, 2018 9:58:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of disable matrix completed :5741/5899 took 15010 ms. Total solver calls (SAT/UNSAT): 0(0/0)
May 17, 2018 9:58:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 15120 ms. Total solver calls (SAT/UNSAT): 0(0/0)
May 17, 2018 9:58:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 5899 transitions.
May 17, 2018 9:58:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enable matrix completed :1141/5899 took 585 ms. Total solver calls (SAT/UNSAT): 0(0/0)
May 17, 2018 9:58:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enable matrix completed :3825/5899 took 3585 ms. Total solver calls (SAT/UNSAT): 0(0/0)
May 17, 2018 9:58:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enable matrix completed :4691/5899 took 6588 ms. Total solver calls (SAT/UNSAT): 0(0/0)
May 17, 2018 9:58:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enable matrix completed :5699/5899 took 9588 ms. Total solver calls (SAT/UNSAT): 0(0/0)
May 17, 2018 9:58:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 9712 ms. Total solver calls (SAT/UNSAT): 0(0/0)
May 17, 2018 9:58:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 5899 transitions.
May 17, 2018 9:58:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(3/5899) took 6942 ms. Total solver calls (SAT/UNSAT): 4645(4645/0)
May 17, 2018 9:58:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(6/5899) took 11923 ms. Total solver calls (SAT/UNSAT): 7174(7174/0)
May 17, 2018 9:59:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(10/5899) took 15847 ms. Total solver calls (SAT/UNSAT): 9712(9712/0)
May 17, 2018 9:59:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(13/5899) took 19578 ms. Total solver calls (SAT/UNSAT): 12241(12241/0)
May 17, 2018 9:59:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(17/5899) took 22807 ms. Total solver calls (SAT/UNSAT): 14779(14779/0)
May 17, 2018 9:59:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(20/5899) took 25980 ms. Total solver calls (SAT/UNSAT): 17307(17307/0)
May 17, 2018 9:59:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(24/5899) took 29209 ms. Total solver calls (SAT/UNSAT): 19845(19845/0)
May 17, 2018 9:59:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(27/5899) took 32445 ms. Total solver calls (SAT/UNSAT): 22372(22372/0)
May 17, 2018 9:59:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(31/5899) took 35624 ms. Total solver calls (SAT/UNSAT): 24910(24910/0)
May 17, 2018 9:59:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(34/5899) took 38886 ms. Total solver calls (SAT/UNSAT): 27436(27436/0)
May 17, 2018 9:59:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(38/5899) took 42263 ms. Total solver calls (SAT/UNSAT): 29974(29974/0)
May 17, 2018 9:59:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(41/5899) took 45389 ms. Total solver calls (SAT/UNSAT): 32499(32499/0)
May 17, 2018 9:59:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(45/5899) took 48594 ms. Total solver calls (SAT/UNSAT): 35037(35037/0)
May 17, 2018 9:59:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(48/5899) took 51767 ms. Total solver calls (SAT/UNSAT): 37561(37561/0)
May 17, 2018 9:59:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(51/5899) took 56396 ms. Total solver calls (SAT/UNSAT): 40083(40083/0)
May 17, 2018 9:59:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(52/5899) took 61272 ms. Total solver calls (SAT/UNSAT): 42604(42604/0)
May 17, 2018 9:59:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(54/5899) took 66056 ms. Total solver calls (SAT/UNSAT): 45111(45111/0)
May 17, 2018 9:59:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(55/5899) took 70986 ms. Total solver calls (SAT/UNSAT): 47634(47634/0)
May 17, 2018 10:00:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(56/5899) took 75801 ms. Total solver calls (SAT/UNSAT): 50156(50156/0)
May 17, 2018 10:00:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(58/5899) took 79094 ms. Total solver calls (SAT/UNSAT): 52663(52663/0)
May 17, 2018 10:00:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(59/5899) took 82317 ms. Total solver calls (SAT/UNSAT): 55187(55187/0)
May 17, 2018 10:00:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(60/5899) took 86434 ms. Total solver calls (SAT/UNSAT): 57710(57710/0)
May 17, 2018 10:00:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(62/5899) took 89597 ms. Total solver calls (SAT/UNSAT): 60217(60217/0)
May 17, 2018 10:00:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(63/5899) took 92994 ms. Total solver calls (SAT/UNSAT): 62742(62742/0)
May 17, 2018 10:00:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(64/5899) took 96458 ms. Total solver calls (SAT/UNSAT): 65266(65266/0)
May 17, 2018 10:00:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(66/5899) took 101342 ms. Total solver calls (SAT/UNSAT): 67773(67773/0)
May 17, 2018 10:00:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(67/5899) took 104883 ms. Total solver calls (SAT/UNSAT): 70299(70299/0)
May 17, 2018 10:00:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(68/5899) took 108132 ms. Total solver calls (SAT/UNSAT): 72824(72824/0)
May 17, 2018 10:00:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(70/5899) took 111393 ms. Total solver calls (SAT/UNSAT): 75331(75331/0)
May 17, 2018 10:00:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(71/5899) took 114813 ms. Total solver calls (SAT/UNSAT): 77858(77858/0)
May 17, 2018 10:00:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(72/5899) took 118490 ms. Total solver calls (SAT/UNSAT): 80384(80384/0)
May 17, 2018 10:00:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(74/5899) took 123410 ms. Total solver calls (SAT/UNSAT): 82891(82891/0)
May 17, 2018 10:00:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(75/5899) took 127243 ms. Total solver calls (SAT/UNSAT): 85418(85418/0)
May 17, 2018 10:00:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(76/5899) took 130323 ms. Total solver calls (SAT/UNSAT): 87944(87944/0)
May 17, 2018 10:01:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(78/5899) took 133452 ms. Total solver calls (SAT/UNSAT): 90451(90451/0)
May 17, 2018 10:01:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(80/5899) took 136782 ms. Total solver calls (SAT/UNSAT): 92971(92971/0)
May 17, 2018 10:01:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(81/5899) took 140538 ms. Total solver calls (SAT/UNSAT): 95475(95475/0)
May 17, 2018 10:01:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(82/5899) took 145339 ms. Total solver calls (SAT/UNSAT): 97978(97978/0)
May 17, 2018 10:01:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(83/5899) took 150035 ms. Total solver calls (SAT/UNSAT): 100480(100480/0)
May 17, 2018 10:01:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(84/5899) took 154901 ms. Total solver calls (SAT/UNSAT): 102981(102981/0)
May 17, 2018 10:01:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(85/5899) took 159687 ms. Total solver calls (SAT/UNSAT): 105481(105481/0)
May 17, 2018 10:01:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(86/5899) took 164448 ms. Total solver calls (SAT/UNSAT): 107980(107980/0)
May 17, 2018 10:01:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(94/5899) took 169534 ms. Total solver calls (SAT/UNSAT): 110597(110597/0)
May 17, 2018 10:01:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(95/5899) took 174356 ms. Total solver calls (SAT/UNSAT): 113117(113117/0)
May 17, 2018 10:01:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(96/5899) took 179384 ms. Total solver calls (SAT/UNSAT): 115968(115968/0)
May 17, 2018 10:01:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(97/5899) took 183517 ms. Total solver calls (SAT/UNSAT): 118497(118497/0)
May 17, 2018 10:01:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(98/5899) took 186682 ms. Total solver calls (SAT/UNSAT): 121025(121025/0)
May 17, 2018 10:01:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(99/5899) took 190677 ms. Total solver calls (SAT/UNSAT): 123552(123552/0)
May 17, 2018 10:02:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(100/5899) took 195450 ms. Total solver calls (SAT/UNSAT): 126056(126056/0)
May 17, 2018 10:02:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(101/5899) took 200392 ms. Total solver calls (SAT/UNSAT): 128559(128559/0)
May 17, 2018 10:02:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(102/5899) took 204191 ms. Total solver calls (SAT/UNSAT): 131088(131088/0)
May 17, 2018 10:02:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(103/5899) took 207420 ms. Total solver calls (SAT/UNSAT): 133616(133616/0)
May 17, 2018 10:02:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(104/5899) took 210447 ms. Total solver calls (SAT/UNSAT): 136143(136143/0)
May 17, 2018 10:02:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(108/5899) took 213582 ms. Total solver calls (SAT/UNSAT): 138705(138705/0)
May 17, 2018 10:02:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(109/5899) took 216610 ms. Total solver calls (SAT/UNSAT): 141206(141206/0)
May 17, 2018 10:02:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(110/5899) took 219693 ms. Total solver calls (SAT/UNSAT): 143706(143706/0)
May 17, 2018 10:02:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(111/5899) took 222804 ms. Total solver calls (SAT/UNSAT): 146205(146205/0)
May 17, 2018 10:02:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(119/5899) took 226005 ms. Total solver calls (SAT/UNSAT): 148823(148823/0)
May 17, 2018 10:02:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(120/5899) took 229186 ms. Total solver calls (SAT/UNSAT): 151344(151344/0)
May 17, 2018 10:02:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(121/5899) took 232342 ms. Total solver calls (SAT/UNSAT): 153864(153864/0)
May 17, 2018 10:02:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(122/5899) took 235620 ms. Total solver calls (SAT/UNSAT): 156711(156711/0)
May 17, 2018 10:02:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(123/5899) took 238834 ms. Total solver calls (SAT/UNSAT): 159238(159238/0)
May 17, 2018 10:02:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(124/5899) took 242586 ms. Total solver calls (SAT/UNSAT): 161764(161764/0)
May 17, 2018 10:02:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(125/5899) took 245630 ms. Total solver calls (SAT/UNSAT): 164289(164289/0)
May 17, 2018 10:02:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(126/5899) took 248913 ms. Total solver calls (SAT/UNSAT): 167132(167132/0)
May 17, 2018 10:02:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(127/5899) took 252101 ms. Total solver calls (SAT/UNSAT): 169655(169655/0)
May 17, 2018 10:03:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(128/5899) took 255415 ms. Total solver calls (SAT/UNSAT): 172177(172177/0)
May 17, 2018 10:03:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(129/5899) took 258822 ms. Total solver calls (SAT/UNSAT): 174698(174698/0)
May 17, 2018 10:03:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(130/5899) took 261979 ms. Total solver calls (SAT/UNSAT): 177202(177202/0)
May 17, 2018 10:03:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(131/5899) took 265020 ms. Total solver calls (SAT/UNSAT): 179705(179705/0)
May 17, 2018 10:03:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(132/5899) took 268100 ms. Total solver calls (SAT/UNSAT): 182230(182230/0)
May 17, 2018 10:03:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(133/5899) took 271367 ms. Total solver calls (SAT/UNSAT): 184754(184754/0)
May 17, 2018 10:03:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(134/5899) took 274507 ms. Total solver calls (SAT/UNSAT): 187277(187277/0)
May 17, 2018 10:03:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(138/5899) took 277728 ms. Total solver calls (SAT/UNSAT): 189854(189854/0)
May 17, 2018 10:03:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(139/5899) took 280880 ms. Total solver calls (SAT/UNSAT): 192376(192376/0)
May 17, 2018 10:03:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(140/5899) took 283954 ms. Total solver calls (SAT/UNSAT): 194897(194897/0)
May 17, 2018 10:03:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(144/5899) took 287091 ms. Total solver calls (SAT/UNSAT): 197447(197447/0)
May 17, 2018 10:03:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(145/5899) took 290247 ms. Total solver calls (SAT/UNSAT): 199948(199948/0)
May 17, 2018 10:03:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(146/5899) took 293266 ms. Total solver calls (SAT/UNSAT): 202448(202448/0)
May 17, 2018 10:03:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(155/5899) took 299414 ms. Total solver calls (SAT/UNSAT): 207566(207566/0)
May 17, 2018 10:03:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(156/5899) took 302747 ms. Total solver calls (SAT/UNSAT): 210088(210088/0)
May 17, 2018 10:03:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(157/5899) took 306051 ms. Total solver calls (SAT/UNSAT): 212609(212609/0)
May 17, 2018 10:03:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(158/5899) took 309207 ms. Total solver calls (SAT/UNSAT): 215129(215129/0)
May 17, 2018 10:03:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(159/5899) took 312816 ms. Total solver calls (SAT/UNSAT): 217972(217972/0)
May 17, 2018 10:04:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(160/5899) took 316126 ms. Total solver calls (SAT/UNSAT): 220497(220497/0)
May 17, 2018 10:04:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(161/5899) took 319337 ms. Total solver calls (SAT/UNSAT): 223021(223021/0)
May 17, 2018 10:04:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(163/5899) took 325443 ms. Total solver calls (SAT/UNSAT): 228383(228383/0)
May 17, 2018 10:04:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(164/5899) took 328892 ms. Total solver calls (SAT/UNSAT): 230904(230904/0)
May 17, 2018 10:04:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(166/5899) took 334932 ms. Total solver calls (SAT/UNSAT): 235943(235943/0)
May 17, 2018 10:04:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(167/5899) took 338013 ms. Total solver calls (SAT/UNSAT): 238778(238778/0)
May 17, 2018 10:04:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(168/5899) took 341163 ms. Total solver calls (SAT/UNSAT): 241295(241295/0)
May 17, 2018 10:04:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(169/5899) took 344290 ms. Total solver calls (SAT/UNSAT): 243811(243811/0)
May 17, 2018 10:04:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(170/5899) took 347401 ms. Total solver calls (SAT/UNSAT): 246326(246326/0)
May 17, 2018 10:04:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(171/5899) took 350708 ms. Total solver calls (SAT/UNSAT): 248830(248830/0)
May 17, 2018 10:04:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(172/5899) took 354367 ms. Total solver calls (SAT/UNSAT): 251333(251333/0)
May 17, 2018 10:04:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(174/5899) took 360493 ms. Total solver calls (SAT/UNSAT): 256374(256374/0)
May 17, 2018 10:04:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(175/5899) took 363532 ms. Total solver calls (SAT/UNSAT): 258893(258893/0)
May 17, 2018 10:04:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(179/5899) took 366900 ms. Total solver calls (SAT/UNSAT): 261460(261460/0)
May 17, 2018 10:04:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(180/5899) took 370153 ms. Total solver calls (SAT/UNSAT): 263978(263978/0)
May 17, 2018 10:05:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(181/5899) took 373365 ms. Total solver calls (SAT/UNSAT): 266495(266495/0)
May 17, 2018 10:05:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(185/5899) took 377060 ms. Total solver calls (SAT/UNSAT): 269054(269054/0)
May 17, 2018 10:05:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(186/5899) took 380360 ms. Total solver calls (SAT/UNSAT): 271570(271570/0)
May 17, 2018 10:05:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(187/5899) took 383943 ms. Total solver calls (SAT/UNSAT): 274085(274085/0)
May 17, 2018 10:05:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(191/5899) took 387145 ms. Total solver calls (SAT/UNSAT): 276623(276623/0)
May 17, 2018 10:05:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(192/5899) took 390299 ms. Total solver calls (SAT/UNSAT): 279124(279124/0)
May 17, 2018 10:05:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(193/5899) took 393357 ms. Total solver calls (SAT/UNSAT): 281624(281624/0)
May 17, 2018 10:05:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(194/5899) took 397181 ms. Total solver calls (SAT/UNSAT): 284123(284123/0)
May 17, 2018 10:05:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(202/5899) took 400390 ms. Total solver calls (SAT/UNSAT): 286743(286743/0)
May 17, 2018 10:05:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(203/5899) took 403548 ms. Total solver calls (SAT/UNSAT): 289266(289266/0)
May 17, 2018 10:05:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(204/5899) took 406666 ms. Total solver calls (SAT/UNSAT): 291788(291788/0)
May 17, 2018 10:05:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(205/5899) took 409823 ms. Total solver calls (SAT/UNSAT): 294309(294309/0)
May 17, 2018 10:05:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(206/5899) took 413406 ms. Total solver calls (SAT/UNSAT): 296829(296829/0)
May 17, 2018 10:05:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(207/5899) took 416959 ms. Total solver calls (SAT/UNSAT): 299668(299668/0)
May 17, 2018 10:05:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(208/5899) took 420281 ms. Total solver calls (SAT/UNSAT): 302191(302191/0)
May 17, 2018 10:05:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(209/5899) took 423679 ms. Total solver calls (SAT/UNSAT): 304713(304713/0)
May 17, 2018 10:05:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(210/5899) took 426843 ms. Total solver calls (SAT/UNSAT): 307234(307234/0)
May 17, 2018 10:05:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(211/5899) took 430199 ms. Total solver calls (SAT/UNSAT): 310069(310069/0)
May 17, 2018 10:06:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(212/5899) took 433708 ms. Total solver calls (SAT/UNSAT): 312588(312588/0)
May 17, 2018 10:06:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(213/5899) took 437017 ms. Total solver calls (SAT/UNSAT): 315106(315106/0)
May 17, 2018 10:06:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(214/5899) took 440309 ms. Total solver calls (SAT/UNSAT): 317623(317623/0)
May 17, 2018 10:06:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(215/5899) took 443579 ms. Total solver calls (SAT/UNSAT): 320454(320454/0)
May 17, 2018 10:06:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(216/5899) took 446603 ms. Total solver calls (SAT/UNSAT): 322969(322969/0)
May 17, 2018 10:06:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(217/5899) took 449758 ms. Total solver calls (SAT/UNSAT): 325483(325483/0)
May 17, 2018 10:06:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(219/5899) took 455985 ms. Total solver calls (SAT/UNSAT): 330823(330823/0)
May 17, 2018 10:06:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(221/5899) took 461823 ms. Total solver calls (SAT/UNSAT): 335844(335844/0)
May 17, 2018 10:06:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(223/5899) took 467705 ms. Total solver calls (SAT/UNSAT): 340857(340857/0)
May 17, 2018 10:06:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(224/5899) took 470795 ms. Total solver calls (SAT/UNSAT): 343360(343360/0)
May 17, 2018 10:06:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(225/5899) took 473894 ms. Total solver calls (SAT/UNSAT): 345877(345877/0)
May 17, 2018 10:06:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(227/5899) took 479902 ms. Total solver calls (SAT/UNSAT): 350908(350908/0)
May 17, 2018 10:06:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(231/5899) took 482940 ms. Total solver calls (SAT/UNSAT): 353465(353465/0)
May 17, 2018 10:06:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(232/5899) took 485982 ms. Total solver calls (SAT/UNSAT): 355979(355979/0)
May 17, 2018 10:06:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(235/5899) took 488984 ms. Total solver calls (SAT/UNSAT): 358516(358516/0)
May 17, 2018 10:06:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(237/5899) took 492062 ms. Total solver calls (SAT/UNSAT): 361041(361041/0)
May 17, 2018 10:07:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(239/5899) took 498253 ms. Total solver calls (SAT/UNSAT): 366064(366064/0)
May 17, 2018 10:07:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(243/5899) took 501389 ms. Total solver calls (SAT/UNSAT): 368605(368605/0)
May 17, 2018 10:07:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(244/5899) took 504480 ms. Total solver calls (SAT/UNSAT): 371115(371115/0)
May 17, 2018 10:07:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(248/5899) took 507483 ms. Total solver calls (SAT/UNSAT): 373648(373648/0)
May 17, 2018 10:07:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(250/5899) took 513328 ms. Total solver calls (SAT/UNSAT): 378651(378651/0)
May 17, 2018 10:07:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(251/5899) took 516564 ms. Total solver calls (SAT/UNSAT): 381151(381151/0)
May 17, 2018 10:07:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(252/5899) took 519779 ms. Total solver calls (SAT/UNSAT): 383650(383650/0)
May 17, 2018 10:07:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(260/5899) took 523140 ms. Total solver calls (SAT/UNSAT): 386271(386271/0)
May 17, 2018 10:07:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(262/5899) took 529257 ms. Total solver calls (SAT/UNSAT): 391318(391318/0)
May 17, 2018 10:07:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(263/5899) took 532660 ms. Total solver calls (SAT/UNSAT): 393840(393840/0)
May 17, 2018 10:07:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(264/5899) took 535701 ms. Total solver calls (SAT/UNSAT): 396361(396361/0)
May 17, 2018 10:07:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(265/5899) took 538780 ms. Total solver calls (SAT/UNSAT): 398881(398881/0)
May 17, 2018 10:07:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(266/5899) took 541970 ms. Total solver calls (SAT/UNSAT): 401716(401716/0)
May 17, 2018 10:07:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(267/5899) took 545188 ms. Total solver calls (SAT/UNSAT): 404237(404237/0)
May 17, 2018 10:07:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(268/5899) took 548253 ms. Total solver calls (SAT/UNSAT): 406757(406757/0)
May 17, 2018 10:07:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(269/5899) took 551317 ms. Total solver calls (SAT/UNSAT): 409276(409276/0)
May 17, 2018 10:08:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(270/5899) took 554767 ms. Total solver calls (SAT/UNSAT): 412107(412107/0)
May 17, 2018 10:08:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(271/5899) took 557797 ms. Total solver calls (SAT/UNSAT): 414624(414624/0)
May 17, 2018 10:08:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(272/5899) took 560927 ms. Total solver calls (SAT/UNSAT): 417140(417140/0)
May 17, 2018 10:08:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(273/5899) took 564081 ms. Total solver calls (SAT/UNSAT): 419655(419655/0)
May 17, 2018 10:08:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(274/5899) took 567389 ms. Total solver calls (SAT/UNSAT): 422482(422482/0)
May 17, 2018 10:08:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(275/5899) took 570565 ms. Total solver calls (SAT/UNSAT): 424995(424995/0)
May 17, 2018 10:08:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(276/5899) took 573789 ms. Total solver calls (SAT/UNSAT): 427507(427507/0)
May 17, 2018 10:08:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(277/5899) took 576931 ms. Total solver calls (SAT/UNSAT): 430018(430018/0)
May 17, 2018 10:08:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(278/5899) took 580205 ms. Total solver calls (SAT/UNSAT): 432841(432841/0)
May 17, 2018 10:08:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(279/5899) took 583392 ms. Total solver calls (SAT/UNSAT): 435350(435350/0)
May 17, 2018 10:08:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(280/5899) took 586551 ms. Total solver calls (SAT/UNSAT): 437858(437858/0)
May 17, 2018 10:08:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(281/5899) took 589789 ms. Total solver calls (SAT/UNSAT): 440365(440365/0)
May 17, 2018 10:08:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(282/5899) took 592955 ms. Total solver calls (SAT/UNSAT): 443184(443184/0)
May 17, 2018 10:08:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(283/5899) took 596232 ms. Total solver calls (SAT/UNSAT): 445689(445689/0)
May 17, 2018 10:08:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(284/5899) took 599469 ms. Total solver calls (SAT/UNSAT): 448193(448193/0)
May 17, 2018 10:08:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(285/5899) took 602608 ms. Total solver calls (SAT/UNSAT): 450696(450696/0)
May 17, 2018 10:08:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(286/5899) took 605760 ms. Total solver calls (SAT/UNSAT): 453200(453200/0)
May 17, 2018 10:08:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(287/5899) took 608803 ms. Total solver calls (SAT/UNSAT): 455703(455703/0)
May 17, 2018 10:08:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(288/5899) took 612160 ms. Total solver calls (SAT/UNSAT): 458216(458216/0)
May 17, 2018 10:09:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(289/5899) took 615326 ms. Total solver calls (SAT/UNSAT): 460728(460728/0)
May 17, 2018 10:09:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(290/5899) took 618693 ms. Total solver calls (SAT/UNSAT): 463239(463239/0)
May 17, 2018 10:09:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(294/5899) took 621800 ms. Total solver calls (SAT/UNSAT): 465786(465786/0)
May 17, 2018 10:09:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(295/5899) took 625149 ms. Total solver calls (SAT/UNSAT): 468296(468296/0)
May 17, 2018 10:09:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(296/5899) took 628238 ms. Total solver calls (SAT/UNSAT): 470805(470805/0)
May 17, 2018 10:09:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(300/5899) took 631318 ms. Total solver calls (SAT/UNSAT): 473344(473344/0)
May 17, 2018 10:09:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(301/5899) took 634466 ms. Total solver calls (SAT/UNSAT): 475852(475852/0)
May 17, 2018 10:09:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(302/5899) took 637523 ms. Total solver calls (SAT/UNSAT): 478359(478359/0)
May 17, 2018 10:09:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(306/5899) took 640828 ms. Total solver calls (SAT/UNSAT): 480890(480890/0)
May 17, 2018 10:09:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(307/5899) took 643829 ms. Total solver calls (SAT/UNSAT): 483396(483396/0)
May 17, 2018 10:09:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(308/5899) took 646950 ms. Total solver calls (SAT/UNSAT): 485901(485901/0)
May 17, 2018 10:09:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(312/5899) took 650054 ms. Total solver calls (SAT/UNSAT): 488424(488424/0)
May 17, 2018 10:09:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(314/5899) took 656262 ms. Total solver calls (SAT/UNSAT): 493431(493431/0)
May 17, 2018 10:09:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(318/5899) took 659500 ms. Total solver calls (SAT/UNSAT): 495945(495945/0)
May 17, 2018 10:09:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(319/5899) took 662508 ms. Total solver calls (SAT/UNSAT): 498446(498446/0)
May 17, 2018 10:09:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(320/5899) took 665576 ms. Total solver calls (SAT/UNSAT): 500946(500946/0)
May 17, 2018 10:09:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(321/5899) took 668745 ms. Total solver calls (SAT/UNSAT): 503445(503445/0)
May 17, 2018 10:09:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(329/5899) took 671953 ms. Total solver calls (SAT/UNSAT): 506066(506066/0)
May 17, 2018 10:10:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(330/5899) took 674985 ms. Total solver calls (SAT/UNSAT): 508590(508590/0)
May 17, 2018 10:10:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(331/5899) took 678012 ms. Total solver calls (SAT/UNSAT): 511113(511113/0)
May 17, 2018 10:10:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(332/5899) took 681165 ms. Total solver calls (SAT/UNSAT): 513635(513635/0)
May 17, 2018 10:10:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(333/5899) took 684180 ms. Total solver calls (SAT/UNSAT): 516156(516156/0)
May 17, 2018 10:10:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(334/5899) took 687335 ms. Total solver calls (SAT/UNSAT): 518676(518676/0)
May 17, 2018 10:10:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(335/5899) took 690709 ms. Total solver calls (SAT/UNSAT): 521507(521507/0)
May 17, 2018 10:10:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(336/5899) took 694003 ms. Total solver calls (SAT/UNSAT): 524026(524026/0)
May 17, 2018 10:10:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(337/5899) took 697257 ms. Total solver calls (SAT/UNSAT): 526544(526544/0)
May 17, 2018 10:10:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(338/5899) took 700459 ms. Total solver calls (SAT/UNSAT): 529061(529061/0)
May 17, 2018 10:10:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(339/5899) took 703865 ms. Total solver calls (SAT/UNSAT): 531888(531888/0)
May 17, 2018 10:10:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(340/5899) took 707056 ms. Total solver calls (SAT/UNSAT): 534403(534403/0)
May 17, 2018 10:10:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(341/5899) took 710303 ms. Total solver calls (SAT/UNSAT): 536917(536917/0)
May 17, 2018 10:10:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(342/5899) took 713497 ms. Total solver calls (SAT/UNSAT): 539430(539430/0)
May 17, 2018 10:10:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(343/5899) took 716860 ms. Total solver calls (SAT/UNSAT): 542253(542253/0)
May 17, 2018 10:10:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(344/5899) took 719908 ms. Total solver calls (SAT/UNSAT): 544764(544764/0)
May 17, 2018 10:10:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(345/5899) took 722913 ms. Total solver calls (SAT/UNSAT): 547274(547274/0)
May 17, 2018 10:10:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(346/5899) took 726013 ms. Total solver calls (SAT/UNSAT): 549783(549783/0)
May 17, 2018 10:10:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(347/5899) took 729130 ms. Total solver calls (SAT/UNSAT): 552602(552602/0)
May 17, 2018 10:10:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(348/5899) took 732971 ms. Total solver calls (SAT/UNSAT): 555109(555109/0)
May 17, 2018 10:11:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(349/5899) took 737692 ms. Total solver calls (SAT/UNSAT): 557615(557615/0)
May 17, 2018 10:11:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(350/5899) took 742546 ms. Total solver calls (SAT/UNSAT): 560120(560120/0)
May 17, 2018 10:11:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(351/5899) took 747686 ms. Total solver calls (SAT/UNSAT): 562935(562935/0)
May 17, 2018 10:11:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(352/5899) took 752179 ms. Total solver calls (SAT/UNSAT): 565438(565438/0)
May 17, 2018 10:11:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(353/5899) took 755242 ms. Total solver calls (SAT/UNSAT): 567940(567940/0)
May 17, 2018 10:11:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(354/5899) took 758450 ms. Total solver calls (SAT/UNSAT): 570441(570441/0)
May 17, 2018 10:11:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(355/5899) took 761705 ms. Total solver calls (SAT/UNSAT): 573252(573252/0)
May 17, 2018 10:11:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(356/5899) took 764935 ms. Total solver calls (SAT/UNSAT): 575751(575751/0)
May 17, 2018 10:11:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(357/5899) took 768103 ms. Total solver calls (SAT/UNSAT): 578249(578249/0)
May 17, 2018 10:11:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(358/5899) took 771287 ms. Total solver calls (SAT/UNSAT): 580746(580746/0)
May 17, 2018 10:11:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(359/5899) took 775226 ms. Total solver calls (SAT/UNSAT): 583250(583250/0)
May 17, 2018 10:11:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(360/5899) took 779734 ms. Total solver calls (SAT/UNSAT): 585753(585753/0)
May 17, 2018 10:11:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(361/5899) took 782950 ms. Total solver calls (SAT/UNSAT): 588262(588262/0)
May 17, 2018 10:11:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(362/5899) took 786097 ms. Total solver calls (SAT/UNSAT): 590770(590770/0)
May 17, 2018 10:11:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(363/5899) took 789301 ms. Total solver calls (SAT/UNSAT): 593277(593277/0)
May 17, 2018 10:11:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(367/5899) took 792564 ms. Total solver calls (SAT/UNSAT): 595814(595814/0)
May 17, 2018 10:12:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(368/5899) took 795863 ms. Total solver calls (SAT/UNSAT): 598320(598320/0)
May 17, 2018 10:12:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(369/5899) took 798875 ms. Total solver calls (SAT/UNSAT): 600825(600825/0)
May 17, 2018 10:12:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(373/5899) took 802019 ms. Total solver calls (SAT/UNSAT): 603354(603354/0)
May 17, 2018 10:12:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(374/5899) took 805245 ms. Total solver calls (SAT/UNSAT): 605858(605858/0)
May 17, 2018 10:12:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(375/5899) took 808319 ms. Total solver calls (SAT/UNSAT): 608361(608361/0)
May 17, 2018 10:12:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(379/5899) took 811649 ms. Total solver calls (SAT/UNSAT): 610882(610882/0)
May 17, 2018 10:12:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(380/5899) took 814712 ms. Total solver calls (SAT/UNSAT): 613384(613384/0)
May 17, 2018 10:12:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(381/5899) took 818064 ms. Total solver calls (SAT/UNSAT): 615885(615885/0)
May 17, 2018 10:12:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(385/5899) took 821104 ms. Total solver calls (SAT/UNSAT): 618398(618398/0)
May 17, 2018 10:12:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(386/5899) took 824163 ms. Total solver calls (SAT/UNSAT): 620898(620898/0)
May 17, 2018 10:12:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(387/5899) took 827355 ms. Total solver calls (SAT/UNSAT): 623397(623397/0)
May 17, 2018 10:12:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(391/5899) took 830516 ms. Total solver calls (SAT/UNSAT): 625902(625902/0)
May 17, 2018 10:12:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(392/5899) took 833755 ms. Total solver calls (SAT/UNSAT): 628400(628400/0)
May 17, 2018 10:12:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(393/5899) took 836880 ms. Total solver calls (SAT/UNSAT): 630897(630897/0)
May 17, 2018 10:12:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(397/5899) took 840084 ms. Total solver calls (SAT/UNSAT): 633399(633399/0)
May 17, 2018 10:12:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(398/5899) took 843251 ms. Total solver calls (SAT/UNSAT): 635900(635900/0)
May 17, 2018 10:12:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(399/5899) took 846358 ms. Total solver calls (SAT/UNSAT): 638400(638400/0)
May 17, 2018 10:12:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(400/5899) took 849538 ms. Total solver calls (SAT/UNSAT): 640899(640899/0)
May 17, 2018 10:13:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(408/5899) took 854304 ms. Total solver calls (SAT/UNSAT): 645307(645307/0)
May 17, 2018 10:13:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(409/5899) took 858668 ms. Total solver calls (SAT/UNSAT): 649618(649618/0)
May 17, 2018 10:13:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(410/5899) took 862888 ms. Total solver calls (SAT/UNSAT): 653928(653928/0)
May 17, 2018 10:13:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(411/5899) took 866955 ms. Total solver calls (SAT/UNSAT): 658237(658237/0)
May 17, 2018 10:13:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(412/5899) took 871106 ms. Total solver calls (SAT/UNSAT): 662545(662545/0)
May 17, 2018 10:13:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(413/5899) took 875334 ms. Total solver calls (SAT/UNSAT): 666852(666852/0)
May 17, 2018 10:13:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(414/5899) took 879599 ms. Total solver calls (SAT/UNSAT): 671158(671158/0)
May 17, 2018 10:13:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(415/5899) took 883851 ms. Total solver calls (SAT/UNSAT): 675463(675463/0)
May 17, 2018 10:13:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(416/5899) took 888094 ms. Total solver calls (SAT/UNSAT): 679767(679767/0)
May 17, 2018 10:13:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(417/5899) took 892244 ms. Total solver calls (SAT/UNSAT): 684070(684070/0)
May 17, 2018 10:13:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(418/5899) took 896536 ms. Total solver calls (SAT/UNSAT): 688372(688372/0)
May 17, 2018 10:13:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(419/5899) took 900826 ms. Total solver calls (SAT/UNSAT): 692673(692673/0)
May 17, 2018 10:13:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(420/5899) took 905090 ms. Total solver calls (SAT/UNSAT): 696973(696973/0)
May 17, 2018 10:13:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(421/5899) took 909248 ms. Total solver calls (SAT/UNSAT): 701272(701272/0)
May 17, 2018 10:14:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(422/5899) took 913379 ms. Total solver calls (SAT/UNSAT): 705570(705570/0)
May 17, 2018 10:14:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(423/5899) took 917700 ms. Total solver calls (SAT/UNSAT): 709867(709867/0)
May 17, 2018 10:14:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(424/5899) took 922311 ms. Total solver calls (SAT/UNSAT): 714163(714163/0)
May 17, 2018 10:14:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(425/5899) took 926527 ms. Total solver calls (SAT/UNSAT): 718458(718458/0)
May 17, 2018 10:14:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(426/5899) took 930952 ms. Total solver calls (SAT/UNSAT): 722752(722752/0)
May 17, 2018 10:14:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(427/5899) took 935241 ms. Total solver calls (SAT/UNSAT): 727045(727045/0)
May 17, 2018 10:14:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(428/5899) took 939845 ms. Total solver calls (SAT/UNSAT): 731337(731337/0)
May 17, 2018 10:14:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(429/5899) took 944089 ms. Total solver calls (SAT/UNSAT): 735628(735628/0)
May 17, 2018 10:14:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(430/5899) took 948448 ms. Total solver calls (SAT/UNSAT): 739918(739918/0)
May 17, 2018 10:14:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(431/5899) took 952578 ms. Total solver calls (SAT/UNSAT): 744207(744207/0)
May 17, 2018 10:14:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(432/5899) took 957204 ms. Total solver calls (SAT/UNSAT): 748495(748495/0)
May 17, 2018 10:14:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(433/5899) took 961390 ms. Total solver calls (SAT/UNSAT): 752782(752782/0)
May 17, 2018 10:14:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(434/5899) took 965980 ms. Total solver calls (SAT/UNSAT): 757068(757068/0)
May 17, 2018 10:14:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(435/5899) took 970080 ms. Total solver calls (SAT/UNSAT): 761353(761353/0)
May 17, 2018 10:15:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(436/5899) took 974367 ms. Total solver calls (SAT/UNSAT): 765637(765637/0)
May 17, 2018 10:15:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(437/5899) took 978664 ms. Total solver calls (SAT/UNSAT): 769920(769920/0)
May 17, 2018 10:15:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(438/5899) took 982748 ms. Total solver calls (SAT/UNSAT): 774202(774202/0)
May 17, 2018 10:15:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(439/5899) took 987320 ms. Total solver calls (SAT/UNSAT): 778483(778483/0)
May 17, 2018 10:15:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(440/5899) took 991465 ms. Total solver calls (SAT/UNSAT): 782763(782763/0)
May 17, 2018 10:15:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(441/5899) took 995987 ms. Total solver calls (SAT/UNSAT): 787042(787042/0)
May 17, 2018 10:15:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(442/5899) took 1000012 ms. Total solver calls (SAT/UNSAT): 791320(791320/0)
May 17, 2018 10:15:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(443/5899) took 1004385 ms. Total solver calls (SAT/UNSAT): 795597(795597/0)
May 17, 2018 10:15:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(444/5899) took 1008683 ms. Total solver calls (SAT/UNSAT): 799873(799873/0)
May 17, 2018 10:15:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(445/5899) took 1013167 ms. Total solver calls (SAT/UNSAT): 804148(804148/0)
May 17, 2018 10:15:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(446/5899) took 1017209 ms. Total solver calls (SAT/UNSAT): 808422(808422/0)
May 17, 2018 10:15:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(447/5899) took 1023665 ms. Total solver calls (SAT/UNSAT): 812695(812695/0)
May 17, 2018 10:15:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(448/5899) took 1030322 ms. Total solver calls (SAT/UNSAT): 816967(816967/0)
May 17, 2018 10:16:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(449/5899) took 1036764 ms. Total solver calls (SAT/UNSAT): 821238(821238/0)
May 17, 2018 10:16:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(450/5899) took 1043511 ms. Total solver calls (SAT/UNSAT): 825508(825508/0)
May 17, 2018 10:16:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(451/5899) took 1050210 ms. Total solver calls (SAT/UNSAT): 829777(829777/0)
May 17, 2018 10:16:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(452/5899) took 1056678 ms. Total solver calls (SAT/UNSAT): 834045(834045/0)
May 17, 2018 10:16:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(453/5899) took 1063476 ms. Total solver calls (SAT/UNSAT): 838312(838312/0)
May 17, 2018 10:16:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(454/5899) took 1068005 ms. Total solver calls (SAT/UNSAT): 842578(842578/0)
May 17, 2018 10:16:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(455/5899) took 1072248 ms. Total solver calls (SAT/UNSAT): 846843(846843/0)
May 17, 2018 10:16:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(456/5899) took 1076450 ms. Total solver calls (SAT/UNSAT): 851107(851107/0)
May 17, 2018 10:16:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(459/5899) took 1080379 ms. Total solver calls (SAT/UNSAT): 853605(853605/0)
May 17, 2018 10:16:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(460/5899) took 1084011 ms. Total solver calls (SAT/UNSAT): 856095(856095/0)
May 17, 2018 10:16:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(461/5899) took 1088388 ms. Total solver calls (SAT/UNSAT): 860356(860356/0)
May 17, 2018 10:17:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(462/5899) took 1093542 ms. Total solver calls (SAT/UNSAT): 864616(864616/0)
May 17, 2018 10:17:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(463/5899) took 1098161 ms. Total solver calls (SAT/UNSAT): 868875(868875/0)
May 17, 2018 10:17:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(464/5899) took 1104063 ms. Total solver calls (SAT/UNSAT): 873133(873133/0)
May 17, 2018 10:17:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(465/5899) took 1108500 ms. Total solver calls (SAT/UNSAT): 877390(877390/0)
May 17, 2018 10:17:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(466/5899) took 1112701 ms. Total solver calls (SAT/UNSAT): 881646(881646/0)
May 17, 2018 10:17:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(467/5899) took 1116913 ms. Total solver calls (SAT/UNSAT): 885901(885901/0)
May 17, 2018 10:17:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(468/5899) took 1121111 ms. Total solver calls (SAT/UNSAT): 890155(890155/0)
May 17, 2018 10:17:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(469/5899) took 1126165 ms. Total solver calls (SAT/UNSAT): 894408(894408/0)
May 17, 2018 10:17:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(470/5899) took 1131240 ms. Total solver calls (SAT/UNSAT): 898660(898660/0)
May 17, 2018 10:17:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(471/5899) took 1136285 ms. Total solver calls (SAT/UNSAT): 902911(902911/0)
May 17, 2018 10:17:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(472/5899) took 1141374 ms. Total solver calls (SAT/UNSAT): 907161(907161/0)
May 17, 2018 10:17:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(473/5899) took 1146437 ms. Total solver calls (SAT/UNSAT): 911410(911410/0)
May 17, 2018 10:17:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(474/5899) took 1151488 ms. Total solver calls (SAT/UNSAT): 915658(915658/0)
May 17, 2018 10:18:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(475/5899) took 1155404 ms. Total solver calls (SAT/UNSAT): 918133(918133/0)
May 17, 2018 10:18:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(476/5899) took 1159541 ms. Total solver calls (SAT/UNSAT): 920607(920607/0)
May 17, 2018 10:18:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(477/5899) took 1164577 ms. Total solver calls (SAT/UNSAT): 924852(924852/0)
May 17, 2018 10:18:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(478/5899) took 1169814 ms. Total solver calls (SAT/UNSAT): 929096(929096/0)
May 17, 2018 10:18:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(479/5899) took 1174818 ms. Total solver calls (SAT/UNSAT): 933339(933339/0)
May 17, 2018 10:18:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(480/5899) took 1178867 ms. Total solver calls (SAT/UNSAT): 937581(937581/0)
May 17, 2018 10:18:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(481/5899) took 1183021 ms. Total solver calls (SAT/UNSAT): 941822(941822/0)
May 17, 2018 10:18:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(482/5899) took 1186787 ms. Total solver calls (SAT/UNSAT): 946062(946062/0)
May 17, 2018 10:18:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(483/5899) took 1190604 ms. Total solver calls (SAT/UNSAT): 950301(950301/0)
May 17, 2018 10:18:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(484/5899) took 1194445 ms. Total solver calls (SAT/UNSAT): 954539(954539/0)
May 17, 2018 10:18:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(485/5899) took 1198343 ms. Total solver calls (SAT/UNSAT): 958776(958776/0)
ITS-tools command line returned an error code 137
May 17, 2018 10:18:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(486/5899) took 1204264 ms. Total solver calls (SAT/UNSAT): 963012(963012/0)
May 17, 2018 10:18:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(487/5899) took 1208193 ms. Total solver calls (SAT/UNSAT): 967247(967247/0)
May 17, 2018 10:18:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(488/5899) took 1212101 ms. Total solver calls (SAT/UNSAT): 971481(971481/0)
May 17, 2018 10:19:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(489/5899) took 1216065 ms. Total solver calls (SAT/UNSAT): 975714(975714/0)
May 17, 2018 10:19:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(490/5899) took 1220049 ms. Total solver calls (SAT/UNSAT): 979946(979946/0)
May 17, 2018 10:19:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(493/5899) took 1223955 ms. Total solver calls (SAT/UNSAT): 984206(984206/0)
May 17, 2018 10:19:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(494/5899) took 1227853 ms. Total solver calls (SAT/UNSAT): 988436(988436/0)
May 17, 2018 10:19:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(495/5899) took 1231813 ms. Total solver calls (SAT/UNSAT): 992665(992665/0)
May 17, 2018 10:19:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(496/5899) took 1235743 ms. Total solver calls (SAT/UNSAT): 996893(996893/0)
May 17, 2018 10:19:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(497/5899) took 1239669 ms. Total solver calls (SAT/UNSAT): 1001120(1001120/0)
May 17, 2018 10:19:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(498/5899) took 1243630 ms. Total solver calls (SAT/UNSAT): 1005346(1005346/0)
May 17, 2018 10:19:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(499/5899) took 1247584 ms. Total solver calls (SAT/UNSAT): 1009571(1009571/0)
May 17, 2018 10:19:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(500/5899) took 1251565 ms. Total solver calls (SAT/UNSAT): 1013795(1013795/0)
May 17, 2018 10:19:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(501/5899) took 1255553 ms. Total solver calls (SAT/UNSAT): 1018018(1018018/0)
May 17, 2018 10:19:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(502/5899) took 1259436 ms. Total solver calls (SAT/UNSAT): 1022240(1022240/0)
May 17, 2018 10:19:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(503/5899) took 1263370 ms. Total solver calls (SAT/UNSAT): 1026461(1026461/0)
May 17, 2018 10:19:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(504/5899) took 1267319 ms. Total solver calls (SAT/UNSAT): 1030681(1030681/0)
May 17, 2018 10:19:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(505/5899) took 1271206 ms. Total solver calls (SAT/UNSAT): 1034900(1034900/0)
May 17, 2018 10:20:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(506/5899) took 1275110 ms. Total solver calls (SAT/UNSAT): 1039118(1039118/0)
May 17, 2018 10:20:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(518/5899) took 1279517 ms. Total solver calls (SAT/UNSAT): 1043512(1043512/0)
May 17, 2018 10:20:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(519/5899) took 1283822 ms. Total solver calls (SAT/UNSAT): 1047731(1047731/0)
May 17, 2018 10:20:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(520/5899) took 1288121 ms. Total solver calls (SAT/UNSAT): 1051949(1051949/0)
May 17, 2018 10:20:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(521/5899) took 1292319 ms. Total solver calls (SAT/UNSAT): 1056166(1056166/0)
May 17, 2018 10:20:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(522/5899) took 1296508 ms. Total solver calls (SAT/UNSAT): 1060382(1060382/0)
May 17, 2018 10:20:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(523/5899) took 1300723 ms. Total solver calls (SAT/UNSAT): 1064597(1064597/0)
May 17, 2018 10:20:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(524/5899) took 1304929 ms. Total solver calls (SAT/UNSAT): 1068811(1068811/0)
May 17, 2018 10:20:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(525/5899) took 1309151 ms. Total solver calls (SAT/UNSAT): 1073024(1073024/0)
May 17, 2018 10:20:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(526/5899) took 1313350 ms. Total solver calls (SAT/UNSAT): 1077236(1077236/0)
May 17, 2018 10:20:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(527/5899) took 1317548 ms. Total solver calls (SAT/UNSAT): 1081447(1081447/0)
May 17, 2018 10:20:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(528/5899) took 1323374 ms. Total solver calls (SAT/UNSAT): 1085657(1085657/0)
May 17, 2018 10:20:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(529/5899) took 1329914 ms. Total solver calls (SAT/UNSAT): 1089866(1089866/0)
May 17, 2018 10:21:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(530/5899) took 1336438 ms. Total solver calls (SAT/UNSAT): 1094074(1094074/0)
May 17, 2018 10:21:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(531/5899) took 1343122 ms. Total solver calls (SAT/UNSAT): 1098281(1098281/0)
May 17, 2018 10:21:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(532/5899) took 1349556 ms. Total solver calls (SAT/UNSAT): 1102487(1102487/0)
May 17, 2018 10:21:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(533/5899) took 1355886 ms. Total solver calls (SAT/UNSAT): 1106692(1106692/0)
May 17, 2018 10:21:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(534/5899) took 1362379 ms. Total solver calls (SAT/UNSAT): 1110896(1110896/0)
May 17, 2018 10:21:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(535/5899) took 1368947 ms. Total solver calls (SAT/UNSAT): 1115099(1115099/0)
May 17, 2018 10:21:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(536/5899) took 1375260 ms. Total solver calls (SAT/UNSAT): 1119301(1119301/0)
May 17, 2018 10:21:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(537/5899) took 1381514 ms. Total solver calls (SAT/UNSAT): 1123502(1123502/0)
May 17, 2018 10:21:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(538/5899) took 1387684 ms. Total solver calls (SAT/UNSAT): 1127702(1127702/0)
May 17, 2018 10:22:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(539/5899) took 1393842 ms. Total solver calls (SAT/UNSAT): 1131898(1131898/0)
May 17, 2018 10:22:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(540/5899) took 1399976 ms. Total solver calls (SAT/UNSAT): 1136093(1136093/0)
May 17, 2018 10:22:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(541/5899) took 1406280 ms. Total solver calls (SAT/UNSAT): 1140287(1140287/0)
May 17, 2018 10:22:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(542/5899) took 1412352 ms. Total solver calls (SAT/UNSAT): 1144480(1144480/0)
May 17, 2018 10:22:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(543/5899) took 1418728 ms. Total solver calls (SAT/UNSAT): 1148672(1148672/0)
May 17, 2018 10:22:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(544/5899) took 1425116 ms. Total solver calls (SAT/UNSAT): 1152863(1152863/0)
May 17, 2018 10:22:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(545/5899) took 1431431 ms. Total solver calls (SAT/UNSAT): 1157053(1157053/0)
May 17, 2018 10:22:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(546/5899) took 1437831 ms. Total solver calls (SAT/UNSAT): 1161242(1161242/0)
May 17, 2018 10:22:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(547/5899) took 1443958 ms. Total solver calls (SAT/UNSAT): 1165430(1165430/0)
May 17, 2018 10:22:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(548/5899) took 1450182 ms. Total solver calls (SAT/UNSAT): 1169617(1169617/0)
May 17, 2018 10:23:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(549/5899) took 1456627 ms. Total solver calls (SAT/UNSAT): 1173803(1173803/0)
May 17, 2018 10:23:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(550/5899) took 1463378 ms. Total solver calls (SAT/UNSAT): 1177988(1177988/0)
May 17, 2018 10:23:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(551/5899) took 1469850 ms. Total solver calls (SAT/UNSAT): 1182172(1182172/0)
May 17, 2018 10:23:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(552/5899) took 1476601 ms. Total solver calls (SAT/UNSAT): 1186355(1186355/0)
May 17, 2018 10:23:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(553/5899) took 1482873 ms. Total solver calls (SAT/UNSAT): 1190537(1190537/0)
May 17, 2018 10:23:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(554/5899) took 1489346 ms. Total solver calls (SAT/UNSAT): 1194718(1194718/0)
May 17, 2018 10:23:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(555/5899) took 1496287 ms. Total solver calls (SAT/UNSAT): 1198898(1198898/0)
May 17, 2018 10:23:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(556/5899) took 1503117 ms. Total solver calls (SAT/UNSAT): 1203077(1203077/0)
May 17, 2018 10:23:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(557/5899) took 1509540 ms. Total solver calls (SAT/UNSAT): 1207255(1207255/0)
May 17, 2018 10:24:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(558/5899) took 1515797 ms. Total solver calls (SAT/UNSAT): 1211432(1211432/0)
May 17, 2018 10:24:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(559/5899) took 1522057 ms. Total solver calls (SAT/UNSAT): 1215608(1215608/0)
May 17, 2018 10:24:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(566/5899) took 1526814 ms. Total solver calls (SAT/UNSAT): 1218017(1218017/0)
May 17, 2018 10:24:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(567/5899) took 1531476 ms. Total solver calls (SAT/UNSAT): 1220419(1220419/0)
May 17, 2018 10:24:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(568/5899) took 1537814 ms. Total solver calls (SAT/UNSAT): 1224592(1224592/0)
May 17, 2018 10:24:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(569/5899) took 1544225 ms. Total solver calls (SAT/UNSAT): 1228764(1228764/0)
May 17, 2018 10:24:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(570/5899) took 1550487 ms. Total solver calls (SAT/UNSAT): 1232935(1232935/0)
May 17, 2018 10:24:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(571/5899) took 1556845 ms. Total solver calls (SAT/UNSAT): 1237105(1237105/0)
May 17, 2018 10:24:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(572/5899) took 1563222 ms. Total solver calls (SAT/UNSAT): 1241274(1241274/0)
May 17, 2018 10:24:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(573/5899) took 1570028 ms. Total solver calls (SAT/UNSAT): 1245442(1245442/0)
May 17, 2018 10:25:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(574/5899) took 1576471 ms. Total solver calls (SAT/UNSAT): 1249609(1249609/0)
May 17, 2018 10:25:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(575/5899) took 1582231 ms. Total solver calls (SAT/UNSAT): 1253775(1253775/0)
May 17, 2018 10:25:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(576/5899) took 1588592 ms. Total solver calls (SAT/UNSAT): 1257940(1257940/0)
May 17, 2018 10:25:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(577/5899) took 1594774 ms. Total solver calls (SAT/UNSAT): 1262104(1262104/0)
May 17, 2018 10:25:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(578/5899) took 1601332 ms. Total solver calls (SAT/UNSAT): 1266267(1266267/0)
May 17, 2018 10:25:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(579/5899) took 1607755 ms. Total solver calls (SAT/UNSAT): 1270429(1270429/0)
May 17, 2018 10:25:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(580/5899) took 1614108 ms. Total solver calls (SAT/UNSAT): 1274590(1274590/0)
May 17, 2018 10:25:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(581/5899) took 1620513 ms. Total solver calls (SAT/UNSAT): 1278750(1278750/0)
May 17, 2018 10:25:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(584/5899) took 1626890 ms. Total solver calls (SAT/UNSAT): 1282938(1282938/0)
May 17, 2018 10:26:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(585/5899) took 1633258 ms. Total solver calls (SAT/UNSAT): 1287096(1287096/0)
May 17, 2018 10:26:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(586/5899) took 1639542 ms. Total solver calls (SAT/UNSAT): 1291253(1291253/0)
May 17, 2018 10:26:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(587/5899) took 1645695 ms. Total solver calls (SAT/UNSAT): 1295409(1295409/0)
May 17, 2018 10:26:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(588/5899) took 1652352 ms. Total solver calls (SAT/UNSAT): 1299564(1299564/0)
May 17, 2018 10:26:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(589/5899) took 1658779 ms. Total solver calls (SAT/UNSAT): 1303718(1303718/0)
May 17, 2018 10:26:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(590/5899) took 1665054 ms. Total solver calls (SAT/UNSAT): 1307871(1307871/0)
May 17, 2018 10:26:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(591/5899) took 1671455 ms. Total solver calls (SAT/UNSAT): 1312023(1312023/0)
May 17, 2018 10:26:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(592/5899) took 1677896 ms. Total solver calls (SAT/UNSAT): 1316174(1316174/0)
May 17, 2018 10:26:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(593/5899) took 1684242 ms. Total solver calls (SAT/UNSAT): 1320324(1320324/0)
May 17, 2018 10:26:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(594/5899) took 1690625 ms. Total solver calls (SAT/UNSAT): 1324473(1324473/0)
May 17, 2018 10:27:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(595/5899) took 1697415 ms. Total solver calls (SAT/UNSAT): 1328621(1328621/0)
May 17, 2018 10:27:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(596/5899) took 1703899 ms. Total solver calls (SAT/UNSAT): 1332768(1332768/0)
May 17, 2018 10:27:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(597/5899) took 1710388 ms. Total solver calls (SAT/UNSAT): 1336914(1336914/0)
May 17, 2018 10:27:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(602/5899) took 1715102 ms. Total solver calls (SAT/UNSAT): 1339293(1339293/0)
May 17, 2018 10:27:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(603/5899) took 1719599 ms. Total solver calls (SAT/UNSAT): 1341665(1341665/0)
May 17, 2018 10:27:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(604/5899) took 1724157 ms. Total solver calls (SAT/UNSAT): 1344036(1344036/0)
May 17, 2018 10:27:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(605/5899) took 1728731 ms. Total solver calls (SAT/UNSAT): 1346406(1346406/0)
May 17, 2018 10:27:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(606/5899) took 1733357 ms. Total solver calls (SAT/UNSAT): 1348775(1348775/0)
May 17, 2018 10:27:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(607/5899) took 1739881 ms. Total solver calls (SAT/UNSAT): 1352915(1352915/0)
May 17, 2018 10:27:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(608/5899) took 1746296 ms. Total solver calls (SAT/UNSAT): 1357054(1357054/0)
May 17, 2018 10:27:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(609/5899) took 1752623 ms. Total solver calls (SAT/UNSAT): 1361192(1361192/0)
May 17, 2018 10:28:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(610/5899) took 1759022 ms. Total solver calls (SAT/UNSAT): 1365329(1365329/0)
May 17, 2018 10:28:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(611/5899) took 1765433 ms. Total solver calls (SAT/UNSAT): 1369465(1369465/0)
May 17, 2018 10:28:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(612/5899) took 1771705 ms. Total solver calls (SAT/UNSAT): 1373600(1373600/0)
May 17, 2018 10:28:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(613/5899) took 1778010 ms. Total solver calls (SAT/UNSAT): 1377734(1377734/0)
May 17, 2018 10:28:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(614/5899) took 1784343 ms. Total solver calls (SAT/UNSAT): 1381867(1381867/0)
May 17, 2018 10:28:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(615/5899) took 1790757 ms. Total solver calls (SAT/UNSAT): 1385999(1385999/0)
May 17, 2018 10:28:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(616/5899) took 1796990 ms. Total solver calls (SAT/UNSAT): 1390130(1390130/0)
May 17, 2018 10:28:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(617/5899) took 1803249 ms. Total solver calls (SAT/UNSAT): 1394260(1394260/0)
May 17, 2018 10:28:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(618/5899) took 1809530 ms. Total solver calls (SAT/UNSAT): 1398389(1398389/0)
May 17, 2018 10:29:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(619/5899) took 1815709 ms. Total solver calls (SAT/UNSAT): 1402517(1402517/0)
May 17, 2018 10:29:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(620/5899) took 1822162 ms. Total solver calls (SAT/UNSAT): 1406644(1406644/0)
May 17, 2018 10:29:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(621/5899) took 1828522 ms. Total solver calls (SAT/UNSAT): 1410770(1410770/0)
May 17, 2018 10:29:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(622/5899) took 1834810 ms. Total solver calls (SAT/UNSAT): 1414895(1414895/0)
May 17, 2018 10:29:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(623/5899) took 1841232 ms. Total solver calls (SAT/UNSAT): 1419019(1419019/0)
May 17, 2018 10:29:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(624/5899) took 1847953 ms. Total solver calls (SAT/UNSAT): 1423142(1423142/0)
May 17, 2018 10:29:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(625/5899) took 1854336 ms. Total solver calls (SAT/UNSAT): 1427264(1427264/0)
May 17, 2018 10:29:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(626/5899) took 1860859 ms. Total solver calls (SAT/UNSAT): 1431385(1431385/0)
May 17, 2018 10:29:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(627/5899) took 1867178 ms. Total solver calls (SAT/UNSAT): 1435505(1435505/0)
May 17, 2018 10:30:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(628/5899) took 1873551 ms. Total solver calls (SAT/UNSAT): 1439624(1439624/0)
May 17, 2018 10:30:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(629/5899) took 1880024 ms. Total solver calls (SAT/UNSAT): 1443742(1443742/0)
May 17, 2018 10:30:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(630/5899) took 1886469 ms. Total solver calls (SAT/UNSAT): 1447859(1447859/0)
May 17, 2018 10:30:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(631/5899) took 1892872 ms. Total solver calls (SAT/UNSAT): 1451975(1451975/0)
May 17, 2018 10:30:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(632/5899) took 1899257 ms. Total solver calls (SAT/UNSAT): 1456090(1456090/0)
May 17, 2018 10:30:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(633/5899) took 1905559 ms. Total solver calls (SAT/UNSAT): 1460204(1460204/0)
May 17, 2018 10:30:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(634/5899) took 1911862 ms. Total solver calls (SAT/UNSAT): 1464317(1464317/0)
May 17, 2018 10:30:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(635/5899) took 1918282 ms. Total solver calls (SAT/UNSAT): 1468429(1468429/0)
May 17, 2018 10:30:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(636/5899) took 1924601 ms. Total solver calls (SAT/UNSAT): 1472540(1472540/0)
May 17, 2018 10:30:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(637/5899) took 1931237 ms. Total solver calls (SAT/UNSAT): 1476650(1476650/0)
May 17, 2018 10:31:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(638/5899) took 1937605 ms. Total solver calls (SAT/UNSAT): 1480759(1480759/0)
May 17, 2018 10:31:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(639/5899) took 1944001 ms. Total solver calls (SAT/UNSAT): 1484867(1484867/0)
May 17, 2018 10:31:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(640/5899) took 1950403 ms. Total solver calls (SAT/UNSAT): 1488974(1488974/0)
May 17, 2018 10:31:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(641/5899) took 1956718 ms. Total solver calls (SAT/UNSAT): 1493080(1493080/0)
May 17, 2018 10:31:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(648/5899) took 1963836 ms. Total solver calls (SAT/UNSAT): 1497452(1497452/0)
May 17, 2018 10:31:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(649/5899) took 1970114 ms. Total solver calls (SAT/UNSAT): 1501556(1501556/0)
May 17, 2018 10:31:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(650/5899) took 1976453 ms. Total solver calls (SAT/UNSAT): 1505659(1505659/0)
May 17, 2018 10:31:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(651/5899) took 1982851 ms. Total solver calls (SAT/UNSAT): 1509761(1509761/0)
May 17, 2018 10:31:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(652/5899) took 1989289 ms. Total solver calls (SAT/UNSAT): 1513862(1513862/0)
May 17, 2018 10:32:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(653/5899) took 1995668 ms. Total solver calls (SAT/UNSAT): 1517962(1517962/0)
May 17, 2018 10:32:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(654/5899) took 2002072 ms. Total solver calls (SAT/UNSAT): 1522061(1522061/0)
May 17, 2018 10:32:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(655/5899) took 2008415 ms. Total solver calls (SAT/UNSAT): 1526159(1526159/0)
May 17, 2018 10:32:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(656/5899) took 2014827 ms. Total solver calls (SAT/UNSAT): 1530256(1530256/0)
May 17, 2018 10:32:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(657/5899) took 2021157 ms. Total solver calls (SAT/UNSAT): 1534352(1534352/0)
May 17, 2018 10:32:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(658/5899) took 2027552 ms. Total solver calls (SAT/UNSAT): 1538447(1538447/0)
May 17, 2018 10:32:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(659/5899) took 2033896 ms. Total solver calls (SAT/UNSAT): 1542541(1542541/0)
May 17, 2018 10:32:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(660/5899) took 2040126 ms. Total solver calls (SAT/UNSAT): 1546634(1546634/0)
May 17, 2018 10:32:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(661/5899) took 2046398 ms. Total solver calls (SAT/UNSAT): 1550726(1550726/0)
May 17, 2018 10:32:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(662/5899) took 2052717 ms. Total solver calls (SAT/UNSAT): 1554817(1554817/0)
May 17, 2018 10:33:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(663/5899) took 2059318 ms. Total solver calls (SAT/UNSAT): 1558907(1558907/0)
May 17, 2018 10:33:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(664/5899) took 2065601 ms. Total solver calls (SAT/UNSAT): 1562996(1562996/0)
May 17, 2018 10:33:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(665/5899) took 2071941 ms. Total solver calls (SAT/UNSAT): 1567084(1567084/0)
May 17, 2018 10:33:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(666/5899) took 2078239 ms. Total solver calls (SAT/UNSAT): 1571171(1571171/0)
May 17, 2018 10:33:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(667/5899) took 2084491 ms. Total solver calls (SAT/UNSAT): 1575257(1575257/0)
May 17, 2018 10:33:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(668/5899) took 2090848 ms. Total solver calls (SAT/UNSAT): 1579342(1579342/0)
May 17, 2018 10:33:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(669/5899) took 2097323 ms. Total solver calls (SAT/UNSAT): 1583426(1583426/0)
May 17, 2018 10:33:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(670/5899) took 2103669 ms. Total solver calls (SAT/UNSAT): 1587509(1587509/0)
May 17, 2018 10:33:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(671/5899) took 2109948 ms. Total solver calls (SAT/UNSAT): 1591591(1591591/0)
May 17, 2018 10:34:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(672/5899) took 2116340 ms. Total solver calls (SAT/UNSAT): 1595672(1595672/0)
May 17, 2018 10:34:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(673/5899) took 2122667 ms. Total solver calls (SAT/UNSAT): 1599752(1599752/0)
May 17, 2018 10:34:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(674/5899) took 2128994 ms. Total solver calls (SAT/UNSAT): 1603831(1603831/0)
May 17, 2018 10:34:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(675/5899) took 2135340 ms. Total solver calls (SAT/UNSAT): 1607909(1607909/0)
May 17, 2018 10:34:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(676/5899) took 2141851 ms. Total solver calls (SAT/UNSAT): 1611986(1611986/0)
May 17, 2018 10:34:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(677/5899) took 2148198 ms. Total solver calls (SAT/UNSAT): 1616062(1616062/0)
May 17, 2018 10:34:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(678/5899) took 2154501 ms. Total solver calls (SAT/UNSAT): 1620137(1620137/0)
May 17, 2018 10:34:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(679/5899) took 2160735 ms. Total solver calls (SAT/UNSAT): 1624211(1624211/0)
May 17, 2018 10:34:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(680/5899) took 2167121 ms. Total solver calls (SAT/UNSAT): 1628284(1628284/0)
May 17, 2018 10:35:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(681/5899) took 2173401 ms. Total solver calls (SAT/UNSAT): 1632356(1632356/0)
May 17, 2018 10:35:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(682/5899) took 2179797 ms. Total solver calls (SAT/UNSAT): 1636427(1636427/0)
May 17, 2018 10:35:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(683/5899) took 2186125 ms. Total solver calls (SAT/UNSAT): 1640497(1640497/0)
May 17, 2018 10:35:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(684/5899) took 2192463 ms. Total solver calls (SAT/UNSAT): 1644566(1644566/0)
May 17, 2018 10:35:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(685/5899) took 2198831 ms. Total solver calls (SAT/UNSAT): 1648634(1648634/0)
May 17, 2018 10:35:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(686/5899) took 2205126 ms. Total solver calls (SAT/UNSAT): 1652701(1652701/0)
May 17, 2018 10:35:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(687/5899) took 2211457 ms. Total solver calls (SAT/UNSAT): 1656767(1656767/0)
May 17, 2018 10:35:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(688/5899) took 2217829 ms. Total solver calls (SAT/UNSAT): 1660832(1660832/0)
May 17, 2018 10:35:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(689/5899) took 2224159 ms. Total solver calls (SAT/UNSAT): 1664896(1664896/0)
May 17, 2018 10:35:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(697/5899) took 2231026 ms. Total solver calls (SAT/UNSAT): 1669323(1669323/0)
May 17, 2018 10:36:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(698/5899) took 2237447 ms. Total solver calls (SAT/UNSAT): 1673385(1673385/0)
May 17, 2018 10:36:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(699/5899) took 2243829 ms. Total solver calls (SAT/UNSAT): 1677446(1677446/0)
May 17, 2018 10:36:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(700/5899) took 2250108 ms. Total solver calls (SAT/UNSAT): 1681506(1681506/0)
May 17, 2018 10:36:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(701/5899) took 2256515 ms. Total solver calls (SAT/UNSAT): 1685565(1685565/0)
May 17, 2018 10:36:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(702/5899) took 2262847 ms. Total solver calls (SAT/UNSAT): 1689623(1689623/0)
May 17, 2018 10:36:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(703/5899) took 2269218 ms. Total solver calls (SAT/UNSAT): 1693680(1693680/0)
May 17, 2018 10:36:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(704/5899) took 2275868 ms. Total solver calls (SAT/UNSAT): 1697736(1697736/0)
May 17, 2018 10:36:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(705/5899) took 2282116 ms. Total solver calls (SAT/UNSAT): 1701791(1701791/0)
May 17, 2018 10:36:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(706/5899) took 2288385 ms. Total solver calls (SAT/UNSAT): 1705845(1705845/0)
May 17, 2018 10:37:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(707/5899) took 2294791 ms. Total solver calls (SAT/UNSAT): 1709898(1709898/0)
May 17, 2018 10:37:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(708/5899) took 2300347 ms. Total solver calls (SAT/UNSAT): 1713950(1713950/0)
May 17, 2018 10:37:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(709/5899) took 2306891 ms. Total solver calls (SAT/UNSAT): 1718001(1718001/0)
May 17, 2018 10:37:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(710/5899) took 2313252 ms. Total solver calls (SAT/UNSAT): 1722051(1722051/0)
May 17, 2018 10:37:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(711/5899) took 2319881 ms. Total solver calls (SAT/UNSAT): 1726100(1726100/0)
May 17, 2018 10:37:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(712/5899) took 2326293 ms. Total solver calls (SAT/UNSAT): 1730148(1730148/0)
May 17, 2018 10:37:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(713/5899) took 2332570 ms. Total solver calls (SAT/UNSAT): 1734195(1734195/0)
May 17, 2018 10:37:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(714/5899) took 2338892 ms. Total solver calls (SAT/UNSAT): 1738241(1738241/0)
May 17, 2018 10:37:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(715/5899) took 2345193 ms. Total solver calls (SAT/UNSAT): 1742286(1742286/0)
May 17, 2018 10:37:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(716/5899) took 2351846 ms. Total solver calls (SAT/UNSAT): 1746330(1746330/0)
May 17, 2018 10:38:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(717/5899) took 2357935 ms. Total solver calls (SAT/UNSAT): 1750373(1750373/0)
May 17, 2018 10:38:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(718/5899) took 2364204 ms. Total solver calls (SAT/UNSAT): 1754415(1754415/0)
May 17, 2018 10:38:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(719/5899) took 2370592 ms. Total solver calls (SAT/UNSAT): 1758456(1758456/0)
May 17, 2018 10:38:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(720/5899) took 2377096 ms. Total solver calls (SAT/UNSAT): 1762496(1762496/0)
May 17, 2018 10:38:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(721/5899) took 2383432 ms. Total solver calls (SAT/UNSAT): 1766535(1766535/0)
May 17, 2018 10:38:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(722/5899) took 2389689 ms. Total solver calls (SAT/UNSAT): 1770573(1770573/0)
May 17, 2018 10:38:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(723/5899) took 2396009 ms. Total solver calls (SAT/UNSAT): 1774610(1774610/0)
May 17, 2018 10:38:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(724/5899) took 2402323 ms. Total solver calls (SAT/UNSAT): 1778646(1778646/0)
May 17, 2018 10:38:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(725/5899) took 2408533 ms. Total solver calls (SAT/UNSAT): 1782681(1782681/0)
May 17, 2018 10:39:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(726/5899) took 2414683 ms. Total solver calls (SAT/UNSAT): 1786715(1786715/0)
May 17, 2018 10:39:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(727/5899) took 2420924 ms. Total solver calls (SAT/UNSAT): 1790748(1790748/0)
May 17, 2018 10:39:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(728/5899) took 2427204 ms. Total solver calls (SAT/UNSAT): 1794780(1794780/0)
May 17, 2018 10:39:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(729/5899) took 2433499 ms. Total solver calls (SAT/UNSAT): 1798811(1798811/0)
May 17, 2018 10:39:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(730/5899) took 2439755 ms. Total solver calls (SAT/UNSAT): 1802841(1802841/0)
May 17, 2018 10:39:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(731/5899) took 2445972 ms. Total solver calls (SAT/UNSAT): 1806870(1806870/0)
May 17, 2018 10:39:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(732/5899) took 2452265 ms. Total solver calls (SAT/UNSAT): 1810898(1810898/0)
May 17, 2018 10:39:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(733/5899) took 2458576 ms. Total solver calls (SAT/UNSAT): 1814925(1814925/0)
May 17, 2018 10:39:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(734/5899) took 2464864 ms. Total solver calls (SAT/UNSAT): 1818951(1818951/0)
May 17, 2018 10:39:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(735/5899) took 2471093 ms. Total solver calls (SAT/UNSAT): 1822976(1822976/0)
May 17, 2018 10:40:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(736/5899) took 2477360 ms. Total solver calls (SAT/UNSAT): 1827000(1827000/0)
May 17, 2018 10:40:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(737/5899) took 2483589 ms. Total solver calls (SAT/UNSAT): 1831023(1831023/0)
May 17, 2018 10:40:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(738/5899) took 2489839 ms. Total solver calls (SAT/UNSAT): 1835045(1835045/0)
May 17, 2018 10:40:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(739/5899) took 2496126 ms. Total solver calls (SAT/UNSAT): 1839066(1839066/0)
May 17, 2018 10:40:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(740/5899) took 2502461 ms. Total solver calls (SAT/UNSAT): 1843086(1843086/0)
May 17, 2018 10:40:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(741/5899) took 2508765 ms. Total solver calls (SAT/UNSAT): 1847105(1847105/0)
May 17, 2018 10:40:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(742/5899) took 2515375 ms. Total solver calls (SAT/UNSAT): 1851123(1851123/0)
May 17, 2018 10:40:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(743/5899) took 2521629 ms. Total solver calls (SAT/UNSAT): 1855140(1855140/0)
May 17, 2018 10:40:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(744/5899) took 2527902 ms. Total solver calls (SAT/UNSAT): 1859156(1859156/0)
May 17, 2018 10:41:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(745/5899) took 2534081 ms. Total solver calls (SAT/UNSAT): 1863171(1863171/0)
May 17, 2018 10:41:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(746/5899) took 2538528 ms. Total solver calls (SAT/UNSAT): 1865421(1865421/0)
May 17, 2018 10:41:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(747/5899) took 2542996 ms. Total solver calls (SAT/UNSAT): 1867670(1867670/0)
May 17, 2018 10:41:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(748/5899) took 2547470 ms. Total solver calls (SAT/UNSAT): 1869918(1869918/0)
May 17, 2018 10:41:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(749/5899) took 2551970 ms. Total solver calls (SAT/UNSAT): 1872165(1872165/0)
May 17, 2018 10:41:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(750/5899) took 2556452 ms. Total solver calls (SAT/UNSAT): 1874411(1874411/0)
May 17, 2018 10:41:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(751/5899) took 2560887 ms. Total solver calls (SAT/UNSAT): 1876656(1876656/0)
May 17, 2018 10:41:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(752/5899) took 2565338 ms. Total solver calls (SAT/UNSAT): 1878900(1878900/0)
May 17, 2018 10:41:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(753/5899) took 2569798 ms. Total solver calls (SAT/UNSAT): 1881143(1881143/0)
May 17, 2018 10:41:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(754/5899) took 2576009 ms. Total solver calls (SAT/UNSAT): 1885149(1885149/0)
May 17, 2018 10:41:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(755/5899) took 2582285 ms. Total solver calls (SAT/UNSAT): 1889154(1889154/0)
May 17, 2018 10:41:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(756/5899) took 2588512 ms. Total solver calls (SAT/UNSAT): 1893158(1893158/0)
May 17, 2018 10:42:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(757/5899) took 2594665 ms. Total solver calls (SAT/UNSAT): 1897161(1897161/0)
May 17, 2018 10:42:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(758/5899) took 2600759 ms. Total solver calls (SAT/UNSAT): 1901163(1901163/0)
May 17, 2018 10:42:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(759/5899) took 2607018 ms. Total solver calls (SAT/UNSAT): 1905164(1905164/0)
May 17, 2018 10:42:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(760/5899) took 2613415 ms. Total solver calls (SAT/UNSAT): 1909164(1909164/0)
May 17, 2018 10:42:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(761/5899) took 2619693 ms. Total solver calls (SAT/UNSAT): 1913163(1913163/0)
May 17, 2018 10:42:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(762/5899) took 2625972 ms. Total solver calls (SAT/UNSAT): 1917161(1917161/0)
May 17, 2018 10:42:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(763/5899) took 2632105 ms. Total solver calls (SAT/UNSAT): 1921158(1921158/0)
May 17, 2018 10:42:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(764/5899) took 2638304 ms. Total solver calls (SAT/UNSAT): 1925154(1925154/0)
May 17, 2018 10:42:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(765/5899) took 2644486 ms. Total solver calls (SAT/UNSAT): 1929149(1929149/0)
May 17, 2018 10:42:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(766/5899) took 2650781 ms. Total solver calls (SAT/UNSAT): 1933143(1933143/0)
May 17, 2018 10:43:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(767/5899) took 2656908 ms. Total solver calls (SAT/UNSAT): 1937136(1937136/0)
May 17, 2018 10:43:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(768/5899) took 2663179 ms. Total solver calls (SAT/UNSAT): 1941128(1941128/0)
May 17, 2018 10:43:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(769/5899) took 2669517 ms. Total solver calls (SAT/UNSAT): 1945119(1945119/0)
May 17, 2018 10:43:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(770/5899) took 2676108 ms. Total solver calls (SAT/UNSAT): 1949109(1949109/0)
May 17, 2018 10:43:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(771/5899) took 2682556 ms. Total solver calls (SAT/UNSAT): 1953098(1953098/0)
May 17, 2018 10:43:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(772/5899) took 2688766 ms. Total solver calls (SAT/UNSAT): 1957086(1957086/0)
May 17, 2018 10:43:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(773/5899) took 2695384 ms. Total solver calls (SAT/UNSAT): 1961073(1961073/0)
May 17, 2018 10:43:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(774/5899) took 2701964 ms. Total solver calls (SAT/UNSAT): 1965059(1965059/0)
May 17, 2018 10:43:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(775/5899) took 2708266 ms. Total solver calls (SAT/UNSAT): 1969044(1969044/0)
May 17, 2018 10:44:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(776/5899) took 2714520 ms. Total solver calls (SAT/UNSAT): 1973028(1973028/0)
May 17, 2018 10:44:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(777/5899) took 2720692 ms. Total solver calls (SAT/UNSAT): 1977011(1977011/0)
May 17, 2018 10:44:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(778/5899) took 2726945 ms. Total solver calls (SAT/UNSAT): 1980993(1980993/0)
May 17, 2018 10:44:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(779/5899) took 2733181 ms. Total solver calls (SAT/UNSAT): 1984974(1984974/0)
May 17, 2018 10:44:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(780/5899) took 2739397 ms. Total solver calls (SAT/UNSAT): 1988954(1988954/0)
May 17, 2018 10:44:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(781/5899) took 2745693 ms. Total solver calls (SAT/UNSAT): 1992933(1992933/0)
May 17, 2018 10:44:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(782/5899) took 2751962 ms. Total solver calls (SAT/UNSAT): 1996911(1996911/0)
May 17, 2018 10:44:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(783/5899) took 2758451 ms. Total solver calls (SAT/UNSAT): 2000888(2000888/0)
May 17, 2018 10:44:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(784/5899) took 2764723 ms. Total solver calls (SAT/UNSAT): 2004864(2004864/0)
May 17, 2018 10:44:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(785/5899) took 2771022 ms. Total solver calls (SAT/UNSAT): 2008839(2008839/0)
May 17, 2018 10:45:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(786/5899) took 2777574 ms. Total solver calls (SAT/UNSAT): 2012813(2012813/0)
May 17, 2018 10:45:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(787/5899) took 2783879 ms. Total solver calls (SAT/UNSAT): 2016786(2016786/0)
May 17, 2018 10:45:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(788/5899) took 2790132 ms. Total solver calls (SAT/UNSAT): 2020758(2020758/0)
May 17, 2018 10:45:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(789/5899) took 2796506 ms. Total solver calls (SAT/UNSAT): 2024729(2024729/0)
May 17, 2018 10:45:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(790/5899) took 2802742 ms. Total solver calls (SAT/UNSAT): 2028699(2028699/0)
May 17, 2018 10:45:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(791/5899) took 2809345 ms. Total solver calls (SAT/UNSAT): 2032668(2032668/0)
May 17, 2018 10:45:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(792/5899) took 2815564 ms. Total solver calls (SAT/UNSAT): 2036636(2036636/0)
May 17, 2018 10:45:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(793/5899) took 2822136 ms. Total solver calls (SAT/UNSAT): 2040603(2040603/0)
May 17, 2018 10:45:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(794/5899) took 2828304 ms. Total solver calls (SAT/UNSAT): 2044569(2044569/0)
May 17, 2018 10:46:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(795/5899) took 2834447 ms. Total solver calls (SAT/UNSAT): 2048534(2048534/0)
May 17, 2018 10:46:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(796/5899) took 2840712 ms. Total solver calls (SAT/UNSAT): 2052498(2052498/0)
May 17, 2018 10:46:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(797/5899) took 2847146 ms. Total solver calls (SAT/UNSAT): 2056461(2056461/0)
May 17, 2018 10:46:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(798/5899) took 2853487 ms. Total solver calls (SAT/UNSAT): 2060423(2060423/0)
May 17, 2018 10:46:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(799/5899) took 2859725 ms. Total solver calls (SAT/UNSAT): 2064384(2064384/0)
May 17, 2018 10:46:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(800/5899) took 2866115 ms. Total solver calls (SAT/UNSAT): 2068344(2068344/0)
May 17, 2018 10:46:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(801/5899) took 2872275 ms. Total solver calls (SAT/UNSAT): 2072303(2072303/0)
May 17, 2018 10:46:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(802/5899) took 2877721 ms. Total solver calls (SAT/UNSAT): 2076261(2076261/0)
May 17, 2018 10:46:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(803/5899) took 2883930 ms. Total solver calls (SAT/UNSAT): 2080218(2080218/0)
May 17, 2018 10:46:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(804/5899) took 2890092 ms. Total solver calls (SAT/UNSAT): 2084174(2084174/0)
May 17, 2018 10:47:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(805/5899) took 2896242 ms. Total solver calls (SAT/UNSAT): 2088129(2088129/0)
May 17, 2018 10:47:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(806/5899) took 2902400 ms. Total solver calls (SAT/UNSAT): 2092083(2092083/0)
May 17, 2018 10:47:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(807/5899) took 2908615 ms. Total solver calls (SAT/UNSAT): 2096036(2096036/0)
May 17, 2018 10:47:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(808/5899) took 2914804 ms. Total solver calls (SAT/UNSAT): 2099988(2099988/0)
May 17, 2018 10:47:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(809/5899) took 2921044 ms. Total solver calls (SAT/UNSAT): 2103939(2103939/0)
May 17, 2018 10:47:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(829/5899) took 2924063 ms. Total solver calls (SAT/UNSAT): 2106929(2106929/0)
May 17, 2018 10:47:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(850/5899) took 2927070 ms. Total solver calls (SAT/UNSAT): 2109638(2109638/0)
May 17, 2018 10:47:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(876/5899) took 2930136 ms. Total solver calls (SAT/UNSAT): 2112381(2112381/0)
May 17, 2018 10:47:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(909/5899) took 2933139 ms. Total solver calls (SAT/UNSAT): 2114889(2114889/0)
May 17, 2018 10:47:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(924/5899) took 2938736 ms. Total solver calls (SAT/UNSAT): 2118029(2118029/0)
May 17, 2018 10:47:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(925/5899) took 2943482 ms. Total solver calls (SAT/UNSAT): 2120519(2120519/0)
May 17, 2018 10:47:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(926/5899) took 2949940 ms. Total solver calls (SAT/UNSAT): 2124486(2124486/0)
May 17, 2018 10:48:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(927/5899) took 2956148 ms. Total solver calls (SAT/UNSAT): 2128452(2128452/0)
May 17, 2018 10:48:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(928/5899) took 2962347 ms. Total solver calls (SAT/UNSAT): 2132417(2132417/0)
May 17, 2018 10:48:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(929/5899) took 2968567 ms. Total solver calls (SAT/UNSAT): 2136381(2136381/0)
May 17, 2018 10:48:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(930/5899) took 2974732 ms. Total solver calls (SAT/UNSAT): 2140344(2140344/0)
May 17, 2018 10:48:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(931/5899) took 2980874 ms. Total solver calls (SAT/UNSAT): 2144306(2144306/0)
May 17, 2018 10:48:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(932/5899) took 2987093 ms. Total solver calls (SAT/UNSAT): 2148267(2148267/0)
May 17, 2018 10:48:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(933/5899) took 2993642 ms. Total solver calls (SAT/UNSAT): 2152227(2152227/0)
May 17, 2018 10:48:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(934/5899) took 3000017 ms. Total solver calls (SAT/UNSAT): 2156186(2156186/0)
May 17, 2018 10:48:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(935/5899) took 3006231 ms. Total solver calls (SAT/UNSAT): 2160144(2160144/0)
May 17, 2018 10:48:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(936/5899) took 3012508 ms. Total solver calls (SAT/UNSAT): 2164101(2164101/0)
May 17, 2018 10:49:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(937/5899) took 3018656 ms. Total solver calls (SAT/UNSAT): 2168057(2168057/0)
May 17, 2018 10:49:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(938/5899) took 3024938 ms. Total solver calls (SAT/UNSAT): 2172012(2172012/0)
May 17, 2018 10:49:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(939/5899) took 3031164 ms. Total solver calls (SAT/UNSAT): 2175966(2175966/0)
May 17, 2018 10:49:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(940/5899) took 3035848 ms. Total solver calls (SAT/UNSAT): 2178441(2178441/0)
May 17, 2018 10:49:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(941/5899) took 3040542 ms. Total solver calls (SAT/UNSAT): 2180915(2180915/0)
May 17, 2018 10:49:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(942/5899) took 3046628 ms. Total solver calls (SAT/UNSAT): 2184866(2184866/0)
May 17, 2018 10:49:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(943/5899) took 3052872 ms. Total solver calls (SAT/UNSAT): 2188816(2188816/0)
May 17, 2018 10:49:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(944/5899) took 3059180 ms. Total solver calls (SAT/UNSAT): 2192765(2192765/0)
May 17, 2018 10:49:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(945/5899) took 3065450 ms. Total solver calls (SAT/UNSAT): 2196713(2196713/0)
May 17, 2018 10:49:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(946/5899) took 3071458 ms. Total solver calls (SAT/UNSAT): 2200660(2200660/0)
May 17, 2018 10:50:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(947/5899) took 3077642 ms. Total solver calls (SAT/UNSAT): 2204606(2204606/0)
May 17, 2018 10:50:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(948/5899) took 3083821 ms. Total solver calls (SAT/UNSAT): 2208551(2208551/0)
May 17, 2018 10:50:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(949/5899) took 3090056 ms. Total solver calls (SAT/UNSAT): 2212495(2212495/0)
May 17, 2018 10:50:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(950/5899) took 3096280 ms. Total solver calls (SAT/UNSAT): 2216438(2216438/0)
May 17, 2018 10:50:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(951/5899) took 3102207 ms. Total solver calls (SAT/UNSAT): 2220380(2220380/0)
May 17, 2018 10:50:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(952/5899) took 3108332 ms. Total solver calls (SAT/UNSAT): 2224321(2224321/0)
May 17, 2018 10:50:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(953/5899) took 3114464 ms. Total solver calls (SAT/UNSAT): 2228261(2228261/0)
May 17, 2018 10:50:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(954/5899) took 3120625 ms. Total solver calls (SAT/UNSAT): 2232200(2232200/0)
May 17, 2018 10:50:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(955/5899) took 3126760 ms. Total solver calls (SAT/UNSAT): 2236138(2236138/0)
May 17, 2018 10:50:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(958/5899) took 3133016 ms. Total solver calls (SAT/UNSAT): 2240104(2240104/0)
May 17, 2018 10:51:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(959/5899) took 3139365 ms. Total solver calls (SAT/UNSAT): 2244040(2244040/0)
May 17, 2018 10:51:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(960/5899) took 3145540 ms. Total solver calls (SAT/UNSAT): 2247975(2247975/0)
May 17, 2018 10:51:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(961/5899) took 3151692 ms. Total solver calls (SAT/UNSAT): 2251909(2251909/0)
May 17, 2018 10:51:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(962/5899) took 3157934 ms. Total solver calls (SAT/UNSAT): 2255842(2255842/0)
May 17, 2018 10:51:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(963/5899) took 3164300 ms. Total solver calls (SAT/UNSAT): 2259774(2259774/0)
May 17, 2018 10:51:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(964/5899) took 3170527 ms. Total solver calls (SAT/UNSAT): 2263705(2263705/0)
May 17, 2018 10:51:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(965/5899) took 3176734 ms. Total solver calls (SAT/UNSAT): 2267635(2267635/0)
May 17, 2018 10:51:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(966/5899) took 3182895 ms. Total solver calls (SAT/UNSAT): 2271564(2271564/0)
May 17, 2018 10:51:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(967/5899) took 3189081 ms. Total solver calls (SAT/UNSAT): 2275492(2275492/0)
May 17, 2018 10:52:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(968/5899) took 3195373 ms. Total solver calls (SAT/UNSAT): 2279419(2279419/0)
May 17, 2018 10:52:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(969/5899) took 3201596 ms. Total solver calls (SAT/UNSAT): 2283345(2283345/0)
May 17, 2018 10:52:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(970/5899) took 3207711 ms. Total solver calls (SAT/UNSAT): 2287270(2287270/0)
May 17, 2018 10:52:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(971/5899) took 3213934 ms. Total solver calls (SAT/UNSAT): 2291194(2291194/0)
May 17, 2018 10:52:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(983/5899) took 3220401 ms. Total solver calls (SAT/UNSAT): 2295294(2295294/0)
May 17, 2018 10:52:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(984/5899) took 3226767 ms. Total solver calls (SAT/UNSAT): 2299219(2299219/0)
May 17, 2018 10:52:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(985/5899) took 3232989 ms. Total solver calls (SAT/UNSAT): 2303143(2303143/0)
May 17, 2018 10:52:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(986/5899) took 3239239 ms. Total solver calls (SAT/UNSAT): 2307066(2307066/0)
May 17, 2018 10:52:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(987/5899) took 3245440 ms. Total solver calls (SAT/UNSAT): 2310988(2310988/0)
May 17, 2018 10:52:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(988/5899) took 3251668 ms. Total solver calls (SAT/UNSAT): 2314909(2314909/0)
May 17, 2018 10:53:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(989/5899) took 3257974 ms. Total solver calls (SAT/UNSAT): 2318829(2318829/0)
May 17, 2018 10:53:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(990/5899) took 3264448 ms. Total solver calls (SAT/UNSAT): 2322748(2322748/0)
May 17, 2018 10:53:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(991/5899) took 3270671 ms. Total solver calls (SAT/UNSAT): 2326666(2326666/0)
May 17, 2018 10:53:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(992/5899) took 3276766 ms. Total solver calls (SAT/UNSAT): 2330583(2330583/0)
May 17, 2018 10:53:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(993/5899) took 3282920 ms. Total solver calls (SAT/UNSAT): 2334499(2334499/0)
May 17, 2018 10:53:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(994/5899) took 3289255 ms. Total solver calls (SAT/UNSAT): 2338414(2338414/0)
May 17, 2018 10:53:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(995/5899) took 3295383 ms. Total solver calls (SAT/UNSAT): 2342328(2342328/0)
May 17, 2018 10:53:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(996/5899) took 3301452 ms. Total solver calls (SAT/UNSAT): 2346241(2346241/0)
May 17, 2018 10:53:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(997/5899) took 3307659 ms. Total solver calls (SAT/UNSAT): 2350153(2350153/0)
May 17, 2018 10:54:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(998/5899) took 3313743 ms. Total solver calls (SAT/UNSAT): 2354064(2354064/0)
May 17, 2018 10:54:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(999/5899) took 3319859 ms. Total solver calls (SAT/UNSAT): 2357974(2357974/0)
May 17, 2018 10:54:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1000/5899) took 3326063 ms. Total solver calls (SAT/UNSAT): 2361883(2361883/0)
May 17, 2018 10:54:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1001/5899) took 3332374 ms. Total solver calls (SAT/UNSAT): 2365791(2365791/0)
May 17, 2018 10:54:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1002/5899) took 3338714 ms. Total solver calls (SAT/UNSAT): 2369698(2369698/0)
May 17, 2018 10:54:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1003/5899) took 3345091 ms. Total solver calls (SAT/UNSAT): 2373604(2373604/0)
May 17, 2018 10:54:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1004/5899) took 3351113 ms. Total solver calls (SAT/UNSAT): 2377506(2377506/0)
May 17, 2018 10:54:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1005/5899) took 3357186 ms. Total solver calls (SAT/UNSAT): 2381407(2381407/0)
May 17, 2018 10:54:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1006/5899) took 3363232 ms. Total solver calls (SAT/UNSAT): 2385307(2385307/0)
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-7b"
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-7b.tgz
mv CloudDeployment-PT-7b 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-7b, 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-152646362700272"
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 ;