Instances of family Reduction-finding solved by <a href='solver_detail.php?solver=332'>GhostQ___cegar_pcnf

Instances of family Reduction-finding solved by GhostQ___cegar_pcnf_2019
Prenex CNF Track

Instance	Result	Time
trueque_query60_1344n	UNSAT	0
trueque_query64_1344n	UNSAT	0
trueque_query64_1344	SAT	0
trueque_query71_1344n	UNSAT	0
trueque_query71_1344	SAT	0
falsequ_query71_1344	SAT	0
falsequ_query71_1344n	UNSAT	0
falsequ_query64_1344	SAT	0
falsequ_query64_1344n	UNSAT	0
axquery_query64_1344n	UNSAT	0
exquery_query64_1344n	UNSAT	0
axquery_query71_1344n	UNSAT	0
exquery_query64_1344	SAT	0
falsequ_query60_1344n	UNSAT	0
exquery_query71_1344	SAT	0.3
nxquery_query71_1344	SAT	0.3
exquery_query71_1344n	UNSAT	0.31
nxquery_query71_1344n	UNSAT	0.31
axquery_query71_1344	SAT	0.31
axquery_query64_1344	SAT	0.35
exquery_query42_1344n	UNSAT	0.37
nxquery_query42_1344n	UNSAT	0.37
axquery_query42_1344n	UNSAT	0.37
nxquery_query64_1344n	UNSAT	0.38
eequery_query64_1344n	SAT	0.75
eequery_query71_1344n	SAT	0.94
trivial_query60_1344n	UNSAT	1.17
trivial_query71_1344	SAT	1.2
ntrivil_query71_1344	SAT	1.21
eequery_query64_1344	UNSAT	1.21
trivial_query71_1344n	UNSAT	1.21
ntrivil_query71_1344n	UNSAT	1.22
trivial_query64_1344	SAT	1.27
ntrivil_query64_1344	SAT	1.32
ntrivil_query64_1344n	UNSAT	1.42
trivial_query64_1344n	UNSAT	1.45
ntrivil_query42_1344n	UNSAT	1.54
nxquery_query50_1344n	SAT	2.4
query64_query11_1344n	SAT	19.96
eequery_query42_1344	UNSAT	29.91
eequery_query42_1344n	SAT	34.2
query71_query31_1344n	SAT	58.09
query71_query36_1344n	UNSAT	110.15
nreachq_query11_1344n	UNSAT	113.5
nreachq_query71_1344n	UNSAT	129.88
reachqu_query60_1344n	UNSAT	142.04
reachqu_query60_1344	SAT	143.48
query64_query42_1344n	SAT	184.29
nreachq_query71_1344	SAT	193.8
reachqu_query64_1344n	UNSAT	320.25
reachqu_query64_1344	SAT	395.19
nreachq_query54_1344n	SAT	594.82
nreachq_query54_1344	FAIL	900
reachqu_query71_1344	FAIL	900
query71_query34_1344n	FAIL	900

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family Reduction-finding solved by GhostQ___cegar_pcnf_2019
Prenex CNF Track

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family Reduction-finding solved by GhostQ___cegar_pcnf_2019 Prenex CNF Track

Instances of family Reduction-finding solved by GhostQ___cegar_pcnf_2019
Prenex CNF Track