Sota solver results for family Toilet
QBFEVAL'05


InstanceSolverResultTime
TOILET10.1.iv.20QbflHRSAT0
TOILET16.1.iv.32QbflHRSAT0.05
TOILET2.1.iv.3QUANTORUNSAT0
TOILET2.1.iv.4yQuaffleSAT0
TOILET6.1.iv.11QUANTORUNSAT0.06
TOILET6.1.iv.12QbflHRSAT0
TOILET7.1.iv.13skizzo_v0.4UNSAT0.22
TOILET7.1.iv.14QbflHRSAT0