TSTP Solution File: LCL637+1.010 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : LCL637+1.010 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n021.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:47 EDT 2022
% Result : Unknown 7.85s 8.04s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.10 % Problem : LCL637+1.010 : TPTP v8.1.0. Released v4.0.0.
% 0.06/0.10 % Command : run_infinox %s
% 0.10/0.30 % Computer : n021.cluster.edu
% 0.10/0.30 % Model : x86_64 x86_64
% 0.10/0.30 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.10/0.30 % Memory : 8042.1875MB
% 0.10/0.30 % OS : Linux 3.10.0-693.el7.x86_64
% 0.10/0.30 % CPULimit : 300
% 0.10/0.30 % WCLimit : 600
% 0.10/0.30 % DateTime : Mon Jul 4 10:59:46 EDT 2022
% 0.10/0.30 % CPUTime :
% 0.79/1.02 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 0.79/1.03 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 0.79/1.05 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 0.84/1.06 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 0.84/1.08 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 0.88/1.09 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 0.88/1.11 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 0.88/1.12 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 0.94/1.14 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 0.95/1.15 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 0.95/1.17 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 0.95/1.18 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 0.95/1.20 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 0.95/1.22 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.03/1.23 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.03/1.25 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.06/1.26 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.06/1.28 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.06/1.30 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.06/1.31 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.06/1.33 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.14/1.34 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.14/1.36 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.17/1.37 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.17/1.39 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.17/1.41 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.17/1.42 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.23/1.44 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.26/1.45 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.26/1.47 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.26/1.49 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.26/1.50 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.26/1.52 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.32/1.53 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.32/1.55 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.35/1.56 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.35/1.58 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.35/1.60 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.35/1.61 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.35/1.63 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.35/1.64 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.47/1.66 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.47/1.68 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.50/1.69 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.50/1.71 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.50/1.72 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.50/1.74 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.56/1.76 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.56/1.77 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.56/1.79 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.56/1.80 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.60/1.82 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.60/1.83 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.65/1.85 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.65/1.87 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.65/1.88 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.65/1.90 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.65/1.91 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.65/1.93 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.74/1.95 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.74/1.96 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.74/1.98 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.79/1.99 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.79/2.01 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.79/2.03 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.79/2.04 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.86/2.06 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.86/2.07 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.86/2.09 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.91/2.10 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.91/2.12 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.91/2.14 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.91/2.15 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.97/2.17 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.97/2.18 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.97/2.20 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.97/2.22 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.97/2.23 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 1.97/2.25 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.08/2.26 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.08/2.28 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.08/2.30 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.12/2.31 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.12/2.33 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.12/2.34 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.17/2.36 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.17/2.38 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.17/2.39 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.17/2.41 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.17/2.42 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.25/2.44 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.25/2.45 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.25/2.47 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.25/2.49 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.32/2.50 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.32/2.52 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.32/2.53 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.36/2.55 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.37/2.57 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.37/2.58 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.37/2.60 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.42/2.61 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.42/2.63 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.47/2.65 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.47/2.66 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.47/2.68 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.47/2.69 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.47/2.71 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.47/2.72 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.56/2.74 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.56/2.76 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.56/2.77 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.56/2.79 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.61/2.80 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.61/2.82 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.61/2.84 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.61/2.85 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.67/2.87 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.67/2.88 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.67/2.90 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.73/2.92 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.75/2.93 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.75/2.95 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.75/2.96 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.75/2.98 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.75/3.00 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.75/3.01 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.84/3.03 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.84/3.04 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.84/3.06 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.84/3.08 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.90/3.09 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.90/3.11 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.90/3.12 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.90/3.14 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.90/3.16 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.99/3.17 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.99/3.19 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 2.99/3.20 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.03/3.22 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.04/3.23 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.04/3.25 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.04/3.27 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.04/3.28 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.04/3.30 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.04/3.31 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.04/3.33 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.16/3.35 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.16/3.36 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.16/3.38 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.16/3.39 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.22/3.41 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.22/3.43 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.22/3.44 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.22/3.46 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.22/3.47 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.30/3.49 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.30/3.51 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.30/3.52 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.30/3.54 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.30/3.55 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.38/3.57 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.38/3.59 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.41/3.60 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.43/3.62 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.44/3.63 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.44/3.65 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.44/3.67 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.44/3.68 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.44/3.70 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.54/3.71 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.54/3.73 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.54/3.74 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.54/3.76 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.60/3.78 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.60/3.79 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.60/3.81 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.60/3.83 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.60/3.84 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.60/3.86 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.69/3.87 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.70/3.89 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.70/3.90 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.70/3.92 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.76/3.94 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.77/3.95 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.77/3.97 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.77/3.98 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.77/4.00 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.77/4.02 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.84/4.03 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.84/4.05 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.84/4.06 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.89/4.08 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.89/4.10 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.89/4.11 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.89/4.13 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.89/4.14 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 3.99/4.16 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.00/4.18 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.00/4.19 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.00/4.21 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.04/4.23 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.06/4.24 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.06/4.26 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.06/4.27 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.06/4.29 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.06/4.30 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.15/4.32 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.15/4.33 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.15/4.35 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.15/4.37 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.21/4.38 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.21/4.40 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.21/4.41 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.21/4.43 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.21/4.44 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.29/4.46 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.29/4.48 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.32/4.49 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.32/4.51 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.32/4.52 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.37/4.54 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.38/4.55 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.38/4.57 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.38/4.58 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.38/4.60 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.38/4.62 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.45/4.63 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.45/4.65 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.49/4.66 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.49/4.68 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.49/4.69 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.49/4.71 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.49/4.73 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.57/4.74 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.57/4.76 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.57/4.77 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.61/4.79 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.61/4.80 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.61/4.82 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.66/4.83 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.66/4.85 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.69/4.87 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.69/4.88 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.69/4.90 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.69/4.91 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.75/4.93 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.75/4.94 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.75/4.96 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.78/4.98 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.78/4.99 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.78/5.01 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.78/5.02 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.78/5.04 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.88/5.07 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.88/5.08 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.91/5.10 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.91/5.11 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.91/5.13 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.91/5.14 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.97/5.16 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.97/5.18 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 4.97/5.19 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.02/5.21 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.02/5.22 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.02/5.24 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.07/5.25 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.07/5.27 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.07/5.29 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.07/5.30 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.07/5.32 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.07/5.33 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.17/5.35 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.17/5.36 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.17/5.38 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.21/5.40 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.21/5.41 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.21/5.43 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.21/5.44 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.28/5.46 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.28/5.47 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.28/5.49 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.33/5.50 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.33/5.52 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.33/5.54 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.33/5.55 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.39/5.57 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.39/5.58 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.39/5.60 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.39/5.61 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.39/5.63 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.39/5.65 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.48/5.66 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.48/5.68 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.48/5.69 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.52/5.71 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.52/5.72 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.52/5.74 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.56/5.75 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.56/5.77 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.56/5.79 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.56/5.80 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.56/5.82 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.56/5.83 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.67/5.85 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.67/5.86 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.67/5.88 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.72/5.90 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.72/5.91 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.72/5.93 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.72/5.94 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.78/5.96 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.78/5.97 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.78/5.99 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.82/6.01 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.82/6.02 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.82/6.04 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.87/6.05 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.87/6.07 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.87/6.08 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.87/6.10 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.87/6.12 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.98/6.16 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.98/6.17 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.98/6.19 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 5.98/6.20 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.03/6.22 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.03/6.23 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.03/6.25 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.08/6.27 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.10/6.28 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.10/6.30 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.14/6.31 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.16/6.33 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.16/6.34 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.16/6.36 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.16/6.38 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.16/6.39 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.16/6.41 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.24/6.42 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.24/6.44 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.24/6.45 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.24/6.47 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.24/6.48 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.32/6.50 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.32/6.52 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.32/6.53 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.32/6.55 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.32/6.56 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.41/6.58 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.41/6.59 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.44/6.61 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.44/6.62 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.46/6.64 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.46/6.66 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.46/6.67 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.46/6.69 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.46/6.70 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.46/6.72 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.46/6.73 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.57/6.75 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.57/6.77 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.57/6.78 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.57/6.80 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.64/6.81 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.64/6.83 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.64/6.84 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.64/6.86 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.64/6.87 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.71/6.89 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.71/6.91 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.71/6.92 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.71/6.94 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.71/6.95 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.71/6.97 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.81/6.98 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.82/7.00 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.84/7.02 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.86/7.03 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.86/7.05 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.86/7.06 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.86/7.08 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.86/7.09 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.94/7.11 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.94/7.13 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.94/7.14 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.94/7.16 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 6.94/7.17 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.02/7.19 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.02/7.20 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.02/7.22 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.02/7.23 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.02/7.25 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.02/7.27 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.11/7.28 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.13/7.30 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.13/7.31 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.16/7.33 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.18/7.34 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.18/7.36 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.18/7.38 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.18/7.39 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.18/7.41 eprover: /tmp/Infinox_4351/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:239:(Column 43):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.85/8.03 infinox: equinox: runProcess: runInteractiveProcess: exec: does not exist (No such file or directory)
% 7.85/8.03 Infinox, version 1.0, 2009-07-20.
% 7.85/8.03 +++ PROBLEM: /export/starexec/sandbox/benchmark/theBenchmark.p
% 7.85/8.03 Reading '/export/starexec/sandbox/benchmark/theBenchmark.p' ... OK
% 7.85/8.03 +++ SOLVING: /export/starexec/sandbox/benchmark/theBenchmark.p
% 7.85/8.03 InjNotSurj
% 7.85/8.03 SurjNotInj
% 7.85/8.03 Serial
% 7.85/8.03 Trans
% 7.85/8.03 Auto
%------------------------------------------------------------------------------