0.08/0.14	% Problem    : HWV128+1 : TPTP v7.4.0. Released v6.1.0.
0.13/0.21	% Command    : tptp2X_and_run_prover9 %d %s
0.21/0.43	% Computer   : n019.cluster.edu
0.21/0.43	% Model      : x86_64 x86_64
0.21/0.43	% CPU        : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
0.21/0.43	% Memory     : 8042.1875MB
0.21/0.43	% OS         : Linux 3.10.0-693.el7.x86_64
0.21/0.43	% CPULimit   : 960
0.21/0.43	% DateTime   : Thu Jul  2 09:30:13 EDT 2020
0.21/0.43	% CPUTime    : 
23.88/24.23	
23.88/24.23	Fatal error:  sread_term error
23.88/24.23	
23.88/24.23	============================== Prover9 ===============================
23.88/24.23	Prover9 (32) version 2009-11A, November 2009.
23.88/24.23	Process 5926 was started by sandbox2 on n019.cluster.edu,
23.88/24.23	Thu Jul  2 09:30:37 2020
23.88/24.23	The command was "/export/starexec/sandbox2/solver/bin/prover9 -t 960 -f /tmp/Prover9_5578_n019.cluster.edu".
23.88/24.23	============================== end of head ===========================
23.88/24.23	
23.88/24.23	============================== INPUT =================================
23.88/24.23	
23.88/24.23	% Reading from file /tmp/Prover9_5578_n019.cluster.edu
23.88/24.23	
23.88/24.23	%%ERROR: Unexpected character (extra closing parenthesis?):
23.88/24.23	
23.88/24.23	%%START ERROR%%ERROR:%%END ERROR%% source_sink `'/export/starexec/sandbox2/benchmark//tmp/TemporaryFileForReload5649.
23.88/24.23	
23.88/24.23	Fatal error:  sread_term error
23.88/24.23	
23.88/24.23	Prover9 interrupted
23.88/24.23	EOF