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

InstanceResultTime
5qbf-5cnf-80var-640cl.3FAIL6000.65
5qbf-5cnf-80var-640cl.8FAIL6000.66
5qbf-5cnf-80var-640cl.4FAIL6000.7
5qbf-5cnf-80var-640cl.9FAIL6000.71
5qbf-5cnf-80var-640cl.2FAIL6000.74
5qbf-5cnf-80var-640cl.0FAIL6000.79
5qbf-5cnf-80var-640cl.6FAIL6000.79
5qbf-5cnf-80var-640cl.1FAIL6000.79
5qbf-5cnf-80var-640cl.7FAIL6000.79
5qbf-5cnf-80var-640cl.5FAIL6000.82