TSTP Solution File: CSR115+72 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR115+72 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n026.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:35 EDT 2022
% Result : Timeout 287.55s 269.29s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : CSR115+72 : TPTP v8.1.0. Released v4.0.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.14/0.34 % Computer : n026.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 22:33:48 EDT 2022
% 0.14/0.34 % CPUTime :
% 3.64/3.72 eprover: CPU time limit exceeded, terminating
% 5.78/5.73 eprover: CPU time limit exceeded, terminating
% 7.94/7.74 eprover: CPU time limit exceeded, terminating
% 10.07/9.75 eprover: CPU time limit exceeded, terminating
% 12.23/11.76 eprover: CPU time limit exceeded, terminating
% 14.34/13.77 eprover: CPU time limit exceeded, terminating
% 16.45/15.78 eprover: CPU time limit exceeded, terminating
% 18.68/17.79 eprover: CPU time limit exceeded, terminating
% 20.84/19.81 eprover: CPU time limit exceeded, terminating
% 22.97/21.83 eprover: CPU time limit exceeded, terminating
% 25.14/23.85 eprover: CPU time limit exceeded, terminating
% 27.29/25.86 eprover: CPU time limit exceeded, terminating
% 29.49/27.87 eprover: CPU time limit exceeded, terminating
% 31.56/29.89 eprover: CPU time limit exceeded, terminating
% 33.79/31.90 eprover: CPU time limit exceeded, terminating
% 35.93/33.92 eprover: CPU time limit exceeded, terminating
% 38.11/35.94 eprover: CPU time limit exceeded, terminating
% 40.22/37.95 eprover: CPU time limit exceeded, terminating
% 42.39/39.96 eprover: CPU time limit exceeded, terminating
% 44.53/41.98 eprover: CPU time limit exceeded, terminating
% 46.74/43.99 eprover: CPU time limit exceeded, terminating
% 48.83/46.01 eprover: CPU time limit exceeded, terminating
% 51.05/48.02 eprover: CPU time limit exceeded, terminating
% 53.20/50.04 eprover: CPU time limit exceeded, terminating
% 55.38/52.05 eprover: CPU time limit exceeded, terminating
% 57.55/54.07 eprover: CPU time limit exceeded, terminating
% 59.70/56.08 eprover: CPU time limit exceeded, terminating
% 61.79/58.10 eprover: CPU time limit exceeded, terminating
% 64.01/60.13 eprover: CPU time limit exceeded, terminating
% 66.13/62.15 eprover: CPU time limit exceeded, terminating
% 68.33/64.17 eprover: CPU time limit exceeded, terminating
% 70.51/66.18 eprover: CPU time limit exceeded, terminating
% 72.62/68.20 eprover: CPU time limit exceeded, terminating
% 74.80/70.22 eprover: CPU time limit exceeded, terminating
% 76.96/72.23 eprover: CPU time limit exceeded, terminating
% 79.08/74.24 eprover: CPU time limit exceeded, terminating
% 81.19/76.25 eprover: CPU time limit exceeded, terminating
% 83.30/78.26 eprover: CPU time limit exceeded, terminating
% 85.44/80.27 eprover: CPU time limit exceeded, terminating
% 87.57/82.29 eprover: CPU time limit exceeded, terminating
% 89.72/84.30 eprover: CPU time limit exceeded, terminating
% 91.92/86.31 eprover: CPU time limit exceeded, terminating
% 94.07/88.32 eprover: CPU time limit exceeded, terminating
% 96.22/90.33 eprover: CPU time limit exceeded, terminating
% 98.38/92.35 eprover: CPU time limit exceeded, terminating
% 100.59/94.36 eprover: CPU time limit exceeded, terminating
% 102.75/96.37 eprover: CPU time limit exceeded, terminating
% 104.88/98.38 eprover: CPU time limit exceeded, terminating
% 107.04/100.39 eprover: CPU time limit exceeded, terminating
% 109.15/102.40 eprover: CPU time limit exceeded, terminating
% 111.33/104.42 eprover: CPU time limit exceeded, terminating
% 113.55/106.43 eprover: CPU time limit exceeded, terminating
% 115.65/108.44 eprover: CPU time limit exceeded, terminating
% 117.86/110.45 eprover: CPU time limit exceeded, terminating
% 119.96/112.46 eprover: CPU time limit exceeded, terminating
% 122.17/114.47 eprover: CPU time limit exceeded, terminating
% 124.35/116.48 eprover: CPU time limit exceeded, terminating
% 126.47/118.49 eprover: CPU time limit exceeded, terminating
% 128.65/120.50 eprover: CPU time limit exceeded, terminating
% 130.78/122.51 eprover: CPU time limit exceeded, terminating
% 132.93/124.52 eprover: CPU time limit exceeded, terminating
% 135.14/126.53 eprover: CPU time limit exceeded, terminating
% 137.26/128.54 eprover: CPU time limit exceeded, terminating
% 139.42/130.55 eprover: CPU time limit exceeded, terminating
% 141.58/132.56 eprover: CPU time limit exceeded, terminating
% 143.74/134.57 eprover: CPU time limit exceeded, terminating
% 145.90/136.58 eprover: CPU time limit exceeded, terminating
% 148.00/138.59 eprover: CPU time limit exceeded, terminating
% 150.21/140.60 eprover: CPU time limit exceeded, terminating
% 152.37/142.61 eprover: CPU time limit exceeded, terminating
% 154.53/144.62 eprover: CPU time limit exceeded, terminating
% 156.69/146.63 eprover: CPU time limit exceeded, terminating
% 158.81/148.64 eprover: CPU time limit exceeded, terminating
% 161.00/150.65 eprover: CPU time limit exceeded, terminating
% 163.14/152.66 eprover: CPU time limit exceeded, terminating
% 165.27/154.67 eprover: CPU time limit exceeded, terminating
% 167.47/156.68 eprover: CPU time limit exceeded, terminating
% 169.63/158.69 eprover: CPU time limit exceeded, terminating
% 171.76/160.70 eprover: CPU time limit exceeded, terminating
% 173.95/162.72 eprover: CPU time limit exceeded, terminating
% 176.08/164.73 eprover: CPU time limit exceeded, terminating
% 178.26/166.74 eprover: CPU time limit exceeded, terminating
% 180.36/168.75 eprover: CPU time limit exceeded, terminating
% 182.54/170.76 eprover: CPU time limit exceeded, terminating
% 184.71/172.77 eprover: CPU time limit exceeded, terminating
% 186.83/174.78 eprover: CPU time limit exceeded, terminating
% 189.04/176.79 eprover: CPU time limit exceeded, terminating
% 191.12/178.80 eprover: CPU time limit exceeded, terminating
% 193.32/180.81 eprover: CPU time limit exceeded, terminating
% 195.42/182.82 eprover: CPU time limit exceeded, terminating
% 197.66/184.83 eprover: CPU time limit exceeded, terminating
% 199.73/186.84 eprover: CPU time limit exceeded, terminating
% 201.94/188.86 eprover: CPU time limit exceeded, terminating
% 204.10/190.87 eprover: CPU time limit exceeded, terminating
% 206.23/192.88 eprover: CPU time limit exceeded, terminating
% 208.40/194.89 eprover: CPU time limit exceeded, terminating
% 210.52/196.90 eprover: CPU time limit exceeded, terminating
% 212.72/198.91 eprover: CPU time limit exceeded, terminating
% 214.88/200.92 eprover: CPU time limit exceeded, terminating
% 216.99/202.93 eprover: CPU time limit exceeded, terminating
% 219.19/204.94 eprover: CPU time limit exceeded, terminating
% 221.30/206.95 eprover: CPU time limit exceeded, terminating
% 223.45/208.96 eprover: CPU time limit exceeded, terminating
% 225.66/210.98 eprover: CPU time limit exceeded, terminating
% 227.75/212.99 eprover: CPU time limit exceeded, terminating
% 229.86/215.00 eprover: CPU time limit exceeded, terminating
% 231.88/217.01 eprover: CPU time limit exceeded, terminating
% 234.10/219.02 eprover: CPU time limit exceeded, terminating
% 236.26/221.03 eprover: CPU time limit exceeded, terminating
% 238.37/223.04 eprover: CPU time limit exceeded, terminating
% 240.53/225.05 eprover: CPU time limit exceeded, terminating
% 242.65/227.06 eprover: CPU time limit exceeded, terminating
% 244.82/229.07 eprover: CPU time limit exceeded, terminating
% 247.00/231.08 eprover: CPU time limit exceeded, terminating
% 249.09/233.10 eprover: CPU time limit exceeded, terminating
% 251.21/235.11 eprover: CPU time limit exceeded, terminating
% 253.30/237.12 eprover: CPU time limit exceeded, terminating
% 255.34/239.13 eprover: CPU time limit exceeded, terminating
% 257.49/241.14 eprover: CPU time limit exceeded, terminating
% 259.64/243.15 eprover: CPU time limit exceeded, terminating
% 261.79/245.16 eprover: CPU time limit exceeded, terminating
% 263.79/247.17 eprover: CPU time limit exceeded, terminating
% 265.98/249.18 eprover: CPU time limit exceeded, terminating
% 268.19/251.19 eprover: CPU time limit exceeded, terminating
% 270.34/253.21 eprover: CPU time limit exceeded, terminating
% 272.48/255.22 eprover: CPU time limit exceeded, terminating
% 274.62/257.23 eprover: CPU time limit exceeded, terminating
% 276.79/259.24 eprover: CPU time limit exceeded, terminating
% 278.90/261.25 eprover: CPU time limit exceeded, terminating
% 281.06/263.26 eprover: CPU time limit exceeded, terminating
% 283.22/265.27 eprover: CPU time limit exceeded, terminating
% 285.34/267.28 eprover: CPU time limit exceeded, terminating
% 287.55/269.29 eprover: CPU time limit exceeded, terminating
% 289.70/271.31 eprover: CPU time limit exceeded, terminating
% 291.85/273.32 eprover: CPU time limit exceeded, terminating
% 293.95/275.33 eprover: CPU time limit exceeded, terminating
% 296.05/277.34 eprover: CPU time limit exceeded, terminating
% 298.12/279.36 eprover: CPU time limit exceeded, terminating
% 300.06/281.19 eprover: CPU time limit exceeded, terminating
% 300.06/281.21 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------