TSTP Solution File: CSR115+49 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR115+49 : 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:32 EDT 2022
% Result : Timeout 285.91s 267.35s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.12 % Problem : CSR115+49 : TPTP v8.1.0. Released v4.0.0.
% 0.11/0.13 % Command : run_infinox %s
% 0.12/0.34 % Computer : n020.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 600
% 0.12/0.34 % DateTime : Fri Jun 10 09:24:21 EDT 2022
% 0.12/0.34 % CPUTime :
% 3.76/3.87 eprover: CPU time limit exceeded, terminating
% 5.92/5.88 eprover: CPU time limit exceeded, terminating
% 8.07/7.90 eprover: CPU time limit exceeded, terminating
% 10.28/9.91 eprover: CPU time limit exceeded, terminating
% 12.43/11.92 eprover: CPU time limit exceeded, terminating
% 14.64/13.93 eprover: CPU time limit exceeded, terminating
% 16.75/15.94 eprover: CPU time limit exceeded, terminating
% 18.89/17.95 eprover: CPU time limit exceeded, terminating
% 21.02/19.96 eprover: CPU time limit exceeded, terminating
% 23.19/21.97 eprover: CPU time limit exceeded, terminating
% 25.42/23.99 eprover: CPU time limit exceeded, terminating
% 27.58/26.00 eprover: CPU time limit exceeded, terminating
% 29.64/28.01 eprover: CPU time limit exceeded, terminating
% 31.90/30.02 eprover: CPU time limit exceeded, terminating
% 34.08/32.03 eprover: CPU time limit exceeded, terminating
% 36.20/34.04 eprover: CPU time limit exceeded, terminating
% 38.39/36.05 eprover: CPU time limit exceeded, terminating
% 40.50/38.06 eprover: CPU time limit exceeded, terminating
% 42.64/40.07 eprover: CPU time limit exceeded, terminating
% 44.89/42.08 eprover: CPU time limit exceeded, terminating
% 46.98/44.10 eprover: CPU time limit exceeded, terminating
% 49.20/46.11 eprover: CPU time limit exceeded, terminating
% 51.37/48.12 eprover: CPU time limit exceeded, terminating
% 53.52/50.13 eprover: CPU time limit exceeded, terminating
% 55.66/52.14 eprover: CPU time limit exceeded, terminating
% 57.84/54.15 eprover: CPU time limit exceeded, terminating
% 60.00/56.16 eprover: CPU time limit exceeded, terminating
% 62.13/58.17 eprover: CPU time limit exceeded, terminating
% 64.34/60.19 eprover: CPU time limit exceeded, terminating
% 66.44/62.20 eprover: CPU time limit exceeded, terminating
% 68.69/64.21 eprover: CPU time limit exceeded, terminating
% 70.82/66.22 eprover: CPU time limit exceeded, terminating
% 72.96/68.23 eprover: CPU time limit exceeded, terminating
% 75.13/70.24 eprover: CPU time limit exceeded, terminating
% 77.30/72.25 eprover: CPU time limit exceeded, terminating
% 79.42/74.26 eprover: CPU time limit exceeded, terminating
% 81.50/76.28 eprover: CPU time limit exceeded, terminating
% 83.59/78.29 eprover: CPU time limit exceeded, terminating
% 85.79/80.30 eprover: CPU time limit exceeded, terminating
% 87.94/82.31 eprover: CPU time limit exceeded, terminating
% 90.13/84.32 eprover: CPU time limit exceeded, terminating
% 92.27/86.33 eprover: CPU time limit exceeded, terminating
% 94.41/88.34 eprover: CPU time limit exceeded, terminating
% 96.58/90.35 eprover: CPU time limit exceeded, terminating
% 98.71/92.36 eprover: CPU time limit exceeded, terminating
% 100.92/94.37 eprover: CPU time limit exceeded, terminating
% 103.01/96.39 eprover: CPU time limit exceeded, terminating
% 105.16/98.40 eprover: CPU time limit exceeded, terminating
% 107.40/100.41 eprover: CPU time limit exceeded, terminating
% 109.55/102.42 eprover: CPU time limit exceeded, terminating
% 111.67/104.43 eprover: CPU time limit exceeded, terminating
% 113.85/106.44 eprover: CPU time limit exceeded, terminating
% 115.98/108.45 eprover: CPU time limit exceeded, terminating
% 118.17/110.46 eprover: CPU time limit exceeded, terminating
% 120.38/112.47 eprover: CPU time limit exceeded, terminating
% 122.53/114.48 eprover: CPU time limit exceeded, terminating
% 124.67/116.49 eprover: CPU time limit exceeded, terminating
% 126.85/118.50 eprover: CPU time limit exceeded, terminating
% 128.99/120.52 eprover: CPU time limit exceeded, terminating
% 131.14/122.53 eprover: CPU time limit exceeded, terminating
% 133.32/124.54 eprover: CPU time limit exceeded, terminating
% 135.46/126.55 eprover: CPU time limit exceeded, terminating
% 137.64/128.56 eprover: CPU time limit exceeded, terminating
% 139.77/130.57 eprover: CPU time limit exceeded, terminating
% 141.89/132.58 eprover: CPU time limit exceeded, terminating
% 144.09/134.59 eprover: CPU time limit exceeded, terminating
% 146.26/136.60 eprover: CPU time limit exceeded, terminating
% 148.38/138.61 eprover: CPU time limit exceeded, terminating
% 150.52/140.62 eprover: CPU time limit exceeded, terminating
% 152.71/142.64 eprover: CPU time limit exceeded, terminating
% 154.88/144.65 eprover: CPU time limit exceeded, terminating
% 157.05/146.66 eprover: CPU time limit exceeded, terminating
% 159.18/148.67 eprover: CPU time limit exceeded, terminating
% 161.35/150.68 eprover: CPU time limit exceeded, terminating
% 163.54/152.69 eprover: CPU time limit exceeded, terminating
% 165.66/154.70 eprover: CPU time limit exceeded, terminating
% 167.80/156.71 eprover: CPU time limit exceeded, terminating
% 169.96/158.72 eprover: CPU time limit exceeded, terminating
% 172.17/160.73 eprover: CPU time limit exceeded, terminating
% 174.29/162.74 eprover: CPU time limit exceeded, terminating
% 176.49/164.76 eprover: CPU time limit exceeded, terminating
% 178.62/166.77 eprover: CPU time limit exceeded, terminating
% 180.77/168.78 eprover: CPU time limit exceeded, terminating
% 182.96/170.79 eprover: CPU time limit exceeded, terminating
% 185.12/172.80 eprover: CPU time limit exceeded, terminating
% 187.25/174.81 eprover: CPU time limit exceeded, terminating
% 189.41/176.82 eprover: CPU time limit exceeded, terminating
% 191.53/178.83 eprover: CPU time limit exceeded, terminating
% 193.67/180.84 eprover: CPU time limit exceeded, terminating
% 195.85/182.85 eprover: CPU time limit exceeded, terminating
% 198.09/184.87 eprover: CPU time limit exceeded, terminating
% 200.21/186.88 eprover: CPU time limit exceeded, terminating
% 202.37/188.89 eprover: CPU time limit exceeded, terminating
% 204.50/190.90 eprover: CPU time limit exceeded, terminating
% 206.68/192.91 eprover: CPU time limit exceeded, terminating
% 208.87/194.92 eprover: CPU time limit exceeded, terminating
% 210.98/196.93 eprover: CPU time limit exceeded, terminating
% 213.19/198.95 eprover: CPU time limit exceeded, terminating
% 215.34/200.96 eprover: CPU time limit exceeded, terminating
% 217.51/202.97 eprover: CPU time limit exceeded, terminating
% 219.65/204.98 eprover: CPU time limit exceeded, terminating
% 221.82/206.99 eprover: CPU time limit exceeded, terminating
% 223.93/209.01 eprover: CPU time limit exceeded, terminating
% 226.12/211.02 eprover: CPU time limit exceeded, terminating
% 228.26/213.03 eprover: CPU time limit exceeded, terminating
% 230.34/215.07 eprover: CPU time limit exceeded, terminating
% 232.42/217.08 eprover: CPU time limit exceeded, terminating
% 234.60/219.10 eprover: CPU time limit exceeded, terminating
% 236.71/221.11 eprover: CPU time limit exceeded, terminating
% 238.85/223.12 eprover: CPU time limit exceeded, terminating
% 241.03/225.13 eprover: CPU time limit exceeded, terminating
% 243.23/227.14 eprover: CPU time limit exceeded, terminating
% 245.34/229.15 eprover: CPU time limit exceeded, terminating
% 247.52/231.16 eprover: CPU time limit exceeded, terminating
% 249.65/233.17 eprover: CPU time limit exceeded, terminating
% 251.72/235.18 eprover: CPU time limit exceeded, terminating
% 253.80/237.19 eprover: CPU time limit exceeded, terminating
% 255.87/239.20 eprover: CPU time limit exceeded, terminating
% 257.96/241.21 eprover: CPU time limit exceeded, terminating
% 260.14/243.22 eprover: CPU time limit exceeded, terminating
% 262.30/245.23 eprover: CPU time limit exceeded, terminating
% 264.40/247.24 eprover: CPU time limit exceeded, terminating
% 266.53/249.26 eprover: CPU time limit exceeded, terminating
% 268.72/251.27 eprover: CPU time limit exceeded, terminating
% 270.86/253.28 eprover: CPU time limit exceeded, terminating
% 273.02/255.29 eprover: CPU time limit exceeded, terminating
% 275.18/257.30 eprover: CPU time limit exceeded, terminating
% 277.31/259.31 eprover: CPU time limit exceeded, terminating
% 279.43/261.32 eprover: CPU time limit exceeded, terminating
% 281.57/263.33 eprover: CPU time limit exceeded, terminating
% 283.80/265.34 eprover: CPU time limit exceeded, terminating
% 285.91/267.35 eprover: CPU time limit exceeded, terminating
% 288.07/269.36 eprover: CPU time limit exceeded, terminating
% 290.25/271.38 eprover: CPU time limit exceeded, terminating
% 292.37/273.39 eprover: CPU time limit exceeded, terminating
% 294.48/275.40 eprover: CPU time limit exceeded, terminating
% 296.59/277.41 eprover: CPU time limit exceeded, terminating
% 298.63/279.42 eprover: CPU time limit exceeded, terminating
% 300.01/280.70 eprover: CPU time limit exceeded, terminating
% 300.01/280.71 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------