Sota solver results for family Qq3k3k1k1v40v40v40m4
QBFEVAL'06


InstanceSolverResultTime
Qq3k3k1k1v40v40v40m4s0sKizzo-0.9-absSAT0
Qq3k3k1k1v40v40v40m4s1preQuantorSAT0
Qq3k3k1k1v40v40v40m4s2qube3.0SAT0
Qq3k3k1k1v40v40v40m4s3sKizzo-0.9-grnSAT0
Qq3k3k1k1v40v40v40m4s4qube5.0SAT0
Qq3k3k1k1v40v40v40m4s5yQuaffleSAT0
Qq3k3k1k1v40v40v40m4s62clsQSAT0
Qq3k3k1k1v40v40v40m4s72clsQSAT0
Qq3k3k1k1v40v40v40m4s8QUANTORSAT0
Qq3k3k1k1v40v40v40m4s9sKizzo-0.9-stdSAT0