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

InstanceResultTime
5qbf-5cnf-40var-640cl.8UNSAT10.96
5qbf-5cnf-40var-640cl.0UNSAT12.64
5qbf-5cnf-40var-640cl.3UNSAT13.33
5qbf-5cnf-40var-640cl.1UNSAT23.3
5qbf-5cnf-40var-640cl.9UNSAT35.56
5qbf-5cnf-40var-640cl.5UNSAT50.15
5qbf-5cnf-40var-640cl.7UNSAT86.05
5qbf-5cnf-40var-640cl.4UNSAT90.23
5qbf-5cnf-40var-640cl.6FAIL900.83
5qbf-5cnf-40var-640cl.2FAIL900.83