Sota solver results for family Qq2k1k4v40v40m32
QBFEVAL'06


InstanceSolverResultTime
Qq2k1k4v40v40m32s0sKizzo-0.9-absUNSAT0
Qq2k1k4v40v40m32s1GRLUNSAT0
Qq2k1k4v40v40m32s2GRLUNSAT0
Qq2k1k4v40v40m32s3QbflUNSAT0
Qq2k1k4v40v40m32s4preQuantorUNSAT0
Qq2k1k4v40v40m32s5GRLUNSAT0
Qq2k1k4v40v40m32s6sKizzo-0.9-stdUNSAT0
Qq2k1k4v40v40m32s7qube5.0UNSAT0
Qq2k1k4v40v40m32s8qube5.0UNSAT0
Qq2k1k4v40v40m32s9WalkQSATUNSAT0