Instances of family mA-t2-4qbf-5cnf-80var-320cl solved by sKizzo-0.9-std
QBFEVAL'06

InstanceResultTime
4qbf-5cnf-80var-320cl.6SAT190.69
4qbf-5cnf-80var-320cl.0SAT992.49
4qbf-5cnf-80var-320cl.8FAIL6000.61
4qbf-5cnf-80var-320cl.7FAIL6000.65
4qbf-5cnf-80var-320cl.9FAIL6000.66
4qbf-5cnf-80var-320cl.4FAIL6000.66
4qbf-5cnf-80var-320cl.1FAIL6000.67
4qbf-5cnf-80var-320cl.5FAIL6000.7
4qbf-5cnf-80var-320cl.2FAIL6000.73
4qbf-5cnf-80var-320cl.3FAIL6000.75