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

InstanceResultTime
6qbf-5cnf-20var-640cl.6UNSAT8.98
6qbf-5cnf-20var-640cl.2UNSAT9.37
6qbf-5cnf-20var-640cl.5UNSAT10.38
6qbf-5cnf-20var-640cl.3UNSAT15.45
6qbf-5cnf-20var-640cl.8UNSAT17.03
6qbf-5cnf-20var-640cl.0UNSAT19.95
6qbf-5cnf-20var-640cl.1UNSAT58.29
6qbf-5cnf-20var-640cl.4UNSAT77.53
6qbf-5cnf-20var-640cl.7UNSAT114.48
6qbf-5cnf-20var-640cl.9UNSAT116.24