Instances of family mA-t2-4qbf-5cnf-40var-160cl solved by QChaffLearn
QBFEVAL'05

InstanceResultTime
4qbf-5cnf-40var-160cl.5SAT0
4qbf-5cnf-40var-160cl.1SAT0
4qbf-5cnf-40var-160cl.3SAT0
4qbf-5cnf-40var-160cl.7SAT0.02
4qbf-5cnf-40var-160cl.6SAT0.16
4qbf-5cnf-40var-160cl.2SAT0.43
4qbf-5cnf-40var-160cl.4SAT0.47
4qbf-5cnf-40var-160cl.9SAT1.49
4qbf-5cnf-40var-160cl.0SAT1.75
4qbf-5cnf-40var-160cl.8SAT5.22