TSTP Solution File: NUM688+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM688+4 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n028.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:36 EDT 2022
% Result : Timeout 287.16s 280.84s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.11 % Problem : NUM688+4 : TPTP v8.1.0. Released v7.3.0.
% 0.06/0.12 % Command : run_infinox %s
% 0.12/0.32 % Computer : n028.cluster.edu
% 0.12/0.32 % Model : x86_64 x86_64
% 0.12/0.32 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.32 % Memory : 8042.1875MB
% 0.12/0.32 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.32 % CPULimit : 300
% 0.12/0.32 % WCLimit : 600
% 0.12/0.32 % DateTime : Wed Jul 6 23:11:08 EDT 2022
% 0.12/0.33 % CPUTime :
% 3.08/3.23 eprover: CPU time limit exceeded, terminating
% 5.10/5.24 eprover: CPU time limit exceeded, terminating
% 7.12/7.24 eprover: CPU time limit exceeded, terminating
% 9.21/9.25 eprover: CPU time limit exceeded, terminating
% 11.19/11.26 eprover: CPU time limit exceeded, terminating
% 13.24/13.27 eprover: CPU time limit exceeded, terminating
% 15.33/15.29 eprover: CPU time limit exceeded, terminating
% 17.40/17.30 eprover: CPU time limit exceeded, terminating
% 19.41/19.33 eprover: CPU time limit exceeded, terminating
% 21.47/21.35 eprover: CPU time limit exceeded, terminating
% 23.49/23.36 eprover: CPU time limit exceeded, terminating
% 25.50/25.37 eprover: CPU time limit exceeded, terminating
% 27.53/27.38 eprover: CPU time limit exceeded, terminating
% 29.64/29.39 eprover: CPU time limit exceeded, terminating
% 31.68/31.40 eprover: CPU time limit exceeded, terminating
% 33.71/33.43 eprover: CPU time limit exceeded, terminating
% 35.75/35.44 eprover: CPU time limit exceeded, terminating
% 37.80/37.45 eprover: CPU time limit exceeded, terminating
% 39.82/39.46 eprover: CPU time limit exceeded, terminating
% 41.83/41.47 eprover: CPU time limit exceeded, terminating
% 43.95/43.48 eprover: CPU time limit exceeded, terminating
% 46.00/45.50 eprover: CPU time limit exceeded, terminating
% 48.04/47.51 eprover: CPU time limit exceeded, terminating
% 50.07/49.52 eprover: CPU time limit exceeded, terminating
% 52.09/51.53 eprover: CPU time limit exceeded, terminating
% 54.13/53.54 eprover: CPU time limit exceeded, terminating
% 56.19/55.55 eprover: CPU time limit exceeded, terminating
% 58.20/57.57 eprover: CPU time limit exceeded, terminating
% 60.23/59.58 eprover: CPU time limit exceeded, terminating
% 62.26/61.59 eprover: CPU time limit exceeded, terminating
% 64.37/63.61 eprover: CPU time limit exceeded, terminating
% 66.42/65.62 eprover: CPU time limit exceeded, terminating
% 68.45/67.63 eprover: CPU time limit exceeded, terminating
% 70.50/69.64 eprover: CPU time limit exceeded, terminating
% 72.51/71.66 eprover: CPU time limit exceeded, terminating
% 74.61/73.67 eprover: CPU time limit exceeded, terminating
% 76.57/75.68 eprover: CPU time limit exceeded, terminating
% 78.69/77.69 eprover: CPU time limit exceeded, terminating
% 80.73/79.70 eprover: CPU time limit exceeded, terminating
% 82.76/81.71 eprover: CPU time limit exceeded, terminating
% 84.79/83.72 eprover: CPU time limit exceeded, terminating
% 86.83/85.74 eprover: CPU time limit exceeded, terminating
% 88.87/87.75 eprover: CPU time limit exceeded, terminating
% 90.89/89.76 eprover: CPU time limit exceeded, terminating
% 92.95/91.77 eprover: CPU time limit exceeded, terminating
% 94.95/93.78 eprover: CPU time limit exceeded, terminating
% 97.05/95.79 eprover: CPU time limit exceeded, terminating
% 99.10/97.80 eprover: CPU time limit exceeded, terminating
% 101.15/99.81 eprover: CPU time limit exceeded, terminating
% 103.15/101.83 eprover: CPU time limit exceeded, terminating
% 105.21/103.85 eprover: CPU time limit exceeded, terminating
% 107.18/105.87 eprover: CPU time limit exceeded, terminating
% 109.26/107.88 eprover: CPU time limit exceeded, terminating
% 111.31/109.89 eprover: CPU time limit exceeded, terminating
% 113.41/111.90 eprover: CPU time limit exceeded, terminating
% 115.42/113.91 eprover: CPU time limit exceeded, terminating
% 117.48/115.93 eprover: CPU time limit exceeded, terminating
% 119.49/117.94 eprover: CPU time limit exceeded, terminating
% 121.56/119.95 eprover: CPU time limit exceeded, terminating
% 123.59/121.96 eprover: CPU time limit exceeded, terminating
% 125.64/123.98 eprover: CPU time limit exceeded, terminating
% 127.65/125.99 eprover: CPU time limit exceeded, terminating
% 129.76/128.00 eprover: CPU time limit exceeded, terminating
% 131.80/130.01 eprover: CPU time limit exceeded, terminating
% 133.83/132.02 eprover: CPU time limit exceeded, terminating
% 135.91/134.03 eprover: CPU time limit exceeded, terminating
% 139.90/136.05 eprover: CPU time limit exceeded, terminating
% 141.95/138.06 eprover: CPU time limit exceeded, terminating
% 143.99/140.07 eprover: CPU time limit exceeded, terminating
% 146.01/142.08 eprover: CPU time limit exceeded, terminating
% 148.09/144.10 eprover: CPU time limit exceeded, terminating
% 150.14/146.11 eprover: CPU time limit exceeded, terminating
% 152.16/148.12 eprover: CPU time limit exceeded, terminating
% 154.21/150.14 eprover: CPU time limit exceeded, terminating
% 156.24/152.15 eprover: CPU time limit exceeded, terminating
% 158.27/154.16 eprover: CPU time limit exceeded, terminating
% 160.32/156.18 eprover: CPU time limit exceeded, terminating
% 162.41/158.19 eprover: CPU time limit exceeded, terminating
% 164.48/160.20 eprover: CPU time limit exceeded, terminating
% 166.49/162.22 eprover: CPU time limit exceeded, terminating
% 168.52/164.23 eprover: CPU time limit exceeded, terminating
% 170.58/166.24 eprover: CPU time limit exceeded, terminating
% 172.64/168.25 eprover: CPU time limit exceeded, terminating
% 174.70/170.28 eprover: CPU time limit exceeded, terminating
% 176.70/172.29 eprover: CPU time limit exceeded, terminating
% 178.75/174.30 eprover: CPU time limit exceeded, terminating
% 180.76/176.31 eprover: CPU time limit exceeded, terminating
% 182.85/178.32 eprover: CPU time limit exceeded, terminating
% 184.87/180.34 eprover: CPU time limit exceeded, terminating
% 186.92/182.36 eprover: CPU time limit exceeded, terminating
% 189.00/184.37 eprover: CPU time limit exceeded, terminating
% 191.03/186.39 eprover: CPU time limit exceeded, terminating
% 193.04/188.40 eprover: CPU time limit exceeded, terminating
% 195.08/190.42 eprover: CPU time limit exceeded, terminating
% 197.12/192.43 eprover: CPU time limit exceeded, terminating
% 199.20/194.44 eprover: CPU time limit exceeded, terminating
% 201.26/196.45 eprover: CPU time limit exceeded, terminating
% 203.29/198.45 eprover: CPU time limit exceeded, terminating
% 205.36/200.47 eprover: CPU time limit exceeded, terminating
% 207.39/202.48 eprover: CPU time limit exceeded, terminating
% 209.42/204.49 eprover: CPU time limit exceeded, terminating
% 211.49/206.50 eprover: CPU time limit exceeded, terminating
% 213.51/208.50 eprover: CPU time limit exceeded, terminating
% 215.53/210.51 eprover: CPU time limit exceeded, terminating
% 217.57/212.52 eprover: CPU time limit exceeded, terminating
% 219.63/214.53 eprover: CPU time limit exceeded, terminating
% 221.72/216.54 eprover: CPU time limit exceeded, terminating
% 223.74/218.55 eprover: CPU time limit exceeded, terminating
% 225.82/220.56 eprover: CPU time limit exceeded, terminating
% 227.83/222.57 eprover: CPU time limit exceeded, terminating
% 229.89/224.58 eprover: CPU time limit exceeded, terminating
% 231.94/226.59 eprover: CPU time limit exceeded, terminating
% 233.97/228.59 eprover: CPU time limit exceeded, terminating
% 235.98/230.60 eprover: CPU time limit exceeded, terminating
% 238.03/232.61 eprover: CPU time limit exceeded, terminating
% 240.11/234.62 eprover: CPU time limit exceeded, terminating
% 242.18/236.63 eprover: CPU time limit exceeded, terminating
% 244.21/238.64 eprover: CPU time limit exceeded, terminating
% 246.21/240.65 eprover: CPU time limit exceeded, terminating
% 248.28/242.66 eprover: CPU time limit exceeded, terminating
% 250.35/244.67 eprover: CPU time limit exceeded, terminating
% 252.40/246.68 eprover: CPU time limit exceeded, terminating
% 254.42/248.69 eprover: CPU time limit exceeded, terminating
% 256.45/250.70 eprover: CPU time limit exceeded, terminating
% 258.50/252.71 eprover: CPU time limit exceeded, terminating
% 260.54/254.71 eprover: CPU time limit exceeded, terminating
% 262.57/256.72 eprover: CPU time limit exceeded, terminating
% 264.61/258.73 eprover: CPU time limit exceeded, terminating
% 266.71/260.74 eprover: CPU time limit exceeded, terminating
% 268.75/262.75 eprover: CPU time limit exceeded, terminating
% 270.78/264.76 eprover: CPU time limit exceeded, terminating
% 272.85/266.77 eprover: CPU time limit exceeded, terminating
% 274.90/268.78 eprover: CPU time limit exceeded, terminating
% 276.91/270.79 eprover: CPU time limit exceeded, terminating
% 278.97/272.80 eprover: CPU time limit exceeded, terminating
% 281.00/274.81 eprover: CPU time limit exceeded, terminating
% 283.02/276.82 eprover: CPU time limit exceeded, terminating
% 285.07/278.83 eprover: CPU time limit exceeded, terminating
% 287.16/280.84 eprover: CPU time limit exceeded, terminating
% 289.20/282.85 eprover: CPU time limit exceeded, terminating
% 291.24/284.86 eprover: CPU time limit exceeded, terminating
% 293.31/286.87 eprover: CPU time limit exceeded, terminating
% 295.35/288.88 eprover: CPU time limit exceeded, terminating
% 297.39/290.89 eprover: CPU time limit exceeded, terminating
% 299.44/292.90 eprover: CPU time limit exceeded, terminating
% 300.05/293.46 eprover: CPU time limit exceeded, terminating
% 300.05/293.48 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------