%------------------------------------------------------------------------------
% File     : nanoCoP---2.0
% Problem  : ITP012+4 : TPTP v8.1.2. Bugfixed v7.5.0.
% Transfm  : none
% Format   : tptp:raw
% Command  : nanocop.sh %s %d

% Computer : n025.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:14 EDT 2023

% Result   : Unknown 175.57s 172.64s
% Output   : None 
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12  % Problem  : ITP012+4 : TPTP v8.1.2. Bugfixed v7.5.0.
% 0.03/0.12  % Command  : nanocop.sh %s %d
% 0.12/0.33  % Computer : n025.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 22:02:19 EDT 2023
% 0.12/0.34  % CPUTime  : 
% 10.73/10.55  
% 10.73/10.55  *** ECLiPSe fatal error: Out of swap space in heap allocation
% 12.61/12.33  type error in type error in is_a_module(_2502030 : (_2502030 = _2502030) = _2573092)
% 12.61/12.33  abort
% 24.18/23.83  
% 24.18/23.83  *** ECLiPSe fatal error: Out of swap space in heap allocation
% 24.25/23.86  
% 24.25/23.86  *** ECLiPSe fatal error: Out of swap space in heap allocation
% 24.25/23.86  
% 24.25/23.86  *** ECLiPSe fatal error: Out of swap space in heap allocation
% 24.25/23.86  ECLiPSe: Fatal error, memory corrupted.
% 34.76/34.18  
% 34.76/34.18  *** ECLiPSe fatal error: Out of swap space in heap allocation
% 36.68/35.99  type error in type error in is_a_module(_2970265 : (_2970265 = _2970265) = _3041327)
% 36.68/35.99  abort
% 47.39/46.79  
% 47.39/46.79  *** ECLiPSe fatal error: Out of swap space in heap allocation
% 49.26/48.59  type error in type error in is_a_module(_2456008 : (_2456008 = _2456008) = _2527070)
% 49.26/48.59  abort
% 59.34/58.62  
% 59.34/58.62  *** ECLiPSe fatal error: Out of swap space in heap allocation
% 60.31/59.58  
% 60.31/59.58  *** ECLiPSe fatal error: Out of swap space in heap allocation
% 60.31/59.58  
% 60.31/59.58  *** ECLiPSe fatal error: Out of swap space in heap allocation
% 60.31/59.58  
% 60.31/59.58  *** ECLiPSe fatal error: Out of swap space in heap allocation
% 60.31/59.58  ECLiPSe: Fatal error, memory corrupted.
% 71.58/71.20  
% 71.58/71.20  *** ECLiPSe fatal error: Out of swap space in heap allocation
% 73.30/72.91  type error in type error in is_a_module(_3009029 : (_3009029 = _3009029) = _3080091)
% 73.30/72.91  abort
% 85.19/85.21  
% 85.19/85.21  *** ECLiPSe fatal error: Out of swap space in heap allocation
% 87.10/86.99  type error in type error in is_a_module(_2445072 : (_2445072 = _2445072) = _2516134)
% 87.10/86.99  abort
% 98.94/98.74  
% 98.94/98.74  *** ECLiPSe fatal error: Out of swap space in heap allocation
% 100.73/100.50  type error in type error in is_a_module(_2445072 : (_2445072 = _2445072) = _2516134)
% 100.73/100.51  abort
% 173.50/170.30  
% 173.50/170.30  *** ECLiPSe fatal error: Out of swap space in heap allocation
% 175.42/172.07  type error in type error in is_a_module(_2501480 : (_2501480 = _2501480) = _2572542)
% 175.42/172.07  abort
% 175.57/172.64  Timeout
%------------------------------------------------------------------------------