Instances of family Q_2_3 solved by GhostQ-PG_plain
QBFEVAL'18 - Prenex 2QBF Track

InstanceResultTime
Q_2-3_v-80-100_r-11.3FAIL900
Q_2-3_v-80-100_r-13.1FAIL900
Q_2-3_v-80-100_r-13.7FAIL900.01
Q_2-3_v-80-100_r-11.6FAIL900.01
Q_2-3_v-80-100_r-11.0FAIL900.01
Q_2-3_v-80-100_r-13.6FAIL900.01
Q_2-3_v-80-100_r-11.1FAIL900.02
Q_2-3_v-80-100_r-11.2FAIL900.02
Q_2-3_v-80-100_r-11.4FAIL900.02
Q_2-3_v-80-100_r-13.4FAIL900.02
Q_2-3_v-80-100_r-13.3FAIL900.03
Q_2-3_v-80-100_r-13.5FAIL900.03
Q_2-3_v-80-100_r-11.9FAIL900.04
Q_2-3_v-80-100_r-13.2FAIL900.04
Q_2-3_v-80-100_r-11.5FAIL900.04
Q_2-3_v-80-100_r-13.0FAIL900.06
Q_2-3_v-80-100_r-13.9FAIL900.06
Q_2-3_v-80-100_r-11.8FAIL900.06
Q_2-3_v-80-100_r-11.7FAIL900.07
Q_2-3_v-80-100_r-13.8FAIL900.08