How do the results of Foldit and Folding@Home compare to each other? They use totally different methods for the same scientific problem.