Instances of family Q_2_3 solved by aqua-s3o
QBFEVAL'16 - Random QBFs Track.

InstanceResultTime
Q_2-3_v-80-100_r-13.7UNSAT0.05
Q_2-3_v-80-100_r-13.2UNSAT0.05
Q_2-3_v-80-100_r-13.4UNSAT0.06
Q_2-3_v-80-100_r-13.6UNSAT0.06
Q_2-3_v-80-100_r-13.3UNSAT0.07
Q_2-3_v-80-100_r-13.1UNSAT0.09
Q_2-3_v-80-100_r-13.5UNSAT0.12
Q_2-3_v-80-100_r-13.0UNSAT0.16
Q_2-3_v-80-100_r-13.8UNSAT0.3
Q_2-3_v-80-100_r-11.3UNSAT0.54
Q_2-3_v-80-100_r-13.9UNSAT1.44
Q_2-3_v-80-100_r-11.7UNSAT21.21
Q_2-3_v-80-100_r-11.8UNSAT29.41
Q_2-3_v-80-100_r-5.7FAIL599.72
Q_2-3_v-80-100_r-5.2FAIL599.81
Q_2-3_v-80-100_r-5.3FAIL599.81
Q_2-3_v-80-100_r-5.5FAIL599.81
Q_2-3_v-80-100_r-7.3FAIL599.81
Q_2-3_v-80-100_r-5.1FAIL599.81
Q_2-3_v-80-100_r-7.7FAIL599.81
Q_2-3_v-80-100_r-11.6FAIL599.82
Q_2-3_v-80-100_r-7.0FAIL599.82
Q_2-3_v-80-100_r-7.8FAIL599.82
Q_2-3_v-80-100_r-7.1FAIL599.82
Q_2-3_v-80-100_r-9.7FAIL599.82
Q_2-3_v-80-100_r-11.0FAIL599.82
Q_2-3_v-80-100_r-5.4FAIL599.82
Q_2-3_v-80-100_r-7.2FAIL599.82
Q_2-3_v-80-100_r-9.0FAIL599.82
Q_2-3_v-80-100_r-9.8FAIL599.82
Q_2-3_v-80-100_r-11.1FAIL599.82
Q_2-3_v-80-100_r-11.9FAIL599.82
Q_2-3_v-80-100_r-9.9FAIL599.82
Q_2-3_v-80-100_r-5.6FAIL599.82
Q_2-3_v-80-100_r-7.4FAIL599.82
Q_2-3_v-80-100_r-9.2FAIL599.82
Q_2-3_v-80-100_r-7.5FAIL599.82
Q_2-3_v-80-100_r-9.3FAIL599.82
Q_2-3_v-80-100_r-11.4FAIL599.82
Q_2-3_v-80-100_r-5.0FAIL599.82
Q_2-3_v-80-100_r-5.8FAIL599.82
Q_2-3_v-80-100_r-7.6FAIL599.82
Q_2-3_v-80-100_r-9.4FAIL599.82
Q_2-3_v-80-100_r-11.5FAIL599.82
Q_2-3_v-80-100_r-5.9FAIL599.82
Q_2-3_v-80-100_r-9.5FAIL599.82
Q_2-3_v-80-100_r-9.6FAIL599.92
Q_2-3_v-80-100_r-7.9FAIL599.92
Q_2-3_v-80-100_r-9.1FAIL599.92
Q_2-3_v-80-100_r-11.2FAIL599.92