Sota solver results for family Reduction-finding <br> QBFEVAL'19

Instance	Solver	Result	Time
axquery_query02_1344	Qute_default	SAT	0
axquery_query31_1344	quabs___caqe-hqspre	SAT	0
axquery_query58_1344	quabs___caqe-hqspre	SAT	0
eequery_query23_1344	Qute_default	UNSAT	0
eequery_reachqu_1344	quabs___caqe-hqspre	UNSAT	0.97
exquery_query07_1344	Qute_default	UNSAT	0
nreachq_query02_1344	GhostQ___cegar_qcir_2019	UNSAT	1.55
query03_query57_1344	Quabs_2018	SAT	0
query04_query03_1133	Qute_default	UNSAT	0
query04_query03_1344	GhostQ___cegar_qcir_2019	UNSAT	0.12
query07_falsequ_1344	Qute_default	UNSAT	0
query08_query26_1344	Quabs_2018	SAT	0
query08_query64_1344	Quabs_2018	SAT	0
query09_trivial_1344	Quabs_2018	SAT	0
query11_query64_1344	quabs___caqe-hqspre	UNSAT	0.89
query23_query06_1344	Qute_default	SAT	0
query27_query03_1344	quabs___caqe-hqspre	SAT	0
query33_query71_1344	quabs___caqe-hqspre	UNSAT	4.36
query49_query23_1344	Qute_default	UNSAT	0
query49_query64_1133	QuAbS___quabs-caqe_2019	UNSAT	2.4
query51_query31_1344	quabs___caqe-hqspre	UNSAT	0.83
query52_query36_1344	quabs___caqe-hqspre	UNSAT	0.98
query55_query30_1344	Qute_default	UNSAT	0
query64_query55_1344	quabs___caqe-hqspre	UNSAT	14.77
trivial_query09_1344	Qute_default	SAT	0
trivial_query31_1344	Quabs_2018	SAT	0

QBF Solver Evaluation Portal