TSTP Solution File: NUM682+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM682+4 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n014.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:31 EDT 2022
% Result : Timeout 286.58s 282.40s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : NUM682+4 : TPTP v8.1.0. Released v7.3.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n014.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.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Thu Jul 7 06:24:07 EDT 2022
% 0.12/0.33 % CPUTime :
% 3.01/3.20 eprover: CPU time limit exceeded, terminating
% 5.06/5.21 eprover: CPU time limit exceeded, terminating
% 7.08/7.21 eprover: CPU time limit exceeded, terminating
% 9.11/9.22 eprover: CPU time limit exceeded, terminating
% 11.13/11.23 eprover: CPU time limit exceeded, terminating
% 13.17/13.24 eprover: CPU time limit exceeded, terminating
% 15.28/15.25 eprover: CPU time limit exceeded, terminating
% 17.33/17.26 eprover: CPU time limit exceeded, terminating
% 19.34/19.26 eprover: CPU time limit exceeded, terminating
% 21.40/21.27 eprover: CPU time limit exceeded, terminating
% 23.42/23.28 eprover: CPU time limit exceeded, terminating
% 25.49/25.29 eprover: CPU time limit exceeded, terminating
% 27.50/27.30 eprover: CPU time limit exceeded, terminating
% 29.55/29.31 eprover: CPU time limit exceeded, terminating
% 31.57/31.31 eprover: CPU time limit exceeded, terminating
% 33.61/33.32 eprover: CPU time limit exceeded, terminating
% 35.70/35.33 eprover: CPU time limit exceeded, terminating
% 37.66/37.34 eprover: CPU time limit exceeded, terminating
% 39.76/39.35 eprover: CPU time limit exceeded, terminating
% 41.81/41.35 eprover: CPU time limit exceeded, terminating
% 43.84/43.36 eprover: CPU time limit exceeded, terminating
% 45.89/45.37 eprover: CPU time limit exceeded, terminating
% 47.90/47.38 eprover: CPU time limit exceeded, terminating
% 49.96/49.39 eprover: CPU time limit exceeded, terminating
% 51.98/51.40 eprover: CPU time limit exceeded, terminating
% 54.02/53.41 eprover: CPU time limit exceeded, terminating
% 56.05/55.42 eprover: CPU time limit exceeded, terminating
% 58.06/57.42 eprover: CPU time limit exceeded, terminating
% 60.18/59.43 eprover: CPU time limit exceeded, terminating
% 62.22/61.44 eprover: CPU time limit exceeded, terminating
% 64.25/63.45 eprover: CPU time limit exceeded, terminating
% 66.30/65.46 eprover: CPU time limit exceeded, terminating
% 68.32/67.47 eprover: CPU time limit exceeded, terminating
% 70.39/69.48 eprover: CPU time limit exceeded, terminating
% 72.41/71.49 eprover: CPU time limit exceeded, terminating
% 74.44/73.50 eprover: CPU time limit exceeded, terminating
% 76.46/75.51 eprover: CPU time limit exceeded, terminating
% 78.53/77.51 eprover: CPU time limit exceeded, terminating
% 80.59/79.52 eprover: CPU time limit exceeded, terminating
% 82.61/81.53 eprover: CPU time limit exceeded, terminating
% 84.65/83.54 eprover: CPU time limit exceeded, terminating
% 86.70/85.55 eprover: CPU time limit exceeded, terminating
% 88.73/87.56 eprover: CPU time limit exceeded, terminating
% 90.79/89.57 eprover: CPU time limit exceeded, terminating
% 92.81/91.57 eprover: CPU time limit exceeded, terminating
% 94.87/93.58 eprover: CPU time limit exceeded, terminating
% 96.88/95.59 eprover: CPU time limit exceeded, terminating
% 98.92/97.60 eprover: CPU time limit exceeded, terminating
% 100.94/99.61 eprover: CPU time limit exceeded, terminating
% 103.02/101.62 eprover: CPU time limit exceeded, terminating
% 105.07/103.63 eprover: CPU time limit exceeded, terminating
% 107.04/105.64 eprover: CPU time limit exceeded, terminating
% 109.16/107.65 eprover: CPU time limit exceeded, terminating
% 111.18/109.65 eprover: CPU time limit exceeded, terminating
% 113.21/111.66 eprover: CPU time limit exceeded, terminating
% 115.27/113.67 eprover: CPU time limit exceeded, terminating
% 117.29/115.68 eprover: CPU time limit exceeded, terminating
% 119.32/117.69 eprover: CPU time limit exceeded, terminating
% 121.38/119.70 eprover: CPU time limit exceeded, terminating
% 123.39/121.71 eprover: CPU time limit exceeded, terminating
% 125.43/123.72 eprover: CPU time limit exceeded, terminating
% 127.49/125.73 eprover: CPU time limit exceeded, terminating
% 129.55/127.73 eprover: CPU time limit exceeded, terminating
% 131.51/129.74 eprover: CPU time limit exceeded, terminating
% 133.62/131.75 eprover: CPU time limit exceeded, terminating
% 135.62/133.76 eprover: CPU time limit exceeded, terminating
% 137.72/135.77 eprover: CPU time limit exceeded, terminating
% 139.75/137.78 eprover: CPU time limit exceeded, terminating
% 141.77/139.79 eprover: CPU time limit exceeded, terminating
% 143.81/141.80 eprover: CPU time limit exceeded, terminating
% 145.85/143.80 eprover: CPU time limit exceeded, terminating
% 147.86/145.81 eprover: CPU time limit exceeded, terminating
% 149.89/147.82 eprover: CPU time limit exceeded, terminating
% 151.97/149.83 eprover: CPU time limit exceeded, terminating
% 153.97/151.84 eprover: CPU time limit exceeded, terminating
% 156.04/153.84 eprover: CPU time limit exceeded, terminating
% 158.11/155.85 eprover: CPU time limit exceeded, terminating
% 160.14/157.86 eprover: CPU time limit exceeded, terminating
% 162.18/159.87 eprover: CPU time limit exceeded, terminating
% 164.22/161.88 eprover: CPU time limit exceeded, terminating
% 166.27/163.89 eprover: CPU time limit exceeded, terminating
% 168.25/165.89 eprover: CPU time limit exceeded, terminating
% 170.30/167.90 eprover: CPU time limit exceeded, terminating
% 172.37/169.91 eprover: CPU time limit exceeded, terminating
% 174.42/171.92 eprover: CPU time limit exceeded, terminating
% 176.41/173.93 eprover: CPU time limit exceeded, terminating
% 178.47/175.94 eprover: CPU time limit exceeded, terminating
% 180.55/177.95 eprover: CPU time limit exceeded, terminating
% 182.58/179.96 eprover: CPU time limit exceeded, terminating
% 184.62/181.96 eprover: CPU time limit exceeded, terminating
% 186.65/183.97 eprover: CPU time limit exceeded, terminating
% 188.69/185.98 eprover: CPU time limit exceeded, terminating
% 190.73/187.99 eprover: CPU time limit exceeded, terminating
% 192.75/190.00 eprover: CPU time limit exceeded, terminating
% 194.78/192.01 eprover: CPU time limit exceeded, terminating
% 196.82/194.02 eprover: CPU time limit exceeded, terminating
% 198.84/196.03 eprover: CPU time limit exceeded, terminating
% 200.94/198.03 eprover: CPU time limit exceeded, terminating
% 202.91/200.04 eprover: CPU time limit exceeded, terminating
% 205.01/202.05 eprover: CPU time limit exceeded, terminating
% 207.04/204.06 eprover: CPU time limit exceeded, terminating
% 209.08/206.07 eprover: CPU time limit exceeded, terminating
% 211.08/208.08 eprover: CPU time limit exceeded, terminating
% 213.16/210.08 eprover: CPU time limit exceeded, terminating
% 215.23/212.09 eprover: CPU time limit exceeded, terminating
% 217.23/214.10 eprover: CPU time limit exceeded, terminating
% 219.26/216.11 eprover: CPU time limit exceeded, terminating
% 221.31/218.12 eprover: CPU time limit exceeded, terminating
% 223.33/220.12 eprover: CPU time limit exceeded, terminating
% 225.41/222.13 eprover: CPU time limit exceeded, terminating
% 227.39/224.14 eprover: CPU time limit exceeded, terminating
% 229.46/226.15 eprover: CPU time limit exceeded, terminating
% 231.52/228.16 eprover: CPU time limit exceeded, terminating
% 233.57/230.16 eprover: CPU time limit exceeded, terminating
% 235.58/232.17 eprover: CPU time limit exceeded, terminating
% 237.62/234.18 eprover: CPU time limit exceeded, terminating
% 239.66/236.19 eprover: CPU time limit exceeded, terminating
% 241.73/238.20 eprover: CPU time limit exceeded, terminating
% 243.73/240.21 eprover: CPU time limit exceeded, terminating
% 245.80/242.22 eprover: CPU time limit exceeded, terminating
% 247.83/244.22 eprover: CPU time limit exceeded, terminating
% 249.90/246.23 eprover: CPU time limit exceeded, terminating
% 251.94/248.24 eprover: CPU time limit exceeded, terminating
% 253.99/250.25 eprover: CPU time limit exceeded, terminating
% 255.97/252.26 eprover: CPU time limit exceeded, terminating
% 258.04/254.27 eprover: CPU time limit exceeded, terminating
% 260.05/256.28 eprover: CPU time limit exceeded, terminating
% 262.13/258.29 eprover: CPU time limit exceeded, terminating
% 264.18/260.30 eprover: CPU time limit exceeded, terminating
% 266.23/262.31 eprover: CPU time limit exceeded, terminating
% 268.27/264.32 eprover: CPU time limit exceeded, terminating
% 270.22/266.32 eprover: CPU time limit exceeded, terminating
% 272.35/268.33 eprover: CPU time limit exceeded, terminating
% 274.36/270.34 eprover: CPU time limit exceeded, terminating
% 276.43/272.35 eprover: CPU time limit exceeded, terminating
% 278.41/274.36 eprover: CPU time limit exceeded, terminating
% 280.50/276.37 eprover: CPU time limit exceeded, terminating
% 282.55/278.38 eprover: CPU time limit exceeded, terminating
% 284.58/280.39 eprover: CPU time limit exceeded, terminating
% 286.58/282.40 eprover: CPU time limit exceeded, terminating
% 288.67/284.41 eprover: CPU time limit exceeded, terminating
% 290.68/286.42 eprover: CPU time limit exceeded, terminating
% 292.68/288.42 eprover: CPU time limit exceeded, terminating
% 294.80/290.43 eprover: CPU time limit exceeded, terminating
% 296.77/292.44 eprover: CPU time limit exceeded, terminating
% 298.84/294.45 eprover: CPU time limit exceeded, terminating
% 300.03/295.57 eprover: CPU time limit exceeded, terminating
% 300.03/295.58 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------