TSTP Solution File: NUM666+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM666+4 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n007.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:18 EDT 2022
% Result : Timeout 286.69s 282.81s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.13 % Problem : NUM666+4 : TPTP v8.1.0. Released v7.3.0.
% 0.03/0.14 % Command : run_infinox %s
% 0.14/0.35 % Computer : n007.cluster.edu
% 0.14/0.35 % Model : x86_64 x86_64
% 0.14/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.35 % Memory : 8042.1875MB
% 0.14/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.36 % CPULimit : 300
% 0.14/0.36 % WCLimit : 600
% 0.14/0.36 % DateTime : Wed Jul 6 07:37:43 EDT 2022
% 0.14/0.36 % CPUTime :
% 2.93/3.10 eprover: CPU time limit exceeded, terminating
% 4.95/5.11 eprover: CPU time limit exceeded, terminating
% 7.01/7.12 eprover: CPU time limit exceeded, terminating
% 9.04/9.14 eprover: CPU time limit exceeded, terminating
% 11.09/11.15 eprover: CPU time limit exceeded, terminating
% 13.14/13.16 eprover: CPU time limit exceeded, terminating
% 15.19/15.18 eprover: CPU time limit exceeded, terminating
% 17.24/17.19 eprover: CPU time limit exceeded, terminating
% 19.24/19.21 eprover: CPU time limit exceeded, terminating
% 21.34/21.22 eprover: CPU time limit exceeded, terminating
% 23.35/23.23 eprover: CPU time limit exceeded, terminating
% 25.40/25.25 eprover: CPU time limit exceeded, terminating
% 27.40/27.26 eprover: CPU time limit exceeded, terminating
% 29.50/29.27 eprover: CPU time limit exceeded, terminating
% 31.53/31.29 eprover: CPU time limit exceeded, terminating
% 33.55/33.30 eprover: CPU time limit exceeded, terminating
% 35.59/35.31 eprover: CPU time limit exceeded, terminating
% 37.58/37.33 eprover: CPU time limit exceeded, terminating
% 39.70/39.34 eprover: CPU time limit exceeded, terminating
% 41.76/41.35 eprover: CPU time limit exceeded, terminating
% 43.78/43.36 eprover: CPU time limit exceeded, terminating
% 45.83/45.38 eprover: CPU time limit exceeded, terminating
% 47.86/47.39 eprover: CPU time limit exceeded, terminating
% 49.89/49.41 eprover: CPU time limit exceeded, terminating
% 51.94/51.42 eprover: CPU time limit exceeded, terminating
% 53.99/53.43 eprover: CPU time limit exceeded, terminating
% 56.04/55.44 eprover: CPU time limit exceeded, terminating
% 58.11/57.46 eprover: CPU time limit exceeded, terminating
% 60.12/59.47 eprover: CPU time limit exceeded, terminating
% 62.16/61.48 eprover: CPU time limit exceeded, terminating
% 64.16/63.50 eprover: CPU time limit exceeded, terminating
% 66.23/65.51 eprover: CPU time limit exceeded, terminating
% 68.29/67.52 eprover: CPU time limit exceeded, terminating
% 70.30/69.54 eprover: CPU time limit exceeded, terminating
% 72.36/71.55 eprover: CPU time limit exceeded, terminating
% 74.44/73.56 eprover: CPU time limit exceeded, terminating
% 76.47/75.58 eprover: CPU time limit exceeded, terminating
% 78.52/77.59 eprover: CPU time limit exceeded, terminating
% 80.56/79.61 eprover: CPU time limit exceeded, terminating
% 82.58/81.62 eprover: CPU time limit exceeded, terminating
% 84.59/83.63 eprover: CPU time limit exceeded, terminating
% 86.71/85.64 eprover: CPU time limit exceeded, terminating
% 88.74/87.66 eprover: CPU time limit exceeded, terminating
% 90.76/89.67 eprover: CPU time limit exceeded, terminating
% 92.83/91.68 eprover: CPU time limit exceeded, terminating
% 94.84/93.70 eprover: CPU time limit exceeded, terminating
% 96.90/95.71 eprover: CPU time limit exceeded, terminating
% 98.90/97.72 eprover: CPU time limit exceeded, terminating
% 101.02/99.74 eprover: CPU time limit exceeded, terminating
% 103.05/101.75 eprover: CPU time limit exceeded, terminating
% 105.07/103.76 eprover: CPU time limit exceeded, terminating
% 107.15/105.78 eprover: CPU time limit exceeded, terminating
% 109.15/107.79 eprover: CPU time limit exceeded, terminating
% 111.20/109.81 eprover: CPU time limit exceeded, terminating
% 113.22/111.82 eprover: CPU time limit exceeded, terminating
% 115.23/113.83 eprover: CPU time limit exceeded, terminating
% 117.34/115.84 eprover: CPU time limit exceeded, terminating
% 119.40/117.86 eprover: CPU time limit exceeded, terminating
% 121.40/119.87 eprover: CPU time limit exceeded, terminating
% 123.47/121.88 eprover: CPU time limit exceeded, terminating
% 125.48/123.89 eprover: CPU time limit exceeded, terminating
% 127.53/125.90 eprover: CPU time limit exceeded, terminating
% 129.54/127.91 eprover: CPU time limit exceeded, terminating
% 131.56/129.92 eprover: CPU time limit exceeded, terminating
% 133.59/131.93 eprover: CPU time limit exceeded, terminating
% 135.69/133.94 eprover: CPU time limit exceeded, terminating
% 137.74/135.95 eprover: CPU time limit exceeded, terminating
% 139.79/137.96 eprover: CPU time limit exceeded, terminating
% 141.80/139.98 eprover: CPU time limit exceeded, terminating
% 143.84/141.99 eprover: CPU time limit exceeded, terminating
% 145.91/144.00 eprover: CPU time limit exceeded, terminating
% 147.92/146.01 eprover: CPU time limit exceeded, terminating
% 149.93/148.02 eprover: CPU time limit exceeded, terminating
% 151.98/150.03 eprover: CPU time limit exceeded, terminating
% 154.08/152.04 eprover: CPU time limit exceeded, terminating
% 156.09/154.06 eprover: CPU time limit exceeded, terminating
% 158.10/156.07 eprover: CPU time limit exceeded, terminating
% 160.19/158.08 eprover: CPU time limit exceeded, terminating
% 162.22/160.09 eprover: CPU time limit exceeded, terminating
% 164.22/162.10 eprover: CPU time limit exceeded, terminating
% 166.28/164.11 eprover: CPU time limit exceeded, terminating
% 168.29/166.12 eprover: CPU time limit exceeded, terminating
% 170.38/168.13 eprover: CPU time limit exceeded, terminating
% 172.43/170.14 eprover: CPU time limit exceeded, terminating
% 174.47/172.15 eprover: CPU time limit exceeded, terminating
% 176.45/174.17 eprover: CPU time limit exceeded, terminating
% 178.53/176.18 eprover: CPU time limit exceeded, terminating
% 180.57/178.19 eprover: CPU time limit exceeded, terminating
% 182.58/180.20 eprover: CPU time limit exceeded, terminating
% 184.66/182.21 eprover: CPU time limit exceeded, terminating
% 186.60/184.22 eprover: CPU time limit exceeded, terminating
% 188.68/186.23 eprover: CPU time limit exceeded, terminating
% 190.69/188.24 eprover: CPU time limit exceeded, terminating
% 192.81/190.25 eprover: CPU time limit exceeded, terminating
% 194.84/192.27 eprover: CPU time limit exceeded, terminating
% 196.89/194.28 eprover: CPU time limit exceeded, terminating
% 198.96/196.29 eprover: CPU time limit exceeded, terminating
% 200.95/198.30 eprover: CPU time limit exceeded, terminating
% 202.97/200.31 eprover: CPU time limit exceeded, terminating
% 205.01/202.32 eprover: CPU time limit exceeded, terminating
% 207.09/204.33 eprover: CPU time limit exceeded, terminating
% 209.13/206.35 eprover: CPU time limit exceeded, terminating
% 211.20/208.36 eprover: CPU time limit exceeded, terminating
% 213.21/210.37 eprover: CPU time limit exceeded, terminating
% 215.28/212.38 eprover: CPU time limit exceeded, terminating
% 217.28/214.39 eprover: CPU time limit exceeded, terminating
% 219.30/216.41 eprover: CPU time limit exceeded, terminating
% 221.36/218.42 eprover: CPU time limit exceeded, terminating
% 223.44/220.43 eprover: CPU time limit exceeded, terminating
% 225.47/222.44 eprover: CPU time limit exceeded, terminating
% 227.48/224.45 eprover: CPU time limit exceeded, terminating
% 229.58/226.47 eprover: CPU time limit exceeded, terminating
% 231.56/228.48 eprover: CPU time limit exceeded, terminating
% 233.62/230.49 eprover: CPU time limit exceeded, terminating
% 235.64/232.50 eprover: CPU time limit exceeded, terminating
% 237.72/234.51 eprover: CPU time limit exceeded, terminating
% 239.78/236.52 eprover: CPU time limit exceeded, terminating
% 241.78/238.54 eprover: CPU time limit exceeded, terminating
% 243.78/240.55 eprover: CPU time limit exceeded, terminating
% 245.90/242.56 eprover: CPU time limit exceeded, terminating
% 247.89/244.57 eprover: CPU time limit exceeded, terminating
% 249.99/246.59 eprover: CPU time limit exceeded, terminating
% 252.00/248.60 eprover: CPU time limit exceeded, terminating
% 254.03/250.61 eprover: CPU time limit exceeded, terminating
% 256.09/252.62 eprover: CPU time limit exceeded, terminating
% 258.12/254.64 eprover: CPU time limit exceeded, terminating
% 260.20/256.65 eprover: CPU time limit exceeded, terminating
% 262.18/258.66 eprover: CPU time limit exceeded, terminating
% 264.22/260.67 eprover: CPU time limit exceeded, terminating
% 266.32/262.68 eprover: CPU time limit exceeded, terminating
% 268.28/264.70 eprover: CPU time limit exceeded, terminating
% 270.39/266.71 eprover: CPU time limit exceeded, terminating
% 272.43/268.72 eprover: CPU time limit exceeded, terminating
% 274.47/270.73 eprover: CPU time limit exceeded, terminating
% 276.48/272.75 eprover: CPU time limit exceeded, terminating
% 278.50/274.76 eprover: CPU time limit exceeded, terminating
% 280.54/276.77 eprover: CPU time limit exceeded, terminating
% 282.60/278.78 eprover: CPU time limit exceeded, terminating
% 284.61/280.79 eprover: CPU time limit exceeded, terminating
% 286.69/282.81 eprover: CPU time limit exceeded, terminating
% 288.75/284.82 eprover: CPU time limit exceeded, terminating
% 290.78/286.84 eprover: CPU time limit exceeded, terminating
% 292.76/288.85 eprover: CPU time limit exceeded, terminating
% 294.82/290.86 eprover: CPU time limit exceeded, terminating
% 296.92/292.87 eprover: CPU time limit exceeded, terminating
% 298.90/294.88 eprover: CPU time limit exceeded, terminating
% 300.09/295.99 eprover: CPU time limit exceeded, terminating
% 300.09/296.01 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------