This is the artifact evaluation Docker image of our paper, Synthesizing Axiomatizations using Logic Learning. Please see the README.md file inside the compressed tarball for usage of the artifact. The following is the abstract of our paper: Axioms and inference rules form the foundation of deductive systems and are crucial in the study of reasoning with logics over structures. Historically, axiomatizations have been discovered manually with much effort. In this paper, we show the feasibility of using synthesis techniques to discover axiomatizations for different classes of structures, and in some contexts, automatically prove their completeness. For evaluation, we applied our technique to find axioms for (1) classes of frames in modal logic characterized in first-order logic and (2) the class of language models with regular operations.