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


InstanceSolverResultTime
impl02caqe-portfolioSAT0.12
impl04caqe-portfolioSAT0.12
impl06caqe-portfolioSAT0.12
impl08caqe-portfolioSAT0.12
impl10caqe-portfolioSAT0.12
impl12caqe-portfolioSAT0.12
impl14caqe-portfolioSAT0.12
impl16caqe-portfolioSAT0.12
impl18caqe-portfolioSAT0.12
impl20caqe-portfolioSAT0.12