Instances of family Reduction-finding solved by GhostQ-PG_cegar
QBFEVAL'18 - Prenex CNF Track

InstanceResultTime
query03_query25_1344UNSAT1.9
query31_reachqu_1344nSAT2
query21_query58_1344nUNSAT4.48
query44_query26_1344nSAT26.81
query42_query06_1344nUNSAT172.54
reachqu_query64_1344nUNSAT321.66
reachqu_query64_1344SAT416
query10_query36_1344FAIL900.01
reachqu_query71_1344nFAIL900.04
reachqu_query71_1344FAIL900.07