Instances of family Rewriting solved by squeezebf+struqs
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
rewriting_k_10UNSAT0.03
rewriting_k_17UNSAT5.71
rewriting_k_19UNSAT26.2
rewriting_k_21UNSAT117.1
rewriting_k_23UNSAT535.82
rewriting_k_30FAIL599.71
rewriting_k_50FAIL599.71
rewriting_k_100FAIL599.71
rewriting_k_75FAIL599.71
rewriting_k_25FAIL599.81