Sota solver results for family Qq3k3k1k1v80v80v80m4
QBFEVAL'06


InstanceSolverResultTime
Qq3k3k1k1v80v80v80m4s0QbflSAT0
Qq3k3k1k1v80v80v80m4s12clsQSAT0
Qq3k3k1k1v80v80v80m4s2QUANTORSAT0
Qq3k3k1k1v80v80v80m4s3sKizzo-0.9-absSAT0
Qq3k3k1k1v80v80v80m4s4QUANTOR_hcSAT0
Qq3k3k1k1v80v80v80m4s5GRLSAT0
Qq3k3k1k1v80v80v80m4s6SQBFSAT0
Qq3k3k1k1v80v80v80m4s7sKizzo-0.9-grnSAT0
Qq3k3k1k1v80v80v80m4s8sKizzo-0.9-grnSAT0
Qq3k3k1k1v80v80v80m4s92clsQSAT0