fond
Model Checking Contest 2018
8th edition, Bratislava, Slovakia, June 26, 2018
Execution of r046-smll-152646362700272
Last Updated
June 26, 2018

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 '' ReachabilityDeadlock.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;