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

InstanceResultTime
3qbf-5cnf-40var-320cl.4SAT19.62
3qbf-5cnf-40var-320cl.0SAT26
3qbf-5cnf-40var-320cl.1SAT28.51
3qbf-5cnf-40var-320cl.9SAT31.9
3qbf-5cnf-40var-320cl.3SAT33.99
3qbf-5cnf-40var-320cl.8SAT34.34
3qbf-5cnf-40var-320cl.2SAT48.74
3qbf-5cnf-40var-320cl.5UNSAT62.03
3qbf-5cnf-40var-320cl.6SAT63.56
3qbf-5cnf-40var-320cl.7SAT66.54