Sota solver results for family mA-t2-5qbf-5cnf-40var-320cl
QBFEVAL'06


InstanceSolverResultTime
5qbf-5cnf-40var-320cl.0QbflSAT0
5qbf-5cnf-40var-320cl.1sempropSAT0.01
5qbf-5cnf-40var-320cl.2QbflSAT0
5qbf-5cnf-40var-320cl.3QbflSAT0.01
5qbf-5cnf-40var-320cl.4QbflSAT0
5qbf-5cnf-40var-320cl.5QbflSAT0.02
5qbf-5cnf-40var-320cl.6qube4.0SAT0
5qbf-5cnf-40var-320cl.7QbflSAT0
5qbf-5cnf-40var-320cl.8QbflSAT0.01
5qbf-5cnf-40var-320cl.9QbflSAT0.01