TSTP Solution File: ITP009+5 by nanoCoP---2.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : nanoCoP---2.0
% Problem : ITP009+5 : TPTP v8.1.2. Bugfixed v7.5.0.
% Transfm : none
% Format : tptp:raw
% Command : nanocop.sh %s %d
% Computer : n020.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:12 EDT 2023
% Result : Unknown 154.61s 156.13s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.12 % Problem : ITP009+5 : TPTP v8.1.2. Bugfixed v7.5.0.
% 0.11/0.12 % Command : nanocop.sh %s %d
% 0.12/0.33 % Computer : n020.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 21:41:33 EDT 2023
% 0.12/0.33 % CPUTime :
% 9.78/9.71
% 9.78/9.71 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 10.70/10.57 type error in type error in is_a_module(_1782028 : (_1782028 = _1782028) = _1909488)
% 10.70/10.57 abort
% 23.43/23.75
% 23.43/23.75 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 24.36/24.68 type error in type error in is_a_module(_1782030 : (_1782030 = _1782030) = _1909490)
% 24.36/24.68 abort
% 34.63/34.91
% 34.63/34.91 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 35.57/35.83 type error in type error in is_a_module(_1609244 : (_1609244 = _1609244) = _1736704)
% 35.57/35.83 abort
% 45.33/45.90
% 45.33/45.90 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 46.30/46.82 type error in type error in is_a_module(_1111166 : (_1111166 = _1111166) = _1238626)
% 46.30/46.83 abort
% 55.70/55.91
% 55.70/55.91 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 56.26/56.44 type error in type error in is_a_module(_1568 : =>(ne(_1568), all(_1583 : =>(ne(_1583), ne(arr(_1568, _1583))))) = _5748630)
% 56.26/56.45 abort
% 60.13/61.57 /export/starexec/sandbox2/solver/bin/nanocop.sh: line 45: 16588 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
% 74.47/75.37
% 74.47/75.37 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 75.40/76.26 type error in type error in is_a_module(_1782032 : (_1782032 = _1782032) = _1909492)
% 75.40/76.26 abort
% 89.18/90.32
% 89.18/90.32 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 90.11/91.21 type error in type error in is_a_module(_1782032 : (_1782032 = _1782032) = _1909492)
% 90.11/91.21 abort
% 103.39/105.21 /export/starexec/sandbox2/solver/bin/nanocop.sh: line 45: 17297 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
% 127.97/128.08 /export/starexec/sandbox2/solver/bin/nanocop.sh: line 45: 17634 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
% 129.51/130.15 /export/starexec/sandbox2/solver/bin/nanocop.sh: line 45: 17739 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
% 132.18/133.27 /export/starexec/sandbox2/solver/bin/nanocop.sh: line 45: 17782 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
% 134.54/136.37 /export/starexec/sandbox2/solver/bin/nanocop.sh: line 45: 18040 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
% 153.55/154.65
% 153.55/154.65 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 154.45/155.48 type error in type error in is_a_module(_1657886 : (_1657886 = _1657886) = _1785346)
% 154.45/155.48 abort
% 154.61/156.13 Timeout
%------------------------------------------------------------------------------