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


InstanceSolverResultTime
axquery_query64_1344Cqesto_2018SAT0
axquery_query71_1344Qute_defaultSAT0
eequery_query42_1344QFUNUNSAT0
eequery_query64_1344Cqesto_2018UNSAT0
exquery_query64_1344Cqesto_2018SAT0
exquery_query71_1344Cqesto_2018SAT0
falsequ_query64_1344Qute_defaultSAT0
falsequ_query71_1344Qute_defaultSAT0
nreachq_query71_1344QFUNSAT0.62
ntrivil_query64_1344Qute_defaultSAT0
ntrivil_query71_1344Qute_defaultSAT0
nxquery_query71_1344Qute_defaultSAT0
reachqu_query60_1344QFUNSAT81.22
reachqu_query64_1344Cqesto_2018SAT134.44
reachqu_query71_1344quabs___caqe-hqspreUNSAT431.51
trivial_query64_1344Qute_defaultSAT0
trivial_query71_1344Qute_defaultSAT0
trueque_query64_1344Qute_defaultSAT0
trueque_query71_1344Qute_defaultSAT0