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

InstanceResultTime
4qbf-5cnf-40var-160cl.1SAT0.01
4qbf-5cnf-40var-160cl.5SAT0.72
4qbf-5cnf-40var-160cl.6FAIL21.75
4qbf-5cnf-40var-160cl.3SAT73.95
4qbf-5cnf-40var-160cl.2SAT285.34
4qbf-5cnf-40var-160cl.4FAIL805.86
4qbf-5cnf-40var-160cl.9FAIL883.48
4qbf-5cnf-40var-160cl.8FAIL900.77
4qbf-5cnf-40var-160cl.7FAIL900.82
4qbf-5cnf-40var-160cl.0FAIL900.87