compare prover with its own CNF reduction to the use of eprover
compare prover with its own CNF reduction to the use of eprover

c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition