Instances of family Reduction-finding solved by depqbf-v2
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
query01_ntrivil_1344UNSAT0.41
query48_query15_1344UNSAT0.61
query21_ntrivil_1344UNSAT0.91
query26_query34_1344SAT3.61
query11_query21_1344UNSAT7.72
query51_query50_1344UNSAT9.81
query42_query06_1344nFAIL591.75
query44_query26_1344nFAIL592.95
query03_query25_1344FAIL593.02
query31_reachqu_1344nFAIL593.42