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

InstanceResultTime
vis.4-arbit^2.E-f2SAT0.02
nusmv.tcas^3.B-f2SAT0.18
ken.flash^10.C-f3UNSAT0.2
texas.PI_main^08.E-f3SAT0.31
texas.PI_main^05.E-f3SAT0.62