TSTP Solution File: ITP012+5 by nanoCoP---2.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : nanoCoP---2.0
% Problem : ITP012+5 : TPTP v8.1.2. Bugfixed v7.5.0.
% Transfm : none
% Format : tptp:raw
% Command : nanocop.sh %s %d
% Computer : n023.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:15 EDT 2023
% Result : Unknown 150.09s 150.79s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.12 % Problem : ITP012+5 : TPTP v8.1.2. Bugfixed v7.5.0.
% 0.11/0.12 % Command : nanocop.sh %s %d
% 0.12/0.33 % Computer : n023.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 22:06:00 EDT 2023
% 0.12/0.33 % CPUTime :
% 10.62/10.45
% 10.62/10.45 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 12.14/11.86 type error in type error in is_a_module(_2260873 : (_2260873 = _2260873) = _2464167)
% 12.14/11.86 abort
% 18.61/18.99 /export/starexec/sandbox/solver/bin/nanocop.sh: line 45: 3103 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
% 29.29/29.29
% 29.29/29.29 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 30.69/30.66 type error in type error in is_a_module(_2001927 : (_2001927 = _2001927) = _2205221)
% 30.69/30.66 abort
% 41.41/41.64
% 41.41/41.64 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 42.83/43.01 type error in type error in is_a_module(_1960621 : (_1960621 = _1960621) = _2163915)
% 42.83/43.01 abort
% 52.90/53.32
% 52.90/53.32 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 53.52/53.98 type error in type error in is_a_module(_293 : =>(ne(_293), all(_294 : =>(ne(_294), ne(arr(_293, _294))))) = _3404864)
% 53.52/53.98 abort
% 58.45/59.44 /export/starexec/sandbox/solver/bin/nanocop.sh: line 45: 3802 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
% 72.09/72.63
% 72.09/72.63 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 73.44/73.96 type error in type error in is_a_module(_2243379 : (_2243379 = _2243379) = _2446673)
% 73.44/73.97 abort
% 84.97/85.97
% 84.97/85.97 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 86.30/87.28 type error in type error in is_a_module(_2243379 : (_2243379 = _2243379) = _2446673)
% 86.30/87.28 abort
% 97.70/97.83 /export/starexec/sandbox/solver/bin/nanocop.sh: line 45: 5129 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
% 111.03/111.33 /export/starexec/sandbox/solver/bin/nanocop.sh: line 45: 6618 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
% 114.66/115.47 /export/starexec/sandbox/solver/bin/nanocop.sh: line 45: 6695 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
% 118.01/119.62 /export/starexec/sandbox/solver/bin/nanocop.sh: line 45: 6755 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
% 148.43/148.90
% 148.43/148.90 *** ECLiPSe fatal error: Out of swap space in heap allocation
% 149.83/150.24 type error in type error in is_a_module(_1292340 : (_1292340 = _1292340) = _1495634)
% 149.83/150.24 abort
% 150.09/150.79 Timeout
%------------------------------------------------------------------------------