Instances of family Rewriting solved by depqbf-cert-v2
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

InstanceResultTime
rewriting_k_10UNSAT0.11
rewriting_k_17UNSAT3.11
rewriting_k_19UNSAT15.61
rewriting_k_21UNSAT20.41
rewriting_k_23FAIL53.77
rewriting_k_25FAIL209.11
rewriting_k_100FAIL637.34
rewriting_k_50FAIL674.91
rewriting_k_30FAIL700.02
rewriting_k_75FAIL700.02