Sota solver results for family Reduction-finding-qcir
Prenex non-CNF Track


InstanceSolverResultTime
axquery_query42_1133Qute_defaultSAT0
axquery_query64_1133Qute_defaultSAT0
axquery_query71_1133Qute_defaultUNSAT0
eequery_query42_1133Qute_defaultUNSAT0
eequery_query64_1133Qute_defaultUNSAT0
eequery_query71_1133Qute_defaultSAT0
exquery_query42_1133Qute_defaultUNSAT0
exquery_query64_1133Qute_defaultSAT0
exquery_query71_1133Qute_defaultSAT0
falsequ_query60_1133Qute_defaultSAT0
falsequ_query64_1133Qute_defaultSAT0
falsequ_query71_1133Qute_defaultSAT0
nreachq_query11_1133Qute_defaultUNSAT0
nreachq_query54_1133Qute_defaultUNSAT0
nreachq_query71_1133Qute_defaultUNSAT0
ntrivil_query42_1133Qute_defaultSAT0
ntrivil_query64_1133Qute_defaultSAT0
ntrivil_query71_1133Qute_defaultSAT0
nxquery_query42_1133Qute_defaultSAT0
nxquery_query50_1133Qute_defaultUNSAT0
nxquery_query64_1133Qute_defaultSAT0
nxquery_query71_1133Qute_defaultUNSAT0
query64_query11_1133Qute_defaultUNSAT0
query64_query42_1133Qute_defaultUNSAT0
query71_query31_1133Qute_defaultUNSAT0
query71_query34_1133Qute_defaultUNSAT0
query71_query36_1133Qute_defaultUNSAT0
reachqu_query60_1133Cqesto_2018SAT0
reachqu_query64_1133Cqesto_2018SAT0
trivial_query60_1133Qute_defaultSAT0
trivial_query64_1133Qute_defaultSAT0
trivial_query71_1133Qute_defaultSAT0
trueque_query60_1133Qute_defaultSAT0
trueque_query64_1133Qute_defaultSAT0
trueque_query71_1133Qute_defaultSAT0