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

InstanceResultTime
2qbf-5cnf-80var-160cl.8SAT0
2qbf-5cnf-80var-160cl.0SAT0.41
2qbf-5cnf-80var-160cl.5SAT1.21
2qbf-5cnf-80var-160cl.3SAT72.4
2qbf-5cnf-80var-160cl.4SAT119.34
2qbf-5cnf-80var-160cl.9FAIL837.47
2qbf-5cnf-80var-160cl.2FAIL900.76
2qbf-5cnf-80var-160cl.1FAIL900.82
2qbf-5cnf-80var-160cl.6FAIL900.82
2qbf-5cnf-80var-160cl.7FAIL900.91