Sota solver results for family Reduction-finding <br> Prenex CNF Track

Sota solver results for family Reduction-finding
Prenex CNF Track

Instance	Solver	Result	Time
axquery_query42_1344n	Caqe-bloqqer-qdo	UNSAT	0
axquery_query64_1344	Qute_default	SAT	0
axquery_query64_1344n	Caqe-hqspre	UNSAT	0
axquery_query71_1344	Caqe-bloqqer-qdo	SAT	0
axquery_query71_1344n	Qute_default	UNSAT	0
eequery_query42_1344	Rareqs_2018	UNSAT	0
eequery_query42_1344n	Rareqs_2018	SAT	5.38
eequery_query64_1344	Caqe-bloqqer-qdo	UNSAT	0
eequery_query64_1344n	GhostQ___cegar_pcnf_2019	SAT	0.75
eequery_query71_1344n	GhostQ___cegar_pcnf_2019	SAT	0.94
exquery_query42_1344n	Caqe-bloqqer-qdo	UNSAT	0
exquery_query64_1344	Caqe-bloqqer-qdo	SAT	0
exquery_query64_1344n	Qute_default	UNSAT	0
exquery_query71_1344	Qute_default	SAT	0
exquery_query71_1344n	Caqe-bloqqer-qdo	UNSAT	0
falsequ_query60_1344n	iprover_bloqqer_single	UNSAT	0
falsequ_query64_1344	iprover_bloqqer_single	SAT	0
falsequ_query64_1344n	iprover_bloqqer_single	UNSAT	0
falsequ_query71_1344	iprover_bloqqer_single	SAT	0
falsequ_query71_1344n	iprover_bloqqer_single	UNSAT	0
nreachq_query11_1344n	Rareqs_2018	UNSAT	69.73
nreachq_query54_1344	Caqe-hqspre	UNSAT	146.58
nreachq_query54_1344n	GhostQ___cegar_pcnf_2019	SAT	594.82
nreachq_query71_1344	Rareqs_2018	SAT	7
nreachq_query71_1344n	Rareqs_2018	UNSAT	86.69
ntrivil_query42_1344n	Rareqs_2018	UNSAT	0
ntrivil_query64_1344	depqbf_prefix_opt_qdo	SAT	0
ntrivil_query64_1344n	depqbf_prefix_opt_qdo	UNSAT	0
ntrivil_query71_1344	depqbf_prefix_opt_qdo	SAT	0
ntrivil_query71_1344n	Caqe-hqspre	UNSAT	0
nxquery_query42_1344n	Qute_default	UNSAT	0
nxquery_query50_1344n	Caqe-bloqqer-qdo	SAT	0.62
nxquery_query64_1344n	Qute_default	UNSAT	0
nxquery_query71_1344	Caqe-bloqqer-qdo	SAT	0
nxquery_query71_1344n	Qute_default	UNSAT	0
query64_query11_1344n	GhostQ___cegar_pcnf_2019	SAT	19.96
query64_query42_1344n	GhostQ___cegar_pcnf_2019	SAT	184.29
query71_query31_1344n	GhostQ___cegar_pcnf_2019	SAT	58.09
query71_query36_1344n	Caqe-hqspre	UNSAT	18.6
reachqu_query60_1344	Rareqs_2018	SAT	8.69
reachqu_query60_1344n	Caqe-bloqqer-qdo	UNSAT	111.31
reachqu_query64_1344	Rareqs_2018	SAT	167.03
reachqu_query64_1344n	GhostQ___cegar_pcnf_2019	UNSAT	320.25
reachqu_query71_1344	Caqe-hqspre	UNSAT	199.39
trivial_query60_1344n	Caqe-hqspre	UNSAT	0
trivial_query64_1344	depqbf_prefix_opt_qdo	SAT	0
trivial_query64_1344n	Caqe-hqspre	UNSAT	0
trivial_query71_1344	depqbf_prefix_opt_qdo	SAT	0
trivial_query71_1344n	depqbf_prefix_opt_qdo	UNSAT	0
trueque_query60_1344n	iprover_bloqqer_single	UNSAT	0
trueque_query64_1344	iprover_bloqqer_single	SAT	0
trueque_query64_1344n	iprover_bloqqer_single	UNSAT	0
trueque_query71_1344	iprover_bloqqer_single	SAT	0
trueque_query71_1344n	iprover_bloqqer_single	UNSAT	0

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Sota solver results for family Reduction-finding
Prenex CNF Track

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Sota solver results for family Reduction-finding Prenex CNF Track

Sota solver results for family Reduction-finding
Prenex CNF Track