Instances of family Reduction-finding solved by QuAbS_2017
QBFEVAL'17 - Prenex non-CNF Track

InstanceResultTime
query44_query26_1344nFAIL900
query42_query06_1344nFAIL900