Instances of family Q_2_3 solved by qbfrelay-limited-depqbf
QBFEVAL'17 - Random QBFs Track

InstanceResultTime
Q_2-3_v-80-100_r-13.1UNSAT0.18
Q_2-3_v-80-100_r-13.6UNSAT0.22
Q_2-3_v-80-100_r-13.8UNSAT0.23
Q_2-3_v-80-100_r-13.7UNSAT0.24
Q_2-3_v-80-100_r-13.5UNSAT0.27
Q_2-3_v-80-100_r-13.4UNSAT0.28
Q_2-3_v-80-100_r-13.0UNSAT0.29
Q_2-3_v-80-100_r-11.3UNSAT1.33
Q_2-3_v-80-100_r-11.2UNSAT4.82
Q_2-3_v-80-100_r-11.6UNSAT10.25
Q_2-3_v-80-100_r-11.0UNSAT61.34
Q_2-3_v-80-100_r-11.4UNSAT92.71
Q_2-3_v-80-100_r-9.1FAIL886.79
Q_2-3_v-80-100_r-11.7FAIL887.62
Q_2-3_v-80-100_r-9.2FAIL887.69
Q_2-3_v-80-100_r-9.5FAIL887.87
Q_2-3_v-80-100_r-9.6FAIL887.91
Q_2-3_v-80-100_r-7.0FAIL887.94
Q_2-3_v-80-100_r-5.1FAIL888
Q_2-3_v-80-100_r-11.5FAIL888.11
Q_2-3_v-80-100_r-9.0FAIL888.18
Q_2-3_v-80-100_r-5.3FAIL888.23
Q_2-3_v-80-100_r-7.2FAIL888.28
Q_2-3_v-80-100_r-7.1FAIL888.51
Q_2-3_v-80-100_r-9.4FAIL888.51
Q_2-3_v-80-100_r-7.6FAIL888.55
Q_2-3_v-80-100_r-7.8FAIL888.69
Q_2-3_v-80-100_r-9.9FAIL888.7
Q_2-3_v-80-100_r-5.2FAIL888.77
Q_2-3_v-80-100_r-11.8FAIL888.78
Q_2-3_v-80-100_r-5.0FAIL888.87
Q_2-3_v-80-100_r-5.8FAIL888.91
Q_2-3_v-80-100_r-11.9FAIL888.96
Q_2-3_v-80-100_r-7.3FAIL889.01
Q_2-3_v-80-100_r-11.1FAIL889.02
Q_2-3_v-80-100_r-7.7FAIL889.11
Q_2-3_v-80-100_r-5.7FAIL889.22
Q_2-3_v-80-100_r-5.5FAIL889.62
Q_2-3_v-80-100_r-9.3FAIL889.69
Q_2-3_v-80-100_r-5.9FAIL889.76
Q_2-3_v-80-100_r-5.6FAIL889.79
Q_2-3_v-80-100_r-9.7FAIL889.9
Q_2-3_v-80-100_r-7.5FAIL890.11
Q_2-3_v-80-100_r-7.9FAIL890.24
Q_2-3_v-80-100_r-7.4FAIL890.24
Q_2-3_v-80-100_r-9.8FAIL890.46
Q_2-3_v-80-100_r-5.4FAIL890.77