0.03/0.12 % Problem : theBenchmark.p : TPTP v0.0.0. Released v0.0.0. 0.03/0.13 % Command : pyres-fof.py -tifbsVp -nlargest -HPickGiven5 %s 0.13/0.34 % Computer : n026.cluster.edu 0.13/0.34 % Model : x86_64 x86_64 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz 0.13/0.34 % Memory : 8042.1875MB 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64 0.13/0.34 % CPULimit : 960 0.13/0.34 % DateTime : Thu Jul 2 09:07:25 EDT 2020 0.13/0.34 % CPUTime : 0.19/0.51 # Version: 1.3 0.19/0.51 Traceback (most recent call last): 0.19/0.51 File "/export/starexec/sandbox2/solver/bin/pyres-fof.py", line 193, in 0.19/0.51 problem.parse(file) 0.19/0.51 File "/export/starexec/sandbox2/solver/bin/fofspec.py", line 135, in parse 0.19/0.51 formula = parseWFormula(source) 0.19/0.51 File "/export/starexec/sandbox2/solver/bin/formulas.py", line 462, in parseWFormula 0.19/0.51 lexer.AcceptTok(Token.IdentLower) 0.19/0.51 File "/export/starexec/sandbox2/solver/bin/lexer.py", line 248, in AcceptTok 0.19/0.51 self.CheckTok(tokens) 0.19/0.51 File "/export/starexec/sandbox2/solver/bin/lexer.py", line 240, in CheckTok 0.19/0.51 " not "+repr(tokens)) 0.19/0.51 lexer.UnexpectedTokenError: Unexpected token('"\'pred(s1(plural(294)), 0)\'" not Identifier starting with lower case letter') 0.19/0.51 EOF