TSTP Solution File: SET414-6 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SET414-6 : TPTP v8.1.0. Bugfixed v2.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n023.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 : Tue Jul 19 01:55:21 EDT 2022
% Result : Timeout 287.12s 286.82s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.14 % Problem : SET414-6 : TPTP v8.1.0. Bugfixed v2.1.0.
% 0.04/0.15 % Command : run_infinox %s
% 0.15/0.37 % Computer : n023.cluster.edu
% 0.15/0.37 % Model : x86_64 x86_64
% 0.15/0.37 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.15/0.37 % Memory : 8042.1875MB
% 0.15/0.37 % OS : Linux 3.10.0-693.el7.x86_64
% 0.15/0.37 % CPULimit : 300
% 0.15/0.37 % WCLimit : 600
% 0.15/0.37 % DateTime : Sat Jul 9 18:58:40 EDT 2022
% 0.22/0.37 % CPUTime :
% 2.27/2.48 eprover: CPU time limit exceeded, terminating
% 4.31/4.50 eprover: CPU time limit exceeded, terminating
% 6.29/6.51 eprover: CPU time limit exceeded, terminating
% 8.38/8.53 eprover: CPU time limit exceeded, terminating
% 10.30/10.55 eprover: CPU time limit exceeded, terminating
% 12.41/12.56 eprover: CPU time limit exceeded, terminating
% 14.41/14.58 eprover: CPU time limit exceeded, terminating
% 16.44/16.60 eprover: CPU time limit exceeded, terminating
% 18.44/18.62 eprover: CPU time limit exceeded, terminating
% 20.48/20.64 eprover: CPU time limit exceeded, terminating
% 22.52/22.66 eprover: CPU time limit exceeded, terminating
% 24.53/24.69 eprover: CPU time limit exceeded, terminating
% 26.50/26.71 eprover: CPU time limit exceeded, terminating
% 28.51/28.72 eprover: CPU time limit exceeded, terminating
% 30.61/30.75 eprover: CPU time limit exceeded, terminating
% 32.60/32.76 eprover: CPU time limit exceeded, terminating
% 34.63/34.78 eprover: CPU time limit exceeded, terminating
% 36.65/36.79 eprover: CPU time limit exceeded, terminating
% 38.62/38.82 eprover: CPU time limit exceeded, terminating
% 40.63/40.84 eprover: CPU time limit exceeded, terminating
% 42.71/42.86 eprover: CPU time limit exceeded, terminating
% 44.73/44.88 eprover: CPU time limit exceeded, terminating
% 46.78/46.89 eprover: CPU time limit exceeded, terminating
% 48.79/48.91 eprover: CPU time limit exceeded, terminating
% 50.78/50.93 eprover: CPU time limit exceeded, terminating
% 52.79/52.95 eprover: CPU time limit exceeded, terminating
% 54.85/54.97 eprover: CPU time limit exceeded, terminating
% 56.88/56.98 eprover: CPU time limit exceeded, terminating
% 58.83/59.02 eprover: CPU time limit exceeded, terminating
% 60.92/61.03 eprover: CPU time limit exceeded, terminating
% 62.87/63.05 eprover: CPU time limit exceeded, terminating
% 64.94/65.07 eprover: CPU time limit exceeded, terminating
% 66.97/67.09 eprover: CPU time limit exceeded, terminating
% 68.94/69.10 eprover: CPU time limit exceeded, terminating
% 70.98/71.12 eprover: CPU time limit exceeded, terminating
% 73.02/73.14 eprover: CPU time limit exceeded, terminating
% 75.06/75.16 eprover: CPU time limit exceeded, terminating
% 77.02/77.18 eprover: CPU time limit exceeded, terminating
% 79.05/79.20 eprover: CPU time limit exceeded, terminating
% 81.10/81.21 eprover: CPU time limit exceeded, terminating
% 83.10/83.23 eprover: CPU time limit exceeded, terminating
% 85.10/85.25 eprover: CPU time limit exceeded, terminating
% 87.18/87.27 eprover: CPU time limit exceeded, terminating
% 89.18/89.28 eprover: CPU time limit exceeded, terminating
% 91.20/91.30 eprover: CPU time limit exceeded, terminating
% 93.18/93.33 eprover: CPU time limit exceeded, terminating
% 95.25/95.34 eprover: CPU time limit exceeded, terminating
% 97.27/97.36 eprover: CPU time limit exceeded, terminating
% 99.26/99.38 eprover: CPU time limit exceeded, terminating
% 101.28/101.40 eprover: CPU time limit exceeded, terminating
% 103.34/103.42 eprover: CPU time limit exceeded, terminating
% 105.37/105.43 eprover: CPU time limit exceeded, terminating
% 107.38/107.48 eprover: CPU time limit exceeded, terminating
% 109.41/109.49 eprover: CPU time limit exceeded, terminating
% 111.38/111.52 eprover: CPU time limit exceeded, terminating
% 113.41/113.53 eprover: CPU time limit exceeded, terminating
% 115.46/115.56 eprover: CPU time limit exceeded, terminating
% 117.48/117.57 eprover: CPU time limit exceeded, terminating
% 119.48/119.60 eprover: CPU time limit exceeded, terminating
% 121.53/121.61 eprover: CPU time limit exceeded, terminating
% 123.56/123.63 eprover: CPU time limit exceeded, terminating
% 125.51/125.65 eprover: CPU time limit exceeded, terminating
% 127.61/127.66 eprover: CPU time limit exceeded, terminating
% 129.63/129.68 eprover: CPU time limit exceeded, terminating
% 131.59/131.70 eprover: CPU time limit exceeded, terminating
% 133.62/133.73 eprover: CPU time limit exceeded, terminating
% 135.66/135.74 eprover: CPU time limit exceeded, terminating
% 137.64/137.75 eprover: CPU time limit exceeded, terminating
% 139.70/139.77 eprover: CPU time limit exceeded, terminating
% 141.72/141.79 eprover: CPU time limit exceeded, terminating
% 143.75/143.80 eprover: CPU time limit exceeded, terminating
% 145.73/145.82 eprover: CPU time limit exceeded, terminating
% 147.81/147.83 eprover: CPU time limit exceeded, terminating
% 149.83/149.85 eprover: CPU time limit exceeded, terminating
% 151.82/151.86 eprover: CPU time limit exceeded, terminating
% 153.85/153.88 eprover: CPU time limit exceeded, terminating
% 155.84/155.89 eprover: CPU time limit exceeded, terminating
% 157.88/157.90 eprover: CPU time limit exceeded, terminating
% 159.92/159.91 eprover: CPU time limit exceeded, terminating
% 161.95/161.93 eprover: CPU time limit exceeded, terminating
% 163.87/163.94 eprover: CPU time limit exceeded, terminating
% 165.87/165.95 eprover: CPU time limit exceeded, terminating
% 167.96/167.96 eprover: CPU time limit exceeded, terminating
% 169.98/169.98 eprover: CPU time limit exceeded, terminating
% 172.04/172.00 eprover: CPU time limit exceeded, terminating
% 173.98/174.00 eprover: CPU time limit exceeded, terminating
% 176.04/176.02 eprover: CPU time limit exceeded, terminating
% 178.07/178.03 eprover: CPU time limit exceeded, terminating
% 180.07/180.04 eprover: CPU time limit exceeded, terminating
% 182.11/182.05 eprover: CPU time limit exceeded, terminating
% 184.11/184.06 eprover: CPU time limit exceeded, terminating
% 186.11/186.07 eprover: CPU time limit exceeded, terminating
% 188.13/188.08 eprover: CPU time limit exceeded, terminating
% 190.14/190.09 eprover: CPU time limit exceeded, terminating
% 192.16/192.10 eprover: CPU time limit exceeded, terminating
% 194.20/194.11 eprover: CPU time limit exceeded, terminating
% 196.18/196.12 eprover: CPU time limit exceeded, terminating
% 198.22/198.14 eprover: CPU time limit exceeded, terminating
% 200.21/200.15 eprover: CPU time limit exceeded, terminating
% 202.27/202.17 eprover: CPU time limit exceeded, terminating
% 204.27/204.18 eprover: CPU time limit exceeded, terminating
% 206.25/206.20 eprover: CPU time limit exceeded, terminating
% 208.33/208.21 eprover: CPU time limit exceeded, terminating
% 210.32/210.23 eprover: CPU time limit exceeded, terminating
% 212.38/212.24 eprover: CPU time limit exceeded, terminating
% 214.40/214.26 eprover: CPU time limit exceeded, terminating
% 216.42/216.28 eprover: CPU time limit exceeded, terminating
% 218.42/218.29 eprover: CPU time limit exceeded, terminating
% 220.40/220.31 eprover: CPU time limit exceeded, terminating
% 222.43/222.32 eprover: CPU time limit exceeded, terminating
% 224.46/224.34 eprover: CPU time limit exceeded, terminating
% 226.53/226.36 eprover: CPU time limit exceeded, terminating
% 228.54/228.37 eprover: CPU time limit exceeded, terminating
% 230.51/230.39 eprover: CPU time limit exceeded, terminating
% 232.58/232.40 eprover: CPU time limit exceeded, terminating
% 234.59/234.42 eprover: CPU time limit exceeded, terminating
% 236.61/236.43 eprover: CPU time limit exceeded, terminating
% 238.65/238.45 eprover: CPU time limit exceeded, terminating
% 240.65/240.46 eprover: CPU time limit exceeded, terminating
% 242.68/242.48 eprover: CPU time limit exceeded, terminating
% 244.68/244.49 eprover: CPU time limit exceeded, terminating
% 246.69/246.51 eprover: CPU time limit exceeded, terminating
% 248.72/248.53 eprover: CPU time limit exceeded, terminating
% 250.77/250.54 eprover: CPU time limit exceeded, terminating
% 252.76/252.56 eprover: CPU time limit exceeded, terminating
% 254.81/254.57 eprover: CPU time limit exceeded, terminating
% 256.83/256.59 eprover: CPU time limit exceeded, terminating
% 258.86/258.60 eprover: CPU time limit exceeded, terminating
% 260.83/260.62 eprover: CPU time limit exceeded, terminating
% 262.88/262.63 eprover: CPU time limit exceeded, terminating
% 264.92/264.65 eprover: CPU time limit exceeded, terminating
% 266.89/266.67 eprover: CPU time limit exceeded, terminating
% 268.97/268.68 eprover: CPU time limit exceeded, terminating
% 270.97/270.70 eprover: CPU time limit exceeded, terminating
% 272.92/272.71 eprover: CPU time limit exceeded, terminating
% 274.99/274.73 eprover: CPU time limit exceeded, terminating
% 277.07/276.74 eprover: CPU time limit exceeded, terminating
% 279.02/278.76 eprover: CPU time limit exceeded, terminating
% 281.06/280.77 eprover: CPU time limit exceeded, terminating
% 283.08/282.79 eprover: CPU time limit exceeded, terminating
% 285.09/284.80 eprover: CPU time limit exceeded, terminating
% 287.12/286.82 eprover: CPU time limit exceeded, terminating
% 289.15/288.84 eprover: CPU time limit exceeded, terminating
% 291.16/290.85 eprover: CPU time limit exceeded, terminating
% 293.21/292.86 eprover: CPU time limit exceeded, terminating
% 295.21/294.88 eprover: CPU time limit exceeded, terminating
% 297.22/296.90 eprover: CPU time limit exceeded, terminating
% 299.26/298.92 eprover: CPU time limit exceeded, terminating
% 300.06/299.68 eprover: CPU time limit exceeded, terminating
% 300.06/299.70 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------