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

InstanceResultTime
2qbf-5cnf-40var-160cl.7UNSAT14.97
2qbf-5cnf-40var-160cl.2UNSAT30.46
2qbf-5cnf-40var-160cl.0FAIL802.93
2qbf-5cnf-40var-160cl.1FAIL828.31
2qbf-5cnf-40var-160cl.3FAIL900.75
2qbf-5cnf-40var-160cl.4FAIL900.79
2qbf-5cnf-40var-160cl.8FAIL900.81
2qbf-5cnf-40var-160cl.6FAIL900.85
2qbf-5cnf-40var-160cl.5FAIL900.89
2qbf-5cnf-40var-160cl.9FAIL900.89