Sota solver results for family Qq3k3k1k1v40v40v40m2
QBFEVAL'06


InstanceSolverResultTime
Qq3k3k1k1v40v40v40m2s0QUANTORSAT0
Qq3k3k1k1v40v40v40m2s1qube5.0SAT0
Qq3k3k1k1v40v40v40m2s2sKizzo-0.9-stdSAT0
Qq3k3k1k1v40v40v40m2s3sKizzo-0.9-absSAT0
Qq3k3k1k1v40v40v40m2s4GRLSAT0
Qq3k3k1k1v40v40v40m2s5WalkQSATSAT0
Qq3k3k1k1v40v40v40m2s6yQuaffleSAT0
Qq3k3k1k1v40v40v40m2s7QuaffleSAT0
Qq3k3k1k1v40v40v40m2s8GRLSAT0
Qq3k3k1k1v40v40v40m2s9sKizzo-0.9-grnSAT0