Instances of family mA-t2-5qbf-5cnf-40var-1280cl solved by Qbfl
QBFEVAL'06

InstanceResultTime
5qbf-5cnf-40var-1280cl.0FAIL598.8
5qbf-5cnf-40var-1280cl.4FAIL599.21
5qbf-5cnf-40var-1280cl.7FAIL599.27
5qbf-5cnf-40var-1280cl.8FAIL599.4
5qbf-5cnf-40var-1280cl.3FAIL599.89
5qbf-5cnf-40var-1280cl.9FAIL599.92
5qbf-5cnf-40var-1280cl.2FAIL599.98
5qbf-5cnf-40var-1280cl.6UNSAT1789.31
5qbf-5cnf-40var-1280cl.5FAIL5989.64
5qbf-5cnf-40var-1280cl.1FAIL5991.31