TSTP Solution File: ITP014+4 by nanoCoP---2.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : nanoCoP---2.0
% Problem : ITP014+4 : TPTP v8.1.2. Bugfixed v7.5.0.
% Transfm : none
% Format : tptp:raw
% Command : nanocop.sh %s %d
% Computer : n026.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:16 EDT 2023
% Result : Unknown 212.33s 195.55s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : ITP014+4 : TPTP v8.1.2. Bugfixed v7.5.0.
% 0.07/0.13 % Command : nanocop.sh %s %d
% 0.13/0.34 % Computer : n026.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 : Thu May 18 22:02:52 EDT 2023
% 0.13/0.34 % CPUTime :
% 12.24/11.99
% 12.24/11.99 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 14.51/14.16 type error in type error in is_a_module(_3011322 : (_3011322 = _3011322) = _3094864)
% 14.51/14.16 abort
% 26.68/26.38
% 26.68/26.38 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 26.68/26.39
% 26.68/26.39 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 26.68/26.39
% 26.68/26.39 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 26.68/26.39
% 26.68/26.39 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 26.68/26.39
% 26.68/26.39 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 26.68/26.39
% 26.68/26.39 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 26.68/26.39
% 26.68/26.39 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 26.68/26.39
% 26.68/26.39 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 26.68/26.39
% 26.68/26.39 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 26.68/26.39
% 26.68/26.39 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 26.68/26.39
% 26.68/26.39 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 26.68/26.39
% 26.68/26.39 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 26.68/26.39
% 26.68/26.39 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 26.68/26.39
% 26.68/26.39 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 26.68/26.39
% 26.68/26.39 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 26.68/26.39
% 26.68/26.39 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 26.68/26.39
% 26.68/26.39 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 26.68/26.39
% 26.68/26.39 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 26.68/26.39
% 26.68/26.39 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 26.68/26.39
% 26.68/26.39 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 26.68/26.39
% 26.68/26.39 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 26.68/26.39
% 26.68/26.39 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 26.68/26.39
% 26.68/26.39 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 26.68/26.39
% 26.68/26.39 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 26.68/26.39
% 26.68/26.39 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 26.68/26.39
% 26.68/26.39 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 26.68/26.39
% 26.68/26.39 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 26.68/26.39 ECLiPSe: Fatal error, memory corrupted.
% 38.15/38.20
% 38.15/38.20 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 40.41/40.37 type error in type error in is_a_module(_2948898 : (_2948898 = _2948898) = _3032440)
% 40.41/40.38 abort
% 52.17/52.01
% 52.17/52.01 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 54.62/54.34 type error in type error in is_a_module(_3049396 : (_3049396 = _3049396) = _3132938)
% 54.62/54.35 abort
% 65.31/65.47
% 65.31/65.47 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 66.57/66.66 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))))) = _3256315)
% 66.57/66.66 abort
% 81.05/80.64
% 81.05/80.64 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 85.25/84.70 type error in type error in is_a_module(_2973822 : (_2973822 = _2973822) = _3057364)
% 85.25/84.71 abort
% 105.64/105.05
% 105.64/105.05 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 107.73/107.06 type error in type error in is_a_module(_2955887 : (_2955887 = _2955887) = _3039429)
% 107.73/107.06 abort
% 120.20/119.92
% 120.20/119.92 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 122.30/121.94 type error in type error in is_a_module(_2955887 : (_2955887 = _2955887) = _3039429)
% 122.30/121.94 abort
% 209.95/192.92
% 209.95/192.92 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 212.14/195.04 type error in type error in is_a_module(_2961166 : (_2961166 = _2961166) = _3044708)
% 212.14/195.05 abort
% 212.33/195.55 Timeout
%------------------------------------------------------------------------------