Instances of family tipfixpoint solved by ghostq-plain
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
vis.4-arbit^2.E-f2SAT0.22
nusmv.tcas^3.B-f2SAT1.38
ken.flash^10.C-f3UNSAT3.24
texas.PI_main^08.E-f3SAT4.84
texas.PI_main^05.E-f3SAT13.14