TSTP Solution File: CSR257+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR257+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n028.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 : Fri Jul 15 03:36:10 EDT 2022
% Result : Timeout 286.74s 261.46s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.12 % Problem : CSR257+1 : TPTP v8.1.0. Released v7.3.0.
% 0.04/0.13 % Command : run_infinox %s
% 0.14/0.34 % Computer : n028.cluster.edu
% 0.14/0.34 % Model : x86_64 x86_64
% 0.14/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.34 % Memory : 8042.1875MB
% 0.14/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.34 % CPULimit : 300
% 0.14/0.34 % WCLimit : 600
% 0.14/0.34 % DateTime : Thu Jun 9 17:00:47 EDT 2022
% 0.14/0.34 % CPUTime :
% 5.93/5.91 eprover: CPU time limit exceeded, terminating
% 8.10/7.92 eprover: CPU time limit exceeded, terminating
% 10.30/9.93 eprover: CPU time limit exceeded, terminating
% 12.48/11.94 eprover: CPU time limit exceeded, terminating
% 14.73/13.95 eprover: CPU time limit exceeded, terminating
% 16.87/15.96 eprover: CPU time limit exceeded, terminating
% 19.13/17.97 eprover: CPU time limit exceeded, terminating
% 21.34/19.99 eprover: CPU time limit exceeded, terminating
% 23.51/22.00 eprover: CPU time limit exceeded, terminating
% 25.78/24.01 eprover: CPU time limit exceeded, terminating
% 28.04/26.02 eprover: CPU time limit exceeded, terminating
% 30.19/28.03 eprover: CPU time limit exceeded, terminating
% 32.40/30.05 eprover: CPU time limit exceeded, terminating
% 34.64/32.06 eprover: CPU time limit exceeded, terminating
% 36.89/34.07 eprover: CPU time limit exceeded, terminating
% 39.09/36.09 eprover: CPU time limit exceeded, terminating
% 41.32/38.10 eprover: CPU time limit exceeded, terminating
% 43.51/40.11 eprover: CPU time limit exceeded, terminating
% 45.73/42.12 eprover: CPU time limit exceeded, terminating
% 47.93/44.14 eprover: CPU time limit exceeded, terminating
% 50.10/46.15 eprover: CPU time limit exceeded, terminating
% 52.33/48.16 eprover: CPU time limit exceeded, terminating
% 54.55/50.17 eprover: CPU time limit exceeded, terminating
% 56.76/52.19 eprover: CPU time limit exceeded, terminating
% 58.98/54.20 eprover: CPU time limit exceeded, terminating
% 61.22/56.21 eprover: CPU time limit exceeded, terminating
% 63.42/58.22 eprover: CPU time limit exceeded, terminating
% 65.58/60.24 eprover: CPU time limit exceeded, terminating
% 67.83/62.25 eprover: CPU time limit exceeded, terminating
% 70.05/64.26 eprover: CPU time limit exceeded, terminating
% 72.24/66.27 eprover: CPU time limit exceeded, terminating
% 74.44/68.29 eprover: CPU time limit exceeded, terminating
% 76.61/70.30 eprover: CPU time limit exceeded, terminating
% 78.90/72.31 eprover: CPU time limit exceeded, terminating
% 81.07/74.32 eprover: CPU time limit exceeded, terminating
% 83.30/76.33 eprover: CPU time limit exceeded, terminating
% 85.45/78.35 eprover: CPU time limit exceeded, terminating
% 87.71/80.36 eprover: CPU time limit exceeded, terminating
% 89.93/82.37 eprover: CPU time limit exceeded, terminating
% 92.10/84.38 eprover: CPU time limit exceeded, terminating
% 94.33/86.40 eprover: CPU time limit exceeded, terminating
% 96.57/88.42 eprover: CPU time limit exceeded, terminating
% 98.77/90.43 eprover: CPU time limit exceeded, terminating
% 100.96/92.44 eprover: CPU time limit exceeded, terminating
% 103.19/94.45 eprover: CPU time limit exceeded, terminating
% 105.42/96.46 eprover: CPU time limit exceeded, terminating
% 107.63/98.48 eprover: CPU time limit exceeded, terminating
% 109.81/100.49 eprover: CPU time limit exceeded, terminating
% 112.05/102.50 eprover: CPU time limit exceeded, terminating
% 114.25/104.51 eprover: CPU time limit exceeded, terminating
% 116.46/106.53 eprover: CPU time limit exceeded, terminating
% 118.67/108.54 eprover: CPU time limit exceeded, terminating
% 120.88/110.55 eprover: CPU time limit exceeded, terminating
% 123.12/112.56 eprover: CPU time limit exceeded, terminating
% 125.30/114.58 eprover: CPU time limit exceeded, terminating
% 127.52/116.59 eprover: CPU time limit exceeded, terminating
% 129.71/118.60 eprover: CPU time limit exceeded, terminating
% 131.95/120.61 eprover: CPU time limit exceeded, terminating
% 134.16/122.63 eprover: CPU time limit exceeded, terminating
% 136.34/124.64 eprover: CPU time limit exceeded, terminating
% 138.57/126.65 eprover: CPU time limit exceeded, terminating
% 140.78/128.66 eprover: CPU time limit exceeded, terminating
% 143.01/130.67 eprover: CPU time limit exceeded, terminating
% 145.22/132.69 eprover: CPU time limit exceeded, terminating
% 147.41/134.70 eprover: CPU time limit exceeded, terminating
% 149.60/136.71 eprover: CPU time limit exceeded, terminating
% 151.81/138.73 eprover: CPU time limit exceeded, terminating
% 154.04/140.73 eprover: CPU time limit exceeded, terminating
% 156.30/142.75 eprover: CPU time limit exceeded, terminating
% 158.51/144.76 eprover: CPU time limit exceeded, terminating
% 160.70/146.77 eprover: CPU time limit exceeded, terminating
% 162.91/148.78 eprover: CPU time limit exceeded, terminating
% 165.08/150.79 eprover: CPU time limit exceeded, terminating
% 167.32/152.81 eprover: CPU time limit exceeded, terminating
% 169.49/154.82 eprover: CPU time limit exceeded, terminating
% 171.76/156.83 eprover: CPU time limit exceeded, terminating
% 173.97/158.85 eprover: CPU time limit exceeded, terminating
% 176.19/160.86 eprover: CPU time limit exceeded, terminating
% 178.39/162.87 eprover: CPU time limit exceeded, terminating
% 180.60/164.88 eprover: CPU time limit exceeded, terminating
% 182.79/166.89 eprover: CPU time limit exceeded, terminating
% 185.03/168.90 eprover: CPU time limit exceeded, terminating
% 187.26/170.92 eprover: CPU time limit exceeded, terminating
% 189.44/172.93 eprover: CPU time limit exceeded, terminating
% 191.67/174.94 eprover: CPU time limit exceeded, terminating
% 193.85/176.95 eprover: CPU time limit exceeded, terminating
% 196.10/178.96 eprover: CPU time limit exceeded, terminating
% 198.27/180.98 eprover: CPU time limit exceeded, terminating
% 200.49/182.99 eprover: CPU time limit exceeded, terminating
% 202.72/185.00 eprover: CPU time limit exceeded, terminating
% 204.87/187.01 eprover: CPU time limit exceeded, terminating
% 207.11/189.02 eprover: CPU time limit exceeded, terminating
% 209.36/191.04 eprover: CPU time limit exceeded, terminating
% 211.50/193.05 eprover: CPU time limit exceeded, terminating
% 213.78/195.06 eprover: CPU time limit exceeded, terminating
% 215.97/197.07 eprover: CPU time limit exceeded, terminating
% 218.18/199.09 eprover: CPU time limit exceeded, terminating
% 220.35/201.10 eprover: CPU time limit exceeded, terminating
% 222.58/203.11 eprover: CPU time limit exceeded, terminating
% 224.80/205.12 eprover: CPU time limit exceeded, terminating
% 227.03/207.13 eprover: CPU time limit exceeded, terminating
% 229.26/209.14 eprover: CPU time limit exceeded, terminating
% 231.40/211.16 eprover: CPU time limit exceeded, terminating
% 233.68/213.17 eprover: CPU time limit exceeded, terminating
% 235.88/215.18 eprover: CPU time limit exceeded, terminating
% 238.10/217.19 eprover: CPU time limit exceeded, terminating
% 240.33/219.21 eprover: CPU time limit exceeded, terminating
% 242.54/221.22 eprover: CPU time limit exceeded, terminating
% 244.68/223.23 eprover: CPU time limit exceeded, terminating
% 246.97/225.25 eprover: CPU time limit exceeded, terminating
% 249.16/227.26 eprover: CPU time limit exceeded, terminating
% 251.36/229.27 eprover: CPU time limit exceeded, terminating
% 253.58/231.28 eprover: CPU time limit exceeded, terminating
% 255.77/233.29 eprover: CPU time limit exceeded, terminating
% 258.01/235.31 eprover: CPU time limit exceeded, terminating
% 260.18/237.32 eprover: CPU time limit exceeded, terminating
% 262.43/239.33 eprover: CPU time limit exceeded, terminating
% 264.60/241.34 eprover: CPU time limit exceeded, terminating
% 266.86/243.36 eprover: CPU time limit exceeded, terminating
% 269.05/245.37 eprover: CPU time limit exceeded, terminating
% 271.30/247.38 eprover: CPU time limit exceeded, terminating
% 273.46/249.39 eprover: CPU time limit exceeded, terminating
% 275.65/251.40 eprover: CPU time limit exceeded, terminating
% 277.88/253.42 eprover: CPU time limit exceeded, terminating
% 280.11/255.43 eprover: CPU time limit exceeded, terminating
% 282.32/257.44 eprover: CPU time limit exceeded, terminating
% 284.47/259.45 eprover: CPU time limit exceeded, terminating
% 286.74/261.46 eprover: CPU time limit exceeded, terminating
% 288.98/263.48 eprover: CPU time limit exceeded, terminating
% 291.15/265.49 eprover: CPU time limit exceeded, terminating
% 293.41/267.50 eprover: CPU time limit exceeded, terminating
% 295.63/269.51 eprover: CPU time limit exceeded, terminating
% 297.83/271.53 eprover: CPU time limit exceeded, terminating
% 299.99/273.54 eprover: CPU time limit exceeded, terminating
% 300.08/273.57 eprover: /tmp/Infinox_30415/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:892:(Column 66):(just read ''): Closing bracket (')') expected, but No token (probably EOF) read
% 300.08/273.57 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------