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