0.14/0.14	% Problem    : HWV123+1 : TPTP v7.5.0. Released v6.1.0.
0.14/0.19	% Command    : tptp2X_and_run_prover9 %d %s
0.19/0.41	% Computer   : n015.cluster.edu
0.19/0.41	% Model      : x86_64 x86_64
0.19/0.41	% CPU        : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
0.19/0.41	% Memory     : 8042.1875MB
0.19/0.41	% OS         : Linux 3.10.0-693.el7.x86_64
0.19/0.41	% CPULimit   : 1200
0.19/0.41	% DateTime   : Tue Jul 13 15:13:49 EDT 2021
0.19/0.41	% CPUTime    : 
16.81/16.77	
16.81/16.77	Fatal error:  sread_term error
16.81/16.77	
16.81/16.77	============================== Prover9 ===============================
16.81/16.77	Prover9 (32) version 2009-11A, November 2009.
16.81/16.77	Process 20230 was started by sandbox2 on n015.cluster.edu,
16.81/16.77	Tue Jul 13 15:14:06 2021
16.81/16.77	The command was "/export/starexec/sandbox2/solver/bin/prover9 -t 1200 -f /tmp/Prover9_20076_n015.cluster.edu".
16.81/16.77	============================== end of head ===========================
16.81/16.77	
16.81/16.77	============================== INPUT =================================
16.81/16.77	
16.81/16.77	% Reading from file /tmp/Prover9_20076_n015.cluster.edu
16.81/16.77	
16.81/16.77	%%ERROR: Unexpected character (extra closing parenthesis?):
16.81/16.77	
16.81/16.77	%%START ERROR%%ERROR:%%END ERROR%% source_sink `'/export/starexec/sandbox2/benchmark//tmp/TemporaryFileForReload20147.
16.81/16.77	
16.81/16.77	Fatal error:  sread_term error
16.81/16.77	
16.81/16.78	Prover9 interrupted
16.81/16.78	EOF