Instances of family Reduction-finding solved by xb-qsts_xbqsts1.0
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
query21_query58_1344nUNSAT3.55
query42_query06_1344nUNSAT139.03
query31_reachqu_1344nSAT214.85
query10_query36_1344FAIL900
query44_query26_1344nFAIL900
query03_query25_1344FAIL900