%------------------------------------------------------------------------------ % File : Enigma---0.5.1 % Problem : TOP040+2 : TPTP v8.1.0. Released v3.4.0. % Transfm : none % Format : tptp:raw % Command : enigmatic-eprover.py %s %d 1 % Computer : n024.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 : 600s % DateTime : Thu Jul 21 21:24:35 EDT 2022 % Result : Timeout 300.24s 70.57s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.07/0.13 % Problem : TOP040+2 : TPTP v8.1.0. Released v3.4.0. % 0.07/0.14 % Command : enigmatic-eprover.py %s %d 1 % 0.13/0.35 % Computer : n024.cluster.edu % 0.13/0.35 % Model : x86_64 x86_64 % 0.13/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.13/0.35 % Memory : 8042.1875MB % 0.13/0.35 % OS : Linux 3.10.0-693.el7.x86_64 % 0.13/0.35 % CPULimit : 300 % 0.13/0.35 % WCLimit : 600 % 0.13/0.35 % DateTime : Sun May 29 15:06:38 EDT 2022 % 0.13/0.35 % CPUTime : % 0.22/0.47 # ENIGMATIC: Selected SinE mode: % 0.48/0.64 # Parsing /export/starexec/sandbox/benchmark/theBenchmark.p % 0.48/0.64 # Filter: axfilter_auto 0 goes into file theBenchmark_axfilter_auto 0.p % 0.48/0.64 # Filter: axfilter_auto 1 goes into file theBenchmark_axfilter_auto 1.p % 0.48/0.64 # Filter: axfilter_auto 2 goes into file theBenchmark_axfilter_auto 2.p % 300.24/70.57 FATAL: [Errno 111] Connection refused % 300.24/70.57 Process ForkPoolWorker-10: % 300.24/70.57 Traceback (most recent call last): % 300.24/70.57 File "/usr/lib64/python3.6/multiprocessing/pool.py", line 125, in worker % 300.24/70.57 put((job, i, result)) % 300.24/70.57 File "/usr/lib64/python3.6/multiprocessing/queues.py", line 347, in put % 300.24/70.57 self._writer.send_bytes(obj) % 300.24/70.57 File "/usr/lib64/python3.6/multiprocessing/connection.py", line 200, in send_bytes % 300.24/70.57 self._send_bytes(m[offset:offset + size]) % 300.24/70.57 File "/usr/lib64/python3.6/multiprocessing/connection.py", line 404, in _send_bytes % 300.24/70.57 self._send(header + buf) % 300.24/70.57 File "/usr/lib64/python3.6/multiprocessing/connection.py", line 368, in _send % 300.24/70.57 n = write(self._handle, buf) % 300.24/70.57 BrokenPipeError: [Errno 32] Broken pipe % 300.24/70.57 % 300.24/70.57 During handling of the above exception, another exception occurred: % 300.24/70.57 % 300.24/70.57 Traceback (most recent call last): % 300.24/70.57 File "/usr/lib64/python3.6/multiprocessing/process.py", line 258, in _bootstrap % 300.24/70.57 self.run() % 300.24/70.57 File "/usr/lib64/python3.6/multiprocessing/process.py", line 93, in run % 300.24/70.57 self._target(*self._args, **self._kwargs) % 300.24/70.57 File "/usr/lib64/python3.6/multiprocessing/pool.py", line 130, in worker % 300.24/70.57 put((job, i, (False, wrapped))) % 300.24/70.57 File "/usr/lib64/python3.6/multiprocessing/queues.py", line 347, in put % 300.24/70.57 self._writer.send_bytes(obj) % 300.24/70.57 File "/usr/lib64/python3.6/multiprocessing/connection.py", line 200, in send_bytes % 300.24/70.57 self._send_bytes(m[offset:offset + size]) % 300.24/70.57 File "/usr/lib64/python3.6/multiprocessing/connection.py", line 404, in _send_bytes % 300.24/70.57 self._send(header + buf) % 300.24/70.57 File "/usr/lib64/python3.6/multiprocessing/connection.py", line 368, in _send % 300.24/70.57 n = write(self._handle, buf) % 300.24/70.57 BrokenPipeError: [Errno 32] Broken pipe %------------------------------------------------------------------------------