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

InstanceResultTime
query01_ntrivil_1344UNSAT0.11
query48_query15_1344UNSAT0.39
query51_query50_1344UNSAT16.75
query42_query06_1344nFAIL599.71
query44_query26_1344nFAIL599.71