Instances of family Reduction-finding solved by caqe_2017_v2
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
query03_query25_1344UNSAT0.5
query31_reachqu_1344nSAT13.58
query21_query58_1344nUNSAT95.05
query10_query36_1344SAT287.4
query44_query26_1344nFAIL900
query42_query06_1344nFAIL900