Unique instances for rareqs
QBFEVAL'16 - 2QBF Track.


InstanceTimeResult
query64_query11_1344n299SAT
query71_query31_1344n244.07SAT
query42_query06_1344n34.17UNSAT
query54_query58_1344n194.01SAT
query71_query36_1344n197.59UNSAT
nreachq_query11_1344n69.31UNSAT