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

InstanceResultTime
2qbf-5cnf-80var-160cl.8SAT0.02
2qbf-5cnf-80var-160cl.0SAT0.4
2qbf-5cnf-80var-160cl.5SAT1.25
2qbf-5cnf-80var-160cl.9SAT8.3
2qbf-5cnf-80var-160cl.3SAT10.68
2qbf-5cnf-80var-160cl.4SAT11.61
2qbf-5cnf-80var-160cl.1SAT18
2qbf-5cnf-80var-160cl.2SAT19.69
2qbf-5cnf-80var-160cl.6SAT86.62
2qbf-5cnf-80var-160cl.7FAIL900.93