Sota solver results for family Qq2k3k2v80v80m4
QBFEVAL'06


InstanceSolverResultTime
Qq2k3k2v80v80m4s0QUANTORSAT0
Qq2k3k2v80v80m4s1qube5.0SAT0
Qq2k3k2v80v80m4s2sKizzo-0.9-absSAT0
Qq2k3k2v80v80m4s3GRLSAT0
Qq2k3k2v80v80m4s4WalkQSATSAT0
Qq2k3k2v80v80m4s5sKizzo-0.9-grnSAT0
Qq2k3k2v80v80m4s6yQuaffleSAT0
Qq2k3k2v80v80m4s7sKizzo-0.9-absSAT0
Qq2k3k2v80v80m4s8qube5.0SAT0
Qq2k3k2v80v80m4s92clsQSAT0