Instances of family Q_2_3 solved by qsts
QBFEVAL'16 - Random QBFs Track.

InstanceResultTime
Q_2-3_v-80-100_r-5.1SAT1.37
Q_2-3_v-80-100_r-5.6SAT4.77
Q_2-3_v-80-100_r-13.9UNSAT5.99
Q_2-3_v-80-100_r-5.9SAT6.35
Q_2-3_v-80-100_r-5.4SAT7.21
Q_2-3_v-80-100_r-5.2SAT14.16
Q_2-3_v-80-100_r-5.5SAT29
Q_2-3_v-80-100_r-5.3SAT36.01
Q_2-3_v-80-100_r-5.0SAT81.41
Q_2-3_v-80-100_r-5.7SAT139.93
Q_2-3_v-80-100_r-5.8SAT244.24
Q_2-3_v-80-100_r-13.3UNSAT505.46
Q_2-3_v-80-100_r-7.4FAIL599.71
Q_2-3_v-80-100_r-9.2FAIL599.71
Q_2-3_v-80-100_r-11.2FAIL599.71
Q_2-3_v-80-100_r-13.0FAIL599.71
Q_2-3_v-80-100_r-13.8FAIL599.71
Q_2-3_v-80-100_r-9.3FAIL599.71
Q_2-3_v-80-100_r-11.3FAIL599.71
Q_2-3_v-80-100_r-7.6FAIL599.71
Q_2-3_v-80-100_r-13.2FAIL599.71
Q_2-3_v-80-100_r-9.5FAIL599.71
Q_2-3_v-80-100_r-11.5FAIL599.71
Q_2-3_v-80-100_r-7.8FAIL599.71
Q_2-3_v-80-100_r-9.6FAIL599.71
Q_2-3_v-80-100_r-11.6FAIL599.71
Q_2-3_v-80-100_r-13.4FAIL599.71
Q_2-3_v-80-100_r-7.9FAIL599.71
Q_2-3_v-80-100_r-9.7FAIL599.71
Q_2-3_v-80-100_r-11.7FAIL599.71
Q_2-3_v-80-100_r-7.1FAIL599.71
Q_2-3_v-80-100_r-9.0FAIL599.71
Q_2-3_v-80-100_r-9.8FAIL599.71
Q_2-3_v-80-100_r-11.0FAIL599.71
Q_2-3_v-80-100_r-11.8FAIL599.71
Q_2-3_v-80-100_r-13.6FAIL599.71
Q_2-3_v-80-100_r-9.1FAIL599.71
Q_2-3_v-80-100_r-9.9FAIL599.71
Q_2-3_v-80-100_r-11.9FAIL599.71
Q_2-3_v-80-100_r-13.7FAIL599.71
Q_2-3_v-80-100_r-7.5FAIL599.72
Q_2-3_v-80-100_r-11.4FAIL599.72
Q_2-3_v-80-100_r-7.0FAIL599.72
Q_2-3_v-80-100_r-13.5FAIL599.72
Q_2-3_v-80-100_r-7.2FAIL599.72
Q_2-3_v-80-100_r-7.3FAIL599.72
Q_2-3_v-80-100_r-11.1FAIL599.72
Q_2-3_v-80-100_r-9.4FAIL599.73
Q_2-3_v-80-100_r-13.1FAIL599.81
Q_2-3_v-80-100_r-7.7FAIL599.81