Instances of family mA-t2-5qbf-5cnf-40var-320cl solved by qube5.0
QBFEVAL'06

InstanceResultTime
5qbf-5cnf-40var-320cl.6SAT0.01
5qbf-5cnf-40var-320cl.4SAT0.02
5qbf-5cnf-40var-320cl.2SAT0.02
5qbf-5cnf-40var-320cl.9SAT0.03
5qbf-5cnf-40var-320cl.5SAT0.03
5qbf-5cnf-40var-320cl.7SAT0.04
5qbf-5cnf-40var-320cl.1SAT0.04
5qbf-5cnf-40var-320cl.0SAT0.05
5qbf-5cnf-40var-320cl.3SAT0.11
5qbf-5cnf-40var-320cl.8SAT0.18