Sota solver results for family tipfixpoint
QBFEVAL'16 - Solver Portfolio Track.


InstanceSolverResultTime
ken.flash^03.C-f3aqme-10UNSAT1.63
ken.flash^10.C-f2caqe-portfolioUNSAT0.22
ken.flash^10.C-f3caqe-portfolioUNSAT0.42
texas.PI_main^08.E-f3caqe-portfolioSAT4.73
texas.PI_main^16.E-f2caqe-portfolioSAT1.02
vis.4-arbit^2.E-f2caqe-portfolioSAT0.32