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

InstanceResultTime
2qbf-5cnf-160var-1280cl.6FAIL8.85
2qbf-5cnf-160var-1280cl.3FAIL8.89
2qbf-5cnf-160var-1280cl.4FAIL8.93
2qbf-5cnf-160var-1280cl.1FAIL8.97
2qbf-5cnf-160var-1280cl.7FAIL9
2qbf-5cnf-160var-1280cl.8FAIL9.02
2qbf-5cnf-160var-1280cl.9FAIL9.09
2qbf-5cnf-160var-1280cl.2FAIL9.1
2qbf-5cnf-160var-1280cl.0FAIL9.1
2qbf-5cnf-160var-1280cl.5FAIL9.11