Sota solver results for family Qq3k1k3k1v80v80v80m2
QBFEVAL'06


InstanceSolverResultTime
Qq3k1k3k1v80v80v80m2s0QbflSAT0
Qq3k1k3k1v80v80v80m2s1sKizzo-0.9-absSAT0
Qq3k1k3k1v80v80v80m2s2GRLSAT0
Qq3k1k3k1v80v80v80m2s3sKizzo-0.9-grnSAT0
Qq3k1k3k1v80v80v80m2s4sKizzo-0.9-absSAT0
Qq3k1k3k1v80v80v80m2s5GRLSAT0
Qq3k1k3k1v80v80v80m2s6sKizzo-0.9-stdSAT0
Qq3k1k3k1v80v80v80m2s7qube3.0SAT0
Qq3k1k3k1v80v80v80m2s8qube3.0SAT0
Qq3k1k3k1v80v80v80m2s9QuaffleSAT0