Instances of family mA-t2-4qbf-5cnf-80var-320cl solved by openQbf
QBFEVAL'06

InstanceResultTime
4qbf-5cnf-80var-320cl.0SAT12.44
4qbf-5cnf-80var-320cl.5SAT189.45
4qbf-5cnf-80var-320cl.6SAT250.57
4qbf-5cnf-80var-320cl.4FAIL6000.78
4qbf-5cnf-80var-320cl.7FAIL6000.82
4qbf-5cnf-80var-320cl.2FAIL6000.83
4qbf-5cnf-80var-320cl.3FAIL6000.85
4qbf-5cnf-80var-320cl.9FAIL6000.85
4qbf-5cnf-80var-320cl.8FAIL6000.86
4qbf-5cnf-80var-320cl.1FAIL6000.89