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

InstanceResultTime
2qbf-5cnf-80var-1280cl.2FAIL9.39
2qbf-5cnf-80var-1280cl.6FAIL9.48
2qbf-5cnf-80var-1280cl.8FAIL9.48
2qbf-5cnf-80var-1280cl.9FAIL9.5
2qbf-5cnf-80var-1280cl.1FAIL9.55
2qbf-5cnf-80var-1280cl.3FAIL9.56
2qbf-5cnf-80var-1280cl.0FAIL9.59
2qbf-5cnf-80var-1280cl.4FAIL9.59
2qbf-5cnf-80var-1280cl.7FAIL9.66
2qbf-5cnf-80var-1280cl.5FAIL9.68