TSTP Solution File: ITP013+4 by nanoCoP---2.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : nanoCoP---2.0
% Problem : ITP013+4 : TPTP v8.1.2. Bugfixed v7.5.0.
% Transfm : none
% Format : tptp:raw
% Command : nanocop.sh %s %d
% Computer : n028.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 : Fri May 19 11:23:15 EDT 2023
% Result : Unknown 183.04s 179.83s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.10/0.12 % Problem : ITP013+4 : TPTP v8.1.2. Bugfixed v7.5.0.
% 0.10/0.12 % Command : nanocop.sh %s %d
% 0.13/0.33 % Computer : n028.cluster.edu
% 0.13/0.33 % Model : x86_64 x86_64
% 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33 % Memory : 8042.1875MB
% 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.33 % CPULimit : 300
% 0.13/0.33 % WCLimit : 300
% 0.13/0.33 % DateTime : Thu May 18 21:50:19 EDT 2023
% 0.13/0.33 % CPUTime :
% 11.07/10.87
% 11.07/10.87 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 13.22/12.88 type error in type error in is_a_module(_3180820 : (_3180820 = _3180820) = _3261464)
% 13.22/12.88 abort
% 25.35/25.31
% 25.35/25.31 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 26.27/26.29
% 26.27/26.29 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 26.27/26.30
% 26.27/26.30 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 26.27/26.30
% 26.27/26.30 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 26.27/26.30
% 26.27/26.30 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 26.27/26.30
% 26.27/26.30 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 26.27/26.30
% 26.27/26.30 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 26.27/26.30
% 26.27/26.30 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 26.27/26.30
% 26.27/26.30 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 26.27/26.30
% 26.27/26.30 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 26.27/26.30 ECLiPSe: Fatal error, memory corrupted.
% 37.90/38.22
% 37.90/38.22 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 39.87/40.13 type error in type error in is_a_module(_3212702 : (_3212702 = _3212702) = _3293346)
% 39.87/40.13 abort
% 53.28/53.59
% 53.28/53.59 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 66.34/65.98
% 66.34/65.98 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 67.76/67.29 type error in type error in is_a_module(_293 : all(_294 : all(_295 : all(_296 : =>(all(_297 : (s(_294, app_2E2(s(tyop_2Emin_2Efun(_293, _294), _295), s(_293, _297))) = s(_294, app_2E2(s(tyop_2Emin_2Efun(_293, _294), _296), s(_293, _297))))), s(tyop_2Emin_2Efun(_293, _294), _295) = s(tyop_2Emin_2Efun(_293, _294), _296))))) = _2879048)
% 67.76/67.29 abort
% 79.49/78.84
% 79.49/78.84 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 81.50/80.74 type error in type error in is_a_module(_3259670 : (_3259670 = _3259670) = _3340314)
% 81.50/80.74 abort
% 93.46/92.50
% 93.46/92.50 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 93.48/92.56
% 93.48/92.56 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 93.48/92.56
% 93.48/92.56 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 93.48/92.56 ECLiPSe: Fatal error, memory corrupted.
% 105.64/105.07
% 105.64/105.07 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 107.96/107.37 type error in type error in is_a_module(_2989288 : (_2989288 = _2989288) = _3069932)
% 107.96/107.38 abort
% 180.78/177.34
% 180.78/177.34 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 182.77/179.29 type error in type error in is_a_module(_2706480 : (_2706480 = _2706480) = _2787124)
% 182.77/179.29 abort
% 183.04/179.83 Timeout
%------------------------------------------------------------------------------