Instances of family mA-t2-2qbf-5cnf-40var-160cl solved by sKizzo-0.9-abs
QBFEVAL'06

InstanceResultTime
2qbf-5cnf-40var-160cl.6UNSAT374.24
2qbf-5cnf-40var-160cl.0SAT467.18
2qbf-5cnf-40var-160cl.7UNSAT1394.35
2qbf-5cnf-40var-160cl.4SAT3713.52
2qbf-5cnf-40var-160cl.9FAIL6000.7
2qbf-5cnf-40var-160cl.3FAIL6000.78
2qbf-5cnf-40var-160cl.5FAIL6000.88
2qbf-5cnf-40var-160cl.2FAIL6000.89
2qbf-5cnf-40var-160cl.8FAIL6000.9
2qbf-5cnf-40var-160cl.1FAIL6000.91