Sota solver results for family ToiletA
QBFEVAL'06


InstanceSolverResultTime
toilet_a_10_01.16ssolve+utUNSAT1.63
toilet_a_10_05.4sKizzo-0.9-grnSAT0.47