Benchmark for the Evaluation of MoMo v0.1.0

Zenodo (CERN European Organization for Nuclear Research) 2026 Dataset Open access

Read full text
Authors: Happy Khairunnisa Sariyanto, Alexander Steen, Geoff Sutcliffe
DOI: 10.5281/zenodo.18608518
Cited by: 1

Abstract

A benchmark containing problems sourced from (as of the time of this upload) the upcoming TPTP problem library v9.3.0 and used for evaluating the finite model finder MoMo v0.1.0 for first-order modal logics. One problem has been modified due to input limitations of MoMo, and is titled as such (SYN000_7_modified).

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
11 February 2026
Document type
Dataset