%------------------------------------------------------------------------------ % File : Enigma---0.5.1 % Problem : LCL511+1 : TPTP v9.3.1. Bugfixed v9.2.0. % Transfm : none % Format : tptp:raw % Command : enigmatic-eprover.py %s %d 1 % Computer : n012.cluster.edu % Model : x86_64 x86_64 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz % Memory : 8046.5625MB % OS : Linux 6.8.0-71-generic % CPULimit : 300s % WCLimit : 300s % DateTime : Mon Sep 7 11:44:54 AM UTC 2026 % Result : Timeout 300.27s 39.23s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.00/0.01 % Problem : LCL511+1 : TPTP v9.3.1. Bugfixed v9.2.0. % 0.00/0.02 % Command : enigmatic-eprover.py %s %d 1 % 0.03/0.29 % Computer : n012.cluster.edu % 0.03/0.29 % Model : x86_64 x86_64 % 0.03/0.29 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.03/0.29 % Memory : 8046.5625MB % 0.03/0.29 % OS : Linux 6.8.0-71-generic % 0.03/0.29 % CPULimit : 300 % 0.03/0.29 % WCLimit : 300 % 0.03/0.29 % DateTime : Fri Sep 4 16:31:29 UTC 2026 % 0.03/0.29 % CPUTime : % 0.08/0.34 # ENIGMATIC: Selected SinE mode: % 0.08/0.34 # Parsing /export/starexec/sandbox2/benchmark/theBenchmark.p % 0.08/0.34 # Filter: axfilter_auto 0 goes into file theBenchmark_axfilter_auto 0.p % 0.08/0.34 # Filter: axfilter_auto 1 goes into file theBenchmark_axfilter_auto 1.p % 0.08/0.34 # Filter: axfilter_auto 2 goes into file theBenchmark_axfilter_auto 2.p % 248.06/32.83 eprover: CPU time limit exceeded, terminating % 252.48/33.23 eprover: CPU time limit exceeded, terminating % 300.27/39.23 Terminated % 300.27/39.30 Terminated % 264.35/39.48 Process ForkPoolWorker-13: % 264.35/39.48 Traceback (most recent call last): % 264.35/39.49 File "/usr/lib/python3.12/multiprocessing/pool.py", line 131, in worker % 264.35/39.49 put((job, i, result)) % 264.35/39.49 File "/usr/lib/python3.12/multiprocessing/queues.py", line 399, in put % 264.35/39.49 self._writer.send_bytes(obj) % 264.35/39.49 File "/usr/lib/python3.12/multiprocessing/connection.py", line 200, in send_bytes % 264.35/39.49 self._send_bytes(m[offset:offset + size]) % 264.35/39.49 File "/usr/lib/python3.12/multiprocessing/connection.py", line 427, in _send_bytes % 264.35/39.49 self._send(header + buf) % 264.35/39.49 File "/usr/lib/python3.12/multiprocessing/connection.py", line 384, in _send % 264.35/39.49 n = write(self._handle, buf) % 264.35/39.49 ^^^^^^^^^^^^^^^^^^^^^^^^ % 264.35/39.49 BrokenPipeError: [Errno 32] Broken pipe % 264.35/39.49 % 264.35/39.49 During handling of the above exception, another exception occurred: % 264.35/39.49 % 264.35/39.49 Traceback (most recent call last): % 264.35/39.49 File "/usr/lib/python3.12/multiprocessing/process.py", line 314, in _bootstrap % 264.35/39.49 self.run() % 264.35/39.49 File "/usr/lib/python3.12/multiprocessing/process.py", line 108, in run % 264.35/39.49 self._target(*self._args, **self._kwargs) % 264.35/39.49 File "/usr/lib/python3.12/multiprocessing/pool.py", line 136, in worker % 264.35/39.49 put((job, i, (False, wrapped))) % 264.35/39.49 File "/usr/lib/python3.12/multiprocessing/queues.py", line 399, in put % 264.35/39.49 self._writer.send_bytes(obj) % 264.35/39.49 File "/usr/lib/python3.12/multiprocessing/connection.py", line 200, in send_bytes % 264.35/39.49 self._send_bytes(m[offset:offset + size]) % 264.35/39.49 File "/usr/lib/python3.12/multiprocessing/connection.py", line 427, in _send_bytes % 264.35/39.49 self._send(header + buf) % 264.35/39.49 File "/usr/lib/python3.12/multiprocessing/connection.py", line 384, in _send % 264.35/39.49 n = write(self._handle, buf) % 264.35/39.49 ^^^^^^^^^^^^^^^^^^^^^^^^ % 264.35/39.49 BrokenPipeError: [Errno 32] Broken pipe % 264.35/39.49 FATAL: [Errno 111] Connection refused % 264.35/39.49 Process ForkPoolWorker-15: % 264.35/39.49 Traceback (most recent call last): % 264.35/39.50 File "/usr/lib/python3.12/multiprocessing/pool.py", line 131, in worker % 264.35/39.50 put((job, i, result)) % 264.35/39.50 File "/usr/lib/python3.12/multiprocessing/queues.py", line 399, in put % 264.35/39.50 self._writer.send_bytes(obj) % 264.35/39.50 File "/usr/lib/python3.12/multiprocessing/connection.py", line 200, in send_bytes % 264.35/39.50 self._send_bytes(m[offset:offset + size]) % 264.35/39.50 File "/usr/lib/python3.12/multiprocessing/connection.py", line 427, in _send_bytes % 264.35/39.50 self._send(header + buf) % 264.35/39.50 File "/usr/lib/python3.12/multiprocessing/connection.py", line 384, in _send % 264.35/39.50 n = write(self._handle, buf) % 264.35/39.50 ^^^^^^^^^^^^^^^^^^^^^^^^ % 264.35/39.50 BrokenPipeError: [Errno 32] Broken pipe % 264.35/39.50 % 264.35/39.50 During handling of the above exception, another exception occurred: % 264.35/39.50 % 264.35/39.50 Traceback (most recent call last): % 264.35/39.50 File "/usr/lib/python3.12/multiprocessing/process.py", line 314, in _bootstrap % 264.35/39.50 self.run() % 264.35/39.50 File "/usr/lib/python3.12/multiprocessing/process.py", line 108, in run % 264.35/39.50 self._target(*self._args, **self._kwargs) % 264.35/39.50 File "/usr/lib/python3.12/multiprocessing/pool.py", line 136, in worker % 264.35/39.50 put((job, i, (False, wrapped))) % 264.35/39.50 File "/usr/lib/python3.12/multiprocessing/queues.py", line 399, in put % 264.35/39.50 self._writer.send_bytes(obj) % 264.35/39.50 File "/usr/lib/python3.12/multiprocessing/connection.py", line 200, in send_bytes % 264.35/39.50 self._send_bytes(m[offset:offset + size]) % 264.35/39.50 File "/usr/lib/python3.12/multiprocessing/connection.py", line 427, in _send_bytes % 264.35/39.50 self._send(header + buf) % 264.35/39.50 File "/usr/lib/python3.12/multiprocessing/connection.py", line 384, in _send % 264.35/39.50 n = write(self._handle, buf) % 264.35/39.50 ^^^^^^^^^^^^^^^^^^^^^^^^ % 264.35/39.50 BrokenPipeError: [Errno 32] Broken pipe % 264.35/39.50 FATAL: [Errno 111] Connection refused % 309.34/41.20 Killed % 309.34/41.20 Process ForkPoolWorker-10: % 309.34/41.20 Traceback (most recent call last): % 309.34/41.21 Process ForkPoolWorker-11: % 309.34/41.21 Traceback (most recent call last): % 309.34/41.22 Killed % 309.34/41.22 Process ForkPoolWorker-12: % 309.34/41.22 Traceback (most recent call last): %------------------------------------------------------------------------------