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