Sota solver results for family Qq3k1k1k3v40v40v40m8
QBFEVAL'06


InstanceSolverResultTime
Qq3k1k1k3v40v40v40m8s0yQuaffleSAT0
Qq3k1k1k3v40v40v40m8s1SQBFSAT0
Qq3k1k1k3v40v40v40m8s2WalkQSATSAT0
Qq3k1k1k3v40v40v40m8s3qube5.0SAT0
Qq3k1k1k3v40v40v40m8s4sempropSAT0
Qq3k1k1k3v40v40v40m8s52clsQSAT0
Qq3k1k1k3v40v40v40m8s6QUANTORSAT0
Qq3k1k1k3v40v40v40m8s7QbflSAT0
Qq3k1k1k3v40v40v40m8s8GRLSAT0
Qq3k1k1k3v40v40v40m8s9yQuaffleSAT0