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

InstanceResultTime
4qbf-5cnf-40var-1280cl.1UNSAT0.01
4qbf-5cnf-40var-1280cl.0FAIL17.98
4qbf-5cnf-40var-1280cl.7FAIL18.1
4qbf-5cnf-40var-1280cl.8FAIL18.36
4qbf-5cnf-40var-1280cl.5FAIL18.71
4qbf-5cnf-40var-1280cl.4FAIL18.85
4qbf-5cnf-40var-1280cl.9FAIL19.56
4qbf-5cnf-40var-1280cl.6FAIL19.64
4qbf-5cnf-40var-1280cl.3FAIL20.68
4qbf-5cnf-40var-1280cl.2FAIL22.51