%------------------------------------------------------------------------------
% File     : Geo-III---2018C
% Problem  : CSR107+6 : TPTP v8.1.0. Bugfixed v7.3.0.
% Transfm  : none
% Format   : tptp:raw
% Command  : geo -tptp_input -nonempty -inputfile %s

% Computer : n003.cluster.edu
% Model    : x86_64 x86_64
% CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory   : 8042.1875MB
% OS       : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit  : 300s
% DateTime : Sat Jul 23 06:00:07 EDT 2022

% Result   : Unknown 0.13s 0.35s
% Output   : None 
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12  % Problem  : CSR107+6 : TPTP v8.1.0. Bugfixed v7.3.0.
% 0.03/0.13  % Command  : geo -tptp_input -nonempty -inputfile %s
% 0.13/0.34  % Computer : n003.cluster.edu
% 0.13/0.34  % Model    : x86_64 x86_64
% 0.13/0.34  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34  % Memory   : 8042.1875MB
% 0.13/0.34  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34  % CPULimit : 300
% 0.13/0.34  % WCLimit  : 300
% 0.13/0.34  % DateTime : Fri Jul 22 11:55:38 EDT 2022
% 0.13/0.35  % CPUTime  : 
% 0.13/0.35  GeoParameters:
% 0.13/0.35  
% 0.13/0.35  tptp_input =     1
% 0.13/0.35  tptp_output =    0
% 0.13/0.35  nonempty =       1
% 0.13/0.35  inputfile =      /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.13/0.35  includepath =    /export/starexec/sandbox2/solver/bin/../../benchmark/
% 0.13/0.35  
% 0.13/0.35  
% 0.13/0.35  ERROR: Conversion error: incorrect function: Ramadan is the ninth month of the Islamic calendar. It is the Islamic month of fasting, in which participating Muslims refrain from eating, drinking, having sex, smoking, and indulging in anything that is in excess or ill-natured; from dawn until sunset. [Wikipedia] 
%------------------------------------------------------------------------------