Experimental comparison of 2-satisfiability algorithms