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

InstanceResultTime
5qbf-5cnf-20var-320cl.9FAIL10.97
5qbf-5cnf-20var-320cl.0FAIL11
5qbf-5cnf-20var-320cl.7FAIL11.66
5qbf-5cnf-20var-320cl.2FAIL11.67
5qbf-5cnf-20var-320cl.3FAIL11.77
5qbf-5cnf-20var-320cl.5FAIL12.05
5qbf-5cnf-20var-320cl.8FAIL13.13
5qbf-5cnf-20var-320cl.1FAIL15
5qbf-5cnf-20var-320cl.6FAIL16.74
5qbf-5cnf-20var-320cl.4FAIL33.59