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

InstanceResultTime
rewriting_k_10UNSAT0.43
rewriting_k_19FAIL599.72
rewriting_k_21FAIL599.72
rewriting_k_30FAIL599.72
rewriting_k_100FAIL599.72
rewriting_k_17FAIL599.82
rewriting_k_23FAIL599.82
rewriting_k_50FAIL599.83
rewriting_k_25FAIL601.52
rewriting_k_75FAIL608.32