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.35	% Computer : n021.cluster.edu
0.08/0.35	% Model    : x86_64 x86_64
0.08/0.35	% CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
0.08/0.35	% Memory   : 8046.5625MB
0.08/0.35	% OS       : Linux 6.8.0-71-generic
0.08/0.35	% CPULimit : 1440
0.08/0.35	% WCLimit  : 180
0.08/0.35	% DateTime : Mon Jul 27 09:32:09 UTC 2026
0.08/0.35	% CPUTime  : 
0.08/0.35	Running run_SATResetCoP /export/starexec/sandbox2/benchmark/theBenchmark.p 180
58.53/58.88	% SZS status GaveUp for theBenchmark
58.53/58.88	% ValueError: ERROR: [Thread main] -g assert(prolog('swi')),   ['translation/classical/leancop_main_trans.pl'],   leancop_main_trans('/export/starexec/sandbox2/tmp/satresetcop-2y2m5sxy/problem+1.p',[],_,'/export/starexec/sandbox2/tmp/tptp-translate-synkjl8l/problem+1.cnf'),   halt.: Stack limit (2.4Gb) exceeded
58.53/58.88	ERROR: [Thread main]   Stack sizes: local: 0.6Mb, global: 2.1Gb, trail: 9.9Mb
58.53/58.88	ERROR: [Thread main]   Stack depth: 309, last-call: 92%, Choice points: 789
58.53/58.88	ERROR: [Thread main]   In:
58.53/58.88	ERROR: [Thread main]     [309] user:dnf(<compound (',')/2>, _118)
58.53/58.88	ERROR: [Thread main]     [308] user:dnf(<compound (',')/2>, _144)
58.53/58.88	ERROR: [Thread main]     [307] user:dnf(<compound (',')/2>, _170)
58.53/58.88	ERROR: [Thread main]     [306] user:dnf(<compound (',')/2>, _196)
58.53/58.88	ERROR: [Thread main]     [305] user:dnf(<compound (',')/2>, <compound (;)/2>)
58.53/58.88	ERROR: [Thread main] 
58.53/58.88	ERROR: [Thread main] Use the --stack_limit=size[KMG] command line option or
58.53/58.88	ERROR: [Thread main] ?- set_prolog_flag(stack_limit, 5_242_880_000). to double the limit.
58.65/58.91	EOF