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

InstanceResultTime
rewriting_k_19UNSAT0
rewriting_k_21UNSAT0
rewriting_k_23UNSAT0
rewriting_k_25UNSAT0
rewriting_k_30UNSAT0
rewriting_k_10UNSAT0
rewriting_k_17UNSAT0
rewriting_k_50UNSAT0.01
rewriting_k_75UNSAT0.02
rewriting_k_100UNSAT0.03