Instances of family mA-t2-6qbf-5cnf-40var-320cl solved by sSolve
QBFEVAL'06

InstanceResultTime
6qbf-5cnf-40var-320cl.2SAT0.13
6qbf-5cnf-40var-320cl.0UNSAT0.15
6qbf-5cnf-40var-320cl.8SAT0.15
6qbf-5cnf-40var-320cl.5SAT0.16
6qbf-5cnf-40var-320cl.6SAT0.18
6qbf-5cnf-40var-320cl.9SAT0.19
6qbf-5cnf-40var-320cl.7SAT0.21
6qbf-5cnf-40var-320cl.1SAT0.38
6qbf-5cnf-40var-320cl.4SAT11.76
6qbf-5cnf-40var-320cl.3SAT655.69