TSTP Solution File: NUN064+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUN064+1 : TPTP v8.1.0. Released v7.3.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 : Mon Jul 18 16:27:48 EDT 2022
% Result : Timeout 286.33s 284.80s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : NUN064+1 : TPTP v8.1.0. Released v7.3.0.
% 0.07/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n023.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % 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 : Thu Jun 2 06:58:11 EDT 2022
% 0.12/0.34 % CPUTime :
% 2.21/2.41 eprover: CPU time limit exceeded, terminating
% 4.24/4.43 eprover: CPU time limit exceeded, terminating
% 6.24/6.44 eprover: CPU time limit exceeded, terminating
% 8.26/8.45 eprover: CPU time limit exceeded, terminating
% 10.24/10.46 eprover: CPU time limit exceeded, terminating
% 12.27/12.47 eprover: CPU time limit exceeded, terminating
% 14.30/14.49 eprover: CPU time limit exceeded, terminating
% 16.27/16.50 eprover: CPU time limit exceeded, terminating
% 18.34/18.51 eprover: CPU time limit exceeded, terminating
% 20.27/20.52 eprover: CPU time limit exceeded, terminating
% 22.35/22.54 eprover: CPU time limit exceeded, terminating
% 24.36/24.55 eprover: CPU time limit exceeded, terminating
% 26.41/26.57 eprover: CPU time limit exceeded, terminating
% 28.37/28.59 eprover: CPU time limit exceeded, terminating
% 30.44/30.61 eprover: CPU time limit exceeded, terminating
% 32.40/32.64 eprover: CPU time limit exceeded, terminating
% 34.44/34.66 eprover: CPU time limit exceeded, terminating
% 36.48/36.68 eprover: CPU time limit exceeded, terminating
% 38.45/38.69 eprover: CPU time limit exceeded, terminating
% 40.50/40.70 eprover: CPU time limit exceeded, terminating
% 42.54/42.72 eprover: CPU time limit exceeded, terminating
% 44.56/44.74 eprover: CPU time limit exceeded, terminating
% 46.53/46.76 eprover: CPU time limit exceeded, terminating
% 48.54/48.77 eprover: CPU time limit exceeded, terminating
% 50.58/50.79 eprover: CPU time limit exceeded, terminating
% 52.62/52.80 eprover: CPU time limit exceeded, terminating
% 54.62/54.82 eprover: CPU time limit exceeded, terminating
% 56.65/56.84 eprover: CPU time limit exceeded, terminating
% 58.62/58.86 eprover: CPU time limit exceeded, terminating
% 60.66/60.88 eprover: CPU time limit exceeded, terminating
% 62.71/62.90 eprover: CPU time limit exceeded, terminating
% 64.73/64.91 eprover: CPU time limit exceeded, terminating
% 66.68/66.93 eprover: CPU time limit exceeded, terminating
% 68.72/68.95 eprover: CPU time limit exceeded, terminating
% 70.77/70.96 eprover: CPU time limit exceeded, terminating
% 72.71/72.98 eprover: CPU time limit exceeded, terminating
% 74.77/74.99 eprover: CPU time limit exceeded, terminating
% 76.82/77.00 eprover: CPU time limit exceeded, terminating
% 78.83/79.01 eprover: CPU time limit exceeded, terminating
% 80.86/81.03 eprover: CPU time limit exceeded, terminating
% 82.81/83.05 eprover: CPU time limit exceeded, terminating
% 84.86/85.06 eprover: CPU time limit exceeded, terminating
% 86.89/87.09 eprover: CPU time limit exceeded, terminating
% 88.88/89.10 eprover: CPU time limit exceeded, terminating
% 90.91/91.12 eprover: CPU time limit exceeded, terminating
% 92.88/93.14 eprover: CPU time limit exceeded, terminating
% 94.90/95.17 eprover: CPU time limit exceeded, terminating
% 96.90/97.18 eprover: CPU time limit exceeded, terminating
% 98.95/99.19 eprover: CPU time limit exceeded, terminating
% 100.97/101.21 eprover: CPU time limit exceeded, terminating
% 102.99/103.23 eprover: CPU time limit exceeded, terminating
% 104.98/105.24 eprover: CPU time limit exceeded, terminating
% 107.01/107.26 eprover: CPU time limit exceeded, terminating
% 109.05/109.27 eprover: CPU time limit exceeded, terminating
% 110.98/111.30 eprover: CPU time limit exceeded, terminating
% 113.01/113.31 eprover: CPU time limit exceeded, terminating
% 115.06/115.33 eprover: CPU time limit exceeded, terminating
% 117.10/117.35 eprover: CPU time limit exceeded, terminating
% 119.14/119.36 eprover: CPU time limit exceeded, terminating
% 121.07/121.39 eprover: CPU time limit exceeded, terminating
% 123.16/123.42 eprover: CPU time limit exceeded, terminating
% 125.14/125.43 eprover: CPU time limit exceeded, terminating
% 127.16/127.45 eprover: CPU time limit exceeded, terminating
% 129.17/129.46 eprover: CPU time limit exceeded, terminating
% 131.23/131.48 eprover: CPU time limit exceeded, terminating
% 133.23/133.49 eprover: CPU time limit exceeded, terminating
% 135.24/135.51 eprover: CPU time limit exceeded, terminating
% 137.26/137.52 eprover: CPU time limit exceeded, terminating
% 139.25/139.54 eprover: CPU time limit exceeded, terminating
% 141.24/141.55 eprover: CPU time limit exceeded, terminating
% 143.25/143.57 eprover: CPU time limit exceeded, terminating
% 145.34/145.59 eprover: CPU time limit exceeded, terminating
% 147.34/147.61 eprover: CPU time limit exceeded, terminating
% 149.33/149.63 eprover: CPU time limit exceeded, terminating
% 151.34/151.65 eprover: CPU time limit exceeded, terminating
% 153.35/153.67 eprover: CPU time limit exceeded, terminating
% 155.32/155.68 eprover: CPU time limit exceeded, terminating
% 157.42/157.69 eprover: CPU time limit exceeded, terminating
% 159.43/159.71 eprover: CPU time limit exceeded, terminating
% 161.41/161.73 eprover: CPU time limit exceeded, terminating
% 163.44/163.74 eprover: CPU time limit exceeded, terminating
% 165.40/165.79 eprover: CPU time limit exceeded, terminating
% 167.50/167.81 eprover: CPU time limit exceeded, terminating
% 169.51/169.82 eprover: CPU time limit exceeded, terminating
% 171.53/171.83 eprover: CPU time limit exceeded, terminating
% 173.52/173.85 eprover: CPU time limit exceeded, terminating
% 175.50/175.86 eprover: CPU time limit exceeded, terminating
% 177.53/177.87 eprover: CPU time limit exceeded, terminating
% 179.59/179.89 eprover: CPU time limit exceeded, terminating
% 181.60/181.91 eprover: CPU time limit exceeded, terminating
% 183.62/183.92 eprover: CPU time limit exceeded, terminating
% 185.62/185.94 eprover: CPU time limit exceeded, terminating
% 187.63/187.96 eprover: CPU time limit exceeded, terminating
% 189.63/189.97 eprover: CPU time limit exceeded, terminating
% 191.60/191.98 eprover: CPU time limit exceeded, terminating
% 193.70/194.00 eprover: CPU time limit exceeded, terminating
% 195.71/196.01 eprover: CPU time limit exceeded, terminating
% 197.72/198.03 eprover: CPU time limit exceeded, terminating
% 199.72/200.06 eprover: CPU time limit exceeded, terminating
% 201.78/202.10 eprover: CPU time limit exceeded, terminating
% 203.76/204.12 eprover: CPU time limit exceeded, terminating
% 205.77/206.13 eprover: CPU time limit exceeded, terminating
% 207.80/208.15 eprover: CPU time limit exceeded, terminating
% 209.74/210.16 eprover: CPU time limit exceeded, terminating
% 211.79/212.18 eprover: CPU time limit exceeded, terminating
% 213.86/214.19 eprover: CPU time limit exceeded, terminating
% 215.80/216.21 eprover: CPU time limit exceeded, terminating
% 217.85/218.23 eprover: CPU time limit exceeded, terminating
% 219.89/220.25 eprover: CPU time limit exceeded, terminating
% 221.92/222.28 eprover: CPU time limit exceeded, terminating
% 223.91/224.30 eprover: CPU time limit exceeded, terminating
% 225.94/226.31 eprover: CPU time limit exceeded, terminating
% 227.95/228.33 eprover: CPU time limit exceeded, terminating
% 229.95/230.34 eprover: CPU time limit exceeded, terminating
% 232.00/232.35 eprover: CPU time limit exceeded, terminating
% 234.01/234.37 eprover: CPU time limit exceeded, terminating
% 235.98/236.39 eprover: CPU time limit exceeded, terminating
% 238.00/238.40 eprover: CPU time limit exceeded, terminating
% 240.04/240.42 eprover: CPU time limit exceeded, terminating
% 242.03/242.43 eprover: CPU time limit exceeded, terminating
% 244.11/244.45 eprover: CPU time limit exceeded, terminating
% 246.12/246.47 eprover: CPU time limit exceeded, terminating
% 250.09/248.49 eprover: CPU time limit exceeded, terminating
% 252.10/250.51 eprover: CPU time limit exceeded, terminating
% 254.09/252.52 eprover: CPU time limit exceeded, terminating
% 256.16/254.54 eprover: CPU time limit exceeded, terminating
% 258.16/256.56 eprover: CPU time limit exceeded, terminating
% 260.20/258.58 eprover: CPU time limit exceeded, terminating
% 262.18/260.60 eprover: CPU time limit exceeded, terminating
% 264.21/262.62 eprover: CPU time limit exceeded, terminating
% 266.18/264.63 eprover: CPU time limit exceeded, terminating
% 268.23/266.64 eprover: CPU time limit exceeded, terminating
% 270.20/268.66 eprover: CPU time limit exceeded, terminating
% 272.26/270.67 eprover: CPU time limit exceeded, terminating
% 274.29/272.68 eprover: CPU time limit exceeded, terminating
% 276.32/274.70 eprover: CPU time limit exceeded, terminating
% 278.33/276.72 eprover: CPU time limit exceeded, terminating
% 280.34/278.74 eprover: CPU time limit exceeded, terminating
% 282.32/280.76 eprover: CPU time limit exceeded, terminating
% 284.38/282.78 eprover: CPU time limit exceeded, terminating
% 286.33/284.80 eprover: CPU time limit exceeded, terminating
% 288.40/286.82 eprover: CPU time limit exceeded, terminating
% 290.38/288.84 eprover: CPU time limit exceeded, terminating
% 292.41/290.86 eprover: CPU time limit exceeded, terminating
% 294.40/292.87 eprover: CPU time limit exceeded, terminating
% 296.39/294.88 eprover: CPU time limit exceeded, terminating
% 298.41/296.90 eprover: CPU time limit exceeded, terminating
% 300.09/298.50 eprover: CPU time limit exceeded, terminating
% 300.09/298.52 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------