Instances of family mA-t2-1qbf-5cnf-160var-2560cl solved by sSolve
QBFEVAL'06

InstanceResultTime
1qbf-5cnf-160var-2560cl.7SAT0.3
1qbf-5cnf-160var-2560cl.1SAT0.36
1qbf-5cnf-160var-2560cl.0SAT0.48
1qbf-5cnf-160var-2560cl.4SAT0.67
1qbf-5cnf-160var-2560cl.8SAT1.37
1qbf-5cnf-160var-2560cl.5SAT1.41
1qbf-5cnf-160var-2560cl.9SAT1.47
1qbf-5cnf-160var-2560cl.3SAT1.66
1qbf-5cnf-160var-2560cl.2SAT2.57
1qbf-5cnf-160var-2560cl.6SAT2.88