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

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