%------------------------------------------------------------------------------
% File     : nanoCoP---2.0
% Problem  : SWV130+1 : TPTP v8.1.2. Bugfixed v3.3.0.
% Transfm  : none
% Format   : tptp:raw
% Command  : nanocop.sh %s %d

% Computer : n022.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 12:20:01 EDT 2023

% Result   : Unknown 136.63s 135.45s
% Output   : None 
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12  % Problem  : SWV130+1 : TPTP v8.1.2. Bugfixed v3.3.0.
% 0.03/0.12  % Command  : nanocop.sh %s %d
% 0.12/0.33  % Computer : n022.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 : Fri May 19 02:23:31 EDT 2023
% 0.12/0.33  % CPUTime  : 
% 8.46/8.40  
% 8.46/8.40  *** ECLiPSe fatal error: Out of swap space in heap allocation
% 8.61/8.48  type error in type error in is_a_module(_744520 : (_744520 = _744520) = _746163)
% 8.61/8.48  abort
% 17.15/16.85  
% 17.15/16.85  *** ECLiPSe fatal error: Out of swap space in heap allocation
% 17.29/16.94  type error in type error in is_a_module(_744522 : (_744522 = _744522) = _746165)
% 17.29/16.94  abort
% 25.81/26.08  
% 25.81/26.08  *** ECLiPSe fatal error: Out of swap space in heap allocation
% 25.89/26.17  type error in type error in is_a_module(_744516 : (_744516 = _744516) = _746159)
% 25.89/26.17  abort
% 34.47/34.38  
% 34.47/34.38  *** ECLiPSe fatal error: Out of swap space in heap allocation
% 34.54/34.47  type error in type error in is_a_module(_744518 : (_744518 = _744518) = _746161)
% 34.54/34.47  abort
% 42.90/42.55  
% 42.90/42.55  *** ECLiPSe fatal error: Out of swap space in heap allocation
% 42.90/42.60  type error in type error in is_a_module(_1463 : all(_1466 : (gt(_1463, _1466) ; gt(_1466, _1463) ; _1463 = _1466)) = _636147)
% 42.90/42.60  abort
% 51.61/51.18  
% 51.61/51.18  *** ECLiPSe fatal error: Out of swap space in heap allocation
% 51.69/51.27  type error in type error in is_a_module(_744522 : (_744522 = _744522) = _746165)
% 51.69/51.27  abort
% 60.33/60.35  
% 60.33/60.35  *** ECLiPSe fatal error: Out of swap space in heap allocation
% 60.39/60.43  type error in type error in is_a_module(_744524 : (_744524 = _744524) = _746167)
% 60.39/60.44  abort
% 68.90/68.68  
% 68.90/68.68  *** ECLiPSe fatal error: Out of swap space in heap allocation
% 69.00/68.77  type error in type error in is_a_module(_744524 : (_744524 = _744524) = _746167)
% 69.00/68.77  abort
% 77.63/77.05  
% 77.63/77.05  *** ECLiPSe fatal error: Out of swap space in heap allocation
% 77.72/77.14  type error in type error in is_a_module(_744524 : (_744524 = _744524) = _746167)
% 77.72/77.14  abort
% 86.09/86.16  
% 86.09/86.16  *** ECLiPSe fatal error: Out of swap space in heap allocation
% 86.09/86.21  type error in type error in is_a_module(_1483 : all(_1486 : (gt(_1483, _1486) ; gt(_1486, _1483) ; _1483 = _1486)) = _636167)
% 86.09/86.21  abort
% 94.86/94.86  
% 94.86/94.86  *** ECLiPSe fatal error: Out of swap space in heap allocation
% 94.98/94.95  type error in type error in is_a_module(_744522 : (_744522 = _744522) = _746165)
% 94.98/94.95  abort
% 136.37/135.16  
% 136.37/135.16  *** ECLiPSe fatal error: Out of swap space in heap allocation
% 136.51/135.25  type error in type error in is_a_module(_744514 : (_744514 = _744514) = _746157)
% 136.51/135.25  abort
% 136.63/135.45  Timeout
%------------------------------------------------------------------------------