%------------------------------------------------------------------------------ % File : Enigma---0.5.1 % Problem : SWX201+1 : TPTP v9.3.0. Released v9.3.0. % Transfm : none % Format : tptp:raw % Command : enigmatic-eprover.py %s %d 1 % Computer : n007.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 : Tue May 5 06:59:48 PM UTC 2026 % Result : Timeout 300.45s 39.17s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.00/0.11 % Problem : SWX201+1 : TPTP v9.3.0. Released v9.3.0. % 0.00/0.12 % Command : enigmatic-eprover.py %s %d 1 % 0.16/0.33 % Computer : n007.cluster.edu % 0.16/0.33 % Model : x86_64 x86_64 % 0.16/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.16/0.33 % Memory : 8042.1875MB % 0.16/0.33 % OS : Linux 3.10.0-693.el7.x86_64 % 0.16/0.33 % CPULimit : 300 % 0.16/0.33 % WCLimit : 300 % 0.16/0.33 % DateTime : Tue May 5 11:15:55 EDT 2026 % 0.16/0.33 % CPUTime : % 0.18/0.44 # ENIGMATIC: Selected complete mode: % 218.00/28.99 eprover: CPU time limit exceeded, terminating % 220.13/29.04 eprover: CPU time limit exceeded, terminating % 300.45/39.17 Traceback (most recent call last): % 300.45/39.17 File "/export/starexec/sandbox/solver/bin/enigmatic-eprover.py", line 216, in <module> % 300.45/39.17 run_scheduler(sched, cores, fof_input, limit, f_problem) % 300.45/39.17 File "/export/starexec/sandbox/solver/bin/enigmatic-eprover.py", line 173, in run_scheduler % 300.45/39.17 (strat, out, status, happy) = queue.get(timeout=0.2) % 300.45/39.17 File "<string>", line 2, in get % 300.45/39.17 File "/usr/lib64/python3.6/multiprocessing/managers.py", line 757, in _callmethod % 300.45/39.17 kind, result = conn.recv() % 300.45/39.17 File "/usr/lib64/python3.6/multiprocessing/connection.py", line 250, in recv % 300.45/39.17 buf = self._recv_bytes() % 300.45/39.17 File "/usr/lib64/python3.6/multiprocessing/connection.py", line 407, in _recv_bytes % 300.45/39.17 buf = self._recv(4) % 300.45/39.17 File "/usr/lib64/python3.6/multiprocessing/connection.py", line 383, in _recv % 300.45/39.17 raise EOFError % 300.45/39.17 EOFError % 300.45/39.17 Traceback (most recent call last): % 300.45/39.17 File "/usr/lib64/python3.6/multiprocessing/util.py", line 262, in _run_finalizers % 300.45/39.17 finalizer() % 300.45/39.17 File "/usr/lib64/python3.6/multiprocessing/util.py", line 186, in __call__ % 300.45/39.17 res = self._callback(*self._args, **self._kwargs) % 300.45/39.17 File "/usr/lib64/python3.6/multiprocessing/pool.py", line 571, in _terminate_pool % 300.45/39.17 cls._help_stuff_finish(inqueue, task_handler, len(pool)) % 300.45/39.17 File "/usr/lib64/python3.6/multiprocessing/pool.py", line 558, in _help_stuff_finish % 300.45/39.17 inqueue._reader.recv() % 300.45/39.17 File "/usr/lib64/python3.6/multiprocessing/connection.py", line 251, in recv % 300.45/39.17 return _ForkingPickler.loads(buf.getbuffer()) % 300.45/39.17 File "/usr/lib64/python3.6/multiprocessing/managers.py", line 881, in RebuildProxy % 300.45/39.17 return func(token, serializer, incref=incref, **kwds) % 300.45/39.17 File "/usr/lib64/python3.6/multiprocessing/managers.py", line 930, in AutoProxy % 300.45/39.17 incref=incref) % 300.45/39.17 File "/usr/lib64/python3.6/multiprocessing/managers.py", line 731, in __init__ % 300.45/39.17 self._incref() % 300.45/39.17 File "/usr/lib64/python3.6/multiprocessing/managers.py", line 785, in _incref % 300.45/39.17 conn = self._Client(self._token.address, authkey=self._authkey) % 300.45/39.17 File "/usr/lib64/python3.6/multiprocessing/connection.py", line 487, in Client % 300.45/39.17 c = SocketClient(address) % 300.45/39.17 File "/usr/lib64/python3.6/multiprocessing/connection.py", line 614, in SocketClient % 300.45/39.17 s.connect(address) % 300.45/39.17 ConnectionRefusedError: [Errno 111] Connection refused % 300.45/39.17 Terminated %------------------------------------------------------------------------------