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

InstanceResultTime
6qbf-5cnf-80var-640cl.7SAT0.13
6qbf-5cnf-80var-640cl.1SAT0.17
6qbf-5cnf-80var-640cl.3SAT0.19
6qbf-5cnf-80var-640cl.2SAT0.19
6qbf-5cnf-80var-640cl.9SAT0.21
6qbf-5cnf-80var-640cl.4SAT0.22
6qbf-5cnf-80var-640cl.0UNSAT1.18
6qbf-5cnf-80var-640cl.6SAT1.2
6qbf-5cnf-80var-640cl.8UNSAT1.21
6qbf-5cnf-80var-640cl.5SAT1765.31