Instances of family Reduction-finding solved by qsts
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
query01_ntrivil_1344UNSAT5.85
query48_query15_1344UNSAT10.39
query51_query50_1344FAIL599.71
query44_query26_1344nFAIL599.71
query42_query06_1344nFAIL599.71