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

InstanceResultTime
Q_2-3_v-80-100_r-13.0UNSAT0.12
Q_2-3_v-80-100_r-13.2UNSAT0.21
Q_2-3_v-80-100_r-13.3UNSAT0.21
Q_2-3_v-80-100_r-13.4UNSAT0.21
Q_2-3_v-80-100_r-13.5UNSAT0.21
Q_2-3_v-80-100_r-13.6UNSAT0.21
Q_2-3_v-80-100_r-13.7UNSAT0.21
Q_2-3_v-80-100_r-13.8UNSAT0.21
Q_2-3_v-80-100_r-11.3UNSAT0.21
Q_2-3_v-80-100_r-13.1UNSAT0.21
Q_2-3_v-80-100_r-13.9UNSAT0.21
Q_2-3_v-80-100_r-11.4UNSAT28.41
Q_2-3_v-80-100_r-11.6UNSAT39.11
Q_2-3_v-80-100_r-11.2UNSAT142.02
Q_2-3_v-80-100_r-11.0UNSAT368.43
Q_2-3_v-80-100_r-11.5FAIL592.42
Q_2-3_v-80-100_r-7.1FAIL592.52
Q_2-3_v-80-100_r-9.2FAIL592.62
Q_2-3_v-80-100_r-11.1FAIL592.72
Q_2-3_v-80-100_r-7.4FAIL592.72
Q_2-3_v-80-100_r-11.8FAIL592.83
Q_2-3_v-80-100_r-7.7FAIL592.93
Q_2-3_v-80-100_r-11.7FAIL592.94
Q_2-3_v-80-100_r-9.7FAIL593.03
Q_2-3_v-80-100_r-5.3FAIL593.12
Q_2-3_v-80-100_r-5.4FAIL593.12
Q_2-3_v-80-100_r-9.0FAIL593.12
Q_2-3_v-80-100_r-7.8FAIL593.22
Q_2-3_v-80-100_r-5.0FAIL593.42
Q_2-3_v-80-100_r-7.3FAIL593.52
Q_2-3_v-80-100_r-9.1FAIL593.52
Q_2-3_v-80-100_r-7.6FAIL593.62
Q_2-3_v-80-100_r-9.5FAIL593.62
Q_2-3_v-80-100_r-7.0FAIL593.62
Q_2-3_v-80-100_r-9.6FAIL593.62
Q_2-3_v-80-100_r-7.2FAIL593.62
Q_2-3_v-80-100_r-5.6FAIL593.62
Q_2-3_v-80-100_r-5.7FAIL593.62
Q_2-3_v-80-100_r-9.4FAIL593.72
Q_2-3_v-80-100_r-5.1FAIL593.72
Q_2-3_v-80-100_r-5.2FAIL593.82
Q_2-3_v-80-100_r-7.9FAIL593.82
Q_2-3_v-80-100_r-9.8FAIL593.82
Q_2-3_v-80-100_r-11.9FAIL593.82
Q_2-3_v-80-100_r-9.9FAIL593.82
Q_2-3_v-80-100_r-7.5FAIL593.82
Q_2-3_v-80-100_r-9.3FAIL593.82
Q_2-3_v-80-100_r-5.8FAIL593.83
Q_2-3_v-80-100_r-5.9FAIL593.94
Q_2-3_v-80-100_r-5.5FAIL594.03