This is a software artifact to the paper Quantitative Monitoring of Signal First-Order Logic. It is published as a Docker image for x86-64 architecture or MacOS. For other architectures, you can either emulate the image (this brings slowdown) or you can build the image yourself, following the instructions at https://github.com/ista-vamos/artifact-fm-qsfo. Artifact usage ``` docker load < qsfo-fm.tar.gzdocker run -ti -v "$(pwd)/results":/opt/artifact/results qsfo-fm ``` Use `qsfo-fm-macos.tar.gz` on MacOS instead of `qsfo-fm.tar.gz`. The `docker run` command will enter a shell inside docker. Then, follow the `README.md` in that directory. Results will be shown after running experiments and CSV files will be also stored into the `results` directory on the host system (this is what the `-v` parameter when running docker does). SHA sums ``` sha256sum qsfo-fm.tar.gz 62efdc1f28dc08ca5458b825c964a8f9784226abef3555c1d8e65d8d2e0e56c5 ``` ``` sha256sum qsfo-fm-macos.tar.gz 13ded2f6f20edf4a2fb3973f36510afbcd8a94e4d791ad312ab8b30c6b625470 ``` Errata The README in artifact mentions that the code used to run experiments in the paper is in an attached zip file and differs slightly from code in `qsfo` directory. This was true in version 1 of the artifact, but in the updated version, this information is obsolete. The code used to run the experiments is the code in `qsfo` and we forgot to remove the zip file from the artifact. (We let you know through this note as uploading another ~1GB of data just to fix this minor issue seems wasteful).