Instances of family ToiletC solved by QUANTOR_hc
QBFEVAL'06

InstanceResultTime
toilet_c_10_05.7SAT0.04