TSTP Solution File: NUM691+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM691+4 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n004.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:39 EDT 2022
% Result : Timeout 286.11s 281.08s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.13 % Problem : NUM691+4 : TPTP v8.1.0. Released v7.3.0.
% 0.08/0.14 % Command : run_infinox %s
% 0.14/0.36 % Computer : n004.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 03:29:38 EDT 2022
% 0.14/0.36 % CPUTime :
% 3.04/3.26 eprover: CPU time limit exceeded, terminating
% 5.13/5.27 eprover: CPU time limit exceeded, terminating
% 7.16/7.29 eprover: CPU time limit exceeded, terminating
% 9.25/9.30 eprover: CPU time limit exceeded, terminating
% 11.25/11.31 eprover: CPU time limit exceeded, terminating
% 13.39/13.32 eprover: CPU time limit exceeded, terminating
% 15.42/15.34 eprover: CPU time limit exceeded, terminating
% 17.43/17.35 eprover: CPU time limit exceeded, terminating
% 19.48/19.36 eprover: CPU time limit exceeded, terminating
% 21.58/21.37 eprover: CPU time limit exceeded, terminating
% 23.57/23.39 eprover: CPU time limit exceeded, terminating
% 25.68/25.40 eprover: CPU time limit exceeded, terminating
% 27.71/27.41 eprover: CPU time limit exceeded, terminating
% 29.74/29.42 eprover: CPU time limit exceeded, terminating
% 31.77/31.44 eprover: CPU time limit exceeded, terminating
% 33.85/33.45 eprover: CPU time limit exceeded, terminating
% 35.85/35.46 eprover: CPU time limit exceeded, terminating
% 37.93/37.47 eprover: CPU time limit exceeded, terminating
% 39.98/39.49 eprover: CPU time limit exceeded, terminating
% 42.00/41.50 eprover: CPU time limit exceeded, terminating
% 44.10/43.51 eprover: CPU time limit exceeded, terminating
% 46.17/45.53 eprover: CPU time limit exceeded, terminating
% 48.18/47.54 eprover: CPU time limit exceeded, terminating
% 50.24/49.55 eprover: CPU time limit exceeded, terminating
% 52.30/51.57 eprover: CPU time limit exceeded, terminating
% 54.30/53.58 eprover: CPU time limit exceeded, terminating
% 56.43/55.59 eprover: CPU time limit exceeded, terminating
% 58.48/57.61 eprover: CPU time limit exceeded, terminating
% 60.54/59.62 eprover: CPU time limit exceeded, terminating
% 62.60/61.63 eprover: CPU time limit exceeded, terminating
% 64.63/63.65 eprover: CPU time limit exceeded, terminating
% 66.70/65.66 eprover: CPU time limit exceeded, terminating
% 68.66/67.68 eprover: CPU time limit exceeded, terminating
% 70.80/69.69 eprover: CPU time limit exceeded, terminating
% 72.86/71.70 eprover: CPU time limit exceeded, terminating
% 74.89/73.72 eprover: CPU time limit exceeded, terminating
% 76.93/75.73 eprover: CPU time limit exceeded, terminating
% 78.98/77.75 eprover: CPU time limit exceeded, terminating
% 81.05/79.76 eprover: CPU time limit exceeded, terminating
% 83.06/81.77 eprover: CPU time limit exceeded, terminating
% 85.11/83.79 eprover: CPU time limit exceeded, terminating
% 87.19/85.80 eprover: CPU time limit exceeded, terminating
% 89.26/87.81 eprover: CPU time limit exceeded, terminating
% 91.26/89.83 eprover: CPU time limit exceeded, terminating
% 93.37/91.84 eprover: CPU time limit exceeded, terminating
% 95.38/93.85 eprover: CPU time limit exceeded, terminating
% 97.46/95.87 eprover: CPU time limit exceeded, terminating
% 99.45/97.88 eprover: CPU time limit exceeded, terminating
% 101.53/99.89 eprover: CPU time limit exceeded, terminating
% 103.63/101.91 eprover: CPU time limit exceeded, terminating
% 105.68/103.92 eprover: CPU time limit exceeded, terminating
% 107.73/105.93 eprover: CPU time limit exceeded, terminating
% 109.78/107.95 eprover: CPU time limit exceeded, terminating
% 111.84/109.96 eprover: CPU time limit exceeded, terminating
% 113.80/111.97 eprover: CPU time limit exceeded, terminating
% 115.94/113.99 eprover: CPU time limit exceeded, terminating
% 117.97/116.00 eprover: CPU time limit exceeded, terminating
% 120.01/118.01 eprover: CPU time limit exceeded, terminating
% 122.05/120.03 eprover: CPU time limit exceeded, terminating
% 124.11/122.04 eprover: CPU time limit exceeded, terminating
% 126.18/124.05 eprover: CPU time limit exceeded, terminating
% 128.22/126.07 eprover: CPU time limit exceeded, terminating
% 130.28/128.08 eprover: CPU time limit exceeded, terminating
% 132.33/130.09 eprover: CPU time limit exceeded, terminating
% 134.40/132.11 eprover: CPU time limit exceeded, terminating
% 136.42/134.12 eprover: CPU time limit exceeded, terminating
% 138.47/136.13 eprover: CPU time limit exceeded, terminating
% 140.54/138.15 eprover: CPU time limit exceeded, terminating
% 142.56/140.16 eprover: CPU time limit exceeded, terminating
% 144.63/142.17 eprover: CPU time limit exceeded, terminating
% 146.68/144.19 eprover: CPU time limit exceeded, terminating
% 148.74/146.20 eprover: CPU time limit exceeded, terminating
% 150.78/148.21 eprover: CPU time limit exceeded, terminating
% 152.82/150.23 eprover: CPU time limit exceeded, terminating
% 154.88/152.24 eprover: CPU time limit exceeded, terminating
% 156.93/154.25 eprover: CPU time limit exceeded, terminating
% 159.00/156.27 eprover: CPU time limit exceeded, terminating
% 161.06/158.28 eprover: CPU time limit exceeded, terminating
% 163.12/160.30 eprover: CPU time limit exceeded, terminating
% 165.11/162.31 eprover: CPU time limit exceeded, terminating
% 167.14/164.32 eprover: CPU time limit exceeded, terminating
% 169.19/166.34 eprover: CPU time limit exceeded, terminating
% 171.28/168.35 eprover: CPU time limit exceeded, terminating
% 173.33/170.36 eprover: CPU time limit exceeded, terminating
% 175.40/172.38 eprover: CPU time limit exceeded, terminating
% 177.44/174.39 eprover: CPU time limit exceeded, terminating
% 179.51/176.40 eprover: CPU time limit exceeded, terminating
% 181.51/178.41 eprover: CPU time limit exceeded, terminating
% 183.63/180.43 eprover: CPU time limit exceeded, terminating
% 185.68/182.44 eprover: CPU time limit exceeded, terminating
% 187.73/184.46 eprover: CPU time limit exceeded, terminating
% 189.74/186.47 eprover: CPU time limit exceeded, terminating
% 191.80/188.48 eprover: CPU time limit exceeded, terminating
% 193.88/190.49 eprover: CPU time limit exceeded, terminating
% 195.89/192.51 eprover: CPU time limit exceeded, terminating
% 197.97/194.52 eprover: CPU time limit exceeded, terminating
% 200.02/196.53 eprover: CPU time limit exceeded, terminating
% 202.02/198.55 eprover: CPU time limit exceeded, terminating
% 204.10/200.56 eprover: CPU time limit exceeded, terminating
% 206.12/202.57 eprover: CPU time limit exceeded, terminating
% 208.19/204.58 eprover: CPU time limit exceeded, terminating
% 210.29/206.60 eprover: CPU time limit exceeded, terminating
% 212.28/208.61 eprover: CPU time limit exceeded, terminating
% 214.38/210.62 eprover: CPU time limit exceeded, terminating
% 216.42/212.63 eprover: CPU time limit exceeded, terminating
% 218.43/214.65 eprover: CPU time limit exceeded, terminating
% 220.51/216.66 eprover: CPU time limit exceeded, terminating
% 222.59/218.67 eprover: CPU time limit exceeded, terminating
% 224.59/220.68 eprover: CPU time limit exceeded, terminating
% 226.68/222.70 eprover: CPU time limit exceeded, terminating
% 228.75/224.71 eprover: CPU time limit exceeded, terminating
% 230.76/226.73 eprover: CPU time limit exceeded, terminating
% 232.83/228.74 eprover: CPU time limit exceeded, terminating
% 234.84/230.75 eprover: CPU time limit exceeded, terminating
% 236.89/232.77 eprover: CPU time limit exceeded, terminating
% 239.02/234.78 eprover: CPU time limit exceeded, terminating
% 241.06/236.79 eprover: CPU time limit exceeded, terminating
% 243.09/238.81 eprover: CPU time limit exceeded, terminating
% 245.16/240.82 eprover: CPU time limit exceeded, terminating
% 247.21/242.83 eprover: CPU time limit exceeded, terminating
% 249.26/244.85 eprover: CPU time limit exceeded, terminating
% 251.28/246.86 eprover: CPU time limit exceeded, terminating
% 253.36/248.87 eprover: CPU time limit exceeded, terminating
% 255.35/250.89 eprover: CPU time limit exceeded, terminating
% 257.40/252.90 eprover: CPU time limit exceeded, terminating
% 259.53/254.91 eprover: CPU time limit exceeded, terminating
% 261.56/256.93 eprover: CPU time limit exceeded, terminating
% 263.61/258.94 eprover: CPU time limit exceeded, terminating
% 265.61/260.95 eprover: CPU time limit exceeded, terminating
% 267.70/262.96 eprover: CPU time limit exceeded, terminating
% 269.79/264.98 eprover: CPU time limit exceeded, terminating
% 271.83/266.99 eprover: CPU time limit exceeded, terminating
% 273.79/269.01 eprover: CPU time limit exceeded, terminating
% 275.89/271.02 eprover: CPU time limit exceeded, terminating
% 277.95/273.03 eprover: CPU time limit exceeded, terminating
% 279.97/275.04 eprover: CPU time limit exceeded, terminating
% 282.03/277.06 eprover: CPU time limit exceeded, terminating
% 284.10/279.07 eprover: CPU time limit exceeded, terminating
% 286.11/281.08 eprover: CPU time limit exceeded, terminating
% 288.18/283.10 eprover: CPU time limit exceeded, terminating
% 290.28/285.11 eprover: CPU time limit exceeded, terminating
% 292.32/287.12 eprover: CPU time limit exceeded, terminating
% 294.39/289.13 eprover: CPU time limit exceeded, terminating
% 296.38/291.14 eprover: CPU time limit exceeded, terminating
% 298.42/293.15 eprover: CPU time limit exceeded, terminating
% 300.08/294.70 eprover: CPU time limit exceeded, terminating
% 300.08/294.71 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------