Sota solver results for family Qq3k1k1k3v80v80v80m2
QBFEVAL'06


InstanceSolverResultTime
Qq3k1k1k3v80v80v80m2s0yQuaffleSAT0
Qq3k1k1k3v80v80v80m2s1sKizzo-0.9-absSAT0
Qq3k1k1k3v80v80v80m2s2sKizzo-0.9-grnSAT0
Qq3k1k1k3v80v80v80m2s3SQBFSAT0
Qq3k1k1k3v80v80v80m2s4sKizzo-0.9-stdSAT0
Qq3k1k1k3v80v80v80m2s5yQuaffleSAT0
Qq3k1k1k3v80v80v80m2s6QuaffleSAT0
Qq3k1k1k3v80v80v80m2s7WalkQSATSAT0
Qq3k1k1k3v80v80v80m2s8SQBFSAT0
Qq3k1k1k3v80v80v80m2s9sKizzo-0.9-stdSAT0