Sota solver results for family tipfixpoint <br> Prenex CNF Track

Instance	Solver	Result	Time
cmu.dme1.B-f3	GhostQ___cegar_pcnf_2019	SAT	0.52
cmu.dme2.B-f3	GhostQ___plain_pcnf_2019	SAT	0.76
eijk.bs1512.S-f4	GhostQ___plain_pcnf_2019	SAT	4.76
eijk.S1196.S-f2	GhostQ___plain_pcnf_2019	UNSAT	196.86
nusmv.tcas^2.B-f2	GhostQ___plain_pcnf_2019	SAT	2.95
nusmv.tcas^3.B-f2	GhostQ___plain_pcnf_2019	SAT	3.05
nusmv.tcas^4.B-f3	depqbf_prefix_opt_qdo	SAT	3.49
nusmv.tcas^6.B-f4	GhostQ___plain_pcnf_2019	SAT	7.57
texas.PI_main^05.E-f3	GhostQ___plain_pcnf_2019	SAT	2.82
texas.PI_main^08.E-f3	GhostQ___cegar_pcnf_2019	SAT	2.7

QBF Solver Evaluation Portal