Sota solver results for family s27
QBFEVAL'06


InstanceSolverResultTime
s27_d3_uqube5.0UNSAT0
s27_d4_uqube5.0UNSAT0.03
s27_d5_uqube5.0UNSAT0.04