TSTP Solution File: LCL662+1.015 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : LCL662+1.015 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n012.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:18 EDT 2022
% Result : Unknown 17.28s 17.44s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.11 % Problem : LCL662+1.015 : TPTP v8.1.0. Released v4.0.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n012.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Sun Jul 3 12:50:31 EDT 2022
% 0.12/0.33 % CPUTime :
% 7.61/7.82 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.66/7.83 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.66/7.84 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.66/7.85 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.68/7.86 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.68/7.87 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.68/7.88 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.68/7.89 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.68/7.90 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.68/7.91 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.68/7.92 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.75/7.93 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.75/7.94 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.75/7.95 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.75/7.96 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.79/7.97 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.79/7.98 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.79/7.99 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.79/8.00 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.79/8.01 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.79/8.02 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.79/8.03 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.87/8.04 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.87/8.05 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.87/8.06 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.87/8.07 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.90/8.08 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.90/8.09 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.90/8.11 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.90/8.12 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.90/8.13 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.90/8.14 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.97/8.15 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 7.97/8.16 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.01/8.17 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.01/8.18 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.01/8.20 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.01/8.21 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.01/8.22 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.05/8.23 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.05/8.24 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.08/8.25 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.08/8.27 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.08/8.28 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.08/8.29 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.08/8.30 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.08/8.31 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.08/8.32 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.16/8.33 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.16/8.35 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.16/8.36 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.19/8.37 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.19/8.38 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.19/8.39 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.19/8.40 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.19/8.41 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.19/8.43 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.19/8.44 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.27/8.45 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.27/8.46 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.31/8.47 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.31/8.48 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.31/8.50 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.31/8.51 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.31/8.52 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.36/8.53 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.36/8.54 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.38/8.55 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.38/8.56 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.38/8.58 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.38/8.59 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.38/8.60 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.38/8.61 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.38/8.62 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.38/8.63 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.48/8.65 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.48/8.66 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.48/8.67 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.48/8.68 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.52/8.69 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.52/8.70 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.52/8.71 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.52/8.73 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.52/8.74 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.52/8.75 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.60/8.76 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.60/8.77 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.60/8.78 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.60/8.79 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.60/8.81 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.64/8.82 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.64/8.83 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.68/8.84 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.68/8.85 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.68/8.86 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.68/8.88 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.68/8.89 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.68/8.90 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.68/8.91 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.68/8.92 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.77/8.93 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.77/8.94 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.77/8.96 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.77/8.97 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.77/8.98 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.82/8.99 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.82/9.00 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.82/9.01 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.82/9.03 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.82/9.04 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.82/9.05 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.90/9.06 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.92/9.07 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.92/9.08 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.92/9.09 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.92/9.11 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.95/9.12 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.95/9.13 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 8.95/9.14 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.00/9.15 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.00/9.16 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.00/9.18 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.00/9.19 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.00/9.20 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.00/9.21 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.00/9.22 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.00/9.23 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.08/9.24 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.08/9.26 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.08/9.27 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.08/9.28 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.08/9.29 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.13/9.30 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.13/9.31 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.13/9.33 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.13/9.34 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.13/9.35 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.20/9.36 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.20/9.37 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.20/9.38 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.20/9.39 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.23/9.41 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.23/9.42 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.23/9.43 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.28/9.44 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.28/9.45 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.28/9.46 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.28/9.47 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.28/9.49 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.28/9.50 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.28/9.51 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.28/9.52 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.28/9.53 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.38/9.54 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.38/9.56 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.38/9.57 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.38/9.58 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.38/9.59 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.43/9.60 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.43/9.61 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.43/9.63 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.43/9.64 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.43/9.65 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.50/9.66 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.50/9.67 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.50/9.68 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.50/9.69 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.50/9.71 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.55/9.72 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.55/9.73 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.55/9.74 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.60/9.75 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.60/9.76 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.60/9.78 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.60/9.79 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.60/9.80 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.60/9.81 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.60/9.82 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.60/9.83 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.60/9.84 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.70/9.86 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.70/9.87 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.70/9.88 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.70/9.89 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.74/9.90 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.74/9.91 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.74/9.93 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.74/9.94 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.79/9.95 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.79/9.96 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.79/9.97 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.79/9.98 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.79/10.00 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.79/10.01 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.79/10.02 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.79/10.03 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.79/10.04 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.89/10.05 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.89/10.06 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.89/10.08 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.89/10.09 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.95/10.10 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.95/10.11 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.95/10.12 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.95/10.13 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 9.95/10.15 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.00/10.16 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.00/10.17 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.00/10.18 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.00/10.19 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.00/10.20 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.00/10.22 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.00/10.23 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.00/10.24 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.00/10.25 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.11/10.26 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.11/10.27 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.11/10.28 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.14/10.30 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.14/10.31 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.14/10.32 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.14/10.33 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.20/10.34 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.20/10.35 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.20/10.36 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.20/10.38 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.20/10.39 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.20/10.40 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.20/10.41 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.20/10.42 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.20/10.43 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.20/10.45 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.32/10.46 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.32/10.47 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.32/10.48 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.32/10.49 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.32/10.50 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.37/10.52 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.37/10.53 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.37/10.54 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.37/10.55 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.37/10.56 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.42/10.57 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.42/10.58 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.42/10.60 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.42/10.61 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.42/10.62 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.42/10.63 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.42/10.64 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.50/10.65 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.50/10.66 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.50/10.68 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.54/10.69 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.54/10.70 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.54/10.71 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.54/10.72 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.59/10.74 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.60/10.75 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.60/10.76 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.60/10.77 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.60/10.78 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.60/10.79 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.60/10.80 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.67/10.82 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.67/10.83 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.67/10.84 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.67/10.85 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.67/10.86 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.72/10.87 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.72/10.89 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.72/10.90 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.72/10.91 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.72/10.92 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.72/10.93 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.72/10.94 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.81/10.95 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.81/10.97 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.81/10.98 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.84/10.99 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.84/11.00 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.84/11.01 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.84/11.02 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.84/11.04 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.89/11.05 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.92/11.06 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.92/11.07 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.92/11.08 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.92/11.09 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.92/11.11 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.92/11.12 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.99/11.13 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.99/11.14 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.99/11.15 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 10.99/11.16 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.02/11.18 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.02/11.19 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.02/11.20 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.02/11.21 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.02/11.22 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.02/11.23 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.10/11.24 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.10/11.26 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.10/11.27 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.12/11.28 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.12/11.29 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.12/11.30 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.12/11.31 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.12/11.33 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.20/11.34 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.20/11.35 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.23/11.36 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.23/11.37 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.23/11.38 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.23/11.40 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.23/11.41 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.23/11.42 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.28/11.43 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.28/11.44 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.28/11.45 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.33/11.47 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.33/11.48 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.33/11.49 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.33/11.50 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.33/11.51 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.33/11.52 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.33/11.54 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.40/11.55 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.40/11.56 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.40/11.57 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.40/11.58 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.45/11.59 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.45/11.61 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.45/11.62 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.45/11.63 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.51/11.64 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.51/11.66 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.51/11.67 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.54/11.68 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.54/11.69 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.54/11.70 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.54/11.71 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.54/11.72 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.58/11.73 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.58/11.75 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.62/11.76 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.62/11.77 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.62/11.78 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.62/11.79 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.62/11.80 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.62/11.81 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.70/11.83 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.70/11.84 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.70/11.85 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.70/11.86 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.74/11.87 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.74/11.88 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.74/11.89 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.74/11.90 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.74/11.92 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.74/11.93 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.74/11.94 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.82/11.95 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.82/11.96 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.84/11.97 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.84/11.98 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.84/11.99 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.84/12.01 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.84/12.02 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.90/12.03 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.90/12.04 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.90/12.05 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.93/12.06 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.93/12.07 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.93/12.08 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.93/12.10 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.93/12.11 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.93/12.12 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 11.93/12.13 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.01/12.14 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.01/12.15 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.01/12.17 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.01/12.18 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.05/12.19 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.05/12.20 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.05/12.21 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.05/12.22 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.05/12.23 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.05/12.24 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.13/12.26 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.13/12.27 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.15/12.28 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.15/12.29 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.15/12.30 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.18/12.31 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.18/12.32 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.18/12.34 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.21/12.35 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.21/12.36 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.21/12.37 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.21/12.38 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.21/12.39 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.21/12.40 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.21/12.41 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.30/12.43 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.30/12.44 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.30/12.45 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.30/12.46 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.30/12.47 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.36/12.48 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.36/12.49 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.36/12.50 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.36/12.52 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.36/12.53 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.36/12.54 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.36/12.55 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.43/12.56 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.45/12.57 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.45/12.58 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.45/12.60 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.45/12.61 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.49/12.62 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.49/12.63 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.49/12.64 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.52/12.65 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.52/12.66 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.52/12.67 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.52/12.69 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.52/12.70 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.52/12.71 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.52/12.72 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.52/12.73 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.61/12.74 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.61/12.75 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.61/12.77 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.61/12.78 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.61/12.79 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.67/12.80 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.67/12.81 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.67/12.82 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.67/12.83 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.67/12.84 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.74/12.86 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.74/12.87 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.74/12.88 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.74/12.89 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.78/12.90 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.78/12.91 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.78/12.92 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.78/12.94 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.82/12.95 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.82/12.96 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.82/12.97 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.82/12.98 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.82/12.99 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.82/13.00 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.82/13.01 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.82/13.03 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.92/13.04 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.92/13.05 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.92/13.06 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.92/13.07 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.92/13.08 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.92/13.09 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.98/13.10 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.98/13.12 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.98/13.13 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.98/13.14 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 12.98/13.15 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.04/13.16 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.04/13.17 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.04/13.18 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.04/13.20 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.04/13.21 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.10/13.22 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.10/13.23 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.10/13.24 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.13/13.25 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.13/13.26 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.13/13.28 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.13/13.29 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.13/13.30 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.13/13.31 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.13/13.32 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.13/13.33 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.13/13.35 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.24/13.36 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.24/13.37 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.24/13.38 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.24/13.39 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.28/13.40 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.28/13.41 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.28/13.43 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.28/13.44 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.32/13.45 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.32/13.46 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.32/13.47 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.32/13.48 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.32/13.49 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.39/13.51 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.39/13.52 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.39/13.53 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.39/13.54 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.44/13.55 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.44/13.56 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.44/13.57 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.44/13.58 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.44/13.60 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.44/13.61 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.44/13.62 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.44/13.63 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.44/13.64 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.54/13.65 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.54/13.66 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.54/13.67 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.54/13.69 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.58/13.70 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.58/13.71 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.58/13.72 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.58/13.73 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.63/13.74 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.63/13.75 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.63/13.77 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.63/13.78 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.63/13.79 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.63/13.80 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.63/13.81 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.63/13.82 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.63/13.83 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.63/13.85 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.75/13.86 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.75/13.87 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.75/13.88 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.75/13.89 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.75/13.90 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.81/13.91 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.81/13.93 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.81/13.94 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.81/13.95 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.81/13.96 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.85/13.97 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.85/13.98 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.85/13.99 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.85/14.01 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.85/14.02 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.85/14.03 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.85/14.04 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.95/14.05 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.95/14.06 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.95/14.07 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.98/14.08 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.98/14.10 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.98/14.11 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 13.98/14.12 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.02/14.13 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.02/14.14 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.03/14.15 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.03/14.16 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.03/14.18 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.03/14.19 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.03/14.20 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.03/14.21 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.11/14.22 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.11/14.23 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.11/14.24 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.11/14.25 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.16/14.27 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.16/14.28 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.16/14.29 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.16/14.30 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.16/14.31 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.16/14.32 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.16/14.33 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.16/14.35 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.25/14.36 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.25/14.37 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.25/14.38 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.29/14.39 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.29/14.40 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.29/14.41 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.29/14.43 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.29/14.44 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.34/14.45 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.35/14.46 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.35/14.47 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.35/14.48 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.35/14.49 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.35/14.51 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.35/14.52 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.42/14.53 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.42/14.54 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.42/14.55 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.42/14.56 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.46/14.57 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.46/14.58 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.46/14.60 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.46/14.61 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.46/14.62 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.46/14.63 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.54/14.64 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.54/14.65 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.54/14.66 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.57/14.68 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.57/14.69 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.57/14.70 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.57/14.71 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.57/14.72 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.63/14.73 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.63/14.74 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.63/14.76 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.66/14.77 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.66/14.78 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.66/14.79 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.66/14.80 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.66/14.81 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.66/14.82 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.72/14.84 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.72/14.85 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.72/14.86 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.77/14.87 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.77/14.88 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.77/14.89 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.77/14.90 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.77/14.91 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.77/14.93 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.84/14.94 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.84/14.95 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.84/14.96 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.84/14.97 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.88/14.98 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.88/14.99 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.88/15.01 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.88/15.02 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.88/15.03 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.88/15.04 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.95/15.05 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.95/15.06 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.98/15.07 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.98/15.09 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.98/15.10 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.98/15.11 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 14.98/15.12 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.02/15.13 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.02/15.14 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.06/15.15 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.06/15.17 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.06/15.18 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.06/15.19 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.06/15.20 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.06/15.21 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.12/15.22 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.12/15.23 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.12/15.25 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.12/15.26 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.17/15.27 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.17/15.28 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.17/15.29 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.17/15.30 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.17/15.31 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.17/15.32 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.17/15.34 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.25/15.35 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 15.25/15.36 eprover: /tmp/Infinox_16277/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:9:(Column 210):(just read '!'): Closing bracket (')') expected, but Exclamation mark ('!') read
% 17.28/17.43 infinox: equinox: runProcess: runInteractiveProcess: exec: does not exist (No such file or directory)
% 17.28/17.44 Infinox, version 1.0, 2009-07-20.
% 17.28/17.44 +++ PROBLEM: /export/starexec/sandbox/benchmark/theBenchmark.p
% 17.28/17.44 Reading '/export/starexec/sandbox/benchmark/theBenchmark.p' ... OK
% 17.28/17.44 +++ SOLVING: /export/starexec/sandbox/benchmark/theBenchmark.p
% 17.28/17.44 InjNotSurj
% 17.28/17.44 SurjNotInj
% 17.28/17.44 Serial
% 17.28/17.44 Trans
% 17.28/17.44 Auto
%------------------------------------------------------------------------------