Implemented minisat deletion policy.
Added statistics.
Added missing files.