TSTP Solution File: LCL667+1.015 by nanoCoP---2.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : nanoCoP---2.0
% Problem : LCL667+1.015 : TPTP v8.1.2. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : nanocop.sh %s %d
% Computer : n010.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:33:44 EDT 2023
% Result : Unknown 145.73s 145.36s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.02/0.10 % Problem : LCL667+1.015 : TPTP v8.1.2. Released v4.0.0.
% 0.02/0.10 % Command : nanocop.sh %s %d
% 0.09/0.30 % Computer : n010.cluster.edu
% 0.09/0.30 % Model : x86_64 x86_64
% 0.09/0.30 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.09/0.30 % Memory : 8042.1875MB
% 0.09/0.30 % OS : Linux 3.10.0-693.el7.x86_64
% 0.09/0.30 % CPULimit : 300
% 0.09/0.30 % WCLimit : 300
% 0.09/0.30 % DateTime : Thu May 18 15:56:12 EDT 2023
% 0.09/0.30 % CPUTime :
% 11.14/11.00
% 11.14/11.00 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 11.20/11.06 type error in type error in is_a_module(_91 : r1(_91, _91) = _41222)
% 11.20/11.06 abort
% 22.34/22.22
% 22.34/22.22 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 22.38/22.29 type error in type error in is_a_module(_93 : r1(_93, _93) = _41224)
% 22.38/22.29 abort
% 32.69/32.86
% 32.69/32.86 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 32.76/32.92 type error in type error in is_a_module(_87 : r1(_87, _87) = _41218)
% 32.76/32.92 abort
% 42.26/42.37
% 42.26/42.37 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 42.32/42.43 type error in type error in is_a_module(_89 : r1(_89, _89) = _41220)
% 42.32/42.43 abort
% 52.14/52.03
% 52.14/52.03 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 52.24/52.05 type error in type error in is_a_module(_1268 : r1(_1268, _1268) = _284811)
% 52.24/52.05 abort
% 60.75/61.13
% 60.75/61.13 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 60.85/61.18 type error in type error in is_a_module(_93 : r1(_93, _93) = _41224)
% 60.85/61.18 abort
% 69.17/69.25
% 69.17/69.25 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 69.19/69.30 type error in type error in is_a_module(_95 : r1(_95, _95) = _41226)
% 69.19/69.30 abort
% 77.83/77.80
% 77.83/77.80 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 77.83/77.85 type error in type error in is_a_module(_95 : r1(_95, _95) = _41226)
% 77.83/77.85 abort
% 86.38/86.93
% 86.38/86.93 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 86.39/86.98 type error in type error in is_a_module(_95 : r1(_95, _95) = _41226)
% 86.39/86.98 abort
% 95.13/95.54
% 95.13/95.54 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 95.13/95.56 type error in type error in is_a_module(_1288 : r1(_1288, _1288) = _284831)
% 95.13/95.56 abort
% 104.27/105.11
% 104.27/105.11 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 104.27/105.16 type error in type error in is_a_module(_93 : r1(_93, _93) = _41224)
% 104.27/105.16 abort
% 145.42/144.80
% 145.42/144.80 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 145.52/144.86 type error in type error in is_a_module(_85 : r1(_85, _85) = _41216)
% 145.52/144.86 abort
% 145.73/145.36 Timeout
%------------------------------------------------------------------------------