TSTP Solution File: NUM701+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM701+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:49 EDT 2022
% Result : Timeout 287.78s 283.06s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : NUM701+4 : TPTP v8.1.0. Released v7.3.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.14/0.34 % Computer : n004.cluster.edu
% 0.14/0.34 % Model : x86_64 x86_64
% 0.14/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.34 % Memory : 8042.1875MB
% 0.14/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.34 % CPULimit : 300
% 0.14/0.34 % WCLimit : 600
% 0.14/0.34 % DateTime : Wed Jul 6 00:41:07 EDT 2022
% 0.14/0.35 % CPUTime :
% 3.07/3.27 eprover: CPU time limit exceeded, terminating
% 5.08/5.28 eprover: CPU time limit exceeded, terminating
% 7.21/7.29 eprover: CPU time limit exceeded, terminating
% 9.19/9.31 eprover: CPU time limit exceeded, terminating
% 11.31/11.32 eprover: CPU time limit exceeded, terminating
% 13.34/13.33 eprover: CPU time limit exceeded, terminating
% 15.37/15.34 eprover: CPU time limit exceeded, terminating
% 17.43/17.36 eprover: CPU time limit exceeded, terminating
% 19.49/19.37 eprover: CPU time limit exceeded, terminating
% 21.50/21.38 eprover: CPU time limit exceeded, terminating
% 23.61/23.40 eprover: CPU time limit exceeded, terminating
% 25.66/25.41 eprover: CPU time limit exceeded, terminating
% 27.70/27.42 eprover: CPU time limit exceeded, terminating
% 29.77/29.43 eprover: CPU time limit exceeded, terminating
% 31.81/31.45 eprover: CPU time limit exceeded, terminating
% 33.82/33.46 eprover: CPU time limit exceeded, terminating
% 35.87/35.48 eprover: CPU time limit exceeded, terminating
% 37.93/37.49 eprover: CPU time limit exceeded, terminating
% 40.04/39.50 eprover: CPU time limit exceeded, terminating
% 42.04/41.52 eprover: CPU time limit exceeded, terminating
% 44.13/43.53 eprover: CPU time limit exceeded, terminating
% 46.18/45.54 eprover: CPU time limit exceeded, terminating
% 48.19/47.56 eprover: CPU time limit exceeded, terminating
% 50.24/49.57 eprover: CPU time limit exceeded, terminating
% 52.31/51.58 eprover: CPU time limit exceeded, terminating
% 54.41/53.60 eprover: CPU time limit exceeded, terminating
% 56.44/55.61 eprover: CPU time limit exceeded, terminating
% 58.49/57.62 eprover: CPU time limit exceeded, terminating
% 60.54/59.64 eprover: CPU time limit exceeded, terminating
% 62.57/61.65 eprover: CPU time limit exceeded, terminating
% 64.64/63.66 eprover: CPU time limit exceeded, terminating
% 66.72/65.68 eprover: CPU time limit exceeded, terminating
% 68.70/67.69 eprover: CPU time limit exceeded, terminating
% 70.78/69.71 eprover: CPU time limit exceeded, terminating
% 72.87/71.72 eprover: CPU time limit exceeded, terminating
% 74.90/73.73 eprover: CPU time limit exceeded, terminating
% 76.98/75.75 eprover: CPU time limit exceeded, terminating
% 78.96/77.76 eprover: CPU time limit exceeded, terminating
% 81.02/79.77 eprover: CPU time limit exceeded, terminating
% 83.05/81.78 eprover: CPU time limit exceeded, terminating
% 85.15/83.81 eprover: CPU time limit exceeded, terminating
% 87.21/85.82 eprover: CPU time limit exceeded, terminating
% 89.25/87.83 eprover: CPU time limit exceeded, terminating
% 91.28/89.84 eprover: CPU time limit exceeded, terminating
% 93.32/91.86 eprover: CPU time limit exceeded, terminating
% 95.36/93.87 eprover: CPU time limit exceeded, terminating
% 97.37/95.88 eprover: CPU time limit exceeded, terminating
% 99.49/97.89 eprover: CPU time limit exceeded, terminating
% 101.51/99.90 eprover: CPU time limit exceeded, terminating
% 103.54/101.92 eprover: CPU time limit exceeded, terminating
% 105.57/103.92 eprover: CPU time limit exceeded, terminating
% 107.62/105.94 eprover: CPU time limit exceeded, terminating
% 109.67/107.95 eprover: CPU time limit exceeded, terminating
% 111.66/109.97 eprover: CPU time limit exceeded, terminating
% 113.73/111.98 eprover: CPU time limit exceeded, terminating
% 115.84/114.00 eprover: CPU time limit exceeded, terminating
% 117.84/116.02 eprover: CPU time limit exceeded, terminating
% 119.88/118.03 eprover: CPU time limit exceeded, terminating
% 121.92/120.05 eprover: CPU time limit exceeded, terminating
% 123.92/122.06 eprover: CPU time limit exceeded, terminating
% 125.96/124.08 eprover: CPU time limit exceeded, terminating
% 128.06/126.09 eprover: CPU time limit exceeded, terminating
% 130.03/128.10 eprover: CPU time limit exceeded, terminating
% 132.13/130.13 eprover: CPU time limit exceeded, terminating
% 134.16/132.15 eprover: CPU time limit exceeded, terminating
% 136.20/134.17 eprover: CPU time limit exceeded, terminating
% 138.30/136.19 eprover: CPU time limit exceeded, terminating
% 140.34/138.20 eprover: CPU time limit exceeded, terminating
% 142.34/140.22 eprover: CPU time limit exceeded, terminating
% 144.39/142.24 eprover: CPU time limit exceeded, terminating
% 146.42/144.26 eprover: CPU time limit exceeded, terminating
% 148.48/146.27 eprover: CPU time limit exceeded, terminating
% 150.54/148.30 eprover: CPU time limit exceeded, terminating
% 152.60/150.31 eprover: CPU time limit exceeded, terminating
% 154.65/152.32 eprover: CPU time limit exceeded, terminating
% 156.67/154.33 eprover: CPU time limit exceeded, terminating
% 158.71/156.34 eprover: CPU time limit exceeded, terminating
% 160.76/158.36 eprover: CPU time limit exceeded, terminating
% 162.77/160.38 eprover: CPU time limit exceeded, terminating
% 164.86/162.39 eprover: CPU time limit exceeded, terminating
% 166.92/164.41 eprover: CPU time limit exceeded, terminating
% 168.94/166.42 eprover: CPU time limit exceeded, terminating
% 170.95/168.43 eprover: CPU time limit exceeded, terminating
% 173.02/170.44 eprover: CPU time limit exceeded, terminating
% 175.11/172.46 eprover: CPU time limit exceeded, terminating
% 177.11/174.47 eprover: CPU time limit exceeded, terminating
% 179.19/176.48 eprover: CPU time limit exceeded, terminating
% 181.24/178.49 eprover: CPU time limit exceeded, terminating
% 183.26/180.50 eprover: CPU time limit exceeded, terminating
% 185.28/182.51 eprover: CPU time limit exceeded, terminating
% 187.36/184.52 eprover: CPU time limit exceeded, terminating
% 189.43/186.53 eprover: CPU time limit exceeded, terminating
% 191.47/188.54 eprover: CPU time limit exceeded, terminating
% 193.52/190.55 eprover: CPU time limit exceeded, terminating
% 195.59/192.56 eprover: CPU time limit exceeded, terminating
% 197.62/194.57 eprover: CPU time limit exceeded, terminating
% 199.65/196.58 eprover: CPU time limit exceeded, terminating
% 201.68/198.59 eprover: CPU time limit exceeded, terminating
% 203.75/200.60 eprover: CPU time limit exceeded, terminating
% 205.83/202.61 eprover: CPU time limit exceeded, terminating
% 207.83/204.62 eprover: CPU time limit exceeded, terminating
% 209.89/206.63 eprover: CPU time limit exceeded, terminating
% 211.91/208.65 eprover: CPU time limit exceeded, terminating
% 214.02/210.66 eprover: CPU time limit exceeded, terminating
% 216.08/212.67 eprover: CPU time limit exceeded, terminating
% 218.11/214.68 eprover: CPU time limit exceeded, terminating
% 220.14/216.69 eprover: CPU time limit exceeded, terminating
% 222.20/218.70 eprover: CPU time limit exceeded, terminating
% 224.27/220.71 eprover: CPU time limit exceeded, terminating
% 226.29/222.72 eprover: CPU time limit exceeded, terminating
% 228.36/224.74 eprover: CPU time limit exceeded, terminating
% 230.41/226.75 eprover: CPU time limit exceeded, terminating
% 232.47/228.76 eprover: CPU time limit exceeded, terminating
% 234.51/230.77 eprover: CPU time limit exceeded, terminating
% 236.55/232.78 eprover: CPU time limit exceeded, terminating
% 238.60/234.79 eprover: CPU time limit exceeded, terminating
% 240.60/236.80 eprover: CPU time limit exceeded, terminating
% 242.68/238.81 eprover: CPU time limit exceeded, terminating
% 244.75/240.82 eprover: CPU time limit exceeded, terminating
% 246.76/242.83 eprover: CPU time limit exceeded, terminating
% 248.83/244.84 eprover: CPU time limit exceeded, terminating
% 250.90/246.86 eprover: CPU time limit exceeded, terminating
% 252.95/248.87 eprover: CPU time limit exceeded, terminating
% 254.96/250.88 eprover: CPU time limit exceeded, terminating
% 257.01/252.89 eprover: CPU time limit exceeded, terminating
% 259.09/254.90 eprover: CPU time limit exceeded, terminating
% 261.13/256.91 eprover: CPU time limit exceeded, terminating
% 263.16/258.92 eprover: CPU time limit exceeded, terminating
% 265.20/260.93 eprover: CPU time limit exceeded, terminating
% 267.23/262.95 eprover: CPU time limit exceeded, terminating
% 269.31/264.96 eprover: CPU time limit exceeded, terminating
% 271.39/266.97 eprover: CPU time limit exceeded, terminating
% 273.44/268.98 eprover: CPU time limit exceeded, terminating
% 275.44/270.99 eprover: CPU time limit exceeded, terminating
% 277.50/273.00 eprover: CPU time limit exceeded, terminating
% 279.57/275.01 eprover: CPU time limit exceeded, terminating
% 281.58/277.02 eprover: CPU time limit exceeded, terminating
% 283.69/279.03 eprover: CPU time limit exceeded, terminating
% 285.70/281.05 eprover: CPU time limit exceeded, terminating
% 287.78/283.06 eprover: CPU time limit exceeded, terminating
% 289.78/285.07 eprover: CPU time limit exceeded, terminating
% 291.85/287.08 eprover: CPU time limit exceeded, terminating
% 293.93/289.09 eprover: CPU time limit exceeded, terminating
% 295.91/291.10 eprover: CPU time limit exceeded, terminating
% 297.99/293.11 eprover: CPU time limit exceeded, terminating
% 299.99/295.12 eprover: CPU time limit exceeded, terminating
% 300.10/295.16 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------