Instances of family mA-t2-2qbf-5cnf-20var-320cl solved by skizzo_v0.5
QBFEVAL'05

InstanceResultTime
2qbf-5cnf-20var-320cl.1UNSAT0.12
2qbf-5cnf-20var-320cl.2UNSAT0.17
2qbf-5cnf-20var-320cl.9UNSAT0.18
2qbf-5cnf-20var-320cl.8UNSAT0.29
2qbf-5cnf-20var-320cl.3UNSAT8.85
2qbf-5cnf-20var-320cl.7UNSAT10.39
2qbf-5cnf-20var-320cl.0UNSAT12.58
2qbf-5cnf-20var-320cl.4UNSAT15.02
2qbf-5cnf-20var-320cl.6UNSAT15.19
2qbf-5cnf-20var-320cl.5UNSAT17.84