TSTP Solution File: LAT285+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : LAT285+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n032.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 : Sun Jul 17 05:13:47 EDT 2022
% Result : Timeout 287.70s 258.73s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.05/0.10 % Problem : LAT285+2 : TPTP v8.1.0. Released v3.4.0.
% 0.05/0.10 % Command : run_infinox %s
% 0.10/0.29 % Computer : n032.cluster.edu
% 0.10/0.29 % Model : x86_64 x86_64
% 0.10/0.29 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.10/0.29 % Memory : 8042.1875MB
% 0.10/0.29 % OS : Linux 3.10.0-693.el7.x86_64
% 0.10/0.29 % CPULimit : 300
% 0.10/0.29 % WCLimit : 600
% 0.10/0.29 % DateTime : Tue Jun 28 22:17:13 EDT 2022
% 0.10/0.29 % CPUTime :
% 23.05/23.09 eprover: CPU time limit exceeded, terminating
% 25.32/25.10 eprover: CPU time limit exceeded, terminating
% 27.57/27.11 eprover: CPU time limit exceeded, terminating
% 29.85/29.13 eprover: CPU time limit exceeded, terminating
% 32.12/31.14 eprover: CPU time limit exceeded, terminating
% 34.35/33.15 eprover: CPU time limit exceeded, terminating
% 36.59/35.17 eprover: CPU time limit exceeded, terminating
% 38.85/37.18 eprover: CPU time limit exceeded, terminating
% 41.09/39.19 eprover: CPU time limit exceeded, terminating
% 43.32/41.21 eprover: CPU time limit exceeded, terminating
% 45.62/43.22 eprover: CPU time limit exceeded, terminating
% 47.85/45.24 eprover: CPU time limit exceeded, terminating
% 50.12/47.25 eprover: CPU time limit exceeded, terminating
% 52.38/49.26 eprover: CPU time limit exceeded, terminating
% 54.66/51.28 eprover: CPU time limit exceeded, terminating
% 56.94/53.29 eprover: CPU time limit exceeded, terminating
% 59.13/55.30 eprover: CPU time limit exceeded, terminating
% 61.43/57.32 eprover: CPU time limit exceeded, terminating
% 63.68/59.33 eprover: CPU time limit exceeded, terminating
% 65.93/61.35 eprover: CPU time limit exceeded, terminating
% 68.24/63.36 eprover: CPU time limit exceeded, terminating
% 70.48/65.37 eprover: CPU time limit exceeded, terminating
% 72.72/67.39 eprover: CPU time limit exceeded, terminating
% 75.00/69.40 eprover: CPU time limit exceeded, terminating
% 77.30/71.41 eprover: CPU time limit exceeded, terminating
% 79.53/73.43 eprover: CPU time limit exceeded, terminating
% 81.80/75.44 eprover: CPU time limit exceeded, terminating
% 84.07/77.46 eprover: CPU time limit exceeded, terminating
% 86.34/79.47 eprover: CPU time limit exceeded, terminating
% 88.61/81.48 eprover: CPU time limit exceeded, terminating
% 90.87/83.50 eprover: CPU time limit exceeded, terminating
% 93.19/85.51 eprover: CPU time limit exceeded, terminating
% 95.41/87.52 eprover: CPU time limit exceeded, terminating
% 97.67/89.54 eprover: CPU time limit exceeded, terminating
% 99.96/91.55 eprover: CPU time limit exceeded, terminating
% 102.22/93.56 eprover: CPU time limit exceeded, terminating
% 104.44/95.58 eprover: CPU time limit exceeded, terminating
% 106.75/97.59 eprover: CPU time limit exceeded, terminating
% 108.95/99.61 eprover: CPU time limit exceeded, terminating
% 111.28/101.62 eprover: CPU time limit exceeded, terminating
% 113.54/103.63 eprover: CPU time limit exceeded, terminating
% 115.74/105.65 eprover: CPU time limit exceeded, terminating
% 118.07/107.66 eprover: CPU time limit exceeded, terminating
% 120.36/109.68 eprover: CPU time limit exceeded, terminating
% 122.57/111.69 eprover: CPU time limit exceeded, terminating
% 124.87/113.70 eprover: CPU time limit exceeded, terminating
% 127.06/115.72 eprover: CPU time limit exceeded, terminating
% 129.36/117.73 eprover: CPU time limit exceeded, terminating
% 131.63/119.75 eprover: CPU time limit exceeded, terminating
% 133.84/121.76 eprover: CPU time limit exceeded, terminating
% 136.12/123.77 eprover: CPU time limit exceeded, terminating
% 138.42/125.79 eprover: CPU time limit exceeded, terminating
% 140.69/127.80 eprover: CPU time limit exceeded, terminating
% 142.97/129.81 eprover: CPU time limit exceeded, terminating
% 145.23/131.83 eprover: CPU time limit exceeded, terminating
% 147.48/133.84 eprover: CPU time limit exceeded, terminating
% 149.73/135.86 eprover: CPU time limit exceeded, terminating
% 151.94/137.87 eprover: CPU time limit exceeded, terminating
% 154.23/139.88 eprover: CPU time limit exceeded, terminating
% 156.53/141.90 eprover: CPU time limit exceeded, terminating
% 158.72/143.91 eprover: CPU time limit exceeded, terminating
% 161.02/145.93 eprover: CPU time limit exceeded, terminating
% 163.33/147.94 eprover: CPU time limit exceeded, terminating
% 165.58/149.96 eprover: CPU time limit exceeded, terminating
% 167.81/151.97 eprover: CPU time limit exceeded, terminating
% 170.12/153.98 eprover: CPU time limit exceeded, terminating
% 172.29/156.00 eprover: CPU time limit exceeded, terminating
% 174.61/158.01 eprover: CPU time limit exceeded, terminating
% 176.87/160.02 eprover: CPU time limit exceeded, terminating
% 179.10/162.04 eprover: CPU time limit exceeded, terminating
% 181.34/164.05 eprover: CPU time limit exceeded, terminating
% 183.56/166.07 eprover: CPU time limit exceeded, terminating
% 185.89/168.08 eprover: CPU time limit exceeded, terminating
% 188.08/170.09 eprover: CPU time limit exceeded, terminating
% 190.41/172.11 eprover: CPU time limit exceeded, terminating
% 192.67/174.12 eprover: CPU time limit exceeded, terminating
% 194.89/176.14 eprover: CPU time limit exceeded, terminating
% 197.15/178.15 eprover: CPU time limit exceeded, terminating
% 199.41/180.17 eprover: CPU time limit exceeded, terminating
% 201.74/182.18 eprover: CPU time limit exceeded, terminating
% 203.96/184.19 eprover: CPU time limit exceeded, terminating
% 206.29/186.21 eprover: CPU time limit exceeded, terminating
% 208.55/188.22 eprover: CPU time limit exceeded, terminating
% 210.78/190.24 eprover: CPU time limit exceeded, terminating
% 213.04/192.25 eprover: CPU time limit exceeded, terminating
% 215.29/194.27 eprover: CPU time limit exceeded, terminating
% 217.56/196.28 eprover: CPU time limit exceeded, terminating
% 219.89/198.30 eprover: CPU time limit exceeded, terminating
% 222.15/200.31 eprover: CPU time limit exceeded, terminating
% 224.40/202.32 eprover: CPU time limit exceeded, terminating
% 226.66/204.34 eprover: CPU time limit exceeded, terminating
% 228.88/206.35 eprover: CPU time limit exceeded, terminating
% 231.18/208.37 eprover: CPU time limit exceeded, terminating
% 233.47/210.38 eprover: CPU time limit exceeded, terminating
% 235.68/212.39 eprover: CPU time limit exceeded, terminating
% 238.00/214.41 eprover: CPU time limit exceeded, terminating
% 240.25/216.42 eprover: CPU time limit exceeded, terminating
% 242.50/218.43 eprover: CPU time limit exceeded, terminating
% 244.74/220.45 eprover: CPU time limit exceeded, terminating
% 246.98/222.46 eprover: CPU time limit exceeded, terminating
% 249.26/224.47 eprover: CPU time limit exceeded, terminating
% 251.59/226.49 eprover: CPU time limit exceeded, terminating
% 253.83/228.50 eprover: CPU time limit exceeded, terminating
% 256.09/230.52 eprover: CPU time limit exceeded, terminating
% 258.35/232.53 eprover: CPU time limit exceeded, terminating
% 260.58/234.54 eprover: CPU time limit exceeded, terminating
% 262.82/236.56 eprover: CPU time limit exceeded, terminating
% 265.12/238.57 eprover: CPU time limit exceeded, terminating
% 267.37/240.59 eprover: CPU time limit exceeded, terminating
% 269.60/242.61 eprover: CPU time limit exceeded, terminating
% 271.97/244.62 eprover: CPU time limit exceeded, terminating
% 274.18/246.63 eprover: CPU time limit exceeded, terminating
% 276.44/248.65 eprover: CPU time limit exceeded, terminating
% 278.68/250.66 eprover: CPU time limit exceeded, terminating
% 280.94/252.69 eprover: CPU time limit exceeded, terminating
% 283.25/254.70 eprover: CPU time limit exceeded, terminating
% 285.52/256.71 eprover: CPU time limit exceeded, terminating
% 287.70/258.73 eprover: CPU time limit exceeded, terminating
% 290.02/260.74 eprover: CPU time limit exceeded, terminating
% 292.31/262.77 eprover: CPU time limit exceeded, terminating
% 294.51/264.78 eprover: CPU time limit exceeded, terminating
% 296.79/266.79 eprover: CPU time limit exceeded, terminating
% 299.13/268.80 eprover: CPU time limit exceeded, terminating
% 300.05/269.58 eprover: CPU time limit exceeded, terminating
% 300.05/269.60 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------