Sota solver results for family Qq3k1k3k1v80v80v80m8
QBFEVAL'06


InstanceSolverResultTime
Qq3k1k3k1v80v80v80m8s02clsQSAT0
Qq3k1k3k1v80v80v80m8s1sKizzo-0.9-stdSAT0
Qq3k1k3k1v80v80v80m8s2qube3.0SAT0
Qq3k1k3k1v80v80v80m8s3QuaffleSAT0
Qq3k1k3k1v80v80v80m8s4sKizzo-0.9-stdSAT0
Qq3k1k3k1v80v80v80m8s5QbflSAT0
Qq3k1k3k1v80v80v80m8s6QbflSAT0
Qq3k1k3k1v80v80v80m8s7qube5.0SAT0
Qq3k1k3k1v80v80v80m8s82clsQSAT0
Qq3k1k3k1v80v80v80m8s9SQBFSAT0