Instances of family ToiletC solved by hiqqerfork
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

InstanceResultTime
toilet_c_08_01.2UNSAT0.01
toilet_c_04_01.4UNSAT0.02
toilet_c_06_01.4UNSAT0.02
toilet_c_08_01.6UNSAT0.03
toilet_c_06_01.8UNSAT0.03
toilet_c_08_01.7UNSAT0.03
toilet_c_08_01.11UNSAT0.05
toilet_c_08_05.4SAT0.08
toilet_c_10_01.12UNSAT0.09
toilet_c_10_01.17UNSAT437.01