Sota solver results for family Qq2k1k4v80v80m8
QBFEVAL'06


InstanceSolverResultTime
Qq2k1k4v80v80m8s0GRLSAT0
Qq2k1k4v80v80m8s1sKizzo-0.9-stdSAT0
Qq2k1k4v80v80m8s2QUANTORSAT0
Qq2k1k4v80v80m8s3yQuaffleSAT0
Qq2k1k4v80v80m8s4GRLSAT0
Qq2k1k4v80v80m8s52clsQSAT0
Qq2k1k4v80v80m8s6WalkQSATSAT0
Qq2k1k4v80v80m8s7sKizzo-0.9-grnSAT0
Qq2k1k4v80v80m8s8QbflSAT0
Qq2k1k4v80v80m8s9sKizzo-0.9-absSAT0