Sota solver results for family Toilet
QBFEVAL'06


InstanceSolverResultTime
TOILET10.1.iv.20GRLSAT0.03
TOILET16.1.iv.32GRLSAT0.07
TOILET7.1.iv.13sKizzo-0.9-absUNSAT0.05