Instances of family mA-t2-1qbf-5cnf-80var-2560cl solved by qube3.0
QBFEVAL'06

InstanceResultTime
1qbf-5cnf-80var-2560cl.5FAIL6000.73
1qbf-5cnf-80var-2560cl.8FAIL6000.73
1qbf-5cnf-80var-2560cl.3FAIL6000.74
1qbf-5cnf-80var-2560cl.1FAIL6000.75
1qbf-5cnf-80var-2560cl.7FAIL6000.76
1qbf-5cnf-80var-2560cl.4FAIL6000.79
1qbf-5cnf-80var-2560cl.9FAIL6000.79
1qbf-5cnf-80var-2560cl.0FAIL6000.8
1qbf-5cnf-80var-2560cl.6FAIL6000.84
1qbf-5cnf-80var-2560cl.2FAIL6000.86