Instances of family mA-t2-2qbf-5cnf-160var-2560cl solved by preQuantor
QBFEVAL'06

InstanceResultTime
2qbf-5cnf-160var-2560cl.0FAIL17.86
2qbf-5cnf-160var-2560cl.8FAIL17.89
2qbf-5cnf-160var-2560cl.1FAIL18.09
2qbf-5cnf-160var-2560cl.2FAIL18.32
2qbf-5cnf-160var-2560cl.3FAIL18.48
2qbf-5cnf-160var-2560cl.9FAIL18.98
2qbf-5cnf-160var-2560cl.5FAIL19.25
2qbf-5cnf-160var-2560cl.4FAIL19.63
2qbf-5cnf-160var-2560cl.6FAIL20.31
2qbf-5cnf-160var-2560cl.7FAIL20.47