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

InstanceResultTime
ntrivil_query64_1133SAT0
falsequ_query71_1133SAT0
nxquery_query42_1133SAT0
nxquery_query50_1133UNSAT0
nxquery_query64_1133SAT0
nxquery_query71_1133UNSAT0
axquery_query71_1133UNSAT0
axquery_query64_1133SAT0
falsequ_query64_1133SAT0
trueque_query60_1133SAT0
trueque_query64_1133SAT0
trueque_query71_1133SAT0
falsequ_query60_1133SAT0.08
exquery_query42_1133UNSAT0.09
query64_query11_1133UNSAT0.09
axquery_query42_1133SAT0.1
exquery_query71_1133SAT0.1
exquery_query64_1133SAT0.1
eequery_query42_1133UNSAT0.11
eequery_query71_1133SAT0.11
eequery_query64_1133UNSAT0.11
query64_query42_1133UNSAT0.14
trivial_query71_1133SAT0.17
nreachq_query11_1133UNSAT0.17
ntrivil_query71_1133SAT0.17
trivial_query60_1133SAT0.17
trivial_query64_1133SAT0.18
ntrivil_query42_1133SAT0.18
query71_query36_1133UNSAT0.27
query71_query31_1133UNSAT0.27
query71_query34_1133UNSAT0.28
nreachq_query54_1133UNSAT1.14
nreachq_query71_1133UNSAT1.17
reachqu_query64_1133SAT2.78
reachqu_query60_1133SAT4.48