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

qbflib.org

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

Instance	Result	Time
eequery_query71_1133	SAT	0
exquery_query64_1133	SAT	0
falsequ_query60_1133	SAT	0
falsequ_query71_1133	SAT	0
nxquery_query50_1133	UNSAT	0
nxquery_query71_1133	UNSAT	0
falsequ_query64_1133	SAT	0
query64_query11_1133	UNSAT	0
axquery_query64_1133	SAT	0
axquery_query42_1133	SAT	0
nxquery_query42_1133	SAT	0
trueque_query71_1133	SAT	0
trueque_query64_1133	SAT	0
trueque_query60_1133	SAT	0
trivial_query64_1133	SAT	0
axquery_query71_1133	UNSAT	0.09
exquery_query71_1133	SAT	0.09
exquery_query42_1133	UNSAT	0.1
nxquery_query64_1133	SAT	0.1
eequery_query42_1133	UNSAT	0.11
eequery_query64_1133	UNSAT	0.11
query64_query42_1133	UNSAT	0.15
trivial_query60_1133	SAT	0.17
nreachq_query11_1133	UNSAT	0.17
trivial_query71_1133	SAT	0.17
ntrivil_query71_1133	SAT	0.17
ntrivil_query42_1133	SAT	0.18
ntrivil_query64_1133	SAT	0.19
query71_query36_1133	UNSAT	0.27
query71_query31_1133	UNSAT	0.27
query71_query34_1133	UNSAT	0.28
nreachq_query54_1133	UNSAT	1.2
nreachq_query71_1133	UNSAT	1.29
reachqu_query60_1133	SAT	2.34
reachqu_query64_1133	SAT	3.56

Contact | Organization | Links | Citing QBFLIB