Instances of family Qq2k3k2v80v80m32 solved by Quaffle
QBFEVAL'06

InstanceResultTime
Qq2k3k2v80v80m32s7FAIL501.36
Qq2k3k2v80v80m32s9FAIL501.41
Qq2k3k2v80v80m32s2FAIL502.23
Qq2k3k2v80v80m32s5FAIL502.31
Qq2k3k2v80v80m32s0FAIL505.07
Qq2k3k2v80v80m32s4FAIL506.8
Qq2k3k2v80v80m32s1FAIL510.09
Qq2k3k2v80v80m32s6FAIL510.97
Qq2k3k2v80v80m32s3FAIL514.46
Qq2k3k2v80v80m32s8FAIL515.47