TSTP Solution File: CSR116+33 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR116+33 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n014.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.75s 269.22s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : CSR116+33 : TPTP v8.1.0. Released v4.0.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.13/0.33 % Computer : n014.cluster.edu
% 0.13/0.33 % Model : x86_64 x86_64
% 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33 % Memory : 8042.1875MB
% 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.33 % CPULimit : 300
% 0.13/0.33 % WCLimit : 600
% 0.13/0.33 % DateTime : Sat Jun 11 15:57:23 EDT 2022
% 0.13/0.34 % CPUTime :
% 3.72/3.76 eprover: CPU time limit exceeded, terminating
% 5.87/5.77 eprover: CPU time limit exceeded, terminating
% 8.02/7.78 eprover: CPU time limit exceeded, terminating
% 10.16/9.79 eprover: CPU time limit exceeded, terminating
% 12.30/11.81 eprover: CPU time limit exceeded, terminating
% 14.49/13.82 eprover: CPU time limit exceeded, terminating
% 16.68/15.83 eprover: CPU time limit exceeded, terminating
% 18.75/17.84 eprover: CPU time limit exceeded, terminating
% 20.97/19.85 eprover: CPU time limit exceeded, terminating
% 23.14/21.86 eprover: CPU time limit exceeded, terminating
% 25.28/23.87 eprover: CPU time limit exceeded, terminating
% 27.46/25.88 eprover: CPU time limit exceeded, terminating
% 29.59/27.90 eprover: CPU time limit exceeded, terminating
% 31.78/29.91 eprover: CPU time limit exceeded, terminating
% 33.96/31.92 eprover: CPU time limit exceeded, terminating
% 36.06/33.93 eprover: CPU time limit exceeded, terminating
% 38.25/35.94 eprover: CPU time limit exceeded, terminating
% 40.38/37.95 eprover: CPU time limit exceeded, terminating
% 42.56/39.96 eprover: CPU time limit exceeded, terminating
% 44.70/41.97 eprover: CPU time limit exceeded, terminating
% 46.93/43.98 eprover: CPU time limit exceeded, terminating
% 49.03/45.99 eprover: CPU time limit exceeded, terminating
% 51.24/48.01 eprover: CPU time limit exceeded, terminating
% 53.42/50.02 eprover: CPU time limit exceeded, terminating
% 55.57/52.03 eprover: CPU time limit exceeded, terminating
% 57.73/54.04 eprover: CPU time limit exceeded, terminating
% 59.89/56.05 eprover: CPU time limit exceeded, terminating
% 62.04/58.06 eprover: CPU time limit exceeded, terminating
% 64.17/60.07 eprover: CPU time limit exceeded, terminating
% 66.38/62.08 eprover: CPU time limit exceeded, terminating
% 68.54/64.10 eprover: CPU time limit exceeded, terminating
% 70.63/66.11 eprover: CPU time limit exceeded, terminating
% 72.88/68.12 eprover: CPU time limit exceeded, terminating
% 75.03/70.13 eprover: CPU time limit exceeded, terminating
% 77.19/72.14 eprover: CPU time limit exceeded, terminating
% 79.32/74.15 eprover: CPU time limit exceeded, terminating
% 81.42/76.16 eprover: CPU time limit exceeded, terminating
% 83.45/78.18 eprover: CPU time limit exceeded, terminating
% 85.69/80.19 eprover: CPU time limit exceeded, terminating
% 87.85/82.20 eprover: CPU time limit exceeded, terminating
% 89.98/84.21 eprover: CPU time limit exceeded, terminating
% 92.14/86.22 eprover: CPU time limit exceeded, terminating
% 94.30/88.23 eprover: CPU time limit exceeded, terminating
% 96.45/90.24 eprover: CPU time limit exceeded, terminating
% 98.64/92.25 eprover: CPU time limit exceeded, terminating
% 100.78/94.26 eprover: CPU time limit exceeded, terminating
% 102.94/96.28 eprover: CPU time limit exceeded, terminating
% 105.12/98.29 eprover: CPU time limit exceeded, terminating
% 107.25/100.30 eprover: CPU time limit exceeded, terminating
% 109.49/102.31 eprover: CPU time limit exceeded, terminating
% 111.67/104.32 eprover: CPU time limit exceeded, terminating
% 113.84/106.33 eprover: CPU time limit exceeded, terminating
% 115.95/108.34 eprover: CPU time limit exceeded, terminating
% 118.13/110.35 eprover: CPU time limit exceeded, terminating
% 120.27/112.36 eprover: CPU time limit exceeded, terminating
% 122.43/114.37 eprover: CPU time limit exceeded, terminating
% 124.59/116.38 eprover: CPU time limit exceeded, terminating
% 126.72/118.39 eprover: CPU time limit exceeded, terminating
% 128.93/120.40 eprover: CPU time limit exceeded, terminating
% 131.10/122.41 eprover: CPU time limit exceeded, terminating
% 133.26/124.42 eprover: CPU time limit exceeded, terminating
% 135.37/126.43 eprover: CPU time limit exceeded, terminating
% 137.55/128.44 eprover: CPU time limit exceeded, terminating
% 139.69/130.45 eprover: CPU time limit exceeded, terminating
% 141.81/132.46 eprover: CPU time limit exceeded, terminating
% 143.96/134.47 eprover: CPU time limit exceeded, terminating
% 146.11/136.48 eprover: CPU time limit exceeded, terminating
% 148.33/138.49 eprover: CPU time limit exceeded, terminating
% 150.47/140.50 eprover: CPU time limit exceeded, terminating
% 152.63/142.52 eprover: CPU time limit exceeded, terminating
% 154.78/144.53 eprover: CPU time limit exceeded, terminating
% 156.91/146.54 eprover: CPU time limit exceeded, terminating
% 159.08/148.55 eprover: CPU time limit exceeded, terminating
% 161.20/150.56 eprover: CPU time limit exceeded, terminating
% 163.33/152.57 eprover: CPU time limit exceeded, terminating
% 165.47/154.58 eprover: CPU time limit exceeded, terminating
% 167.64/156.59 eprover: CPU time limit exceeded, terminating
% 169.86/158.60 eprover: CPU time limit exceeded, terminating
% 172.00/160.62 eprover: CPU time limit exceeded, terminating
% 174.15/162.63 eprover: CPU time limit exceeded, terminating
% 176.28/164.64 eprover: CPU time limit exceeded, terminating
% 178.42/166.65 eprover: CPU time limit exceeded, terminating
% 180.56/168.66 eprover: CPU time limit exceeded, terminating
% 182.71/170.67 eprover: CPU time limit exceeded, terminating
% 184.84/172.69 eprover: CPU time limit exceeded, terminating
% 187.07/174.70 eprover: CPU time limit exceeded, terminating
% 189.23/176.71 eprover: CPU time limit exceeded, terminating
% 191.38/178.72 eprover: CPU time limit exceeded, terminating
% 193.48/180.73 eprover: CPU time limit exceeded, terminating
% 195.66/182.74 eprover: CPU time limit exceeded, terminating
% 197.80/184.75 eprover: CPU time limit exceeded, terminating
% 199.93/186.77 eprover: CPU time limit exceeded, terminating
% 202.09/188.78 eprover: CPU time limit exceeded, terminating
% 204.22/190.79 eprover: CPU time limit exceeded, terminating
% 206.44/192.80 eprover: CPU time limit exceeded, terminating
% 208.59/194.81 eprover: CPU time limit exceeded, terminating
% 210.75/196.82 eprover: CPU time limit exceeded, terminating
% 212.88/198.83 eprover: CPU time limit exceeded, terminating
% 215.04/200.84 eprover: CPU time limit exceeded, terminating
% 217.18/202.85 eprover: CPU time limit exceeded, terminating
% 219.30/204.86 eprover: CPU time limit exceeded, terminating
% 221.47/206.87 eprover: CPU time limit exceeded, terminating
% 223.61/208.88 eprover: CPU time limit exceeded, terminating
% 225.83/210.90 eprover: CPU time limit exceeded, terminating
% 227.96/212.91 eprover: CPU time limit exceeded, terminating
% 230.05/214.92 eprover: CPU time limit exceeded, terminating
% 232.12/216.93 eprover: CPU time limit exceeded, terminating
% 234.27/218.94 eprover: CPU time limit exceeded, terminating
% 236.38/220.95 eprover: CPU time limit exceeded, terminating
% 238.54/222.96 eprover: CPU time limit exceeded, terminating
% 240.70/224.98 eprover: CPU time limit exceeded, terminating
% 242.80/226.99 eprover: CPU time limit exceeded, terminating
% 245.05/229.00 eprover: CPU time limit exceeded, terminating
% 247.17/231.01 eprover: CPU time limit exceeded, terminating
% 249.35/233.02 eprover: CPU time limit exceeded, terminating
% 251.36/235.03 eprover: CPU time limit exceeded, terminating
% 253.47/237.04 eprover: CPU time limit exceeded, terminating
% 255.50/239.05 eprover: CPU time limit exceeded, terminating
% 257.62/241.06 eprover: CPU time limit exceeded, terminating
% 259.78/243.08 eprover: CPU time limit exceeded, terminating
% 262.01/245.09 eprover: CPU time limit exceeded, terminating
% 264.08/247.10 eprover: CPU time limit exceeded, terminating
% 266.24/249.11 eprover: CPU time limit exceeded, terminating
% 268.39/251.12 eprover: CPU time limit exceeded, terminating
% 270.56/253.14 eprover: CPU time limit exceeded, terminating
% 272.69/255.15 eprover: CPU time limit exceeded, terminating
% 274.79/257.16 eprover: CPU time limit exceeded, terminating
% 276.98/259.17 eprover: CPU time limit exceeded, terminating
% 279.09/261.18 eprover: CPU time limit exceeded, terminating
% 281.29/263.19 eprover: CPU time limit exceeded, terminating
% 283.36/265.20 eprover: CPU time limit exceeded, terminating
% 285.58/267.21 eprover: CPU time limit exceeded, terminating
% 287.75/269.22 eprover: CPU time limit exceeded, terminating
% 289.88/271.23 eprover: CPU time limit exceeded, terminating
% 292.00/273.25 eprover: CPU time limit exceeded, terminating
% 294.13/275.26 eprover: CPU time limit exceeded, terminating
% 296.22/277.27 eprover: CPU time limit exceeded, terminating
% 298.34/279.28 eprover: CPU time limit exceeded, terminating
% 300.09/280.98 eprover: CPU time limit exceeded, terminating
% 300.09/281.00 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------