TSTP Solution File: NUM664+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM664+4 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n020.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:16 EDT 2022
% Result : Timeout 286.31s 282.70s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.13 % Problem : NUM664+4 : TPTP v8.1.0. Released v7.3.0.
% 0.08/0.14 % Command : run_infinox %s
% 0.14/0.36 % Computer : n020.cluster.edu
% 0.14/0.36 % Model : x86_64 x86_64
% 0.14/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.36 % Memory : 8042.1875MB
% 0.14/0.36 % 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 : Tue Jul 5 08:16:59 EDT 2022
% 0.14/0.36 % CPUTime :
% 2.85/3.02 eprover: CPU time limit exceeded, terminating
% 4.85/5.04 eprover: CPU time limit exceeded, terminating
% 6.93/7.05 eprover: CPU time limit exceeded, terminating
% 8.98/9.06 eprover: CPU time limit exceeded, terminating
% 10.98/11.07 eprover: CPU time limit exceeded, terminating
% 13.08/13.09 eprover: CPU time limit exceeded, terminating
% 15.05/15.10 eprover: CPU time limit exceeded, terminating
% 17.11/17.11 eprover: CPU time limit exceeded, terminating
% 19.17/19.12 eprover: CPU time limit exceeded, terminating
% 21.22/21.13 eprover: CPU time limit exceeded, terminating
% 23.23/23.14 eprover: CPU time limit exceeded, terminating
% 25.24/25.15 eprover: CPU time limit exceeded, terminating
% 27.31/27.16 eprover: CPU time limit exceeded, terminating
% 29.38/29.17 eprover: CPU time limit exceeded, terminating
% 31.35/31.18 eprover: CPU time limit exceeded, terminating
% 33.43/33.19 eprover: CPU time limit exceeded, terminating
% 35.50/35.20 eprover: CPU time limit exceeded, terminating
% 37.51/37.21 eprover: CPU time limit exceeded, terminating
% 39.54/39.22 eprover: CPU time limit exceeded, terminating
% 41.60/41.23 eprover: CPU time limit exceeded, terminating
% 43.64/43.24 eprover: CPU time limit exceeded, terminating
% 45.66/45.25 eprover: CPU time limit exceeded, terminating
% 47.70/47.26 eprover: CPU time limit exceeded, terminating
% 49.71/49.28 eprover: CPU time limit exceeded, terminating
% 51.73/51.29 eprover: CPU time limit exceeded, terminating
% 53.79/53.31 eprover: CPU time limit exceeded, terminating
% 55.88/55.32 eprover: CPU time limit exceeded, terminating
% 57.92/57.33 eprover: CPU time limit exceeded, terminating
% 59.91/59.35 eprover: CPU time limit exceeded, terminating
% 61.97/61.36 eprover: CPU time limit exceeded, terminating
% 64.04/63.37 eprover: CPU time limit exceeded, terminating
% 66.04/65.39 eprover: CPU time limit exceeded, terminating
% 68.11/67.40 eprover: CPU time limit exceeded, terminating
% 70.16/69.41 eprover: CPU time limit exceeded, terminating
% 72.20/71.42 eprover: CPU time limit exceeded, terminating
% 74.24/73.43 eprover: CPU time limit exceeded, terminating
% 76.23/75.44 eprover: CPU time limit exceeded, terminating
% 78.31/77.45 eprover: CPU time limit exceeded, terminating
% 80.32/79.46 eprover: CPU time limit exceeded, terminating
% 82.38/81.47 eprover: CPU time limit exceeded, terminating
% 84.39/83.48 eprover: CPU time limit exceeded, terminating
% 86.41/85.50 eprover: CPU time limit exceeded, terminating
% 88.46/87.51 eprover: CPU time limit exceeded, terminating
% 90.56/89.52 eprover: CPU time limit exceeded, terminating
% 92.59/91.53 eprover: CPU time limit exceeded, terminating
% 94.62/93.55 eprover: CPU time limit exceeded, terminating
% 96.61/95.56 eprover: CPU time limit exceeded, terminating
% 98.63/97.58 eprover: CPU time limit exceeded, terminating
% 100.69/99.59 eprover: CPU time limit exceeded, terminating
% 102.80/101.60 eprover: CPU time limit exceeded, terminating
% 104.85/103.61 eprover: CPU time limit exceeded, terminating
% 106.85/105.63 eprover: CPU time limit exceeded, terminating
% 108.93/107.64 eprover: CPU time limit exceeded, terminating
% 110.92/109.65 eprover: CPU time limit exceeded, terminating
% 112.90/111.66 eprover: CPU time limit exceeded, terminating
% 115.00/113.67 eprover: CPU time limit exceeded, terminating
% 117.09/115.68 eprover: CPU time limit exceeded, terminating
% 119.08/117.69 eprover: CPU time limit exceeded, terminating
% 121.14/119.70 eprover: CPU time limit exceeded, terminating
% 123.18/121.71 eprover: CPU time limit exceeded, terminating
% 125.20/123.73 eprover: CPU time limit exceeded, terminating
% 127.26/125.74 eprover: CPU time limit exceeded, terminating
% 129.26/127.75 eprover: CPU time limit exceeded, terminating
% 131.29/129.77 eprover: CPU time limit exceeded, terminating
% 133.39/131.78 eprover: CPU time limit exceeded, terminating
% 135.36/133.79 eprover: CPU time limit exceeded, terminating
% 137.44/135.81 eprover: CPU time limit exceeded, terminating
% 139.52/137.82 eprover: CPU time limit exceeded, terminating
% 141.52/139.83 eprover: CPU time limit exceeded, terminating
% 143.60/141.84 eprover: CPU time limit exceeded, terminating
% 145.57/143.85 eprover: CPU time limit exceeded, terminating
% 147.64/145.86 eprover: CPU time limit exceeded, terminating
% 149.64/147.87 eprover: CPU time limit exceeded, terminating
% 151.69/149.88 eprover: CPU time limit exceeded, terminating
% 153.78/151.89 eprover: CPU time limit exceeded, terminating
% 155.81/153.90 eprover: CPU time limit exceeded, terminating
% 157.83/155.91 eprover: CPU time limit exceeded, terminating
% 159.87/157.93 eprover: CPU time limit exceeded, terminating
% 161.94/159.94 eprover: CPU time limit exceeded, terminating
% 163.93/161.95 eprover: CPU time limit exceeded, terminating
% 165.98/163.96 eprover: CPU time limit exceeded, terminating
% 168.06/165.97 eprover: CPU time limit exceeded, terminating
% 170.04/167.99 eprover: CPU time limit exceeded, terminating
% 172.10/170.00 eprover: CPU time limit exceeded, terminating
% 174.16/172.01 eprover: CPU time limit exceeded, terminating
% 176.19/174.02 eprover: CPU time limit exceeded, terminating
% 178.25/176.03 eprover: CPU time limit exceeded, terminating
% 180.24/178.04 eprover: CPU time limit exceeded, terminating
% 182.33/180.06 eprover: CPU time limit exceeded, terminating
% 184.32/182.07 eprover: CPU time limit exceeded, terminating
% 186.37/184.08 eprover: CPU time limit exceeded, terminating
% 188.44/186.09 eprover: CPU time limit exceeded, terminating
% 190.42/188.11 eprover: CPU time limit exceeded, terminating
% 192.48/190.12 eprover: CPU time limit exceeded, terminating
% 194.57/192.13 eprover: CPU time limit exceeded, terminating
% 196.53/194.14 eprover: CPU time limit exceeded, terminating
% 198.63/196.15 eprover: CPU time limit exceeded, terminating
% 200.71/198.17 eprover: CPU time limit exceeded, terminating
% 202.70/200.18 eprover: CPU time limit exceeded, terminating
% 204.76/202.19 eprover: CPU time limit exceeded, terminating
% 206.76/204.20 eprover: CPU time limit exceeded, terminating
% 208.82/206.22 eprover: CPU time limit exceeded, terminating
% 210.89/208.23 eprover: CPU time limit exceeded, terminating
% 212.92/210.24 eprover: CPU time limit exceeded, terminating
% 214.91/212.25 eprover: CPU time limit exceeded, terminating
% 216.99/214.27 eprover: CPU time limit exceeded, terminating
% 219.06/216.28 eprover: CPU time limit exceeded, terminating
% 221.07/218.29 eprover: CPU time limit exceeded, terminating
% 223.07/220.31 eprover: CPU time limit exceeded, terminating
% 225.13/222.32 eprover: CPU time limit exceeded, terminating
% 227.16/224.33 eprover: CPU time limit exceeded, terminating
% 229.24/226.34 eprover: CPU time limit exceeded, terminating
% 231.29/228.35 eprover: CPU time limit exceeded, terminating
% 233.33/230.37 eprover: CPU time limit exceeded, terminating
% 235.30/232.38 eprover: CPU time limit exceeded, terminating
% 237.38/234.39 eprover: CPU time limit exceeded, terminating
% 239.45/236.41 eprover: CPU time limit exceeded, terminating
% 241.45/238.42 eprover: CPU time limit exceeded, terminating
% 243.52/240.43 eprover: CPU time limit exceeded, terminating
% 245.49/242.45 eprover: CPU time limit exceeded, terminating
% 247.62/244.46 eprover: CPU time limit exceeded, terminating
% 249.62/246.47 eprover: CPU time limit exceeded, terminating
% 251.67/248.49 eprover: CPU time limit exceeded, terminating
% 253.70/250.50 eprover: CPU time limit exceeded, terminating
% 255.77/252.51 eprover: CPU time limit exceeded, terminating
% 257.82/254.52 eprover: CPU time limit exceeded, terminating
% 259.84/256.54 eprover: CPU time limit exceeded, terminating
% 261.90/258.55 eprover: CPU time limit exceeded, terminating
% 263.93/260.56 eprover: CPU time limit exceeded, terminating
% 265.97/262.57 eprover: CPU time limit exceeded, terminating
% 268.02/264.58 eprover: CPU time limit exceeded, terminating
% 270.04/266.60 eprover: CPU time limit exceeded, terminating
% 272.04/268.61 eprover: CPU time limit exceeded, terminating
% 274.07/270.62 eprover: CPU time limit exceeded, terminating
% 276.14/272.63 eprover: CPU time limit exceeded, terminating
% 278.19/274.65 eprover: CPU time limit exceeded, terminating
% 280.25/276.66 eprover: CPU time limit exceeded, terminating
% 282.29/278.67 eprover: CPU time limit exceeded, terminating
% 284.31/280.68 eprover: CPU time limit exceeded, terminating
% 286.31/282.70 eprover: CPU time limit exceeded, terminating
% 288.40/284.71 eprover: CPU time limit exceeded, terminating
% 290.43/286.72 eprover: CPU time limit exceeded, terminating
% 292.46/288.73 eprover: CPU time limit exceeded, terminating
% 294.53/290.75 eprover: CPU time limit exceeded, terminating
% 296.57/292.76 eprover: CPU time limit exceeded, terminating
% 298.59/294.77 eprover: CPU time limit exceeded, terminating
% 300.02/296.17 eprover: CPU time limit exceeded, terminating
% 300.02/296.18 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------