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

InstanceResultTime
3qbf-5cnf-160var-1280cl.6SAT65.68
3qbf-5cnf-160var-1280cl.3FAIL900.98
3qbf-5cnf-160var-1280cl.4FAIL900.99
3qbf-5cnf-160var-1280cl.5FAIL900.99
3qbf-5cnf-160var-1280cl.8FAIL901
3qbf-5cnf-160var-1280cl.2FAIL901
3qbf-5cnf-160var-1280cl.7FAIL901
3qbf-5cnf-160var-1280cl.1FAIL901
3qbf-5cnf-160var-1280cl.0FAIL901
3qbf-5cnf-160var-1280cl.9FAIL901.01