Instances of family Q_2_3 solved by Qute_rrs
QBFEVAL'19 - Prenex CNF Track

InstanceResultTime
Q_2-3_v-80-100_r-13.4UNSAT0
Q_2-3_v-80-100_r-13.0UNSAT3
Q_2-3_v-80-100_r-13.3UNSAT3.83
Q_2-3_v-80-100_r-13.9UNSAT3.96
Q_2-3_v-80-100_r-13.1UNSAT4.53
Q_2-3_v-80-100_r-13.7UNSAT6.2
Q_2-3_v-80-100_r-13.8UNSAT7.67
Q_2-3_v-80-100_r-13.2UNSAT8.17
Q_2-3_v-80-100_r-13.6UNSAT8.68
Q_2-3_v-80-100_r-13.5UNSAT9.49
Q_2-3_v-80-100_r-11.0UNSAT11.11
Q_2-3_v-80-100_r-11.3UNSAT18.48
Q_2-3_v-80-100_r-11.9UNSAT83.26
Q_2-3_v-80-100_r-11.8UNSAT161.43
Q_2-3_v-80-100_r-11.6FAIL900.01
Q_2-3_v-80-100_r-11.1FAIL900.03
Q_2-3_v-80-100_r-11.2FAIL900.03
Q_2-3_v-80-100_r-11.5FAIL900.03
Q_2-3_v-80-100_r-11.7FAIL900.07
Q_2-3_v-80-100_r-11.4FAIL900.07