Instances of family mA-t2-4qbf-5cnf-80var-320cl solved by QUANTOR
QBFEVAL'05

InstanceResultTime
4qbf-5cnf-80var-320cl.0FAIL11.86
4qbf-5cnf-80var-320cl.3FAIL21.28
4qbf-5cnf-80var-320cl.5FAIL35.68
4qbf-5cnf-80var-320cl.9FAIL37.66
4qbf-5cnf-80var-320cl.4FAIL50.78
4qbf-5cnf-80var-320cl.7FAIL59.06
4qbf-5cnf-80var-320cl.8FAIL62.13
4qbf-5cnf-80var-320cl.1FAIL71.06
4qbf-5cnf-80var-320cl.2FAIL86.8
4qbf-5cnf-80var-320cl.6FAIL177.88