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

InstanceResultTime
2qbf-5cnf-40var-80cl.5SAT0
2qbf-5cnf-40var-80cl.4SAT0
2qbf-5cnf-40var-80cl.1SAT0.01
2qbf-5cnf-40var-80cl.8SAT0.01
2qbf-5cnf-40var-80cl.3SAT0.01
2qbf-5cnf-40var-80cl.2SAT0.01
2qbf-5cnf-40var-80cl.7SAT0.06
2qbf-5cnf-40var-80cl.6SAT0.09
2qbf-5cnf-40var-80cl.0SAT0.2
2qbf-5cnf-40var-80cl.9SAT0.42