TSTP Solution File: NUM687+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM687+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:35 EDT 2022
% Result : Timeout 286.04s 281.44s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.13 % Problem : NUM687+4 : TPTP v8.1.0. Released v7.3.0.
% 0.11/0.14 % Command : run_infinox %s
% 0.14/0.35 % Computer : n020.cluster.edu
% 0.14/0.35 % Model : x86_64 x86_64
% 0.14/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.35 % Memory : 8042.1875MB
% 0.14/0.35 % 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 : Thu Jul 7 09:26:14 EDT 2022
% 0.14/0.36 % CPUTime :
% 3.07/3.29 eprover: CPU time limit exceeded, terminating
% 5.19/5.31 eprover: CPU time limit exceeded, terminating
% 7.20/7.32 eprover: CPU time limit exceeded, terminating
% 9.25/9.33 eprover: CPU time limit exceeded, terminating
% 11.31/11.35 eprover: CPU time limit exceeded, terminating
% 13.31/13.36 eprover: CPU time limit exceeded, terminating
% 15.36/15.37 eprover: CPU time limit exceeded, terminating
% 17.41/17.39 eprover: CPU time limit exceeded, terminating
% 19.51/19.40 eprover: CPU time limit exceeded, terminating
% 21.56/21.41 eprover: CPU time limit exceeded, terminating
% 23.60/23.43 eprover: CPU time limit exceeded, terminating
% 25.66/25.44 eprover: CPU time limit exceeded, terminating
% 27.68/27.46 eprover: CPU time limit exceeded, terminating
% 29.72/29.47 eprover: CPU time limit exceeded, terminating
% 31.78/31.49 eprover: CPU time limit exceeded, terminating
% 33.88/33.50 eprover: CPU time limit exceeded, terminating
% 35.92/35.51 eprover: CPU time limit exceeded, terminating
% 37.97/37.53 eprover: CPU time limit exceeded, terminating
% 39.98/39.54 eprover: CPU time limit exceeded, terminating
% 42.04/41.56 eprover: CPU time limit exceeded, terminating
% 44.08/43.57 eprover: CPU time limit exceeded, terminating
% 46.12/45.59 eprover: CPU time limit exceeded, terminating
% 48.24/47.60 eprover: CPU time limit exceeded, terminating
% 50.27/49.62 eprover: CPU time limit exceeded, terminating
% 52.32/51.63 eprover: CPU time limit exceeded, terminating
% 54.37/53.64 eprover: CPU time limit exceeded, terminating
% 56.37/55.66 eprover: CPU time limit exceeded, terminating
% 58.42/57.67 eprover: CPU time limit exceeded, terminating
% 60.47/59.69 eprover: CPU time limit exceeded, terminating
% 62.59/61.70 eprover: CPU time limit exceeded, terminating
% 64.62/63.71 eprover: CPU time limit exceeded, terminating
% 66.69/65.73 eprover: CPU time limit exceeded, terminating
% 68.72/67.74 eprover: CPU time limit exceeded, terminating
% 70.76/69.76 eprover: CPU time limit exceeded, terminating
% 72.80/71.78 eprover: CPU time limit exceeded, terminating
% 74.91/73.79 eprover: CPU time limit exceeded, terminating
% 76.95/75.80 eprover: CPU time limit exceeded, terminating
% 78.97/77.82 eprover: CPU time limit exceeded, terminating
% 81.03/79.84 eprover: CPU time limit exceeded, terminating
% 83.08/81.85 eprover: CPU time limit exceeded, terminating
% 85.11/83.87 eprover: CPU time limit exceeded, terminating
% 87.13/85.88 eprover: CPU time limit exceeded, terminating
% 89.19/87.90 eprover: CPU time limit exceeded, terminating
% 91.32/89.91 eprover: CPU time limit exceeded, terminating
% 93.35/91.93 eprover: CPU time limit exceeded, terminating
% 95.40/93.94 eprover: CPU time limit exceeded, terminating
% 97.41/95.96 eprover: CPU time limit exceeded, terminating
% 99.44/97.98 eprover: CPU time limit exceeded, terminating
% 101.52/99.99 eprover: CPU time limit exceeded, terminating
% 103.63/102.00 eprover: CPU time limit exceeded, terminating
% 105.68/104.02 eprover: CPU time limit exceeded, terminating
% 107.69/106.04 eprover: CPU time limit exceeded, terminating
% 109.76/108.05 eprover: CPU time limit exceeded, terminating
% 111.81/110.07 eprover: CPU time limit exceeded, terminating
% 113.81/112.08 eprover: CPU time limit exceeded, terminating
% 115.95/114.10 eprover: CPU time limit exceeded, terminating
% 117.99/116.11 eprover: CPU time limit exceeded, terminating
% 120.02/118.13 eprover: CPU time limit exceeded, terminating
% 122.07/120.14 eprover: CPU time limit exceeded, terminating
% 124.13/122.16 eprover: CPU time limit exceeded, terminating
% 126.13/124.17 eprover: CPU time limit exceeded, terminating
% 128.19/126.18 eprover: CPU time limit exceeded, terminating
% 130.24/128.20 eprover: CPU time limit exceeded, terminating
% 132.35/130.21 eprover: CPU time limit exceeded, terminating
% 134.38/132.23 eprover: CPU time limit exceeded, terminating
% 136.41/134.25 eprover: CPU time limit exceeded, terminating
% 138.49/136.27 eprover: CPU time limit exceeded, terminating
% 140.50/138.29 eprover: CPU time limit exceeded, terminating
% 142.61/140.30 eprover: CPU time limit exceeded, terminating
% 144.68/142.32 eprover: CPU time limit exceeded, terminating
% 146.69/144.33 eprover: CPU time limit exceeded, terminating
% 148.73/146.34 eprover: CPU time limit exceeded, terminating
% 150.77/148.35 eprover: CPU time limit exceeded, terminating
% 152.81/150.36 eprover: CPU time limit exceeded, terminating
% 154.81/152.37 eprover: CPU time limit exceeded, terminating
% 156.95/154.39 eprover: CPU time limit exceeded, terminating
% 158.92/156.40 eprover: CPU time limit exceeded, terminating
% 161.04/158.42 eprover: CPU time limit exceeded, terminating
% 163.05/160.43 eprover: CPU time limit exceeded, terminating
% 165.09/162.44 eprover: CPU time limit exceeded, terminating
% 167.15/164.46 eprover: CPU time limit exceeded, terminating
% 169.14/166.48 eprover: CPU time limit exceeded, terminating
% 171.29/168.49 eprover: CPU time limit exceeded, terminating
% 173.24/170.50 eprover: CPU time limit exceeded, terminating
% 175.39/172.51 eprover: CPU time limit exceeded, terminating
% 177.38/174.53 eprover: CPU time limit exceeded, terminating
% 179.43/176.54 eprover: CPU time limit exceeded, terminating
% 181.45/178.56 eprover: CPU time limit exceeded, terminating
% 183.51/180.57 eprover: CPU time limit exceeded, terminating
% 185.61/182.59 eprover: CPU time limit exceeded, terminating
% 187.64/184.61 eprover: CPU time limit exceeded, terminating
% 189.70/186.62 eprover: CPU time limit exceeded, terminating
% 191.74/188.63 eprover: CPU time limit exceeded, terminating
% 193.75/190.65 eprover: CPU time limit exceeded, terminating
% 195.81/192.66 eprover: CPU time limit exceeded, terminating
% 197.92/194.67 eprover: CPU time limit exceeded, terminating
% 199.87/196.69 eprover: CPU time limit exceeded, terminating
% 202.00/198.71 eprover: CPU time limit exceeded, terminating
% 204.06/200.72 eprover: CPU time limit exceeded, terminating
% 206.10/202.74 eprover: CPU time limit exceeded, terminating
% 208.11/204.75 eprover: CPU time limit exceeded, terminating
% 210.14/206.77 eprover: CPU time limit exceeded, terminating
% 212.20/208.78 eprover: CPU time limit exceeded, terminating
% 214.31/210.80 eprover: CPU time limit exceeded, terminating
% 216.30/212.85 eprover: CPU time limit exceeded, terminating
% 218.36/214.87 eprover: CPU time limit exceeded, terminating
% 220.39/216.88 eprover: CPU time limit exceeded, terminating
% 222.50/218.90 eprover: CPU time limit exceeded, terminating
% 224.53/220.92 eprover: CPU time limit exceeded, terminating
% 226.57/222.94 eprover: CPU time limit exceeded, terminating
% 228.62/224.95 eprover: CPU time limit exceeded, terminating
% 230.62/226.97 eprover: CPU time limit exceeded, terminating
% 232.68/228.99 eprover: CPU time limit exceeded, terminating
% 234.77/231.00 eprover: CPU time limit exceeded, terminating
% 236.85/233.02 eprover: CPU time limit exceeded, terminating
% 238.83/235.04 eprover: CPU time limit exceeded, terminating
% 240.91/237.06 eprover: CPU time limit exceeded, terminating
% 242.96/239.08 eprover: CPU time limit exceeded, terminating
% 245.05/241.09 eprover: CPU time limit exceeded, terminating
% 247.12/243.12 eprover: CPU time limit exceeded, terminating
% 249.16/245.13 eprover: CPU time limit exceeded, terminating
% 251.19/247.15 eprover: CPU time limit exceeded, terminating
% 253.20/249.16 eprover: CPU time limit exceeded, terminating
% 255.27/251.17 eprover: CPU time limit exceeded, terminating
% 257.27/253.19 eprover: CPU time limit exceeded, terminating
% 259.39/255.20 eprover: CPU time limit exceeded, terminating
% 261.45/257.22 eprover: CPU time limit exceeded, terminating
% 263.48/259.24 eprover: CPU time limit exceeded, terminating
% 265.54/261.25 eprover: CPU time limit exceeded, terminating
% 267.54/263.27 eprover: CPU time limit exceeded, terminating
% 269.61/265.29 eprover: CPU time limit exceeded, terminating
% 271.72/267.30 eprover: CPU time limit exceeded, terminating
% 273.77/269.32 eprover: CPU time limit exceeded, terminating
% 275.76/271.34 eprover: CPU time limit exceeded, terminating
% 277.84/273.36 eprover: CPU time limit exceeded, terminating
% 279.93/275.39 eprover: CPU time limit exceeded, terminating
% 281.97/277.41 eprover: CPU time limit exceeded, terminating
% 284.03/279.42 eprover: CPU time limit exceeded, terminating
% 286.04/281.44 eprover: CPU time limit exceeded, terminating
% 288.08/283.47 eprover: CPU time limit exceeded, terminating
% 290.18/285.49 eprover: CPU time limit exceeded, terminating
% 292.20/287.51 eprover: CPU time limit exceeded, terminating
% 294.27/289.53 eprover: CPU time limit exceeded, terminating
% 296.30/291.55 eprover: CPU time limit exceeded, terminating
% 298.33/293.56 eprover: CPU time limit exceeded, terminating
% 300.09/295.23 eprover: CPU time limit exceeded, terminating
% 300.09/295.25 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------