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

InstanceResultTime
Q_3-3_v-100-100_r-17.0FAIL240.54
Q_3-3_v-100-100_r-19.7FAIL243.84
Q_3-3_v-100-100_r-19.3FAIL244.64
Q_3-3_v-100-100_r-15.0FAIL249.24
Q_3-3_v-100-100_r-19.5FAIL250.85
Q_3-3_v-100-100_r-19.9FAIL251.64
Q_3-3_v-100-100_r-19.6FAIL252.14
Q_3-3_v-100-100_r-15.8FAIL252.34
Q_3-3_v-100-100_r-19.2FAIL255.54
Q_3-3_v-100-100_r-19.4FAIL258.24
Q_3-3_v-100-100_r-15.1FAIL262.74
Q_3-3_v-100-100_r-17.5FAIL264.54
Q_3-3_v-100-100_r-17.2FAIL266.74
Q_3-3_v-100-100_r-15.7FAIL271.35
Q_3-3_v-100-100_r-15.9FAIL271.44
Q_3-3_v-100-100_r-19.1FAIL272.04
Q_3-3_v-100-100_r-17.6FAIL273.54
Q_3-3_v-100-100_r-15.4FAIL276.16
Q_3-3_v-100-100_r-13.5FAIL277.25
Q_3-3_v-100-100_r-17.8FAIL277.84
Q_3-3_v-100-100_r-17.3FAIL277.84
Q_3-3_v-100-100_r-15.2FAIL279.14
Q_3-3_v-100-100_r-13.9FAIL279.46
Q_3-3_v-100-100_r-15.6FAIL279.55
Q_3-3_v-100-100_r-19.0FAIL281.25
Q_3-3_v-100-100_r-17.7FAIL282.14
Q_3-3_v-100-100_r-13.8FAIL285.34
Q_3-3_v-100-100_r-17.1FAIL286.05
Q_3-3_v-100-100_r-17.4FAIL286.44
Q_3-3_v-100-100_r-13.3FAIL289.35
Q_3-3_v-100-100_r-19.8FAIL290.75
Q_3-3_v-100-100_r-15.3FAIL295.24
Q_3-3_v-100-100_r-15.5FAIL297.05
Q_3-3_v-100-100_r-13.0FAIL301.04
Q_3-3_v-100-100_r-11.9FAIL302.94
Q_3-3_v-100-100_r-13.1FAIL304.94
Q_3-3_v-100-100_r-11.8FAIL307.24
Q_3-3_v-100-100_r-13.7FAIL310.14
Q_3-3_v-100-100_r-11.7FAIL311.14
Q_3-3_v-100-100_r-13.4FAIL311.94
Q_3-3_v-100-100_r-11.2FAIL312.64
Q_3-3_v-100-100_r-13.6FAIL313.04
Q_3-3_v-100-100_r-11.5FAIL319.44
Q_3-3_v-100-100_r-17.9FAIL320.15
Q_3-3_v-100-100_r-11.3FAIL324.14
Q_3-3_v-100-100_r-13.2FAIL324.15
Q_3-3_v-100-100_r-11.6FAIL325.14
Q_3-3_v-100-100_r-11.1FAIL328.84
Q_3-3_v-100-100_r-11.0FAIL348.24
Q_3-3_v-100-100_r-11.4FAIL388.84