Instances of family mA-t2-4qbf-5cnf-160var-5120cl solved by QMRes
QBFEVAL'05

InstanceResultTime
4qbf-5cnf-160var-5120cl.3FAIL900.23
4qbf-5cnf-160var-5120cl.0FAIL900.29
4qbf-5cnf-160var-5120cl.9FAIL900.33
4qbf-5cnf-160var-5120cl.6FAIL900.34
4qbf-5cnf-160var-5120cl.2FAIL900.36
4qbf-5cnf-160var-5120cl.8FAIL900.39
4qbf-5cnf-160var-5120cl.1FAIL900.42
4qbf-5cnf-160var-5120cl.5FAIL900.47
4qbf-5cnf-160var-5120cl.7FAIL900.57
4qbf-5cnf-160var-5120cl.4FAIL900.62