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

InstanceResultTime
5qbf-5cnf-80var-1280cl.9UNSAT1.19
5qbf-5cnf-80var-1280cl.7UNSAT1.27
5qbf-5cnf-80var-1280cl.3UNSAT2.26
5qbf-5cnf-80var-1280cl.5UNSAT7.69
5qbf-5cnf-80var-1280cl.6UNSAT8
5qbf-5cnf-80var-1280cl.4UNSAT13.06
5qbf-5cnf-80var-1280cl.2UNSAT70.26
5qbf-5cnf-80var-1280cl.1UNSAT249.68
5qbf-5cnf-80var-1280cl.0FAIL266.01
5qbf-5cnf-80var-1280cl.8FAIL897.86