%------------------------------------------------------------------------------ % File : Isabelle---2024 % Problem : Unknown : Unknown % Transfm : none % Format : tptp % Command : Unknown % Computer : Unknown % Model : Unknown % CPU : Unknown % Memory : Unknown % OS : Unknown % CPULimit : Unknowns % WCLimit : Unknowns % DateTime : Tue Apr 1 02:14:10 AM UTC 2025 % Result : Unknown 18.41s 6.31s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.11/0.18 mkdir: cannot create directory ‘/home/tptp’: Permission denied % 0.11/0.19 chmod: cannot access ‘/home/tptp/Systems/Isabelle---2024/Installation/Isabelle2024’: No such file or directory % 18.15/6.28 *** Missing heap image for session "HOL-TPTP" -- expected in: % 18.15/6.28 *** /home/tptp/Systems/Isabelle---2024/Installation/Isabelle2024/heaps/polyml-5.9.1_x86_64_32-linux % 18.15/6.28 *** /export/starexec/sandbox2/solver/bin/Isabelle2024/heaps/polyml-5.9.1_x86_64_32-linux % 18.41/6.31 *** Failed to create directory: "/home/tptp/Systems/Isabelle---2024/Installation/Isabelle2024/heaps/polyml-5.9.1_x86_64_32-linux/log" %------------------------------------------------------------------------------