Instances of family Reduction-finding solved by Cqesto_2018
QBFEVAL'18 - Prenex non-CNF Track

InstanceResultTime
query64_query31_1133UNSAT0
query51_query48_1133UNSAT0
nreachq_query02_1344UNSAT0
query49_query64_1133UNSAT0
query44_query57_1133UNSAT0
query30_eequery_1133SAT0
query21_reachqu_1133SAT0
query04_query03_1133UNSAT0
query71_query15_1133UNSAT0
ntrivil_query54_1133SAT0
query50_query49_1133UNSAT0
query09_trivial_1344SAT0
query08_query26_1344SAT0
query03_query57_1344SAT0
query64_query58_1344UNSAT2.8
query42_query57_1344SAT3.48
query33_query71_1344UNSAT6.72
query08_query64_1344SAT9.32
query64_query55_1344UNSAT50.28
query42_query64_1344SAT115.71
query48_query42_1344SAT372.32
query44_query58_1344UNSAT851.09
nreachq_reachqu_2233FAIL900.01
query49_query58_1344FAIL900.01
nreachq_reachqu_2133FAIL900.06