0.06/0.12 % Problem : theBenchmark.p : TPTP v0.0.0. Released v0.0.0. 120.07/120.16 Alarm clock 120.07/120.17 % Command : echo % SZS status Inappropriate, but why? 120.13/120.38 % Computer : n018.cluster.edu 120.13/120.38 % Model : x86_64 x86_64 120.13/120.38 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz 120.13/120.38 % Memory : 8042.1875MB 120.13/120.38 % OS : Linux 3.10.0-693.el7.x86_64 120.13/120.38 % CPULimit : 960 120.13/120.38 % WCLimit : 120 120.13/120.38 % DateTime : Tue Aug 9 03:40:45 EDT 2022 120.13/120.38 % CPUTime : 120.13/120.38 echo: No match. 120.13/120.38 EOF