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

InstanceResultTime
Q_2-3_v-80-100_r-13.0UNSAT0.07
Q_2-3_v-80-100_r-13.3UNSAT0.07
Q_2-3_v-80-100_r-13.6UNSAT0.08
Q_2-3_v-80-100_r-13.1UNSAT0.08
Q_2-3_v-80-100_r-13.7UNSAT0.1
Q_2-3_v-80-100_r-13.8UNSAT0.11
Q_2-3_v-80-100_r-13.4UNSAT0.11
Q_2-3_v-80-100_r-13.5UNSAT0.12
Q_2-3_v-80-100_r-13.9UNSAT0.21
Q_2-3_v-80-100_r-13.2UNSAT0.41
Q_2-3_v-80-100_r-11.3UNSAT1.51
Q_2-3_v-80-100_r-11.2UNSAT5.21
Q_2-3_v-80-100_r-11.6UNSAT10.11
Q_2-3_v-80-100_r-11.0UNSAT48.71
Q_2-3_v-80-100_r-11.4UNSAT110.31
Q_2-3_v-80-100_r-11.8UNSAT496.61
Q_2-3_v-80-100_r-5.2FAIL592.42
Q_2-3_v-80-100_r-9.6FAIL592.72
Q_2-3_v-80-100_r-11.5FAIL592.83
Q_2-3_v-80-100_r-9.1FAIL592.93
Q_2-3_v-80-100_r-7.6FAIL592.93
Q_2-3_v-80-100_r-9.7FAIL593.02
Q_2-3_v-80-100_r-7.2FAIL593.03
Q_2-3_v-80-100_r-11.1FAIL593.22
Q_2-3_v-80-100_r-5.9FAIL593.22
Q_2-3_v-80-100_r-11.9FAIL593.32
Q_2-3_v-80-100_r-11.7FAIL593.32
Q_2-3_v-80-100_r-9.0FAIL593.42
Q_2-3_v-80-100_r-9.8FAIL593.42
Q_2-3_v-80-100_r-9.9FAIL593.42
Q_2-3_v-80-100_r-7.4FAIL593.42
Q_2-3_v-80-100_r-9.4FAIL593.42
Q_2-3_v-80-100_r-5.0FAIL593.52
Q_2-3_v-80-100_r-5.8FAIL593.52
Q_2-3_v-80-100_r-7.0FAIL593.52
Q_2-3_v-80-100_r-5.5FAIL593.62
Q_2-3_v-80-100_r-9.3FAIL593.62
Q_2-3_v-80-100_r-9.5FAIL593.62
Q_2-3_v-80-100_r-7.8FAIL593.62
Q_2-3_v-80-100_r-7.3FAIL593.72
Q_2-3_v-80-100_r-5.7FAIL593.72
Q_2-3_v-80-100_r-5.1FAIL593.72
Q_2-3_v-80-100_r-5.4FAIL593.82
Q_2-3_v-80-100_r-9.2FAIL593.82
Q_2-3_v-80-100_r-7.5FAIL593.82
Q_2-3_v-80-100_r-7.7FAIL593.82
Q_2-3_v-80-100_r-5.3FAIL593.82
Q_2-3_v-80-100_r-7.1FAIL593.82
Q_2-3_v-80-100_r-7.9FAIL593.82
Q_2-3_v-80-100_r-5.6FAIL593.94