Your new experience awaits. Try the new design now and help us make it even better

ORIGINAL RESEARCH article

Front. Educ.

Sec. Digital Education

Arithmetic modeling of a multilevel escape room

Provisionally accepted
  • 1Miguel Hernández University of Elche, Elche, Spain
  • 2Universitat de les Illes Balears, Palma, Spain

The final, formatted version of the article will be published soon.

The acceptance of educational escape rooms as active evaluation tools is growing throughout the educational field, covering all areas and levels. In this paper, a multilevel educational escape room has been proposed, which is composed of a series of independent levels, such that each level has to be completed prior to taking up the next one. This specific layout allows instructors to allocate a given part of a course syllabus to each level, where a series of tests composed of randomly-selected questions must be taken in order to move along each level according to the scores obtained. A model for this type of escape room layout has been designed in order to find out the shortest possible time to complete it, considering a curvilinear relationship between the time spent in a test and the score obtained. Additionally, the verification of this model has been carried out by means of arithmetic calculations, as well as with a handcrafted algorithm coded in a programming language called Promela, which was run in a specific verification tool called Spin.

Keywords: Active Learning, Escape room, Gamification, Innovative education, Promela/SPIN

Received: 13 Nov 2025; Accepted: 06 Feb 2026.

Copyright: © 2026 Roig, Alcaraz Carrasco, Gilly, Bernad and Juiz. This is an open-access article distributed under the terms of the Creative Commons Attribution License (CC BY). The use, distribution or reproduction in other forums is permitted, provided the original author(s) or licensor are credited and that the original publication in this journal is cited, in accordance with accepted academic practice. No use, distribution or reproduction is permitted which does not comply with these terms.

* Correspondence: Pedro Juan Roig

Disclaimer: All claims expressed in this article are solely those of the authors and do not necessarily represent those of their affiliated organizations, or those of the publisher, the editors and the reviewers. Any product that may be evaluated in this article or claim that may be made by its manufacturer is not guaranteed or endorsed by the publisher.