Instances of family Rewriting solved by caqe-portfolio
QBFEVAL'16 - Solver Portfolio Track.

InstanceResultTime
rewriting_k_17UNSAT0.12
rewriting_k_19UNSAT0.12
rewriting_k_21UNSAT0.12
rewriting_k_23UNSAT0.12
rewriting_k_25UNSAT0.12
rewriting_k_30UNSAT0.12
rewriting_k_10UNSAT0.12
rewriting_k_50UNSAT0.12
rewriting_k_100UNSAT0.12
rewriting_k_75UNSAT0.12