Instances of family mA-t2-4qbf-5cnf-40var-1280cl solved by qbfbdd
QBFEVAL'05

InstanceResultTime
4qbf-5cnf-40var-1280cl.5FAIL900.66
4qbf-5cnf-40var-1280cl.8FAIL900.69
4qbf-5cnf-40var-1280cl.9FAIL900.7
4qbf-5cnf-40var-1280cl.6FAIL900.72
4qbf-5cnf-40var-1280cl.2FAIL900.73
4qbf-5cnf-40var-1280cl.3FAIL900.76
4qbf-5cnf-40var-1280cl.4FAIL900.77
4qbf-5cnf-40var-1280cl.1FAIL900.8
4qbf-5cnf-40var-1280cl.0FAIL900.81
4qbf-5cnf-40var-1280cl.7FAIL900.87