Instances of family mA-t2-3qbf-5cnf-80var-1280cl solved by QUANTOR
QBFEVAL'06

InstanceResultTime
3qbf-5cnf-80var-1280cl.5FAIL11.73
3qbf-5cnf-80var-1280cl.6FAIL12.09
3qbf-5cnf-80var-1280cl.4FAIL12.25
3qbf-5cnf-80var-1280cl.1FAIL13.15
3qbf-5cnf-80var-1280cl.8FAIL13.19
3qbf-5cnf-80var-1280cl.7FAIL13.28
3qbf-5cnf-80var-1280cl.3FAIL13.97
3qbf-5cnf-80var-1280cl.2FAIL14.73
3qbf-5cnf-80var-1280cl.9FAIL14.97
3qbf-5cnf-80var-1280cl.0FAIL15.18