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

InstanceResultTime
4qbf-5cnf-40var-1280cl.1UNSAT0.01
4qbf-5cnf-40var-1280cl.4FAIL18.62
4qbf-5cnf-40var-1280cl.3UNSAT18.79
4qbf-5cnf-40var-1280cl.2UNSAT19.25
4qbf-5cnf-40var-1280cl.0UNSAT21.68
4qbf-5cnf-40var-1280cl.9UNSAT22.44
4qbf-5cnf-40var-1280cl.6UNSAT22.55
4qbf-5cnf-40var-1280cl.8UNSAT22.9
4qbf-5cnf-40var-1280cl.7UNSAT23.77
4qbf-5cnf-40var-1280cl.5UNSAT24.86