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

qbflib.org

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

Instance	Result	Time
falsequ_query71_1344	SAT	0
falsequ_query64_1344	SAT	0
trueque_query64_1344	SAT	0
trueque_query71_1344	SAT	0
axquery_query71_1344	SAT	0.14
exquery_query71_1344	SAT	0.15
nxquery_query71_1344	SAT	0.15
exquery_query64_1344	SAT	0.17
axquery_query64_1344	SAT	0.17
ntrivil_query71_1344	SAT	0.38
trivial_query71_1344	SAT	0.54
ntrivil_query64_1344	SAT	0.66
trivial_query64_1344	SAT	0.67
eequery_query64_1344	UNSAT	1.37
eequery_query42_1344	UNSAT	63.39
nreachq_query71_1344	SAT	640.96
reachqu_query60_1344	SAT	792.66
reachqu_query71_1344	FAIL	900
reachqu_query64_1344	FAIL	900

Contact | Organization | Links | Citing QBFLIB