Sota solver results for family Qq3k2k1k2v40v40v40m16
QBFEVAL'06


InstanceSolverResultTime
Qq3k2k1k2v40v40v40m16s02clsQSAT0
Qq3k2k1k2v40v40v40m16s1QbflSAT0
Qq3k2k1k2v40v40v40m16s2QUANTOR_hcSAT0
Qq3k2k1k2v40v40v40m16s3qube5.0SAT0
Qq3k2k1k2v40v40v40m16s4qube3.0SAT0
Qq3k2k1k2v40v40v40m16s5yQuaffleSAT0
Qq3k2k1k2v40v40v40m16s6QUANTORSAT0
Qq3k2k1k2v40v40v40m16s7sempropSAT0
Qq3k2k1k2v40v40v40m16s8GRLSAT0
Qq3k2k1k2v40v40v40m16s9WalkQSATSAT0