TSTP Solution File: LCL681+1.015 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : LCL681+1.015 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n011.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 600s
% DateTime : Sun Jul 17 11:12:43 EDT 2022
% Result : Unknown 29.29s 29.41s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : LCL681+1.015 : TPTP v8.1.0. Released v4.0.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n011.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Mon Jul 4 14:47:21 EDT 2022
% 0.13/0.34 % CPUTime :
% 17.78/17.99 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.83/18.01 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.83/18.02 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.83/18.04 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.83/18.05 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.90/18.07 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.90/18.08 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.90/18.10 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.93/18.11 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.93/18.13 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.98/18.14 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.98/18.16 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.98/18.17 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.98/18.19 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.98/18.20 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.98/18.22 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.07/18.24 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.07/18.26 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.07/18.27 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.07/18.29 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.14/18.31 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.14/18.33 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.14/18.34 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.14/18.36 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.22/18.38 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.22/18.40 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.24/18.41 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.26/18.43 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.26/18.45 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.26/18.47 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.26/18.48 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.26/18.50 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.26/18.52 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.36/18.53 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.36/18.55 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.36/18.57 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.36/18.59 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.43/18.60 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.43/18.62 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.43/18.64 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.43/18.66 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.50/18.67 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.50/18.69 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.54/18.71 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.57/18.72 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.57/18.74 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.57/18.76 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.57/18.78 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.57/18.79 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.57/18.81 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.57/18.83 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.66/18.84 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.66/18.86 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.66/18.88 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.66/18.90 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.75/18.91 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.75/18.93 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.75/18.95 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.75/18.97 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.75/18.98 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.83/19.00 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.83/19.02 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.83/19.03 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.83/19.05 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.83/19.07 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.93/19.09 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.93/19.10 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.97/19.12 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.97/19.14 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.97/19.15 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.97/19.17 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.97/19.19 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 18.97/19.21 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.05/19.22 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.05/19.24 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.05/19.26 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.05/19.27 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.12/19.29 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.12/19.31 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.12/19.33 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.12/19.34 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.12/19.36 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.22/19.38 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.24/19.39 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.24/19.41 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.27/19.43 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.28/19.45 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.28/19.46 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.28/19.48 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.28/19.50 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.28/19.51 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.37/19.53 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.37/19.55 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.37/19.57 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.42/19.58 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.42/19.60 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.42/19.62 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.42/19.64 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.42/19.65 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.50/19.67 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.51/19.69 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.51/19.70 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.56/19.72 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.58/19.74 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.58/19.75 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.58/19.77 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.58/19.79 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.58/19.81 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.68/19.82 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.68/19.84 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.68/19.86 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.68/19.87 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.72/19.89 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.72/19.91 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.72/19.92 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.72/19.94 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.72/19.96 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.81/19.97 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.83/19.99 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.83/20.01 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.87/20.03 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.87/20.04 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.90/20.06 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.90/20.08 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.90/20.09 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.90/20.11 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.98/20.13 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.98/20.14 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 19.98/20.16 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.02/20.18 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.02/20.19 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.02/20.21 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.02/20.23 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.10/20.24 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.10/20.26 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.12/20.28 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.12/20.30 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.12/20.31 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.18/20.33 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.18/20.35 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.21/20.36 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.21/20.38 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.21/20.40 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.21/20.41 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.27/20.43 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.27/20.45 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.27/20.46 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.33/20.48 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.33/20.50 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.33/20.51 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.33/20.53 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.33/20.55 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.41/20.56 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.41/20.58 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.45/20.60 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.45/20.62 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.45/20.63 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.49/20.65 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.50/20.67 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.50/20.68 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.50/20.70 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.56/20.72 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.56/20.73 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.56/20.75 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.61/20.77 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.61/20.78 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.61/20.80 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.61/20.82 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.61/20.83 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.70/20.85 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.70/20.87 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.70/20.88 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.75/20.90 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.75/20.92 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.75/20.94 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.80/20.95 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.80/20.97 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.80/20.99 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.80/21.00 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.87/21.02 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.87/21.04 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.87/21.05 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.93/21.07 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.93/21.09 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.93/21.10 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.93/21.12 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.93/21.14 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 20.93/21.15 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 21.02/21.17 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 21.02/21.19 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 21.06/21.21 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 21.06/21.22 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 21.06/21.24 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 21.11/21.26 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 21.11/21.27 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 21.11/21.29 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 21.11/21.31 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 21.11/21.32 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 21.20/21.34 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 21.20/21.36 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 21.20/21.37 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 21.20/21.39 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 21.27/21.41 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 21.27/21.42 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 21.27/21.44 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 21.32/21.46 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 21.33/21.47 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 21.33/21.49 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 21.36/21.51 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 21.36/21.52 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 21.40/21.54 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 21.40/21.56 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 21.40/21.57 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 21.40/21.59 eprover: /tmp/Infinox_20979/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:20:(Column 215):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 29.20/29.38 infinox: equinox: runProcess: runInteractiveProcess: exec: does not exist (No such file or directory)
% 29.20/29.41 Infinox, version 1.0, 2009-07-20.
% 29.20/29.41 +++ PROBLEM: /export/starexec/sandbox2/benchmark/theBenchmark.p
% 29.20/29.41 Reading '/export/starexec/sandbox2/benchmark/theBenchmark.p' ... OK
% 29.20/29.41 +++ SOLVING: /export/starexec/sandbox2/benchmark/theBenchmark.p
% 29.20/29.41 InjNotSurj
% 29.20/29.41 SurjNotInj
% 29.20/29.41 Serial
% 29.20/29.41 Trans
% 29.20/29.41 Auto
%------------------------------------------------------------------------------