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

InstanceResultTime
Q_3-3-3_v-100-100-100_r-50.4FAIL592.62
Q_3-3-3_v-100-100-100_r-70.6FAIL592.72
Q_3-3-3_v-100-100-100_r-50.6FAIL592.83
Q_3-3-3_v-100-100-100_r-50.2FAIL592.83
Q_3-3-3_v-100-100-100_r-70.9FAIL592.83
Q_3-3-3_v-100-100-100_r-40.0FAIL592.84
Q_3-3-3_v-100-100-100_r-70.4FAIL592.93
Q_3-3-3_v-100-100-100_r-30.4FAIL592.94
Q_3-3-3_v-100-100-100_r-40.7FAIL592.94
Q_3-3-3_v-100-100-100_r-30.3FAIL593.02
Q_3-3-3_v-100-100-100_r-30.6FAIL593.02
Q_3-3-3_v-100-100-100_r-30.9FAIL593.02
Q_3-3-3_v-100-100-100_r-70.2FAIL593.03
Q_3-3-3_v-100-100-100_r-40.1FAIL593.12
Q_3-3-3_v-100-100-100_r-30.7FAIL593.12
Q_3-3-3_v-100-100-100_r-70.7FAIL593.12
Q_3-3-3_v-100-100-100_r-60.3FAIL593.22
Q_3-3-3_v-100-100-100_r-70.3FAIL593.32
Q_3-3-3_v-100-100-100_r-40.2FAIL593.32
Q_3-3-3_v-100-100-100_r-50.0FAIL593.32
Q_3-3-3_v-100-100-100_r-50.8FAIL593.32
Q_3-3-3_v-100-100-100_r-50.9FAIL593.32
Q_3-3-3_v-100-100-100_r-70.5FAIL593.32
Q_3-3-3_v-100-100-100_r-60.8FAIL593.32
Q_3-3-3_v-100-100-100_r-50.3FAIL593.32
Q_3-3-3_v-100-100-100_r-60.1FAIL593.32
Q_3-3-3_v-100-100-100_r-70.0FAIL593.32
Q_3-3-3_v-100-100-100_r-70.8FAIL593.32
Q_3-3-3_v-100-100-100_r-70.1FAIL593.32
Q_3-3-3_v-100-100-100_r-60.5FAIL593.33
Q_3-3-3_v-100-100-100_r-40.8FAIL593.42
Q_3-3-3_v-100-100-100_r-60.0FAIL593.42
Q_3-3-3_v-100-100-100_r-40.5FAIL593.42
Q_3-3-3_v-100-100-100_r-30.0FAIL593.42
Q_3-3-3_v-100-100-100_r-60.2FAIL593.42
Q_3-3-3_v-100-100-100_r-30.1FAIL593.42
Q_3-3-3_v-100-100-100_r-60.4FAIL593.52
Q_3-3-3_v-100-100-100_r-40.9FAIL593.52
Q_3-3-3_v-100-100-100_r-60.6FAIL593.52
Q_3-3-3_v-100-100-100_r-40.6FAIL593.52
Q_3-3-3_v-100-100-100_r-50.7FAIL593.62
Q_3-3-3_v-100-100-100_r-50.1FAIL593.62
Q_3-3-3_v-100-100-100_r-60.9FAIL593.62
Q_3-3-3_v-100-100-100_r-50.5FAIL593.62
Q_3-3-3_v-100-100-100_r-30.2FAIL593.72
Q_3-3-3_v-100-100-100_r-40.3FAIL593.72
Q_3-3-3_v-100-100-100_r-40.4FAIL593.72
Q_3-3-3_v-100-100-100_r-30.5FAIL593.82
Q_3-3-3_v-100-100-100_r-30.8FAIL593.82
Q_3-3-3_v-100-100-100_r-60.7FAIL593.93