Instances of family mA-t2-6qbf-5cnf-80var-640cl solved by sKizzo-0.9-grn
QBFEVAL'06

InstanceResultTime
6qbf-5cnf-80var-640cl.8UNSAT10.41
6qbf-5cnf-80var-640cl.5FAIL193.82
6qbf-5cnf-80var-640cl.0UNSAT429.71
6qbf-5cnf-80var-640cl.7FAIL6000.69
6qbf-5cnf-80var-640cl.4FAIL6000.76
6qbf-5cnf-80var-640cl.6FAIL6000.8
6qbf-5cnf-80var-640cl.1FAIL6000.81
6qbf-5cnf-80var-640cl.2FAIL6000.82
6qbf-5cnf-80var-640cl.9FAIL6000.82
6qbf-5cnf-80var-640cl.3FAIL6000.82