TSTP Solution File: CSR050+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR050+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n013.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:34:34 EDT 2022
% Result : Timeout 286.33s 212.91s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.12/0.12 % Problem : CSR050+4 : TPTP v8.1.0. Released v3.4.0.
% 0.12/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n013.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Sat Jun 11 17:50:29 EDT 2022
% 0.13/0.35 % CPUTime :
% 15.47/14.83 eprover: CPU time limit exceeded, terminating
% 18.19/16.85 eprover: CPU time limit exceeded, terminating
% 21.01/18.87 eprover: CPU time limit exceeded, terminating
% 23.72/20.89 eprover: CPU time limit exceeded, terminating
% 26.58/22.91 eprover: CPU time limit exceeded, terminating
% 29.39/24.93 eprover: CPU time limit exceeded, terminating
% 32.04/26.96 eprover: CPU time limit exceeded, terminating
% 34.83/28.98 eprover: CPU time limit exceeded, terminating
% 37.59/30.99 eprover: CPU time limit exceeded, terminating
% 40.41/33.02 eprover: CPU time limit exceeded, terminating
% 43.20/35.04 eprover: CPU time limit exceeded, terminating
% 45.94/37.06 eprover: CPU time limit exceeded, terminating
% 48.70/39.08 eprover: CPU time limit exceeded, terminating
% 51.51/41.10 eprover: CPU time limit exceeded, terminating
% 54.28/43.12 eprover: CPU time limit exceeded, terminating
% 57.00/45.15 eprover: CPU time limit exceeded, terminating
% 59.78/47.17 eprover: CPU time limit exceeded, terminating
% 62.54/49.19 eprover: CPU time limit exceeded, terminating
% 65.28/51.21 eprover: CPU time limit exceeded, terminating
% 68.09/53.23 eprover: CPU time limit exceeded, terminating
% 70.83/55.25 eprover: CPU time limit exceeded, terminating
% 73.57/57.27 eprover: CPU time limit exceeded, terminating
% 76.39/59.29 eprover: CPU time limit exceeded, terminating
% 79.12/61.31 eprover: CPU time limit exceeded, terminating
% 81.90/63.33 eprover: CPU time limit exceeded, terminating
% 84.61/65.35 eprover: CPU time limit exceeded, terminating
% 87.30/67.37 eprover: CPU time limit exceeded, terminating
% 90.13/69.40 eprover: CPU time limit exceeded, terminating
% 92.90/71.42 eprover: CPU time limit exceeded, terminating
% 95.60/73.44 eprover: CPU time limit exceeded, terminating
% 98.32/75.46 eprover: CPU time limit exceeded, terminating
% 101.09/77.48 eprover: CPU time limit exceeded, terminating
% 103.89/79.50 eprover: CPU time limit exceeded, terminating
% 106.64/81.52 eprover: CPU time limit exceeded, terminating
% 109.40/83.54 eprover: CPU time limit exceeded, terminating
% 112.15/85.56 eprover: CPU time limit exceeded, terminating
% 114.94/87.58 eprover: CPU time limit exceeded, terminating
% 117.71/89.61 eprover: CPU time limit exceeded, terminating
% 120.50/91.63 eprover: CPU time limit exceeded, terminating
% 123.21/93.65 eprover: CPU time limit exceeded, terminating
% 126.00/95.67 eprover: CPU time limit exceeded, terminating
% 128.83/97.69 eprover: CPU time limit exceeded, terminating
% 131.62/99.71 eprover: CPU time limit exceeded, terminating
% 134.37/101.73 eprover: CPU time limit exceeded, terminating
% 137.11/103.75 eprover: CPU time limit exceeded, terminating
% 139.89/105.77 eprover: CPU time limit exceeded, terminating
% 142.60/107.79 eprover: CPU time limit exceeded, terminating
% 145.42/109.82 eprover: CPU time limit exceeded, terminating
% 148.20/111.84 eprover: CPU time limit exceeded, terminating
% 150.92/113.86 eprover: CPU time limit exceeded, terminating
% 153.73/115.88 eprover: CPU time limit exceeded, terminating
% 156.42/117.90 eprover: CPU time limit exceeded, terminating
% 159.21/119.92 eprover: CPU time limit exceeded, terminating
% 161.96/121.94 eprover: CPU time limit exceeded, terminating
% 164.73/123.96 eprover: CPU time limit exceeded, terminating
% 167.53/125.98 eprover: CPU time limit exceeded, terminating
% 170.22/128.00 eprover: CPU time limit exceeded, terminating
% 173.06/130.02 eprover: CPU time limit exceeded, terminating
% 175.78/132.04 eprover: CPU time limit exceeded, terminating
% 178.61/134.07 eprover: CPU time limit exceeded, terminating
% 181.34/136.09 eprover: CPU time limit exceeded, terminating
% 184.13/138.11 eprover: CPU time limit exceeded, terminating
% 186.86/140.13 eprover: CPU time limit exceeded, terminating
% 189.58/142.15 eprover: CPU time limit exceeded, terminating
% 192.32/144.17 eprover: CPU time limit exceeded, terminating
% 195.15/146.20 eprover: CPU time limit exceeded, terminating
% 197.88/148.22 eprover: CPU time limit exceeded, terminating
% 200.60/150.24 eprover: CPU time limit exceeded, terminating
% 203.30/152.26 eprover: CPU time limit exceeded, terminating
% 206.00/154.28 eprover: CPU time limit exceeded, terminating
% 208.86/156.30 eprover: CPU time limit exceeded, terminating
% 211.60/158.32 eprover: CPU time limit exceeded, terminating
% 214.37/160.34 eprover: CPU time limit exceeded, terminating
% 217.08/162.37 eprover: CPU time limit exceeded, terminating
% 219.88/164.39 eprover: CPU time limit exceeded, terminating
% 222.64/166.41 eprover: CPU time limit exceeded, terminating
% 225.41/168.43 eprover: CPU time limit exceeded, terminating
% 228.12/170.45 eprover: CPU time limit exceeded, terminating
% 230.91/172.47 eprover: CPU time limit exceeded, terminating
% 233.75/174.50 eprover: CPU time limit exceeded, terminating
% 236.50/176.52 eprover: CPU time limit exceeded, terminating
% 239.28/178.54 eprover: CPU time limit exceeded, terminating
% 241.99/180.56 eprover: CPU time limit exceeded, terminating
% 244.78/182.58 eprover: CPU time limit exceeded, terminating
% 247.57/184.60 eprover: CPU time limit exceeded, terminating
% 250.34/186.62 eprover: CPU time limit exceeded, terminating
% 253.02/188.65 eprover: CPU time limit exceeded, terminating
% 255.78/190.67 eprover: CPU time limit exceeded, terminating
% 258.62/192.69 eprover: CPU time limit exceeded, terminating
% 261.29/194.71 eprover: CPU time limit exceeded, terminating
% 264.15/196.73 eprover: CPU time limit exceeded, terminating
% 266.87/198.76 eprover: CPU time limit exceeded, terminating
% 269.65/200.78 eprover: CPU time limit exceeded, terminating
% 272.41/202.80 eprover: CPU time limit exceeded, terminating
% 275.25/204.82 eprover: CPU time limit exceeded, terminating
% 278.00/206.84 eprover: CPU time limit exceeded, terminating
% 280.76/208.87 eprover: CPU time limit exceeded, terminating
% 283.58/210.89 eprover: CPU time limit exceeded, terminating
% 286.33/212.91 eprover: CPU time limit exceeded, terminating
% 289.07/214.93 eprover: CPU time limit exceeded, terminating
% 291.92/216.96 eprover: CPU time limit exceeded, terminating
% 294.66/218.98 eprover: CPU time limit exceeded, terminating
% 297.51/221.00 eprover: CPU time limit exceeded, terminating
% 300.07/222.81 eprover: CPU time limit exceeded, terminating
% 300.07/222.83 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------