Numerical Comparison of 2-satisfiability algorithms