Instances of family Rewriting solved by depqbf-v1
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
rewriting_k_10UNSAT0.12
rewriting_k_30UNSAT0.21
rewriting_k_17UNSAT0.41
rewriting_k_19UNSAT0.51
rewriting_k_21UNSAT0.61
rewriting_k_23UNSAT0.81
rewriting_k_25UNSAT0.81
rewriting_k_50UNSAT1.71
rewriting_k_75UNSAT3.71
rewriting_k_100UNSAT6.62