Instances of family Q_2_3 solved by ijtihad_v2
QBFEVAL'17 - Random QBFs Track

InstanceResultTime
Q_2-3_v-80-100_r-13.7UNSAT0.27
Q_2-3_v-80-100_r-13.4UNSAT0.34
Q_2-3_v-80-100_r-13.5UNSAT2.32
Q_2-3_v-80-100_r-13.1UNSAT34.06
Q_2-3_v-80-100_r-13.0UNSAT560.14
Q_2-3_v-80-100_r-13.6UNSAT560.38
Q_2-3_v-80-100_r-11.5FAIL900
Q_2-3_v-80-100_r-5.4FAIL900
Q_2-3_v-80-100_r-7.2FAIL900
Q_2-3_v-80-100_r-9.0FAIL900
Q_2-3_v-80-100_r-9.8FAIL900
Q_2-3_v-80-100_r-11.6FAIL900
Q_2-3_v-80-100_r-5.5FAIL900
Q_2-3_v-80-100_r-7.3FAIL900
Q_2-3_v-80-100_r-9.1FAIL900
Q_2-3_v-80-100_r-9.9FAIL900
Q_2-3_v-80-100_r-11.7FAIL900
Q_2-3_v-80-100_r-5.6FAIL900
Q_2-3_v-80-100_r-7.4FAIL900
Q_2-3_v-80-100_r-9.2FAIL900
Q_2-3_v-80-100_r-11.0FAIL900
Q_2-3_v-80-100_r-11.8FAIL900
Q_2-3_v-80-100_r-13.8FAIL900
Q_2-3_v-80-100_r-5.7FAIL900
Q_2-3_v-80-100_r-7.5FAIL900
Q_2-3_v-80-100_r-9.3FAIL900
Q_2-3_v-80-100_r-11.1FAIL900
Q_2-3_v-80-100_r-11.9FAIL900
Q_2-3_v-80-100_r-5.0FAIL900
Q_2-3_v-80-100_r-5.8FAIL900
Q_2-3_v-80-100_r-7.6FAIL900
Q_2-3_v-80-100_r-9.4FAIL900
Q_2-3_v-80-100_r-11.2FAIL900
Q_2-3_v-80-100_r-5.1FAIL900
Q_2-3_v-80-100_r-5.9FAIL900
Q_2-3_v-80-100_r-7.7FAIL900
Q_2-3_v-80-100_r-9.5FAIL900
Q_2-3_v-80-100_r-11.3FAIL900
Q_2-3_v-80-100_r-5.2FAIL900
Q_2-3_v-80-100_r-7.0FAIL900
Q_2-3_v-80-100_r-7.8FAIL900
Q_2-3_v-80-100_r-9.6FAIL900
Q_2-3_v-80-100_r-11.4FAIL900
Q_2-3_v-80-100_r-5.3FAIL900
Q_2-3_v-80-100_r-7.1FAIL900
Q_2-3_v-80-100_r-7.9FAIL900
Q_2-3_v-80-100_r-9.7FAIL900