0.00/0.02	% Problem  : theBenchmark.p : TPTP v0.0.0. Released v0.0.0.
0.00/0.03	% Command  : run_SATResetCoP /export/starexec/sandbox2/benchmark/theBenchmark.p 180
0.08/0.34	% Computer : n011.cluster.edu
0.08/0.34	% Model    : x86_64 x86_64
0.08/0.34	% CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
0.08/0.34	% Memory   : 8046.5625MB
0.08/0.34	% OS       : Linux 6.8.0-71-generic
0.08/0.34	% CPULimit : 1440
0.08/0.34	% WCLimit  : 180
0.08/0.34	% DateTime : Mon Jul 27 09:45:07 UTC 2026
0.08/0.35	% CPUTime  : 
0.08/0.35	Running run_SATResetCoP /export/starexec/sandbox2/benchmark/theBenchmark.p 180
134.62/134.92	% SZS status GaveUp for theBenchmark
134.62/134.92	% ValueError: ERROR: [Thread main] -g assert(prolog('swi')),   ['translation/classical/leancop_main_trans.pl'],   leancop_main_trans('/export/starexec/sandbox2/tmp/satresetcop-cmejotni/problem+1.p',[],_,'/export/starexec/sandbox2/tmp/tptp-translate-txd4kihm/problem+1.cnf'),   halt.: Stack limit (2.4Gb) exceeded
134.62/134.92	ERROR: [Thread main]   Stack sizes: local: 0.9Mb, global: 2.1Gb, trail: 47.6Mb
134.62/134.92	ERROR: [Thread main]   Stack depth: 68, last-call: 35%, Choice points: 1,121
134.62/134.92	ERROR: [Thread main]   In:
134.62/134.92	ERROR: [Thread main]     [68] user:dnf(<compound (',')/2>, _118)
134.62/134.92	ERROR: [Thread main]     [63] user:dnf(<compound (',')/2>, <compound (;)/2>)
134.62/134.92	ERROR: [Thread main]     [59] user:dnf(<compound (',')/2>, _176)
134.62/134.92	ERROR: [Thread main]     [57] user:dnf(<compound (',')/2>, _202)
134.62/134.92	ERROR: [Thread main]     [56] user:dnf(<compound (',')/2>, <compound (;)/2>)
134.62/134.92	ERROR: [Thread main] 
134.62/134.92	ERROR: [Thread main] Use the --stack_limit=size[KMG] command line option or
134.62/134.92	ERROR: [Thread main] ?- set_prolog_flag(stack_limit, 5_242_880_000). to double the limit.
134.62/134.97	EOF