Instances of family Q_2_3 solved by Rareqs_2018
QBFEVAL'18 - Prenex CNF Track

InstanceResultTime
Q_2-3_v-80-100_r-13.7UNSAT0
Q_2-3_v-80-100_r-13.3UNSAT0
Q_2-3_v-80-100_r-13.9UNSAT0.56
Q_2-3_v-80-100_r-13.1UNSAT1.9
Q_2-3_v-80-100_r-13.0UNSAT2.58
Q_2-3_v-80-100_r-13.4UNSAT5.47
Q_2-3_v-80-100_r-13.6UNSAT6.03
Q_2-3_v-80-100_r-13.2UNSAT20.48
Q_2-3_v-80-100_r-13.5UNSAT92.47
Q_2-3_v-80-100_r-11.1FAIL900.02
Q_2-3_v-80-100_r-11.5FAIL900.02
Q_2-3_v-80-100_r-11.6FAIL900.03
Q_2-3_v-80-100_r-11.0FAIL900.05
Q_2-3_v-80-100_r-11.3FAIL900.05
Q_2-3_v-80-100_r-11.7FAIL900.06
Q_2-3_v-80-100_r-11.8FAIL900.07
Q_2-3_v-80-100_r-11.4FAIL900.07
Q_2-3_v-80-100_r-11.9FAIL900.08
Q_2-3_v-80-100_r-11.2FAIL900.09
Q_2-3_v-80-100_r-13.8FAIL900.09