Instances of family mA-t2-3qbf-5cnf-40var-320cl solved by sKizzo-0.9-std
QBFEVAL'06

InstanceResultTime
3qbf-5cnf-40var-320cl.6FAIL590.04
3qbf-5cnf-40var-320cl.2FAIL5086.39
3qbf-5cnf-40var-320cl.5UNSAT5461.02
3qbf-5cnf-40var-320cl.0FAIL5664.26
3qbf-5cnf-40var-320cl.1FAIL5758.4
3qbf-5cnf-40var-320cl.3FAIL5760.99
3qbf-5cnf-40var-320cl.4FAIL5982.58
3qbf-5cnf-40var-320cl.9FAIL6000.34
3qbf-5cnf-40var-320cl.8FAIL6000.57
3qbf-5cnf-40var-320cl.7FAIL6000.58