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

InstanceResultTime
4qbf-5cnf-20var-320cl.1UNSAT13.13
4qbf-5cnf-20var-320cl.0UNSAT13.59
4qbf-5cnf-20var-320cl.5UNSAT45.8
4qbf-5cnf-20var-320cl.3UNSAT51.26
4qbf-5cnf-20var-320cl.7UNSAT53.27
4qbf-5cnf-20var-320cl.9UNSAT66.46
4qbf-5cnf-20var-320cl.2UNSAT70.13
4qbf-5cnf-20var-320cl.8UNSAT72.18
4qbf-5cnf-20var-320cl.6UNSAT76.41
4qbf-5cnf-20var-320cl.4UNSAT102.41