TSTP Solution File: CSR115+69 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR115+69 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n021.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 600s
% DateTime : Fri Jul 15 03:35:34 EDT 2022
% Result : Timeout 287.49s 269.49s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.12 % Problem : CSR115+69 : TPTP v8.1.0. Released v4.0.0.
% 0.11/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n021.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 : Fri Jun 10 10:13:24 EDT 2022
% 0.12/0.33 % CPUTime :
% 3.75/3.86 eprover: CPU time limit exceeded, terminating
% 5.91/5.88 eprover: CPU time limit exceeded, terminating
% 8.13/7.89 eprover: CPU time limit exceeded, terminating
% 10.27/9.90 eprover: CPU time limit exceeded, terminating
% 12.44/11.91 eprover: CPU time limit exceeded, terminating
% 14.57/13.92 eprover: CPU time limit exceeded, terminating
% 16.72/15.93 eprover: CPU time limit exceeded, terminating
% 18.83/17.94 eprover: CPU time limit exceeded, terminating
% 21.00/19.96 eprover: CPU time limit exceeded, terminating
% 23.14/21.97 eprover: CPU time limit exceeded, terminating
% 25.29/23.98 eprover: CPU time limit exceeded, terminating
% 27.47/25.99 eprover: CPU time limit exceeded, terminating
% 29.60/28.00 eprover: CPU time limit exceeded, terminating
% 31.74/30.01 eprover: CPU time limit exceeded, terminating
% 33.88/32.03 eprover: CPU time limit exceeded, terminating
% 36.12/34.04 eprover: CPU time limit exceeded, terminating
% 38.24/36.05 eprover: CPU time limit exceeded, terminating
% 40.41/38.06 eprover: CPU time limit exceeded, terminating
% 42.58/40.07 eprover: CPU time limit exceeded, terminating
% 44.75/42.09 eprover: CPU time limit exceeded, terminating
% 46.89/44.10 eprover: CPU time limit exceeded, terminating
% 49.08/46.11 eprover: CPU time limit exceeded, terminating
% 51.22/48.12 eprover: CPU time limit exceeded, terminating
% 53.37/50.14 eprover: CPU time limit exceeded, terminating
% 55.52/52.15 eprover: CPU time limit exceeded, terminating
% 57.66/54.16 eprover: CPU time limit exceeded, terminating
% 59.84/56.17 eprover: CPU time limit exceeded, terminating
% 61.94/58.19 eprover: CPU time limit exceeded, terminating
% 64.14/60.20 eprover: CPU time limit exceeded, terminating
% 66.28/62.21 eprover: CPU time limit exceeded, terminating
% 68.44/64.23 eprover: CPU time limit exceeded, terminating
% 70.57/66.24 eprover: CPU time limit exceeded, terminating
% 72.75/68.25 eprover: CPU time limit exceeded, terminating
% 74.90/70.26 eprover: CPU time limit exceeded, terminating
% 77.02/72.28 eprover: CPU time limit exceeded, terminating
% 79.19/74.29 eprover: CPU time limit exceeded, terminating
% 81.29/76.30 eprover: CPU time limit exceeded, terminating
% 83.37/78.32 eprover: CPU time limit exceeded, terminating
% 85.53/80.33 eprover: CPU time limit exceeded, terminating
% 87.69/82.34 eprover: CPU time limit exceeded, terminating
% 89.85/84.35 eprover: CPU time limit exceeded, terminating
% 91.95/86.36 eprover: CPU time limit exceeded, terminating
% 94.11/88.37 eprover: CPU time limit exceeded, terminating
% 96.24/90.39 eprover: CPU time limit exceeded, terminating
% 98.47/92.40 eprover: CPU time limit exceeded, terminating
% 100.63/94.41 eprover: CPU time limit exceeded, terminating
% 102.70/96.42 eprover: CPU time limit exceeded, terminating
% 104.91/98.43 eprover: CPU time limit exceeded, terminating
% 107.08/100.45 eprover: CPU time limit exceeded, terminating
% 109.20/102.46 eprover: CPU time limit exceeded, terminating
% 111.37/104.47 eprover: CPU time limit exceeded, terminating
% 113.51/106.48 eprover: CPU time limit exceeded, terminating
% 115.72/108.50 eprover: CPU time limit exceeded, terminating
% 117.88/110.51 eprover: CPU time limit exceeded, terminating
% 120.04/112.52 eprover: CPU time limit exceeded, terminating
% 122.18/114.53 eprover: CPU time limit exceeded, terminating
% 124.30/116.55 eprover: CPU time limit exceeded, terminating
% 126.48/118.56 eprover: CPU time limit exceeded, terminating
% 128.59/120.57 eprover: CPU time limit exceeded, terminating
% 130.81/122.58 eprover: CPU time limit exceeded, terminating
% 132.88/124.59 eprover: CPU time limit exceeded, terminating
% 135.06/126.61 eprover: CPU time limit exceeded, terminating
% 137.28/128.62 eprover: CPU time limit exceeded, terminating
% 139.40/130.63 eprover: CPU time limit exceeded, terminating
% 141.54/132.65 eprover: CPU time limit exceeded, terminating
% 143.73/134.66 eprover: CPU time limit exceeded, terminating
% 145.83/136.67 eprover: CPU time limit exceeded, terminating
% 147.99/138.68 eprover: CPU time limit exceeded, terminating
% 150.15/140.69 eprover: CPU time limit exceeded, terminating
% 152.37/142.70 eprover: CPU time limit exceeded, terminating
% 154.48/144.72 eprover: CPU time limit exceeded, terminating
% 156.66/146.73 eprover: CPU time limit exceeded, terminating
% 158.83/148.74 eprover: CPU time limit exceeded, terminating
% 160.95/150.75 eprover: CPU time limit exceeded, terminating
% 163.09/152.76 eprover: CPU time limit exceeded, terminating
% 165.22/154.78 eprover: CPU time limit exceeded, terminating
% 167.38/156.79 eprover: CPU time limit exceeded, terminating
% 169.52/158.80 eprover: CPU time limit exceeded, terminating
% 171.76/160.81 eprover: CPU time limit exceeded, terminating
% 173.89/162.83 eprover: CPU time limit exceeded, terminating
% 176.03/164.84 eprover: CPU time limit exceeded, terminating
% 178.18/166.85 eprover: CPU time limit exceeded, terminating
% 180.31/168.86 eprover: CPU time limit exceeded, terminating
% 182.48/170.88 eprover: CPU time limit exceeded, terminating
% 184.63/172.89 eprover: CPU time limit exceeded, terminating
% 186.85/174.90 eprover: CPU time limit exceeded, terminating
% 188.98/176.91 eprover: CPU time limit exceeded, terminating
% 191.15/178.93 eprover: CPU time limit exceeded, terminating
% 193.33/180.94 eprover: CPU time limit exceeded, terminating
% 195.45/182.95 eprover: CPU time limit exceeded, terminating
% 197.57/184.96 eprover: CPU time limit exceeded, terminating
% 199.72/186.98 eprover: CPU time limit exceeded, terminating
% 201.97/188.99 eprover: CPU time limit exceeded, terminating
% 204.03/191.00 eprover: CPU time limit exceeded, terminating
% 206.26/193.01 eprover: CPU time limit exceeded, terminating
% 208.39/195.02 eprover: CPU time limit exceeded, terminating
% 210.55/197.04 eprover: CPU time limit exceeded, terminating
% 212.72/199.05 eprover: CPU time limit exceeded, terminating
% 214.83/201.06 eprover: CPU time limit exceeded, terminating
% 217.00/203.07 eprover: CPU time limit exceeded, terminating
% 219.17/205.08 eprover: CPU time limit exceeded, terminating
% 221.37/207.10 eprover: CPU time limit exceeded, terminating
% 223.52/209.11 eprover: CPU time limit exceeded, terminating
% 225.67/211.12 eprover: CPU time limit exceeded, terminating
% 227.82/213.14 eprover: CPU time limit exceeded, terminating
% 229.87/215.15 eprover: CPU time limit exceeded, terminating
% 231.91/217.16 eprover: CPU time limit exceeded, terminating
% 234.07/219.17 eprover: CPU time limit exceeded, terminating
% 236.27/221.18 eprover: CPU time limit exceeded, terminating
% 238.42/223.19 eprover: CPU time limit exceeded, terminating
% 240.56/225.20 eprover: CPU time limit exceeded, terminating
% 242.71/227.23 eprover: CPU time limit exceeded, terminating
% 244.83/229.24 eprover: CPU time limit exceeded, terminating
% 246.93/231.25 eprover: CPU time limit exceeded, terminating
% 249.08/233.27 eprover: CPU time limit exceeded, terminating
% 251.15/235.28 eprover: CPU time limit exceeded, terminating
% 253.22/237.29 eprover: CPU time limit exceeded, terminating
% 255.34/239.30 eprover: CPU time limit exceeded, terminating
% 257.51/241.31 eprover: CPU time limit exceeded, terminating
% 259.64/243.32 eprover: CPU time limit exceeded, terminating
% 261.75/245.33 eprover: CPU time limit exceeded, terminating
% 263.83/247.35 eprover: CPU time limit exceeded, terminating
% 265.99/249.36 eprover: CPU time limit exceeded, terminating
% 268.11/251.37 eprover: CPU time limit exceeded, terminating
% 270.27/253.38 eprover: CPU time limit exceeded, terminating
% 272.41/255.40 eprover: CPU time limit exceeded, terminating
% 274.65/257.41 eprover: CPU time limit exceeded, terminating
% 276.78/259.42 eprover: CPU time limit exceeded, terminating
% 278.91/261.44 eprover: CPU time limit exceeded, terminating
% 281.07/263.45 eprover: CPU time limit exceeded, terminating
% 283.22/265.46 eprover: CPU time limit exceeded, terminating
% 285.32/267.48 eprover: CPU time limit exceeded, terminating
% 287.49/269.49 eprover: CPU time limit exceeded, terminating
% 289.72/271.50 eprover: CPU time limit exceeded, terminating
% 291.87/273.52 eprover: CPU time limit exceeded, terminating
% 293.97/275.54 eprover: CPU time limit exceeded, terminating
% 296.06/277.55 eprover: CPU time limit exceeded, terminating
% 298.16/279.57 eprover: CPU time limit exceeded, terminating
% 300.10/281.41 eprover: CPU time limit exceeded, terminating
% 300.10/281.43 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------