Instances of family Q_3_3 solved by xb-bid-qsts
QBFEVAL'16 - Random QBFs Track.

InstanceResultTime
Q_3-3_v-100-100_r-13.7SAT26.19
Q_3-3_v-100-100_r-11.2SAT27.83
Q_3-3_v-100-100_r-13.1SAT27.9
Q_3-3_v-100-100_r-11.9SAT27.91
Q_3-3_v-100-100_r-11.3SAT28.21
Q_3-3_v-100-100_r-11.4SAT28.23
Q_3-3_v-100-100_r-13.8SAT28.67
Q_3-3_v-100-100_r-17.0SAT28.86
Q_3-3_v-100-100_r-15.5SAT31.67
Q_3-3_v-100-100_r-13.4SAT31.68
Q_3-3_v-100-100_r-11.0SAT31.71
Q_3-3_v-100-100_r-17.8SAT31.93
Q_3-3_v-100-100_r-15.4FAIL599.71
Q_3-3_v-100-100_r-17.2FAIL599.71
Q_3-3_v-100-100_r-19.0FAIL599.71
Q_3-3_v-100-100_r-19.8FAIL599.71
Q_3-3_v-100-100_r-11.8FAIL599.71
Q_3-3_v-100-100_r-19.1FAIL599.71
Q_3-3_v-100-100_r-11.1FAIL599.71
Q_3-3_v-100-100_r-15.6FAIL599.71
Q_3-3_v-100-100_r-17.4FAIL599.71
Q_3-3_v-100-100_r-19.2FAIL599.71
Q_3-3_v-100-100_r-13.0FAIL599.71
Q_3-3_v-100-100_r-17.5FAIL599.71
Q_3-3_v-100-100_r-19.3FAIL599.71
Q_3-3_v-100-100_r-15.0FAIL599.71
Q_3-3_v-100-100_r-19.4FAIL599.71
Q_3-3_v-100-100_r-13.2FAIL599.71
Q_3-3_v-100-100_r-15.1FAIL599.71
Q_3-3_v-100-100_r-15.9FAIL599.71
Q_3-3_v-100-100_r-17.7FAIL599.71
Q_3-3_v-100-100_r-19.5FAIL599.71
Q_3-3_v-100-100_r-11.5FAIL599.71
Q_3-3_v-100-100_r-15.2FAIL599.71
Q_3-3_v-100-100_r-19.6FAIL599.71
Q_3-3_v-100-100_r-11.6FAIL599.71
Q_3-3_v-100-100_r-15.3FAIL599.71
Q_3-3_v-100-100_r-17.1FAIL599.71
Q_3-3_v-100-100_r-17.9FAIL599.71
Q_3-3_v-100-100_r-19.7FAIL599.71
Q_3-3_v-100-100_r-13.5FAIL599.71
Q_3-3_v-100-100_r-13.6FAIL599.72
Q_3-3_v-100-100_r-17.3FAIL599.72
Q_3-3_v-100-100_r-19.9FAIL599.72
Q_3-3_v-100-100_r-13.9FAIL599.72
Q_3-3_v-100-100_r-15.8FAIL599.72
Q_3-3_v-100-100_r-17.6FAIL599.72
Q_3-3_v-100-100_r-13.3FAIL599.72
Q_3-3_v-100-100_r-11.7FAIL599.72
Q_3-3_v-100-100_r-15.7FAIL599.82