Sota solver results for family mA-t2-6qbf-5cnf-160var-640cl
QBFEVAL'06


InstanceSolverResultTime
6qbf-5cnf-160var-640cl.0sempropSAT0
6qbf-5cnf-160var-640cl.12clsQSAT0
6qbf-5cnf-160var-640cl.2sKizzo-0.9-absSAT0
6qbf-5cnf-160var-640cl.32clsQSAT0
6qbf-5cnf-160var-640cl.4sempropSAT0
6qbf-5cnf-160var-640cl.5SQBFSAT0
6qbf-5cnf-160var-640cl.6QUANTOR_hcSAT0
6qbf-5cnf-160var-640cl.7QbflSAT0
6qbf-5cnf-160var-640cl.8sempropSAT0
6qbf-5cnf-160var-640cl.9sKizzo-0.9-absSAT0