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

InstanceResultTime
5qbf-5cnf-160var-2560cl.9FAIL0
5qbf-5cnf-160var-2560cl.5FAIL0.01
5qbf-5cnf-160var-2560cl.4FAIL16.97
5qbf-5cnf-160var-2560cl.6FAIL17.52
5qbf-5cnf-160var-2560cl.0FAIL17.86
5qbf-5cnf-160var-2560cl.2FAIL17.96
5qbf-5cnf-160var-2560cl.3FAIL18.18
5qbf-5cnf-160var-2560cl.7FAIL18.83
5qbf-5cnf-160var-2560cl.1FAIL19.06
5qbf-5cnf-160var-2560cl.8FAIL19.93