Instances of family Rewriting solved by xb-qsts
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
rewriting_k_10UNSAT0.07
rewriting_k_17UNSAT0.08
rewriting_k_19UNSAT0.09
rewriting_k_21UNSAT0.09
rewriting_k_100UNSAT0.27