TSTP Solution File: LCL636+1.015 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : LCL636+1.015 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n029.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:11:44 EDT 2022
% Result : Unknown 20.22s 20.36s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.12/0.13 % Problem : LCL636+1.015 : TPTP v8.1.0. Released v4.0.0.
% 0.12/0.13 % Command : run_infinox %s
% 0.13/0.35 % Computer : n029.cluster.edu
% 0.13/0.35 % Model : x86_64 x86_64
% 0.13/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.35 % Memory : 8042.1875MB
% 0.13/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.35 % CPULimit : 300
% 0.13/0.35 % WCLimit : 600
% 0.13/0.35 % DateTime : Mon Jul 4 20:06:42 EDT 2022
% 0.13/0.35 % CPUTime :
% 2.21/2.40 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.21/2.42 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.21/2.44 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.21/2.46 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.21/2.48 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.31/2.50 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.31/2.51 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.31/2.53 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.31/2.55 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.31/2.57 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.31/2.58 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.42/2.60 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.42/2.62 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.42/2.64 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.42/2.66 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.42/2.68 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.42/2.69 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.52/2.71 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.52/2.73 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.52/2.75 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.52/2.76 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.52/2.78 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.61/2.79 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.61/2.81 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.61/2.83 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.61/2.84 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.61/2.86 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.61/2.88 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.71/2.90 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.73/2.92 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.73/2.94 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.73/2.96 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.73/2.98 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.73/3.00 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.83/3.02 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.83/3.04 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.83/3.06 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.83/3.07 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.90/3.09 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.90/3.11 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.90/3.13 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.90/3.15 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.90/3.17 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.01/3.18 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.02/3.20 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.04/3.22 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.04/3.24 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.04/3.26 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.04/3.28 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.04/3.30 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.11/3.32 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.11/3.33 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.11/3.35 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.11/3.37 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.19/3.39 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.19/3.41 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.19/3.43 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.19/3.45 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.19/3.47 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.19/3.48 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.32/3.50 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.34/3.52 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.36/3.54 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.36/3.56 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.36/3.58 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.36/3.60 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.36/3.62 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.45/3.63 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.45/3.65 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.45/3.66 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.45/3.68 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.50/3.70 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.50/3.72 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.50/3.74 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.50/3.76 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.60/3.78 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.60/3.80 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.64/3.81 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.65/3.83 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.65/3.85 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.65/3.86 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.65/3.88 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.65/3.89 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.65/3.91 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.75/3.92 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.75/3.94 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.75/3.96 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.75/3.97 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.82/3.99 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.82/4.00 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.82/4.02 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.82/4.04 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.82/4.06 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.82/4.08 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.92/4.09 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.92/4.11 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.96/4.13 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.96/4.15 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.96/4.17 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.96/4.19 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.04/4.21 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.04/4.23 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.04/4.25 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.09/4.27 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.09/4.29 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.09/4.31 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.09/4.33 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.09/4.35 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.20/4.36 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.20/4.38 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.23/4.40 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.23/4.42 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.27/4.44 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.27/4.46 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.27/4.48 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.27/4.50 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.34/4.51 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.34/4.53 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.34/4.55 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.34/4.57 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.42/4.59 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.42/4.61 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.42/4.63 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.42/4.65 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.42/4.67 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.51/4.68 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.51/4.70 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.54/4.72 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.54/4.74 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.54/4.76 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.54/4.79 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.54/4.81 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.65/4.82 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.65/4.84 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.65/4.86 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.65/4.88 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.72/4.90 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.72/4.92 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.72/4.94 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.72/4.96 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.82/4.98 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.83/5.00 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.85/5.02 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.87/5.03 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.87/5.05 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.87/5.07 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.87/5.09 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.87/5.11 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.95/5.13 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.95/5.15 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.95/5.17 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.95/5.19 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.04/5.21 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.04/5.22 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.04/5.24 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.04/5.26 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.04/5.28 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.12/5.30 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.15/5.32 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.15/5.34 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.15/5.36 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.15/5.38 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.15/5.40 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.24/5.42 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.24/5.43 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.24/5.45 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.24/5.47 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.32/5.49 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.32/5.50 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.32/5.52 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.32/5.53 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.32/5.55 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.32/5.57 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.32/5.58 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.44/5.60 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.45/5.62 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.45/5.64 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.45/5.66 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.45/5.68 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.45/5.70 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.56/5.72 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.56/5.73 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.56/5.75 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.56/5.77 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.56/5.79 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.56/5.81 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.65/5.83 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.65/5.85 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.65/5.87 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.65/5.90 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.75/5.92 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.75/5.94 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.75/5.96 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.75/5.98 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.84/6.00 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.84/6.03 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.84/6.05 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.84/6.07 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.93/6.10 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.93/6.12 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.93/6.14 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.93/6.16 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.93/6.18 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.03/6.20 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.03/6.23 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.03/6.25 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.03/6.28 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.14/6.30 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.16/6.32 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.16/6.34 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.16/6.36 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.16/6.38 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.24/6.40 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.24/6.42 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.24/6.44 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.24/6.47 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.24/6.49 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.35/6.51 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.35/6.53 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.35/6.55 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.35/6.57 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.44/6.59 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.44/6.62 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.44/6.64 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.44/6.66 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.44/6.70 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.57/6.73 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.57/6.76 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.57/6.78 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.64/6.81 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.64/6.83 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.64/6.85 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.64/6.86 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.72/6.88 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.72/6.90 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.72/6.92 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.72/6.94 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.72/6.96 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.82/6.98 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.84/6.99 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.84/7.01 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.87/7.03 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.87/7.05 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.87/7.07 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.87/7.09 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.95/7.11 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.95/7.12 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.95/7.14 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.95/7.16 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.03/7.18 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.03/7.19 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.03/7.21 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.03/7.22 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.03/7.24 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.03/7.26 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.03/7.28 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.15/7.29 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.15/7.31 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.17/7.33 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.20/7.35 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.20/7.37 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.20/7.39 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.20/7.41 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.20/7.43 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.28/7.44 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.28/7.46 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.33/7.48 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.33/7.50 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.33/7.52 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.33/7.54 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.39/7.55 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.42/7.57 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.42/7.59 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.47/7.62 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.47/7.64 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.50/7.66 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.50/7.68 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.50/7.69 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.50/7.71 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.58/7.73 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.58/7.75 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.58/7.77 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.63/7.79 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.63/7.80 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.63/7.82 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.63/7.84 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.63/7.86 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.73/7.88 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.74/7.90 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.74/7.92 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.78/7.93 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.80/7.95 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.80/7.97 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.80/7.99 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.80/8.01 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.87/8.03 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.87/8.04 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.87/8.06 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.91/8.08 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.91/8.10 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.91/8.12 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.91/8.14 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.00/8.15 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.00/8.17 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.05/8.19 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.05/8.21 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.05/8.23 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.10/8.25 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.10/8.27 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.10/8.28 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.10/8.30 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.17/8.32 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.17/8.34 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.17/8.36 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.22/8.39 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.22/8.41 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.22/8.43 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.22/8.45 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.32/8.47 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.32/8.49 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.35/8.51 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.35/8.53 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.37/8.55 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.37/8.57 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.37/8.60 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.37/8.61 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.48/8.63 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.48/8.65 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.48/8.67 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.48/8.69 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.55/8.71 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.62/8.79 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.65/8.81 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.65/8.83 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.68/8.85 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.68/8.86 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.68/8.88 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.68/8.90 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.68/8.92 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.78/8.94 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.78/8.96 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.78/8.97 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.78/8.99 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.85/9.01 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.85/9.03 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.85/9.05 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.85/9.07 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.92/9.09 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.96/9.11 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.98/9.12 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.98/9.14 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.98/9.16 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.98/9.18 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.98/9.20 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.06/9.21 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.06/9.23 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.06/9.25 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.06/9.26 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.06/9.28 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.06/9.29 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.15/9.31 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.15/9.33 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.15/9.34 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.15/9.36 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.15/9.37 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.24/9.39 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.25/9.41 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.26/9.42 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.26/9.44 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.26/9.46 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.26/9.48 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.26/9.50 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.26/9.51 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.38/9.53 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.38/9.55 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.38/9.57 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.38/9.59 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.38/9.61 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.45/9.63 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.45/9.65 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.45/9.67 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.45/9.69 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.54/9.71 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.54/9.73 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.54/9.74 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.54/9.76 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.63/9.78 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.65/9.80 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.67/9.82 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.67/9.84 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.67/9.85 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.67/9.87 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.67/9.89 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.67/9.91 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.77/9.93 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.77/9.95 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.77/9.96 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.77/9.98 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.84/10.00 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.84/10.01 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.84/10.03 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.84/10.04 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.84/10.06 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.84/10.08 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.95/10.10 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.97/10.11 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.98/10.13 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.98/10.15 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.98/10.17 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.98/10.19 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.98/10.21 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.98/10.22 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.07/10.24 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.07/10.26 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.07/10.28 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.15/10.30 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.15/10.32 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.15/10.33 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.15/10.35 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.21/10.37 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.21/10.39 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.25/10.41 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.25/10.42 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.28/10.44 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.28/10.46 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.28/10.48 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.28/10.50 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.28/10.52 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.39/10.54 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.39/10.55 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.39/10.57 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.39/10.59 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.45/10.61 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.45/10.62 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.45/10.64 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.45/10.66 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.53/10.68 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.54/10.69 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.56/10.71 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.56/10.73 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.60/10.75 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.60/10.77 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.60/10.79 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.60/10.81 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.60/10.82 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.69/10.84 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.69/10.86 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.69/10.88 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.73/10.90 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.73/10.92 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.73/10.94 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.81/10.96 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.83/10.99 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.83/11.01 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.88/11.03 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.90/11.05 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.90/11.07 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.90/11.08 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.90/11.10 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.90/11.12 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.98/11.14 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.98/11.16 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.98/11.18 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.04/11.20 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.04/11.21 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.04/11.23 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.04/11.25 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.12/11.27 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.14/11.29 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.14/11.31 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.14/11.32 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.19/11.34 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.19/11.36 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.19/11.38 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.19/11.40 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.27/11.42 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.27/11.43 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.27/11.45 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.32/11.47 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.32/11.49 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.32/11.51 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.32/11.53 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.32/11.54 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.42/11.56 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.42/11.58 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.45/11.60 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.45/11.62 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.49/11.63 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.51/11.65 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.51/11.67 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.51/11.68 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.51/11.70 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.57/11.72 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.57/11.74 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.57/11.76 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.57/11.78 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.63/11.79 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.63/11.81 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.63/11.83 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.63/11.85 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.72/11.87 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.72/11.89 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.75/11.90 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.75/11.92 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.79/11.94 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.79/11.96 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.79/11.98 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.79/12.00 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.79/12.01 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.89/12.03 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.89/12.05 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.89/12.07 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.89/12.09 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.96/12.10 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.96/12.12 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.96/12.14 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.96/12.16 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.02/12.18 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.02/12.20 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.05/12.22 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.09/12.24 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.09/12.26 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.09/12.28 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.09/12.30 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.09/12.32 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.19/12.33 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.19/12.35 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.19/12.37 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.19/12.39 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.19/12.40 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.27/12.42 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.27/12.44 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.27/12.46 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.27/12.47 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.34/12.49 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.34/12.51 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.34/12.53 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.34/12.54 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.34/12.56 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.34/12.58 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.45/12.60 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.47/12.61 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.47/12.63 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.47/12.65 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.47/12.66 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.47/12.68 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.47/12.70 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.58/12.72 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.58/12.73 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.58/12.75 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.58/12.77 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.58/12.79 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.66/12.80 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.66/12.81 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.66/12.83 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.66/12.84 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.66/12.86 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.66/12.88 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.75/12.90 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.75/12.91 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.78/12.93 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.78/12.94 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.78/12.96 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.78/12.97 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.78/12.99 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.78/13.00 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.78/13.02 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.88/13.04 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.88/13.06 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.88/13.08 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.88/13.09 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.97/13.11 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.97/13.13 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.97/13.15 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.97/13.16 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.97/13.18 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.06/13.20 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.06/13.22 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.06/13.24 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.06/13.25 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.06/13.27 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.15/13.29 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.17/13.31 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.18/13.32 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.18/13.34 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.18/13.36 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.18/13.38 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.18/13.39 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.26/13.41 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.26/13.43 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.26/13.45 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.26/13.46 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.26/13.48 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.36/13.50 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.36/13.52 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.36/13.53 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.36/13.55 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.36/13.56 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.36/13.58 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.45/13.59 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.45/13.61 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.48/13.63 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.49/13.64 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.49/13.66 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.49/13.68 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.49/13.70 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.49/13.71 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.60/13.73 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.60/13.75 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.60/13.76 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.60/13.78 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.66/13.80 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.66/13.81 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.66/13.83 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.66/13.85 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.72/13.86 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.73/13.88 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.73/13.89 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.77/13.91 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.77/13.92 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.79/13.94 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.79/13.96 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.79/13.98 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.79/13.99 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.79/14.01 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.90/14.03 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.90/14.05 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.90/14.06 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.90/14.08 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.90/14.09 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.97/14.11 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.97/14.12 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.97/14.14 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.97/14.16 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.04/14.17 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.05/14.19 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.05/14.21 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.08/14.23 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.08/14.24 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.11/14.26 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.11/14.27 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.11/14.28 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.11/14.30 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.11/14.32 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.20/14.33 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.20/14.35 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.20/14.37 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.25/14.39 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.25/14.40 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.25/14.42 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.25/14.44 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.31/14.46 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.35/14.47 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.35/14.49 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.35/14.51 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.38/14.53 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.40/14.55 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.40/14.56 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.40/14.58 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.40/14.59 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.40/14.61 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.40/14.63 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.50/14.64 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.50/14.66 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.50/14.67 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.56/14.69 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.56/14.70 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.56/14.72 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.56/14.74 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.61/14.76 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.64/14.78 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.64/14.80 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.64/14.82 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.69/14.83 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.71/14.85 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.71/14.87 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.71/14.89 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.71/14.90 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.77/14.92 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.77/14.94 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.77/14.96 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.84/14.97 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.84/14.99 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.84/15.01 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.84/15.03 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.84/15.04 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.91/15.06 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.91/15.07 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.94/15.09 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.94/15.10 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.94/15.12 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.00/15.13 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.01/15.15 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.01/15.17 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.01/15.19 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.01/15.20 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.07/15.22 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.07/15.24 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.07/15.26 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.07/15.28 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.14/15.30 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.14/15.31 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.14/15.33 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.14/15.35 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.22/15.37 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.22/15.38 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.25/15.40 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.25/15.42 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.29/15.43 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.29/15.45 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.29/15.47 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.29/15.48 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.35/15.50 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.35/15.52 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.35/15.54 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.35/15.55 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.43/15.57 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.43/15.59 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.43/15.60 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.43/15.61 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.43/15.63 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.43/15.64 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.43/15.66 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.52/15.68 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.55/15.69 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.55/15.71 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.55/15.73 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.60/15.74 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.60/15.76 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.60/15.78 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.60/15.79 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.60/15.81 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.66/15.83 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.66/15.84 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.66/15.85 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.66/15.87 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.76/15.89 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.76/15.90 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.76/15.92 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.76/15.94 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.76/15.96 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.76/15.97 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.84/15.99 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.85/16.01 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.89/16.02 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.89/16.04 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.89/16.05 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.89/16.07 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.89/16.08 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.95/16.10 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.95/16.12 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.95/16.13 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.95/16.15 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.95/16.17 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.04/16.19 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.04/16.20 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.04/16.22 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.04/16.24 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.04/16.25 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.04/16.27 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.15/16.28 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.16/16.29 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.16/16.31 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.19/16.33 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.19/16.35 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.19/16.36 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.19/16.38 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.19/16.40 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.27/16.42 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.27/16.43 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.27/16.45 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.27/16.47 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.27/16.49 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.37/16.50 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.37/16.52 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.37/16.53 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.37/16.55 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.37/16.57 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.45/16.59 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.47/16.60 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.49/16.62 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.49/16.63 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.49/16.65 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.49/16.67 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.49/16.68 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.49/16.70 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.58/16.71 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.58/16.73 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.58/16.75 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.58/16.76 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.58/16.78 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.67/16.80 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.67/16.82 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.67/16.83 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.67/16.85 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.67/16.87 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.75/16.89 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.75/16.90 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.79/16.92 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.81/16.94 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.81/16.96 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.81/16.97 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.81/16.99 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.81/17.01 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.81/17.03 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.90/17.04 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.90/17.06 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.90/17.08 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.90/17.09 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.96/17.11 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.96/17.12 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.96/17.14 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 16.96/17.15 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.04/17.17 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.04/17.19 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.08/17.21 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.08/17.22 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.11/17.24 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.11/17.26 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.11/17.28 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.11/17.29 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.11/17.31 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.19/17.33 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.19/17.35 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.19/17.37 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.19/17.38 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.27/17.40 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.27/17.42 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.27/17.44 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.27/17.45 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.34/17.47 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.34/17.49 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.34/17.51 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.40/17.52 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.40/17.54 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.43/17.56 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.43/17.58 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.43/17.59 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.43/17.61 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.49/17.63 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.49/17.65 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.49/17.66 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.54/17.68 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.54/17.70 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.54/17.72 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.54/17.73 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.62/17.75 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.63/17.77 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.63/17.78 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.63/17.80 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.63/17.81 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.70/17.83 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.70/17.84 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.72/17.86 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.72/17.88 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.72/17.89 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.72/17.91 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.72/17.93 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.80/17.94 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.80/17.96 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.80/17.97 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.86/17.99 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.86/18.00 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.86/18.02 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.86/18.03 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.86/18.05 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.94/18.07 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.95/18.09 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.95/18.10 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.95/18.12 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.00/18.14 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.03/18.16 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.03/18.17 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.03/18.19 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.03/18.21 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.09/18.23 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.09/18.24 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.09/18.26 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.14/18.28 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.14/18.29 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.14/18.31 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.14/18.33 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.14/18.34 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.23/18.36 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.23/18.37 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.26/18.39 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.26/18.40 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.26/18.42 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.31/18.43 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.32/18.45 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.32/18.47 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.32/18.49 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.32/18.50 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.40/18.52 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.40/18.54 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.40/18.56 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.40/18.58 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.46/18.59 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.46/18.61 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.46/18.63 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.46/18.65 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.53/18.66 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.53/18.68 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.57/18.70 eprover: /tmp/Infinox_4573/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:354:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.22/20.34 infinox: equinox: runProcess: runInteractiveProcess: exec: does not exist (No such file or directory)
% 20.22/20.36 Infinox, version 1.0, 2009-07-20.
% 20.22/20.36 +++ PROBLEM: /export/starexec/sandbox2/benchmark/theBenchmark.p
% 20.22/20.36 Reading '/export/starexec/sandbox2/benchmark/theBenchmark.p' ... OK
% 20.22/20.36 +++ SOLVING: /export/starexec/sandbox2/benchmark/theBenchmark.p
% 20.22/20.36 InjNotSurj
% 20.22/20.36 SurjNotInj
% 20.22/20.36 Serial
% 20.22/20.36 Trans
% 20.22/20.36 Auto
%------------------------------------------------------------------------------