TSTP Solution File: ITP017+4 by nanoCoP---2.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : nanoCoP---2.0
% Problem : ITP017+4 : TPTP v8.1.2. Bugfixed v7.5.0.
% Transfm : none
% Format : tptp:raw
% Command : nanocop.sh %s %d
% Computer : n006.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:19 EDT 2023
% Result : Unknown 196.19s 192.09s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.11 % Problem : ITP017+4 : TPTP v8.1.2. Bugfixed v7.5.0.
% 0.06/0.12 % Command : nanocop.sh %s %d
% 0.12/0.33 % Computer : n006.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 300
% 0.12/0.33 % DateTime : Thu May 18 21:29:08 EDT 2023
% 0.12/0.33 % CPUTime :
% 12.35/12.08
% 12.35/12.08 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 15.26/14.88 type error in type error in is_a_module(_3495878 : (_3495878 = _3495878) = _3608255)
% 15.26/14.88 abort
% 28.56/28.53
% 28.56/28.53 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 28.65/28.59
% 28.65/28.59 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 28.65/28.59
% 28.65/28.59 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 28.65/28.59
% 28.65/28.59 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 28.65/28.59 ECLiPSe: Fatal error, memory corrupted.
% 41.09/41.21
% 41.09/41.21 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 43.99/44.03 type error in type error in is_a_module(_3901453 : (_3901453 = _3901453) = _4013830)
% 44.08/44.03 abort
% 56.25/56.53
% 56.25/56.53 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 59.15/59.32 type error in type error in is_a_module(_3022992 : (_3022992 = _3022992) = _3135369)
% 59.15/59.33 abort
% 71.01/70.67
% 71.01/70.67 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 72.86/72.37 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))))) = _3512029)
% 72.86/72.37 abort
% 86.78/86.21
% 86.78/86.21 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 86.78/86.22
% 86.78/86.22 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 86.78/86.22
% 86.78/86.22 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 86.78/86.22
% 86.78/86.22 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 86.78/86.22
% 86.78/86.22 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 86.78/86.23
% 86.78/86.23 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 86.78/86.23
% 86.78/86.23 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 86.78/86.23 ECLiPSe: Fatal error, memory corrupted.
% 100.71/99.61
% 100.71/99.61 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 100.71/99.62
% 100.71/99.62 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 100.71/99.62
% 100.71/99.62 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 100.71/99.62
% 100.71/99.62 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 100.71/99.62
% 100.71/99.62 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 100.71/99.62
% 100.71/99.62 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 100.71/99.62
% 100.71/99.62 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 100.71/99.62
% 100.71/99.62 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 100.71/99.62
% 100.71/99.62 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 100.71/99.62
% 100.71/99.62 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 100.71/99.62
% 100.71/99.62 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 100.71/99.62
% 100.71/99.62 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 100.71/99.62
% 100.71/99.62 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 100.71/99.62
% 100.71/99.62 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 100.71/99.62
% 100.71/99.62 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 100.71/99.62
% 100.71/99.62 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 100.71/99.62
% 100.71/99.62 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 100.71/99.62
% 100.71/99.62 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 100.71/99.62
% 100.71/99.62 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 100.71/99.62
% 100.71/99.62 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 100.71/99.62
% 100.71/99.62 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 100.71/99.62
% 100.71/99.62 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 100.71/99.62
% 100.71/99.62 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 100.71/99.62
% 100.71/99.62 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 100.71/99.62
% 100.71/99.62 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 100.71/99.62
% 100.71/99.62 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 100.71/99.62
% 100.71/99.62 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 100.71/99.62
% 100.71/99.62 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 100.71/99.62
% 100.71/99.62 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 100.71/99.62
% 100.71/99.62 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 100.71/99.62
% 100.71/99.62 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 100.71/99.62
% 100.71/99.62 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 100.71/99.62
% 100.71/99.62 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 100.71/99.62
% 100.71/99.62 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 100.71/99.62
% 100.71/99.62 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 100.71/99.62
% 100.71/99.62 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 100.71/99.62
% 100.71/99.62 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 100.71/99.62
% 100.71/99.62 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 100.71/99.62 ECLiPSe: Fatal error, memory corrupted.
% 114.17/112.69
% 114.17/112.69 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 192.37/187.58
% 192.37/187.58 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 195.86/190.97 type error in type error in is_a_module(_3011545 : (_3011545 = _3011545) = _3123922)
% 195.86/190.97 abort
% 196.19/192.09 Timeout
%------------------------------------------------------------------------------