Sota solver results for family tipfixpoint <br> QBFEVAL'17

Instance	Solver	Result	Time
cmu.dme1.B-f3	QELL_default	SAT	0.11
cmu.dme2.B-f3	QELL_default	SAT	0.45
eijk.bs1512.S-f4	GhostQ-PG_plain	SAT	4.63
eijk.S1196.S-f2	AIGSolve	UNSAT	1.8
eijk.S713.S-f2	AIGSolve	UNSAT	28.55
ken.flash^11.C-f3	AIGSolve	UNSAT	120.08
nusmv.tcas^2.B-f2	QELL_default	SAT	0.18
nusmv.tcas^3.B-f2	QELL_default	SAT	0.19
nusmv.tcas^4.B-f3	QELL_default	SAT	0.33
nusmv.tcas^6.B-f4	QELL_default	SAT	0.47
texas.PI_main^05.E-f3	QELL_default	SAT	0.44
texas.PI_main^08.E-f3	QELL_unit	SAT	0.55

QBF Solver Evaluation Portal