Instances of family mA-t2-4qbf-5cnf-40var-320cl solved by 2clsQ
QBFEVAL'06

InstanceResultTime
4qbf-5cnf-40var-320cl.8FAIL2400.28
4qbf-5cnf-40var-320cl.1FAIL2685.74
4qbf-5cnf-40var-320cl.2FAIL2702.73
4qbf-5cnf-40var-320cl.0FAIL2873.29
4qbf-5cnf-40var-320cl.6FAIL3515.35
4qbf-5cnf-40var-320cl.3FAIL5648.54
4qbf-5cnf-40var-320cl.7FAIL5810.14
4qbf-5cnf-40var-320cl.4FAIL5812.1
4qbf-5cnf-40var-320cl.5FAIL5935.04
4qbf-5cnf-40var-320cl.9FAIL5948.51