Instances of family Qq2k2k3v40v40m32 solved by Quaffle
QBFEVAL'06

InstanceResultTime
Qq2k2k3v40v40m32s9FAIL501.47
Qq2k2k3v40v40m32s7FAIL505.67
Qq2k2k3v40v40m32s2FAIL505.86
Qq2k2k3v40v40m32s5FAIL506.81
Qq2k2k3v40v40m32s3FAIL506.92
Qq2k2k3v40v40m32s4FAIL508.39
Qq2k2k3v40v40m32s0FAIL510.59
Qq2k2k3v40v40m32s1FAIL511.5
Qq2k2k3v40v40m32s6FAIL514.37
Qq2k2k3v40v40m32s8FAIL515.1