TSTP Solution File: CSR115+37 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR115+37 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n029.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:30 EDT 2022
% Result : Timeout 287.33s 269.15s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.09/0.11 % Problem : CSR115+37 : TPTP v8.1.0. Released v4.0.0.
% 0.09/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n029.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 : Thu Jun 9 20:59:52 EDT 2022
% 0.12/0.33 % CPUTime :
% 3.68/3.71 eprover: CPU time limit exceeded, terminating
% 5.83/5.72 eprover: CPU time limit exceeded, terminating
% 7.97/7.73 eprover: CPU time limit exceeded, terminating
% 10.10/9.74 eprover: CPU time limit exceeded, terminating
% 12.25/11.75 eprover: CPU time limit exceeded, terminating
% 14.42/13.77 eprover: CPU time limit exceeded, terminating
% 16.54/15.78 eprover: CPU time limit exceeded, terminating
% 18.67/17.79 eprover: CPU time limit exceeded, terminating
% 20.93/19.80 eprover: CPU time limit exceeded, terminating
% 23.09/21.81 eprover: CPU time limit exceeded, terminating
% 25.23/23.82 eprover: CPU time limit exceeded, terminating
% 27.40/25.83 eprover: CPU time limit exceeded, terminating
% 29.53/27.84 eprover: CPU time limit exceeded, terminating
% 31.66/29.85 eprover: CPU time limit exceeded, terminating
% 33.84/31.86 eprover: CPU time limit exceeded, terminating
% 35.99/33.88 eprover: CPU time limit exceeded, terminating
% 38.22/35.89 eprover: CPU time limit exceeded, terminating
% 40.39/37.90 eprover: CPU time limit exceeded, terminating
% 42.52/39.91 eprover: CPU time limit exceeded, terminating
% 44.70/41.92 eprover: CPU time limit exceeded, terminating
% 46.86/43.93 eprover: CPU time limit exceeded, terminating
% 49.00/45.94 eprover: CPU time limit exceeded, terminating
% 51.17/47.95 eprover: CPU time limit exceeded, terminating
% 53.29/49.96 eprover: CPU time limit exceeded, terminating
% 55.42/51.97 eprover: CPU time limit exceeded, terminating
% 57.69/53.99 eprover: CPU time limit exceeded, terminating
% 59.78/56.00 eprover: CPU time limit exceeded, terminating
% 61.99/58.01 eprover: CPU time limit exceeded, terminating
% 64.15/60.02 eprover: CPU time limit exceeded, terminating
% 66.26/62.03 eprover: CPU time limit exceeded, terminating
% 68.43/64.04 eprover: CPU time limit exceeded, terminating
% 70.60/66.05 eprover: CPU time limit exceeded, terminating
% 72.75/68.06 eprover: CPU time limit exceeded, terminating
% 74.92/70.07 eprover: CPU time limit exceeded, terminating
% 77.05/72.08 eprover: CPU time limit exceeded, terminating
% 79.26/74.10 eprover: CPU time limit exceeded, terminating
% 81.34/76.11 eprover: CPU time limit exceeded, terminating
% 83.42/78.12 eprover: CPU time limit exceeded, terminating
% 85.58/80.13 eprover: CPU time limit exceeded, terminating
% 87.70/82.14 eprover: CPU time limit exceeded, terminating
% 89.83/84.15 eprover: CPU time limit exceeded, terminating
% 92.00/86.16 eprover: CPU time limit exceeded, terminating
% 94.18/88.17 eprover: CPU time limit exceeded, terminating
% 96.30/90.18 eprover: CPU time limit exceeded, terminating
% 98.48/92.19 eprover: CPU time limit exceeded, terminating
% 100.72/94.20 eprover: CPU time limit exceeded, terminating
% 102.88/96.22 eprover: CPU time limit exceeded, terminating
% 105.03/98.23 eprover: CPU time limit exceeded, terminating
% 107.16/100.24 eprover: CPU time limit exceeded, terminating
% 109.31/102.25 eprover: CPU time limit exceeded, terminating
% 111.46/104.26 eprover: CPU time limit exceeded, terminating
% 113.62/106.27 eprover: CPU time limit exceeded, terminating
% 115.84/108.28 eprover: CPU time limit exceeded, terminating
% 117.93/110.29 eprover: CPU time limit exceeded, terminating
% 120.07/112.30 eprover: CPU time limit exceeded, terminating
% 122.30/114.31 eprover: CPU time limit exceeded, terminating
% 124.46/116.33 eprover: CPU time limit exceeded, terminating
% 126.60/118.34 eprover: CPU time limit exceeded, terminating
% 128.75/120.35 eprover: CPU time limit exceeded, terminating
% 130.87/122.36 eprover: CPU time limit exceeded, terminating
% 133.10/124.37 eprover: CPU time limit exceeded, terminating
% 135.16/126.38 eprover: CPU time limit exceeded, terminating
% 137.40/128.39 eprover: CPU time limit exceeded, terminating
% 139.54/130.40 eprover: CPU time limit exceeded, terminating
% 141.69/132.41 eprover: CPU time limit exceeded, terminating
% 143.82/134.42 eprover: CPU time limit exceeded, terminating
% 145.96/136.43 eprover: CPU time limit exceeded, terminating
% 148.12/138.44 eprover: CPU time limit exceeded, terminating
% 150.27/140.45 eprover: CPU time limit exceeded, terminating
% 152.41/142.46 eprover: CPU time limit exceeded, terminating
% 154.56/144.47 eprover: CPU time limit exceeded, terminating
% 156.71/146.48 eprover: CPU time limit exceeded, terminating
% 158.83/148.50 eprover: CPU time limit exceeded, terminating
% 161.07/150.51 eprover: CPU time limit exceeded, terminating
% 163.22/152.52 eprover: CPU time limit exceeded, terminating
% 165.38/154.53 eprover: CPU time limit exceeded, terminating
% 167.49/156.54 eprover: CPU time limit exceeded, terminating
% 169.67/158.55 eprover: CPU time limit exceeded, terminating
% 171.79/160.56 eprover: CPU time limit exceeded, terminating
% 173.98/162.57 eprover: CPU time limit exceeded, terminating
% 176.08/164.58 eprover: CPU time limit exceeded, terminating
% 178.25/166.59 eprover: CPU time limit exceeded, terminating
% 180.35/168.61 eprover: CPU time limit exceeded, terminating
% 182.55/170.62 eprover: CPU time limit exceeded, terminating
% 184.73/172.63 eprover: CPU time limit exceeded, terminating
% 186.84/174.64 eprover: CPU time limit exceeded, terminating
% 188.96/176.65 eprover: CPU time limit exceeded, terminating
% 191.07/178.67 eprover: CPU time limit exceeded, terminating
% 193.26/180.68 eprover: CPU time limit exceeded, terminating
% 195.45/182.69 eprover: CPU time limit exceeded, terminating
% 197.59/184.70 eprover: CPU time limit exceeded, terminating
% 199.74/186.71 eprover: CPU time limit exceeded, terminating
% 201.88/188.72 eprover: CPU time limit exceeded, terminating
% 204.01/190.73 eprover: CPU time limit exceeded, terminating
% 206.18/192.74 eprover: CPU time limit exceeded, terminating
% 208.26/194.75 eprover: CPU time limit exceeded, terminating
% 210.46/196.76 eprover: CPU time limit exceeded, terminating
% 212.56/198.77 eprover: CPU time limit exceeded, terminating
% 214.79/200.78 eprover: CPU time limit exceeded, terminating
% 216.93/202.79 eprover: CPU time limit exceeded, terminating
% 219.09/204.80 eprover: CPU time limit exceeded, terminating
% 221.21/206.81 eprover: CPU time limit exceeded, terminating
% 223.39/208.82 eprover: CPU time limit exceeded, terminating
% 225.54/210.83 eprover: CPU time limit exceeded, terminating
% 227.66/212.84 eprover: CPU time limit exceeded, terminating
% 229.72/214.86 eprover: CPU time limit exceeded, terminating
% 231.78/216.87 eprover: CPU time limit exceeded, terminating
% 233.90/218.88 eprover: CPU time limit exceeded, terminating
% 236.06/220.89 eprover: CPU time limit exceeded, terminating
% 238.22/222.90 eprover: CPU time limit exceeded, terminating
% 240.45/224.91 eprover: CPU time limit exceeded, terminating
% 242.57/226.92 eprover: CPU time limit exceeded, terminating
% 244.73/228.93 eprover: CPU time limit exceeded, terminating
% 246.88/230.94 eprover: CPU time limit exceeded, terminating
% 249.00/232.96 eprover: CPU time limit exceeded, terminating
% 251.05/234.97 eprover: CPU time limit exceeded, terminating
% 253.12/236.98 eprover: CPU time limit exceeded, terminating
% 255.15/238.99 eprover: CPU time limit exceeded, terminating
% 257.36/241.00 eprover: CPU time limit exceeded, terminating
% 259.52/243.01 eprover: CPU time limit exceeded, terminating
% 261.69/245.02 eprover: CPU time limit exceeded, terminating
% 263.74/247.03 eprover: CPU time limit exceeded, terminating
% 265.84/249.04 eprover: CPU time limit exceeded, terminating
% 267.98/251.05 eprover: CPU time limit exceeded, terminating
% 270.14/253.07 eprover: CPU time limit exceeded, terminating
% 272.31/255.08 eprover: CPU time limit exceeded, terminating
% 274.42/257.09 eprover: CPU time limit exceeded, terminating
% 276.65/259.10 eprover: CPU time limit exceeded, terminating
% 278.79/261.11 eprover: CPU time limit exceeded, terminating
% 280.93/263.12 eprover: CPU time limit exceeded, terminating
% 283.08/265.13 eprover: CPU time limit exceeded, terminating
% 285.20/267.14 eprover: CPU time limit exceeded, terminating
% 287.33/269.15 eprover: CPU time limit exceeded, terminating
% 289.48/271.16 eprover: CPU time limit exceeded, terminating
% 291.63/273.18 eprover: CPU time limit exceeded, terminating
% 293.75/275.19 eprover: CPU time limit exceeded, terminating
% 295.80/277.20 eprover: CPU time limit exceeded, terminating
% 297.96/279.21 eprover: CPU time limit exceeded, terminating
% 299.99/281.22 eprover: CPU time limit exceeded, terminating
% 300.10/281.29 eprover: CPU time limit exceeded, terminating
% 300.10/281.30 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------