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

InstanceResultTime
3qbf-5cnf-80var-1280cl.3UNSAT0.1
3qbf-5cnf-80var-1280cl.2UNSAT0.11
3qbf-5cnf-80var-1280cl.6UNSAT0.39
3qbf-5cnf-80var-1280cl.0UNSAT0.46
3qbf-5cnf-80var-1280cl.4UNSAT0.75
3qbf-5cnf-80var-1280cl.8UNSAT0.88
3qbf-5cnf-80var-1280cl.1UNSAT7.27
3qbf-5cnf-80var-1280cl.7UNSAT20.68
3qbf-5cnf-80var-1280cl.5UNSAT45.9
3qbf-5cnf-80var-1280cl.9UNSAT106.88