Instances of family Q_3_3 solved by iprover-QBF
QBFEVAL'16 - Random QBFs Track.

InstanceResultTime
Q_3-3_v-100-100_r-19.6FAIL249.45
Q_3-3_v-100-100_r-19.3FAIL258.27
Q_3-3_v-100-100_r-13.7FAIL263.44
Q_3-3_v-100-100_r-17.3FAIL273.24
Q_3-3_v-100-100_r-11.4FAIL277.26
Q_3-3_v-100-100_r-15.9FAIL277.75
Q_3-3_v-100-100_r-19.5FAIL277.94
Q_3-3_v-100-100_r-17.8FAIL278.04
Q_3-3_v-100-100_r-17.1FAIL279.24
Q_3-3_v-100-100_r-19.4FAIL282.54
Q_3-3_v-100-100_r-17.9FAIL282.85
Q_3-3_v-100-100_r-19.7FAIL284.64
Q_3-3_v-100-100_r-15.8FAIL285.64
Q_3-3_v-100-100_r-17.7FAIL286.94
Q_3-3_v-100-100_r-11.3FAIL290.25
Q_3-3_v-100-100_r-17.5FAIL291.05
Q_3-3_v-100-100_r-13.4FAIL291.34
Q_3-3_v-100-100_r-17.0FAIL291.55
Q_3-3_v-100-100_r-11.2FAIL291.56
Q_3-3_v-100-100_r-11.7FAIL291.75
Q_3-3_v-100-100_r-13.8FAIL292.45
Q_3-3_v-100-100_r-13.6FAIL294.34
Q_3-3_v-100-100_r-15.1FAIL294.44
Q_3-3_v-100-100_r-13.2FAIL296.24
Q_3-3_v-100-100_r-15.0FAIL296.64
Q_3-3_v-100-100_r-19.8FAIL298.25
Q_3-3_v-100-100_r-17.4FAIL300.14
Q_3-3_v-100-100_r-11.8FAIL300.15
Q_3-3_v-100-100_r-13.9FAIL300.84
Q_3-3_v-100-100_r-11.0FAIL303.84
Q_3-3_v-100-100_r-11.5FAIL304.14
Q_3-3_v-100-100_r-19.0FAIL304.64
Q_3-3_v-100-100_r-13.0FAIL305.64
Q_3-3_v-100-100_r-15.3FAIL306.34
Q_3-3_v-100-100_r-19.9FAIL306.74
Q_3-3_v-100-100_r-13.1FAIL307.94
Q_3-3_v-100-100_r-13.3FAIL308.44
Q_3-3_v-100-100_r-15.2FAIL309.44
Q_3-3_v-100-100_r-17.2FAIL312.94
Q_3-3_v-100-100_r-19.1FAIL313.24
Q_3-3_v-100-100_r-13.5FAIL314.75
Q_3-3_v-100-100_r-15.5FAIL315.24
Q_3-3_v-100-100_r-11.9FAIL315.64
Q_3-3_v-100-100_r-17.6FAIL318.06
Q_3-3_v-100-100_r-19.2FAIL323.64
Q_3-3_v-100-100_r-15.6FAIL325.44
Q_3-3_v-100-100_r-11.1FAIL328.94
Q_3-3_v-100-100_r-15.7FAIL341.64
Q_3-3_v-100-100_r-11.6FAIL364.25
Q_3-3_v-100-100_r-15.4FAIL391.66