Instances of family mA-t2-6qbf-5cnf-40var-1280cl solved by preQuantor
QBFEVAL'06

InstanceResultTime
6qbf-5cnf-40var-1280cl.0FAIL16.16
6qbf-5cnf-40var-1280cl.4FAIL16.67
6qbf-5cnf-40var-1280cl.5FAIL16.96
6qbf-5cnf-40var-1280cl.7FAIL17.02
6qbf-5cnf-40var-1280cl.1FAIL17.08
6qbf-5cnf-40var-1280cl.8FAIL17.97
6qbf-5cnf-40var-1280cl.6FAIL18.01
6qbf-5cnf-40var-1280cl.9FAIL18.69
6qbf-5cnf-40var-1280cl.2FAIL18.86
6qbf-5cnf-40var-1280cl.3FAIL19.58