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

InstanceResultTime
2qbf-5cnf-20var-160cl.7UNSAT13.34
2qbf-5cnf-20var-160cl.2UNSAT24.59
2qbf-5cnf-20var-160cl.0UNSAT26.58
2qbf-5cnf-20var-160cl.4UNSAT27.86
2qbf-5cnf-20var-160cl.6UNSAT33.06
2qbf-5cnf-20var-160cl.8UNSAT33.71
2qbf-5cnf-20var-160cl.5UNSAT37.78
2qbf-5cnf-20var-160cl.1UNSAT40.04
2qbf-5cnf-20var-160cl.3UNSAT50.67
2qbf-5cnf-20var-160cl.9UNSAT81.89