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

InstanceResultTime
6qbf-5cnf-80var-1280cl.4FAIL362.93
6qbf-5cnf-80var-1280cl.1FAIL400.91
6qbf-5cnf-80var-1280cl.3FAIL423.09
6qbf-5cnf-80var-1280cl.6FAIL423.53
6qbf-5cnf-80var-1280cl.8FAIL428.84
6qbf-5cnf-80var-1280cl.2FAIL458.39
6qbf-5cnf-80var-1280cl.7FAIL458.74
6qbf-5cnf-80var-1280cl.9FAIL458.95
6qbf-5cnf-80var-1280cl.5FAIL471.72
6qbf-5cnf-80var-1280cl.0FAIL506.45