An experimental puzzlehunt modeling application