0.00/0.04 % Problem : theBenchmark.p : TPTP v0.0.0. Released v0.0.0. 0.00/0.05 % Command : tptp2X_and_run_prover9 %d %s 0.03/0.27 % Computer : n066.star.cs.uiowa.edu 0.03/0.27 % Model : x86_64 x86_64 0.03/0.27 % CPU : Intel(R) Xeon(R) CPU E5-2609 0 @ 2.40GHz 0.03/0.27 % Memory : 32218.625MB 0.03/0.27 % OS : Linux 3.10.0-693.2.2.el7.x86_64 0.03/0.27 % CPULimit : 300 0.03/0.27 % DateTime : Sat Jul 14 06:25:40 CDT 2018 0.03/0.27 % CPUTime : 77.05/77.42 77.05/77.42 Fatal error: sread_term error 77.05/77.42 77.05/77.42 ============================== Prover9 =============================== 77.05/77.42 Prover9 (32) version 2009-11A, November 2009. 77.05/77.42 Process 39496 was started by sandbox2 on n066.star.cs.uiowa.edu, 77.05/77.42 Sat Jul 14 06:26:57 2018 77.05/77.42 The command was "/export/starexec/sandbox2/solver/bin/prover9 -t 300 -f /tmp/Prover9_37993_n066.star.cs.uiowa.edu". 77.05/77.42 ============================== end of head =========================== 77.05/77.42 77.05/77.42 ============================== INPUT ================================= 77.05/77.42 77.05/77.42 % Reading from file /tmp/Prover9_37993_n066.star.cs.uiowa.edu 77.05/77.42 77.05/77.42 %%ERROR: Unexpected character (extra closing parenthesis?): 77.05/77.42 77.05/77.42 %%START ERROR%%ERROR:%%END ERROR%% Out of global stack 77.05/77.42 Exception: (303,813) standardize_formula(isa(_G6066572, c_tptpcol_16_17091)=>tptpcol_16_17091(_G6066572), _G32818948) ? Options: 77.05/77.42 +: spy -: no spy 77.05/77.42 /c|e|r|f|u|a goal: find . 77.05/77.42 77.05/77.42 Fatal error: sread_term error 77.05/77.42 77.05/77.42 Prover9 interrupted 77.05/77.42 EOF