TSTP Solution File: HWV122+1 by nanoCoP---2.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : nanoCoP---2.0
% Problem : HWV122+1 : TPTP v8.1.2. Released v6.1.0.
% Transfm : none
% Format : tptp:raw
% Command : nanocop.sh %s %d
% Computer : n032.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:18:19 EDT 2023
% Result : Unknown 141.88s 142.80s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.08 % Problem : HWV122+1 : TPTP v8.1.2. Released v6.1.0.
% 0.00/0.09 % Command : nanocop.sh %s %d
% 0.08/0.28 % Computer : n032.cluster.edu
% 0.08/0.28 % Model : x86_64 x86_64
% 0.08/0.28 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.08/0.28 % Memory : 8042.1875MB
% 0.08/0.28 % OS : Linux 3.10.0-693.el7.x86_64
% 0.08/0.28 % CPULimit : 300
% 0.08/0.28 % WCLimit : 300
% 0.08/0.28 % DateTime : Fri May 19 03:29:50 EDT 2023
% 0.08/0.28 % CPUTime :
% 8.36/8.32
% 8.36/8.32 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 8.99/8.97 type error in type error in is_a_module(_357819 : (_357819 = _357819) = _450307)
% 8.99/8.97 abort
% 17.50/17.66
% 17.50/17.66 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 18.21/18.29 type error in type error in is_a_module(_357821 : (_357821 = _357821) = _450309)
% 18.21/18.29 abort
% 26.20/26.45
% 26.20/26.45 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 26.20/26.45
% 26.20/26.45 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 26.20/26.45
% 26.20/26.45 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 26.20/26.45 ECLiPSe: Fatal error, memory corrupted.
% 34.26/34.79
% 34.26/34.79 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 34.26/34.79
% 34.26/34.79 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 34.26/34.79
% 34.26/34.79 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 34.26/34.79 ECLiPSe: Fatal error, memory corrupted.
% 41.83/42.42
% 41.83/42.42 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 41.83/42.43
% 41.83/42.43 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 41.83/42.43
% 41.83/42.43 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 41.83/42.43
% 41.83/42.43 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 41.83/42.43
% 41.83/42.43 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 41.83/42.43
% 41.83/42.43 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 41.83/42.43
% 41.83/42.43 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 41.83/42.43
% 41.83/42.43 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 41.83/42.43
% 41.83/42.43 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 41.83/42.43
% 41.83/42.43 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 41.83/42.43
% 41.83/42.43 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 41.83/42.43
% 41.83/42.43 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 41.83/42.43
% 41.83/42.43 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 41.83/42.43
% 41.83/42.43 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 41.83/42.43
% 41.83/42.43 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 41.83/42.43
% 41.83/42.43 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 41.83/42.43 ECLiPSe: Fatal error, memory corrupted.
% 50.44/51.77
% 50.44/51.77 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 50.54/51.78
% 50.54/51.78 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 50.54/51.78
% 50.54/51.78 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 50.54/51.78
% 50.54/51.78 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 50.54/51.78
% 50.54/51.78 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 50.54/51.78
% 50.54/51.78 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 50.54/51.78
% 50.54/51.78 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 50.54/51.78
% 50.54/51.78 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 50.54/51.78
% 50.54/51.78 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 50.54/51.78
% 50.54/51.78 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 50.54/51.78
% 50.54/51.78 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 50.54/51.78
% 50.54/51.78 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 50.54/51.78
% 50.54/51.78 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 50.54/51.78
% 50.54/51.78 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 50.54/51.78
% 50.54/51.78 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 50.54/51.78
% 50.54/51.78 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 50.54/51.78
% 50.54/51.78 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 50.54/51.78
% 50.54/51.78 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 50.54/51.78
% 50.54/51.78 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 50.54/51.78
% 50.54/51.78 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 50.54/51.78
% 50.54/51.78 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 50.54/51.78
% 50.54/51.78 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 50.54/51.78
% 50.54/51.78 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 50.54/51.78
% 50.54/51.78 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 50.54/51.78
% 50.54/51.78 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 50.54/51.78
% 50.54/51.78 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 50.54/51.78
% 50.54/51.78 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 50.54/51.78
% 50.54/51.78 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 50.54/51.78
% 50.54/51.78 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 50.54/51.78 ECLiPSe: Fatal error, memory corrupted.
% 59.06/60.99
% 59.06/60.99 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 59.06/61.00
% 59.06/61.00 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 59.06/61.00
% 59.06/61.00 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 59.06/61.00
% 59.06/61.00 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 59.06/61.00 ECLiPSe: Fatal error, memory corrupted.
% 71.22/73.69
% 71.22/73.69 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 71.26/73.70
% 71.26/73.70 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 71.26/73.70
% 71.26/73.70 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 71.26/73.70
% 71.26/73.70 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 71.26/73.70
% 71.26/73.70 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 71.26/73.70
% 71.26/73.70 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 71.26/73.70
% 71.26/73.70 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 71.26/73.70
% 71.26/73.70 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 71.26/73.70
% 71.26/73.70 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 71.26/73.70
% 71.26/73.70 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 71.26/73.70 ECLiPSe: Fatal error, memory corrupted.
% 80.87/83.65
% 80.87/83.65 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 80.87/83.66
% 80.87/83.66 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 80.87/83.66
% 80.87/83.66 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 80.87/83.66
% 80.87/83.66 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 80.87/83.66
% 80.87/83.66 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 80.87/83.66
% 80.87/83.66 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 80.87/83.66 ECLiPSe: Fatal error, memory corrupted.
% 89.83/92.30
% 89.83/92.30 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 89.83/92.30
% 89.83/92.30 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 89.83/92.30
% 89.83/92.30 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 89.83/92.30
% 89.83/92.30 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 89.83/92.30
% 89.83/92.30 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 89.83/92.30
% 89.83/92.30 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 89.83/92.30
% 89.83/92.30 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 89.83/92.30
% 89.83/92.30 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 89.83/92.30
% 89.83/92.30 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 89.83/92.30
% 89.83/92.30 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 89.83/92.30
% 89.83/92.30 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 89.83/92.30
% 89.83/92.30 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 89.83/92.30
% 89.83/92.30 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 89.83/92.30
% 89.83/92.30 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 89.83/92.30
% 89.83/92.30 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 89.83/92.30
% 89.83/92.30 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 89.83/92.30
% 89.83/92.30 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 89.83/92.30 ECLiPSe: Fatal error, memory corrupted.
% 99.08/101.89
% 99.08/101.89 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 140.98/141.76
% 140.98/141.76 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 141.69/142.44 type error in type error in is_a_module(_357813 : (_357813 = _357813) = _450301)
% 141.69/142.44 abort
% 141.88/142.80 Timeout
%------------------------------------------------------------------------------