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

InstanceResultTime
vis.4-arbit^2.E-f2SAT0.01
ken.flash^10.C-f3UNSAT0.06
texas.PI_main^08.E-f3SAT0.1
nusmv.tcas^3.B-f2SAT0.13
texas.PI_main^05.E-f3SAT0.15