Unique instances for rareqs
QBFEVAL'17 - Prenex CNF Track


InstanceTimeResult
add6_COMPLETE480.97SAT