TSTP Solution File: NUM670+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM670+4 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n009.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 10:39:22 EDT 2022
% Result : Timeout 286.02s 282.36s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.11 % Problem : NUM670+4 : TPTP v8.1.0. Released v7.3.0.
% 0.06/0.11 % Command : run_infinox %s
% 0.11/0.32 % Computer : n009.cluster.edu
% 0.11/0.32 % Model : x86_64 x86_64
% 0.11/0.32 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.11/0.32 % Memory : 8042.1875MB
% 0.11/0.32 % OS : Linux 3.10.0-693.el7.x86_64
% 0.11/0.32 % CPULimit : 300
% 0.11/0.32 % WCLimit : 600
% 0.11/0.32 % DateTime : Tue Jul 5 20:15:07 EDT 2022
% 0.11/0.32 % CPUTime :
% 2.93/3.14 eprover: CPU time limit exceeded, terminating
% 5.02/5.15 eprover: CPU time limit exceeded, terminating
% 7.00/7.16 eprover: CPU time limit exceeded, terminating
% 9.07/9.17 eprover: CPU time limit exceeded, terminating
% 11.12/11.17 eprover: CPU time limit exceeded, terminating
% 13.11/13.18 eprover: CPU time limit exceeded, terminating
% 15.16/15.19 eprover: CPU time limit exceeded, terminating
% 17.22/17.20 eprover: CPU time limit exceeded, terminating
% 19.22/19.21 eprover: CPU time limit exceeded, terminating
% 21.25/21.22 eprover: CPU time limit exceeded, terminating
% 23.32/23.23 eprover: CPU time limit exceeded, terminating
% 25.36/25.23 eprover: CPU time limit exceeded, terminating
% 27.34/27.24 eprover: CPU time limit exceeded, terminating
% 29.44/29.25 eprover: CPU time limit exceeded, terminating
% 31.39/31.26 eprover: CPU time limit exceeded, terminating
% 33.49/33.27 eprover: CPU time limit exceeded, terminating
% 35.52/35.28 eprover: CPU time limit exceeded, terminating
% 37.59/37.29 eprover: CPU time limit exceeded, terminating
% 39.63/39.30 eprover: CPU time limit exceeded, terminating
% 41.68/41.31 eprover: CPU time limit exceeded, terminating
% 43.70/43.32 eprover: CPU time limit exceeded, terminating
% 45.76/45.33 eprover: CPU time limit exceeded, terminating
% 47.78/47.34 eprover: CPU time limit exceeded, terminating
% 49.80/49.34 eprover: CPU time limit exceeded, terminating
% 51.79/51.35 eprover: CPU time limit exceeded, terminating
% 53.85/53.36 eprover: CPU time limit exceeded, terminating
% 55.90/55.37 eprover: CPU time limit exceeded, terminating
% 57.96/57.38 eprover: CPU time limit exceeded, terminating
% 59.98/59.39 eprover: CPU time limit exceeded, terminating
% 61.97/61.40 eprover: CPU time limit exceeded, terminating
% 64.04/63.40 eprover: CPU time limit exceeded, terminating
% 66.10/65.41 eprover: CPU time limit exceeded, terminating
% 68.12/67.42 eprover: CPU time limit exceeded, terminating
% 70.14/69.43 eprover: CPU time limit exceeded, terminating
% 72.19/71.44 eprover: CPU time limit exceeded, terminating
% 74.18/73.45 eprover: CPU time limit exceeded, terminating
% 76.28/75.45 eprover: CPU time limit exceeded, terminating
% 78.32/77.46 eprover: CPU time limit exceeded, terminating
% 80.33/79.47 eprover: CPU time limit exceeded, terminating
% 82.39/81.48 eprover: CPU time limit exceeded, terminating
% 84.43/83.49 eprover: CPU time limit exceeded, terminating
% 86.48/85.50 eprover: CPU time limit exceeded, terminating
% 88.49/87.50 eprover: CPU time limit exceeded, terminating
% 90.54/89.51 eprover: CPU time limit exceeded, terminating
% 92.56/91.52 eprover: CPU time limit exceeded, terminating
% 94.61/93.53 eprover: CPU time limit exceeded, terminating
% 96.59/95.54 eprover: CPU time limit exceeded, terminating
% 98.66/97.54 eprover: CPU time limit exceeded, terminating
% 100.67/99.55 eprover: CPU time limit exceeded, terminating
% 102.72/101.56 eprover: CPU time limit exceeded, terminating
% 104.75/103.57 eprover: CPU time limit exceeded, terminating
% 106.83/105.58 eprover: CPU time limit exceeded, terminating
% 108.80/107.59 eprover: CPU time limit exceeded, terminating
% 110.88/109.60 eprover: CPU time limit exceeded, terminating
% 112.88/111.61 eprover: CPU time limit exceeded, terminating
% 114.96/113.62 eprover: CPU time limit exceeded, terminating
% 116.97/115.63 eprover: CPU time limit exceeded, terminating
% 119.02/117.63 eprover: CPU time limit exceeded, terminating
% 121.09/119.64 eprover: CPU time limit exceeded, terminating
% 123.07/121.65 eprover: CPU time limit exceeded, terminating
% 125.12/123.66 eprover: CPU time limit exceeded, terminating
% 127.18/125.67 eprover: CPU time limit exceeded, terminating
% 129.22/127.67 eprover: CPU time limit exceeded, terminating
% 131.25/129.68 eprover: CPU time limit exceeded, terminating
% 133.26/131.69 eprover: CPU time limit exceeded, terminating
% 135.34/133.70 eprover: CPU time limit exceeded, terminating
% 137.35/135.71 eprover: CPU time limit exceeded, terminating
% 139.41/137.71 eprover: CPU time limit exceeded, terminating
% 141.41/139.72 eprover: CPU time limit exceeded, terminating
% 143.44/141.73 eprover: CPU time limit exceeded, terminating
% 145.49/143.74 eprover: CPU time limit exceeded, terminating
% 147.56/145.75 eprover: CPU time limit exceeded, terminating
% 149.54/147.76 eprover: CPU time limit exceeded, terminating
% 151.62/149.77 eprover: CPU time limit exceeded, terminating
% 153.64/151.77 eprover: CPU time limit exceeded, terminating
% 155.71/153.78 eprover: CPU time limit exceeded, terminating
% 157.73/155.79 eprover: CPU time limit exceeded, terminating
% 159.72/157.80 eprover: CPU time limit exceeded, terminating
% 161.82/159.81 eprover: CPU time limit exceeded, terminating
% 163.81/161.82 eprover: CPU time limit exceeded, terminating
% 165.88/163.83 eprover: CPU time limit exceeded, terminating
% 167.93/165.83 eprover: CPU time limit exceeded, terminating
% 169.91/167.84 eprover: CPU time limit exceeded, terminating
% 171.99/169.85 eprover: CPU time limit exceeded, terminating
% 174.03/171.86 eprover: CPU time limit exceeded, terminating
% 176.04/173.87 eprover: CPU time limit exceeded, terminating
% 178.10/175.88 eprover: CPU time limit exceeded, terminating
% 180.10/177.89 eprover: CPU time limit exceeded, terminating
% 182.17/179.89 eprover: CPU time limit exceeded, terminating
% 184.21/181.90 eprover: CPU time limit exceeded, terminating
% 186.19/183.91 eprover: CPU time limit exceeded, terminating
% 188.25/185.92 eprover: CPU time limit exceeded, terminating
% 190.30/187.93 eprover: CPU time limit exceeded, terminating
% 192.31/189.94 eprover: CPU time limit exceeded, terminating
% 194.36/191.95 eprover: CPU time limit exceeded, terminating
% 196.42/193.95 eprover: CPU time limit exceeded, terminating
% 198.47/195.96 eprover: CPU time limit exceeded, terminating
% 200.41/197.97 eprover: CPU time limit exceeded, terminating
% 202.54/199.98 eprover: CPU time limit exceeded, terminating
% 204.57/201.99 eprover: CPU time limit exceeded, terminating
% 206.61/204.00 eprover: CPU time limit exceeded, terminating
% 208.58/206.01 eprover: CPU time limit exceeded, terminating
% 210.67/208.02 eprover: CPU time limit exceeded, terminating
% 212.69/210.02 eprover: CPU time limit exceeded, terminating
% 214.73/212.03 eprover: CPU time limit exceeded, terminating
% 216.79/214.04 eprover: CPU time limit exceeded, terminating
% 218.79/216.05 eprover: CPU time limit exceeded, terminating
% 220.86/218.06 eprover: CPU time limit exceeded, terminating
% 222.93/220.07 eprover: CPU time limit exceeded, terminating
% 224.92/222.08 eprover: CPU time limit exceeded, terminating
% 227.00/224.09 eprover: CPU time limit exceeded, terminating
% 229.04/226.10 eprover: CPU time limit exceeded, terminating
% 231.06/228.11 eprover: CPU time limit exceeded, terminating
% 233.10/230.12 eprover: CPU time limit exceeded, terminating
% 235.12/232.13 eprover: CPU time limit exceeded, terminating
% 237.17/234.14 eprover: CPU time limit exceeded, terminating
% 239.16/236.14 eprover: CPU time limit exceeded, terminating
% 241.24/238.16 eprover: CPU time limit exceeded, terminating
% 243.26/240.17 eprover: CPU time limit exceeded, terminating
% 245.30/242.18 eprover: CPU time limit exceeded, terminating
% 247.36/244.19 eprover: CPU time limit exceeded, terminating
% 249.40/246.20 eprover: CPU time limit exceeded, terminating
% 251.44/248.20 eprover: CPU time limit exceeded, terminating
% 253.40/250.21 eprover: CPU time limit exceeded, terminating
% 255.50/252.22 eprover: CPU time limit exceeded, terminating
% 257.52/254.23 eprover: CPU time limit exceeded, terminating
% 259.58/256.24 eprover: CPU time limit exceeded, terminating
% 261.58/258.25 eprover: CPU time limit exceeded, terminating
% 263.65/260.26 eprover: CPU time limit exceeded, terminating
% 265.65/262.27 eprover: CPU time limit exceeded, terminating
% 267.69/264.28 eprover: CPU time limit exceeded, terminating
% 269.76/266.29 eprover: CPU time limit exceeded, terminating
% 271.74/268.30 eprover: CPU time limit exceeded, terminating
% 273.80/270.30 eprover: CPU time limit exceeded, terminating
% 275.87/272.31 eprover: CPU time limit exceeded, terminating
% 277.87/274.32 eprover: CPU time limit exceeded, terminating
% 279.95/276.33 eprover: CPU time limit exceeded, terminating
% 281.98/278.34 eprover: CPU time limit exceeded, terminating
% 283.96/280.35 eprover: CPU time limit exceeded, terminating
% 286.02/282.36 eprover: CPU time limit exceeded, terminating
% 288.06/284.37 eprover: CPU time limit exceeded, terminating
% 290.13/286.38 eprover: CPU time limit exceeded, terminating
% 292.17/288.38 eprover: CPU time limit exceeded, terminating
% 294.20/290.39 eprover: CPU time limit exceeded, terminating
% 296.23/292.40 eprover: CPU time limit exceeded, terminating
% 298.22/294.41 eprover: CPU time limit exceeded, terminating
% 300.03/296.13 eprover: CPU time limit exceeded, terminating
% 300.03/296.14 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------