Sota solver results for family mA-t2-6qbf-5cnf-20var-40cl
QBFEVAL'05


InstanceSolverResultTime
6qbf-5cnf-20var-40cl.0QChaffLearnSAT0
6qbf-5cnf-20var-40cl.1QMResSAT0
6qbf-5cnf-20var-40cl.2GRLSAT0
6qbf-5cnf-20var-40cl.3QUANTORSAT0
6qbf-5cnf-20var-40cl.4QbflHRSAT0
6qbf-5cnf-20var-40cl.5QUANTORSAT0
6qbf-5cnf-20var-40cl.6WalkQSATSAT0
6qbf-5cnf-20var-40cl.7skizzo_v0.4SAT0
6qbf-5cnf-20var-40cl.8WalkQSATSAT0
6qbf-5cnf-20var-40cl.9QMResSAT0