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

% Computer : n031.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.03s 136.10s
% Output   : None 
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12  % Problem  : SWV127+1 : TPTP v8.1.2. Bugfixed v3.3.0.
% 0.07/0.12  % Command  : nanocop.sh %s %d
% 0.12/0.33  % Computer : n031.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 03:14:10 EDT 2023
% 0.12/0.33  % CPUTime  : 
% 8.54/8.45  
% 8.54/8.45  *** ECLiPSe fatal error: Out of swap space in heap allocation
% 8.60/8.49  type error in type error in is_a_module(_50405 : (_50405 = _50405) = _51829)
% 8.60/8.49  abort
% 17.22/16.89  
% 17.22/16.89  *** ECLiPSe fatal error: Out of swap space in heap allocation
% 17.35/16.93  type error in type error in is_a_module(_50441 : (_50441 = _50441) = _51865)
% 17.35/16.93  abort
% 25.91/26.07  
% 25.91/26.07  *** ECLiPSe fatal error: Out of swap space in heap allocation
% 25.92/26.10  type error in type error in is_a_module(_50363 : (_50363 = _50363) = _51787)
% 25.92/26.10  abort
% 34.27/34.19  
% 34.27/34.19  *** ECLiPSe fatal error: Out of swap space in heap allocation
% 34.34/34.22  type error in type error in is_a_module(_50385 : (_50385 = _50385) = _51809)
% 34.34/34.22  abort
% 42.70/42.42  
% 42.70/42.42  *** ECLiPSe fatal error: Out of swap space in heap allocation
% 42.70/42.44  type error in type error in is_a_module(_1463 : all(_1466 : (gt(_1463, _1466) ; gt(_1466, _1463) ; _1463 = _1466)) = _291850)
% 42.70/42.45  abort
% 51.68/51.36  
% 51.68/51.36  *** ECLiPSe fatal error: Out of swap space in heap allocation
% 51.80/51.42  type error in type error in is_a_module(_50441 : (_50441 = _50441) = _51865)
% 51.80/51.42  abort
% 60.47/60.39  
% 60.47/60.39  *** ECLiPSe fatal error: Out of swap space in heap allocation
% 60.58/60.43  type error in type error in is_a_module(_50461 : (_50461 = _50461) = _51885)
% 60.58/60.43  abort
% 69.22/69.68  
% 69.22/69.68  *** ECLiPSe fatal error: Out of swap space in heap allocation
% 69.30/69.72  type error in type error in is_a_module(_50461 : (_50461 = _50461) = _51885)
% 69.30/69.72  abort
% 77.91/78.94  
% 77.91/78.94  *** ECLiPSe fatal error: Out of swap space in heap allocation
% 77.91/78.97  type error in type error in is_a_module(_50461 : (_50461 = _50461) = _51885)
% 77.91/78.97  abort
% 86.01/87.76  
% 86.01/87.76  *** ECLiPSe fatal error: Out of swap space in heap allocation
% 86.11/87.78  type error in type error in is_a_module(_1483 : all(_1486 : (gt(_1483, _1486) ; gt(_1486, _1483) ; _1483 = _1486)) = _291870)
% 86.11/87.78  abort
% 94.36/96.29  
% 94.36/96.29  *** ECLiPSe fatal error: Out of swap space in heap allocation
% 94.46/96.33  type error in type error in is_a_module(_50441 : (_50441 = _50441) = _51865)
% 94.46/96.33  abort
% 135.85/135.92  
% 135.85/135.92  *** ECLiPSe fatal error: Out of swap space in heap allocation
% 135.85/135.96  type error in type error in is_a_module(_50327 : (_50327 = _50327) = _51751)
% 135.85/135.96  abort
% 136.03/136.10  Timeout
%------------------------------------------------------------------------------