Instances of family Reduction-finding-qcir solved by <a href='solver_detail.php?solver=325'>QFUN</a> <br> Prenex non-CNF Track

qbflib.org

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

Instance	Result	Time
eequery_query71_1133	SAT	0
eequery_query64_1133	UNSAT	0
eequery_query42_1133	UNSAT	0
axquery_query71_1133	UNSAT	0
axquery_query64_1133	SAT	0
axquery_query42_1133	SAT	0
trueque_query71_1133	SAT	0
trueque_query64_1133	SAT	0
trueque_query60_1133	SAT	0
trivial_query71_1133	SAT	0
trivial_query64_1133	SAT	0
trivial_query60_1133	SAT	0
reachqu_query64_1133	SAT	0
reachqu_query60_1133	SAT	0
query71_query36_1133	UNSAT	0
query71_query34_1133	UNSAT	0
query71_query31_1133	UNSAT	0
exquery_query42_1133	UNSAT	0
nxquery_query71_1133	UNSAT	0
nxquery_query64_1133	SAT	0
nxquery_query50_1133	UNSAT	0
nxquery_query42_1133	SAT	0
ntrivil_query71_1133	SAT	0
ntrivil_query64_1133	SAT	0
ntrivil_query42_1133	SAT	0
nreachq_query71_1133	UNSAT	0
nreachq_query54_1133	UNSAT	0
nreachq_query11_1133	UNSAT	0
falsequ_query71_1133	SAT	0
falsequ_query60_1133	SAT	0
exquery_query71_1133	SAT	0
exquery_query64_1133	SAT	0
query64_query11_1133	UNSAT	0
query64_query42_1133	UNSAT	0
falsequ_query64_1133	SAT	0

Contact | Organization | Links | Citing QBFLIB