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

qbflib.org

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

Instance	Result	Time
exquery_query64_1133	SAT	0
exquery_query42_1133	UNSAT	0
eequery_query42_1133	UNSAT	0
axquery_query71_1133	UNSAT	0
axquery_query42_1133	SAT	0
falsequ_query64_1133	SAT	0
query64_query11_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
falsequ_query71_1133	SAT	0
trivial_query60_1133	SAT	0
trivial_query64_1133	SAT	0
trivial_query71_1133	SAT	0
falsequ_query60_1133	SAT	0
trueque_query71_1133	SAT	0
exquery_query71_1133	SAT	0
trueque_query64_1133	SAT	0
trueque_query60_1133	SAT	0
ntrivil_query42_1133	SAT	0
axquery_query64_1133	SAT	0.04
query64_query42_1133	UNSAT	1.49
eequery_query71_1133	SAT	1.75
nreachq_query11_1133	UNSAT	2.73
query71_query34_1133	UNSAT	7.55
query71_query31_1133	UNSAT	9.06
eequery_query64_1133	UNSAT	9.98
query71_query36_1133	UNSAT	12.26
reachqu_query64_1133	SAT	211.81
reachqu_query60_1133	SAT	354.45
nreachq_query71_1133	UNSAT	459.12
nreachq_query54_1133	UNSAT	465.28

Contact | Organization | Links | Citing QBFLIB