Sota solver results for family Chain
QBFEVAL'06


InstanceSolverResultTime
CHAIN20v.21SQBFSAT0.02
CHAIN21v.22preQuantorSAT0.03
CHAIN22v.23preQuantorSAT0.03
CHAIN23v.24SQBFSAT0.03