The scientic discovery game Foldit. Play-
ers compete to nd the lowest energy structure by
manipulating proteins using direct interactions and
optimizations. Playtraces from Foldit are partic-
ularly dicult to analyze due to the huge state
space and diculty of comparing dierent struc-
tures. Even for levels in which there are set goals,
designers do not know all the possible solution con-
gurations, and every player will nd a solution in
a dierent way.