Instances of family Qq2k3k2v40v40m4 solved by Quaffle
QBFEVAL'06

InstanceResultTime
Qq2k3k2v40v40m4s4FAIL501.62
Qq2k3k2v40v40m4s9FAIL503.64
Qq2k3k2v40v40m4s6FAIL508.46
Qq2k3k2v40v40m4s8FAIL510.31
Qq2k3k2v40v40m4s0FAIL512.82
Qq2k3k2v40v40m4s1FAIL514.58
Qq2k3k2v40v40m4s2FAIL514.73
Qq2k3k2v40v40m4s5FAIL515.54
Qq2k3k2v40v40m4s3FAIL518.08
Qq2k3k2v40v40m4s7FAIL518.25