Instances of family Rewriting solved by quabs-minisat
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
rewriting_k_17UNSAT0
rewriting_k_21UNSAT0
rewriting_k_10UNSAT0
rewriting_k_19UNSAT0.01
rewriting_k_100UNSAT0.01