Instances of family Q_3_3 solved by depqbf-v2
QBFEVAL'16 - Random QBFs Track.

InstanceResultTime
Q_3-3_v-100-100_r-11.5FAIL592.62
Q_3-3_v-100-100_r-19.5FAIL592.62
Q_3-3_v-100-100_r-19.9FAIL592.72
Q_3-3_v-100-100_r-13.2FAIL592.83
Q_3-3_v-100-100_r-17.1FAIL592.83
Q_3-3_v-100-100_r-19.7FAIL592.83
Q_3-3_v-100-100_r-17.3FAIL592.93
Q_3-3_v-100-100_r-15.4FAIL592.94
Q_3-3_v-100-100_r-17.8FAIL592.95
Q_3-3_v-100-100_r-19.0FAIL593.02
Q_3-3_v-100-100_r-13.9FAIL593.02
Q_3-3_v-100-100_r-13.6FAIL593.03
Q_3-3_v-100-100_r-13.4FAIL593.03
Q_3-3_v-100-100_r-19.2FAIL593.12
Q_3-3_v-100-100_r-11.1FAIL593.22
Q_3-3_v-100-100_r-11.3FAIL593.22
Q_3-3_v-100-100_r-11.4FAIL593.22
Q_3-3_v-100-100_r-15.2FAIL593.22
Q_3-3_v-100-100_r-15.3FAIL593.22
Q_3-3_v-100-100_r-17.2FAIL593.32
Q_3-3_v-100-100_r-19.8FAIL593.32
Q_3-3_v-100-100_r-19.6FAIL593.32
Q_3-3_v-100-100_r-19.1FAIL593.42
Q_3-3_v-100-100_r-17.7FAIL593.42
Q_3-3_v-100-100_r-17.0FAIL593.42
Q_3-3_v-100-100_r-13.0FAIL593.52
Q_3-3_v-100-100_r-13.8FAIL593.52
Q_3-3_v-100-100_r-15.7FAIL593.52
Q_3-3_v-100-100_r-19.3FAIL593.52
Q_3-3_v-100-100_r-15.8FAIL593.52
Q_3-3_v-100-100_r-15.1FAIL593.52
Q_3-3_v-100-100_r-17.9FAIL593.52
Q_3-3_v-100-100_r-15.0FAIL593.53
Q_3-3_v-100-100_r-11.8FAIL593.62
Q_3-3_v-100-100_r-11.9FAIL593.62
Q_3-3_v-100-100_r-15.5FAIL593.62
Q_3-3_v-100-100_r-13.3FAIL593.62
Q_3-3_v-100-100_r-13.5FAIL593.62
Q_3-3_v-100-100_r-15.6FAIL593.72
Q_3-3_v-100-100_r-17.5FAIL593.72
Q_3-3_v-100-100_r-17.6FAIL593.72
Q_3-3_v-100-100_r-19.4FAIL593.72
Q_3-3_v-100-100_r-15.9FAIL593.72
Q_3-3_v-100-100_r-11.6FAIL593.72
Q_3-3_v-100-100_r-11.7FAIL593.72
Q_3-3_v-100-100_r-11.0FAIL593.82
Q_3-3_v-100-100_r-11.2FAIL593.82
Q_3-3_v-100-100_r-13.1FAIL593.82
Q_3-3_v-100-100_r-13.7FAIL593.94
Q_3-3_v-100-100_r-17.4FAIL594.03