Instances of family mA-t2-5qbf-5cnf-160var-1280cl solved by GRL
QBFEVAL'05

InstanceResultTime
5qbf-5cnf-160var-1280cl.7SAT4.13
5qbf-5cnf-160var-1280cl.5SAT8.92
5qbf-5cnf-160var-1280cl.9SAT15.95
5qbf-5cnf-160var-1280cl.1SAT60.87
5qbf-5cnf-160var-1280cl.4FAIL900.86
5qbf-5cnf-160var-1280cl.3FAIL900.93
5qbf-5cnf-160var-1280cl.6FAIL900.94
5qbf-5cnf-160var-1280cl.8FAIL900.95
5qbf-5cnf-160var-1280cl.2FAIL900.99
5qbf-5cnf-160var-1280cl.0FAIL900.99