TSTP Solution File: LCL663+1.020 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : LCL663+1.020 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n018.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 600s
% DateTime : Sun Jul 17 11:12:20 EDT 2022
% Result : Unknown 17.79s 17.91s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : LCL663+1.020 : TPTP v8.1.0. Released v4.0.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n018.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 : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Sun Jul 3 03:24:34 EDT 2022
% 0.13/0.34 % CPUTime :
% 11.08/11.28 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.08/11.29 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.08/11.30 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.14/11.31 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.14/11.32 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.14/11.33 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.14/11.34 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.14/11.35 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.14/11.36 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.19/11.37 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.19/11.38 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.19/11.39 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.19/11.40 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.19/11.41 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.19/11.42 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.19/11.43 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.19/11.44 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.29/11.45 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.29/11.46 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.29/11.47 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.31/11.48 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.31/11.50 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.31/11.51 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.31/11.52 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.36/11.53 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.37/11.54 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.37/11.55 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.37/11.56 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.37/11.58 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.37/11.59 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.37/11.60 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.37/11.61 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.46/11.62 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.46/11.64 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.46/11.65 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.46/11.66 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.46/11.67 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.52/11.68 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.52/11.70 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.52/11.71 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.52/11.72 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.52/11.73 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.52/11.74 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.52/11.76 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.62/11.77 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.62/11.78 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.63/11.79 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.63/11.80 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.65/11.81 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.66/11.83 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.66/11.84 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.66/11.85 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.66/11.86 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.66/11.87 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.66/11.89 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.66/11.90 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.75/11.91 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.75/11.92 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.75/11.93 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.75/11.95 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.75/11.96 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.75/11.97 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.82/11.98 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.82/11.99 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.82/12.01 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.82/12.02 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.82/12.03 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.82/12.04 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.82/12.05 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.82/12.07 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.90/12.08 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.93/12.09 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.93/12.10 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.96/12.11 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.96/12.13 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.96/12.14 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.99/12.15 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.99/12.16 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.99/12.17 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.99/12.19 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.99/12.20 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.99/12.21 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.99/12.22 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.07/12.23 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.07/12.25 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.07/12.26 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.07/12.27 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.07/12.28 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.14/12.29 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.14/12.31 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.14/12.32 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.14/12.33 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.14/12.34 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.14/12.35 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.14/12.36 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.22/12.38 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.22/12.39 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.25/12.40 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.25/12.41 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.25/12.42 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.28/12.44 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.28/12.45 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.28/12.46 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.28/12.47 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.28/12.48 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.28/12.50 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.28/12.51 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.28/12.52 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.37/12.53 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.37/12.54 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.37/12.56 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.37/12.57 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.37/12.58 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.44/12.59 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.44/12.60 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.44/12.62 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.44/12.63 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.44/12.64 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.44/12.65 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.44/12.66 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.52/12.68 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.52/12.69 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.52/12.70 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.52/12.71 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.57/12.72 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.57/12.74 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.58/12.75 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.58/12.76 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.58/12.77 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.58/12.78 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.58/12.80 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.58/12.81 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.58/12.82 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.58/12.83 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.69/12.84 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.69/12.86 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.69/12.87 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.69/12.88 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.74/12.89 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.74/12.90 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.74/12.92 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.74/12.93 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.74/12.94 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.81/12.95 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.82/12.96 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.82/12.98 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.82/12.99 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.86/13.00 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.86/13.01 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.86/13.02 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.86/13.04 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.90/13.05 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.90/13.06 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.90/13.07 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.90/13.08 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.90/13.09 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.90/13.11 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.90/13.12 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.90/13.13 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.00/13.14 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.00/13.15 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.00/13.17 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.00/13.18 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.00/13.19 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.04/13.20 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.04/13.21 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.04/13.23 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.04/13.24 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.04/13.25 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.11/13.26 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.13/13.27 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.13/13.29 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.13/13.30 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.13/13.31 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.18/13.32 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.18/13.33 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.18/13.35 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.21/13.36 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.21/13.37 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.21/13.38 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.21/13.39 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.21/13.41 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.21/13.42 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.21/13.43 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.29/13.44 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.29/13.45 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.29/13.47 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.29/13.48 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.33/13.49 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.33/13.50 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.33/13.51 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.33/13.53 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.41/13.54 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.41/13.55 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.42/13.56 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.42/13.57 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.42/13.59 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.42/13.60 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.42/13.61 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.47/13.62 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.47/13.63 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.47/13.64 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.51/13.66 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.51/13.67 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.51/13.68 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.51/13.69 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.51/13.70 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.51/13.71 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.51/13.73 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.60/13.74 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.60/13.75 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.60/13.76 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.60/13.77 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.64/13.78 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.64/13.80 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.64/13.81 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.64/13.82 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.64/13.83 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.64/13.84 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.71/13.85 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.71/13.87 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.73/13.88 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.73/13.89 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.73/13.90 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.73/13.91 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.73/13.93 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.79/13.94 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.79/13.95 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.82/13.96 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.82/13.97 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.82/13.98 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.82/14.00 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.82/14.01 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.82/14.02 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.89/14.03 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.89/14.04 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.89/14.05 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.93/14.07 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.93/14.08 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.93/14.09 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.93/14.10 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.93/14.11 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.93/14.12 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.93/14.14 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.00/14.15 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.00/14.16 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.03/14.17 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.03/14.18 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.03/14.19 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.03/14.21 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.03/14.22 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.10/14.23 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.10/14.24 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.10/14.25 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.12/14.26 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.12/14.28 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.12/14.29 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.12/14.30 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.12/14.31 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.20/14.32 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.20/14.33 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.20/14.35 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.20/14.36 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.20/14.37 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.25/14.38 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.25/14.39 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.25/14.40 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.25/14.42 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.25/14.43 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.25/14.44 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.25/14.45 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.33/14.46 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.33/14.47 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.36/14.49 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.36/14.50 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.36/14.51 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.36/14.52 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.39/14.53 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.40/14.55 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.40/14.56 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.40/14.57 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.40/14.58 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.40/14.59 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.40/14.60 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.48/14.62 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.48/14.63 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.48/14.64 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.48/14.65 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.48/14.66 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.54/14.67 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.54/14.69 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.54/14.70 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.54/14.71 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.54/14.72 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.54/14.73 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.54/14.74 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.62/14.75 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.62/14.77 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.62/14.78 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.67/14.79 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.67/14.80 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.67/14.81 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.67/14.82 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.70/14.83 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.71/14.85 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.71/14.86 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.71/14.87 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.71/14.88 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.71/14.89 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.71/14.90 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.71/14.92 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.80/14.93 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.80/14.94 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.80/14.95 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.80/14.96 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.80/14.97 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.86/14.99 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.86/15.00 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.86/15.01 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.86/15.02 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.86/15.03 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.86/15.05 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.86/15.06 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.94/15.07 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.94/15.08 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.97/15.09 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.97/15.10 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.99/15.12 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.01/15.13 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.01/15.14 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.01/15.15 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.01/15.16 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.01/15.17 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.01/15.19 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.01/15.20 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.08/15.21 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.08/15.22 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.08/15.23 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.08/15.24 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.08/15.26 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.08/15.27 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.16/15.28 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.16/15.29 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.16/15.30 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.16/15.31 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.16/15.33 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.16/15.34 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.16/15.35 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.16/15.36 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.25/15.37 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.26/15.39 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.26/15.40 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.26/15.41 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.29/15.42 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.29/15.43 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.32/15.44 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.32/15.46 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.32/15.47 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.32/15.48 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.32/15.49 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.32/15.50 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.32/15.51 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.40/15.53 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.40/15.54 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.40/15.55 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.40/15.56 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.40/15.57 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.40/15.58 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.48/15.60 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.48/15.61 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.48/15.62 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.48/15.63 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.48/15.64 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.48/15.66 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.55/15.67 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.56/15.68 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.56/15.69 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.58/15.70 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.58/15.71 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.60/15.73 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.60/15.74 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.60/15.75 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.60/15.76 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.60/15.77 eprover: /tmp/Infinox_31977/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:5:(Column 269):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.72/17.89 infinox: equinox: runProcess: runInteractiveProcess: exec: does not exist (No such file or directory)
% 17.79/17.91 Infinox, version 1.0, 2009-07-20.
% 17.79/17.91 +++ PROBLEM: /export/starexec/sandbox/benchmark/theBenchmark.p
% 17.79/17.91 Reading '/export/starexec/sandbox/benchmark/theBenchmark.p' ... OK
% 17.79/17.91 +++ SOLVING: /export/starexec/sandbox/benchmark/theBenchmark.p
% 17.79/17.91 InjNotSurj
% 17.79/17.91 SurjNotInj
% 17.79/17.91 Serial
% 17.79/17.91 Trans
% 17.79/17.91 Auto
%------------------------------------------------------------------------------