TSTP Solution File: ITP011+5 by nanoCoP---2.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : nanoCoP---2.0
% Problem : ITP011+5 : TPTP v8.1.2. Bugfixed v7.5.0.
% Transfm : none
% Format : tptp:raw
% Command : nanocop.sh %s %d
% Computer : n014.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 164.15s 165.55s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.13 % Problem : ITP011+5 : TPTP v8.1.2. Bugfixed v7.5.0.
% 0.07/0.13 % Command : nanocop.sh %s %d
% 0.13/0.35 % Computer : n014.cluster.edu
% 0.13/0.35 % Model : x86_64 x86_64
% 0.13/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.35 % Memory : 8042.1875MB
% 0.13/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.35 % CPULimit : 300
% 0.13/0.35 % WCLimit : 300
% 0.13/0.35 % DateTime : Thu May 18 21:54:58 EDT 2023
% 0.13/0.35 % CPUTime :
% 12.11/11.97
% 12.11/11.97 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 13.56/13.36 type error in type error in is_a_module(_1581824 : (_1581824 = _1581824) = _1770732)
% 13.56/13.36 abort
% 24.48/24.13
% 24.48/24.13 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 25.75/25.30 type error in type error in is_a_module(_1539163 : (_1539163 = _1539163) = _1728071)
% 25.75/25.30 abort
% 35.85/35.82
% 35.85/35.82 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 37.18/37.08 type error in type error in is_a_module(_1820412 : (_1820412 = _1820412) = _2009320)
% 37.18/37.08 abort
% 46.94/46.95
% 46.94/46.95 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 48.37/48.22 type error in type error in is_a_module(_1820414 : (_1820414 = _1820414) = _2009322)
% 48.37/48.22 abort
% 57.42/57.64
% 57.42/57.64 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 58.03/58.27 type error in type error in is_a_module(_1568 : =>(ne(_1568), all(_1583 : =>(ne(_1583), ne(arr(_1568, _1583))))) = _7249568)
% 58.03/58.28 abort
% 70.70/71.44
% 70.70/71.44 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 70.91/71.65
% 70.91/71.65 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 70.91/71.65
% 70.91/71.65 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 70.91/71.65 ECLiPSe: Fatal error, memory corrupted.
% 85.62/85.86
% 85.62/85.86 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 86.96/87.17 type error in type error in is_a_module(_1581828 : (_1581828 = _1581828) = _1770736)
% 86.96/87.17 abort
% 91.51/92.69 /export/starexec/sandbox2/solver/bin/nanocop.sh: line 45: 2015 Segmentation fault (core dumped) $PROLOG_PATH $PROLOG_OPTIONS "assert(prolog('$PROLOG')), assert(proof('$PROOF_LAYOUT')), ['$PROVER_PATH/nanocop_main.pl'], nanocop_main('$FILE',$SET,_), halt." > $OUTPUT
% 107.85/108.31 /export/starexec/sandbox2/solver/bin/nanocop.sh: line 45: 2259 Segmentation fault (core dumped) $PROLOG_PATH $PROLOG_OPTIONS "assert(prolog('$PROLOG')), assert(proof('$PROOF_LAYOUT')), ['$PROVER_PATH/nanocop_main.pl'], nanocop_main('$FILE',$SET,_), halt." > $OUTPUT
% 141.18/140.57 /export/starexec/sandbox2/solver/bin/nanocop.sh: line 45: 2848 Segmentation fault (core dumped) $PROLOG_PATH $PROLOG_OPTIONS "assert(prolog('$PROLOG')), assert(proof('$PROOF_LAYOUT')), ['$PROVER_PATH/nanocop_main.pl'], nanocop_main('$FILE',$SET,_), halt." > $OUTPUT
% 162.51/163.16
% 162.51/163.16 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 163.86/164.44 type error in type error in is_a_module(_1601215 : (_1601215 = _1601215) = _1790123)
% 163.86/164.44 abort
% 164.15/165.54 Timeout
%------------------------------------------------------------------------------