Sota solver results for family Rewriting
QBFEVAL'16 - Solver Portfolio Track.


InstanceSolverResultTime
rewriting_k_10caqe-portfolioUNSAT0.12
rewriting_k_100caqe-portfolioUNSAT0.12
rewriting_k_17caqe-portfolioUNSAT0.12
rewriting_k_19caqe-portfolioUNSAT0.12
rewriting_k_21caqe-portfolioUNSAT0.12
rewriting_k_23caqe-portfolioUNSAT0.12
rewriting_k_25caqe-portfolioUNSAT0.12
rewriting_k_30caqe-portfolioUNSAT0.12
rewriting_k_50caqe-portfolioUNSAT0.12
rewriting_k_75caqe-portfolioUNSAT0.12