Dataset for the following publication: @inproceedings{JCDL23_KreutzBSSW, author = {Christin Katharina Kreutz and Martin Blum and Philipp Schaer and Ralf Schenkel and Benjamin Weyers}, title = {Evaluating Digital Library Search Systems by using Formal Process Modelling}, booktitle = {{JCDL} '23} } The dataset contains evaluation data from an user study with 13 participants working on two tasks: expert search (T_ex) and paper search (T_pa). For participants there are three BPMN models per task, depicting 1) their ideal task conduction model (vIMM), 2) the expert-generated translation of this model to the SchenQL digital library system (vPGM) and 3) the participants' task conduction model using SchenQL (PCM). These BPMNs are given as SVGs in folders corresponding to the tasks(T_ex and T_pa) inside folders corresponding to participants' code names. For all participants the transcript of the first user session is contained as text files in a folder named Transcripts Session 1. Additionally, participants' responses to the questionnaires are included (in Questionnaires.csv). Extended version: Re-FIND