Instances of family Reduction-finding-qcir solved by Cqesto_2018
Prenex non-CNF Track

InstanceResultTime
nxquery_query42_1133SAT0
axquery_query64_1133SAT0
axquery_query42_1133SAT0
axquery_query71_1133UNSAT0
eequery_query42_1133UNSAT0
ntrivil_query71_1133SAT0
ntrivil_query64_1133SAT0
ntrivil_query42_1133SAT0
nreachq_query71_1133UNSAT0
nreachq_query54_1133UNSAT0
nreachq_query11_1133UNSAT0
falsequ_query71_1133SAT0
falsequ_query60_1133SAT0
exquery_query71_1133SAT0
exquery_query64_1133SAT0
exquery_query42_1133UNSAT0
eequery_query71_1133SAT0
eequery_query64_1133UNSAT0
reachqu_query64_1133SAT0
trueque_query71_1133SAT0
trueque_query64_1133SAT0
trueque_query60_1133SAT0
trivial_query71_1133SAT0
nxquery_query64_1133SAT0
reachqu_query60_1133SAT0
query71_query36_1133UNSAT0
query71_query34_1133UNSAT0
query71_query31_1133UNSAT0
query64_query42_1133UNSAT0
query64_query11_1133UNSAT0
nxquery_query71_1133UNSAT0
trivial_query64_1133SAT0
trivial_query60_1133SAT0
nxquery_query50_1133UNSAT0
falsequ_query64_1133SAT0