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

InstanceResultTime
4qbf-5cnf-40var-1280cl.6UNSAT0.59
4qbf-5cnf-40var-1280cl.1UNSAT0.61
4qbf-5cnf-40var-1280cl.9UNSAT2.29
4qbf-5cnf-40var-1280cl.8UNSAT3.96
4qbf-5cnf-40var-1280cl.4UNSAT11.91
4qbf-5cnf-40var-1280cl.7UNSAT13.88
4qbf-5cnf-40var-1280cl.2UNSAT33.1
4qbf-5cnf-40var-1280cl.5UNSAT38.08
4qbf-5cnf-40var-1280cl.0UNSAT59.6
4qbf-5cnf-40var-1280cl.3UNSAT97.24