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

InstanceResultTime
query01_ntrivil_1344UNSAT0.89
query48_query15_1344UNSAT0.92
query51_query50_1344UNSAT206.46
query42_query06_1344nFAIL599.42
query44_query26_1344nFAIL599.61