Sota solver results for family ToiletC
QBFEVAL'16 - Solver Portfolio Track.


InstanceSolverResultTime
toilet_c_04_01.4caqe-portfolioUNSAT0.12
toilet_c_06_01.4caqe-portfolioUNSAT0.12
toilet_c_06_01.8caqe-portfolioUNSAT0.12
toilet_c_08_01.11caqe-portfolioUNSAT0.22
toilet_c_08_01.2caqe-portfolioUNSAT0.12
toilet_c_08_01.6caqe-portfolioUNSAT0.12
toilet_c_08_01.7caqe-portfolioUNSAT0.12
toilet_c_08_05.4caqe-portfolioSAT0.22
toilet_c_10_01.12caqe-portfolioUNSAT0.32
toilet_c_10_01.17caqe-portfolioUNSAT9.03