Sota solver results for family Qq3k2k2k1v80v80v80m2
QBFEVAL'06


InstanceSolverResultTime
Qq3k2k2k1v80v80v80m2s0sKizzo-0.9-grnSAT0
Qq3k2k2k1v80v80v80m2s1GRLSAT0
Qq3k2k2k1v80v80v80m2s2sKizzo-0.9-absSAT0
Qq3k2k2k1v80v80v80m2s3qube5.0SAT0
Qq3k2k2k1v80v80v80m2s4GRLSAT0
Qq3k2k2k1v80v80v80m2s5yQuaffleSAT0
Qq3k2k2k1v80v80v80m2s6WalkQSATSAT0
Qq3k2k2k1v80v80v80m2s7qube4.0SAT0
Qq3k2k2k1v80v80v80m2s8QuaffleSAT0
Qq3k2k2k1v80v80v80m2s9sKizzo-0.9-grnSAT0