Sota solver results for family Impl
QBFEVAL'16 - Prenex CNF Track.


InstanceSolverResultTime
impl02rareqsSAT0
impl04qestoSAT0
impl06aqua-f3vSAT0
impl08depqbf-v3SAT0
impl10rareqsSAT0
impl12qestoSAT0
impl14caqe-minisatSAT0
impl16depqbf-v3SAT0
impl18rareqsSAT0
impl20qestoSAT0