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

InstanceResultTime
query01_ntrivil_1344UNSAT0.38
query48_query15_1344UNSAT1.41
query51_query50_1344UNSAT4.38
query42_query06_1344nFAIL599.52
query44_query26_1344nFAIL599.61