Instances of family Reduction-finding 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 solved by GhostQ___plain_qcir_2019
Prenex non-CNF Track

Instance	Result	Time
trueque_query71_1344	SAT	0
nxquery_query71_1344	SAT	0
falsequ_query71_1344	SAT	0
falsequ_query64_1344	SAT	0
exquery_query64_1344	SAT	0
axquery_query71_1344	SAT	0
trueque_query64_1344	SAT	0.12
exquery_query71_1344	SAT	0.15
axquery_query64_1344	SAT	0.16
trivial_query71_1344	SAT	0.39
ntrivil_query71_1344	SAT	0.4
trivial_query64_1344	SAT	0.45
ntrivil_query64_1344	SAT	0.55
eequery_query42_1344	UNSAT	623.34
reachqu_query60_1344	FAIL	900
reachqu_query71_1344	FAIL	900
reachqu_query64_1344	FAIL	900
nreachq_query71_1344	FAIL	900
eequery_query64_1344	FAIL	900

Contact | Organization | Links | Citing QBFLIB