#define VERSION "4.0.2"
#define COMPILER "gcc (Ubuntu 13.3.0-6ubuntu2~24.04.1) 13.3.0 -march=icelake-server -mtune=icelake-server -fomit-frame-pointer -W -Wall -O3 -DNDEBUG -DNOPTIONS -DQUIET"
#define ID "unknown"
#define BUILD "Thu May 21 15:59:24 CEST 2026 Linux sirius 6.8.0-117-generic x86_64"
#define DIR "/home/iser/Documents/satcomp/satcomp2026/solvers/green/lymphosat/src/solver/solvers/fallback/solver/src/build"
