Instances of family Qq2k1k4v40v40m16 solved by Quaffle
QBFEVAL'06

InstanceResultTime
Qq2k1k4v40v40m16s9UNSAT21.89
Qq2k1k4v40v40m16s2UNSAT121.52
Qq2k1k4v40v40m16s5FAIL540.05
Qq2k1k4v40v40m16s7FAIL542.45
Qq2k1k4v40v40m16s8FAIL543.16
Qq2k1k4v40v40m16s1FAIL543.37
Qq2k1k4v40v40m16s0FAIL543.47
Qq2k1k4v40v40m16s6FAIL543.82
Qq2k1k4v40v40m16s4FAIL544.14
Qq2k1k4v40v40m16s3FAIL544.74