TSTP Solution File: CSR116+37 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR116+37 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n020.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:42 EDT 2022
% Result : Timeout 287.39s 267.29s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : CSR116+37 : TPTP v8.1.0. Released v4.0.0.
% 0.06/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n020.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 : Sat Jun 11 11:12:05 EDT 2022
% 0.12/0.34 % CPUTime :
% 3.66/3.78 eprover: CPU time limit exceeded, terminating
% 5.82/5.79 eprover: CPU time limit exceeded, terminating
% 8.03/7.81 eprover: CPU time limit exceeded, terminating
% 10.17/9.82 eprover: CPU time limit exceeded, terminating
% 12.34/11.83 eprover: CPU time limit exceeded, terminating
% 14.48/13.84 eprover: CPU time limit exceeded, terminating
% 16.57/15.85 eprover: CPU time limit exceeded, terminating
% 18.73/17.86 eprover: CPU time limit exceeded, terminating
% 20.91/19.87 eprover: CPU time limit exceeded, terminating
% 23.11/21.88 eprover: CPU time limit exceeded, terminating
% 25.19/23.89 eprover: CPU time limit exceeded, terminating
% 27.34/25.90 eprover: CPU time limit exceeded, terminating
% 29.55/27.91 eprover: CPU time limit exceeded, terminating
% 31.66/29.92 eprover: CPU time limit exceeded, terminating
% 33.83/31.93 eprover: CPU time limit exceeded, terminating
% 36.00/33.95 eprover: CPU time limit exceeded, terminating
% 38.17/35.96 eprover: CPU time limit exceeded, terminating
% 40.31/37.97 eprover: CPU time limit exceeded, terminating
% 42.54/39.98 eprover: CPU time limit exceeded, terminating
% 44.67/41.99 eprover: CPU time limit exceeded, terminating
% 46.80/44.00 eprover: CPU time limit exceeded, terminating
% 49.01/46.01 eprover: CPU time limit exceeded, terminating
% 51.12/48.03 eprover: CPU time limit exceeded, terminating
% 53.30/50.04 eprover: CPU time limit exceeded, terminating
% 55.43/52.05 eprover: CPU time limit exceeded, terminating
% 57.60/54.06 eprover: CPU time limit exceeded, terminating
% 59.75/56.07 eprover: CPU time limit exceeded, terminating
% 63.90/58.09 eprover: CPU time limit exceeded, terminating
% 66.01/60.10 eprover: CPU time limit exceeded, terminating
% 68.13/62.11 eprover: CPU time limit exceeded, terminating
% 70.36/64.12 eprover: CPU time limit exceeded, terminating
% 72.54/66.13 eprover: CPU time limit exceeded, terminating
% 74.66/68.14 eprover: CPU time limit exceeded, terminating
% 76.78/70.15 eprover: CPU time limit exceeded, terminating
% 78.92/72.16 eprover: CPU time limit exceeded, terminating
% 81.12/74.17 eprover: CPU time limit exceeded, terminating
% 83.24/76.18 eprover: CPU time limit exceeded, terminating
% 85.26/78.19 eprover: CPU time limit exceeded, terminating
% 87.46/80.21 eprover: CPU time limit exceeded, terminating
% 89.55/82.22 eprover: CPU time limit exceeded, terminating
% 91.79/84.23 eprover: CPU time limit exceeded, terminating
% 93.90/86.24 eprover: CPU time limit exceeded, terminating
% 96.05/88.25 eprover: CPU time limit exceeded, terminating
% 98.21/90.26 eprover: CPU time limit exceeded, terminating
% 100.38/92.27 eprover: CPU time limit exceeded, terminating
% 102.56/94.28 eprover: CPU time limit exceeded, terminating
% 104.68/96.29 eprover: CPU time limit exceeded, terminating
% 106.87/98.31 eprover: CPU time limit exceeded, terminating
% 109.06/100.32 eprover: CPU time limit exceeded, terminating
% 111.19/102.33 eprover: CPU time limit exceeded, terminating
% 113.35/104.34 eprover: CPU time limit exceeded, terminating
% 115.54/106.35 eprover: CPU time limit exceeded, terminating
% 117.65/108.36 eprover: CPU time limit exceeded, terminating
% 119.80/110.38 eprover: CPU time limit exceeded, terminating
% 121.98/112.39 eprover: CPU time limit exceeded, terminating
% 124.09/114.40 eprover: CPU time limit exceeded, terminating
% 126.36/116.41 eprover: CPU time limit exceeded, terminating
% 128.49/118.42 eprover: CPU time limit exceeded, terminating
% 130.64/120.43 eprover: CPU time limit exceeded, terminating
% 132.78/122.44 eprover: CPU time limit exceeded, terminating
% 134.92/124.45 eprover: CPU time limit exceeded, terminating
% 137.12/126.46 eprover: CPU time limit exceeded, terminating
% 139.21/128.48 eprover: CPU time limit exceeded, terminating
% 141.40/130.49 eprover: CPU time limit exceeded, terminating
% 143.58/132.50 eprover: CPU time limit exceeded, terminating
% 145.72/134.51 eprover: CPU time limit exceeded, terminating
% 147.88/136.52 eprover: CPU time limit exceeded, terminating
% 150.04/138.53 eprover: CPU time limit exceeded, terminating
% 152.17/140.54 eprover: CPU time limit exceeded, terminating
% 154.34/142.56 eprover: CPU time limit exceeded, terminating
% 156.45/144.57 eprover: CPU time limit exceeded, terminating
% 158.62/146.58 eprover: CPU time limit exceeded, terminating
% 160.78/148.59 eprover: CPU time limit exceeded, terminating
% 162.91/150.61 eprover: CPU time limit exceeded, terminating
% 165.15/152.62 eprover: CPU time limit exceeded, terminating
% 167.31/154.63 eprover: CPU time limit exceeded, terminating
% 169.47/156.64 eprover: CPU time limit exceeded, terminating
% 171.60/158.65 eprover: CPU time limit exceeded, terminating
% 173.70/160.67 eprover: CPU time limit exceeded, terminating
% 175.90/162.68 eprover: CPU time limit exceeded, terminating
% 178.03/164.69 eprover: CPU time limit exceeded, terminating
% 180.19/166.70 eprover: CPU time limit exceeded, terminating
% 182.40/168.71 eprover: CPU time limit exceeded, terminating
% 184.53/170.72 eprover: CPU time limit exceeded, terminating
% 186.72/172.74 eprover: CPU time limit exceeded, terminating
% 188.90/174.75 eprover: CPU time limit exceeded, terminating
% 191.02/176.76 eprover: CPU time limit exceeded, terminating
% 193.18/178.77 eprover: CPU time limit exceeded, terminating
% 195.34/180.78 eprover: CPU time limit exceeded, terminating
% 197.44/182.79 eprover: CPU time limit exceeded, terminating
% 199.62/184.80 eprover: CPU time limit exceeded, terminating
% 201.83/186.81 eprover: CPU time limit exceeded, terminating
% 203.98/188.83 eprover: CPU time limit exceeded, terminating
% 206.12/190.84 eprover: CPU time limit exceeded, terminating
% 208.25/192.85 eprover: CPU time limit exceeded, terminating
% 210.38/194.86 eprover: CPU time limit exceeded, terminating
% 212.53/196.87 eprover: CPU time limit exceeded, terminating
% 214.74/198.88 eprover: CPU time limit exceeded, terminating
% 216.82/200.89 eprover: CPU time limit exceeded, terminating
% 218.99/202.90 eprover: CPU time limit exceeded, terminating
% 221.24/204.92 eprover: CPU time limit exceeded, terminating
% 223.34/206.93 eprover: CPU time limit exceeded, terminating
% 225.51/208.94 eprover: CPU time limit exceeded, terminating
% 227.67/210.95 eprover: CPU time limit exceeded, terminating
% 229.80/212.96 eprover: CPU time limit exceeded, terminating
% 231.90/214.98 eprover: CPU time limit exceeded, terminating
% 233.92/216.99 eprover: CPU time limit exceeded, terminating
% 236.13/219.00 eprover: CPU time limit exceeded, terminating
% 238.29/221.01 eprover: CPU time limit exceeded, terminating
% 240.45/223.03 eprover: CPU time limit exceeded, terminating
% 242.61/225.04 eprover: CPU time limit exceeded, terminating
% 244.75/227.05 eprover: CPU time limit exceeded, terminating
% 246.93/229.06 eprover: CPU time limit exceeded, terminating
% 249.02/231.07 eprover: CPU time limit exceeded, terminating
% 251.24/233.09 eprover: CPU time limit exceeded, terminating
% 253.33/235.10 eprover: CPU time limit exceeded, terminating
% 255.40/237.11 eprover: CPU time limit exceeded, terminating
% 257.45/239.12 eprover: CPU time limit exceeded, terminating
% 259.57/241.13 eprover: CPU time limit exceeded, terminating
% 261.73/243.15 eprover: CPU time limit exceeded, terminating
% 263.88/245.16 eprover: CPU time limit exceeded, terminating
% 265.90/247.17 eprover: CPU time limit exceeded, terminating
% 268.08/249.18 eprover: CPU time limit exceeded, terminating
% 270.27/251.19 eprover: CPU time limit exceeded, terminating
% 272.42/253.20 eprover: CPU time limit exceeded, terminating
% 274.58/255.22 eprover: CPU time limit exceeded, terminating
% 276.71/257.23 eprover: CPU time limit exceeded, terminating
% 278.83/259.24 eprover: CPU time limit exceeded, terminating
% 280.98/261.25 eprover: CPU time limit exceeded, terminating
% 283.08/263.27 eprover: CPU time limit exceeded, terminating
% 285.25/265.28 eprover: CPU time limit exceeded, terminating
% 287.39/267.29 eprover: CPU time limit exceeded, terminating
% 289.54/269.30 eprover: CPU time limit exceeded, terminating
% 291.75/271.31 eprover: CPU time limit exceeded, terminating
% 293.90/273.32 eprover: CPU time limit exceeded, terminating
% 295.97/275.33 eprover: CPU time limit exceeded, terminating
% 298.07/277.35 eprover: CPU time limit exceeded, terminating
% 300.07/279.24 eprover: CPU time limit exceeded, terminating
% 300.07/279.25 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------