TSTP Solution File: NUM669+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM669+4 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n011.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:21 EDT 2022
% Result : Timeout 286.93s 283.59s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.14 % Problem : NUM669+4 : TPTP v8.1.0. Released v7.3.0.
% 0.04/0.15 % Command : run_infinox %s
% 0.15/0.36 % Computer : n011.cluster.edu
% 0.15/0.36 % Model : x86_64 x86_64
% 0.15/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.15/0.36 % Memory : 8042.1875MB
% 0.15/0.36 % OS : Linux 3.10.0-693.el7.x86_64
% 0.15/0.36 % CPULimit : 300
% 0.15/0.36 % WCLimit : 600
% 0.15/0.36 % DateTime : Tue Jul 5 10:22:37 EDT 2022
% 0.15/0.36 % CPUTime :
% 2.91/3.15 eprover: CPU time limit exceeded, terminating
% 5.01/5.17 eprover: CPU time limit exceeded, terminating
% 7.06/7.18 eprover: CPU time limit exceeded, terminating
% 9.10/9.20 eprover: CPU time limit exceeded, terminating
% 11.12/11.22 eprover: CPU time limit exceeded, terminating
% 13.20/13.24 eprover: CPU time limit exceeded, terminating
% 15.21/15.26 eprover: CPU time limit exceeded, terminating
% 17.27/17.27 eprover: CPU time limit exceeded, terminating
% 19.31/19.29 eprover: CPU time limit exceeded, terminating
% 21.32/21.31 eprover: CPU time limit exceeded, terminating
% 23.38/23.32 eprover: CPU time limit exceeded, terminating
% 25.40/25.33 eprover: CPU time limit exceeded, terminating
% 27.50/27.35 eprover: CPU time limit exceeded, terminating
% 29.50/29.37 eprover: CPU time limit exceeded, terminating
% 31.55/31.38 eprover: CPU time limit exceeded, terminating
% 33.61/33.40 eprover: CPU time limit exceeded, terminating
% 35.58/35.42 eprover: CPU time limit exceeded, terminating
% 37.67/37.44 eprover: CPU time limit exceeded, terminating
% 39.72/39.45 eprover: CPU time limit exceeded, terminating
% 41.72/41.48 eprover: CPU time limit exceeded, terminating
% 43.82/43.50 eprover: CPU time limit exceeded, terminating
% 45.83/45.52 eprover: CPU time limit exceeded, terminating
% 47.89/47.54 eprover: CPU time limit exceeded, terminating
% 49.95/49.55 eprover: CPU time limit exceeded, terminating
% 51.98/51.58 eprover: CPU time limit exceeded, terminating
% 54.01/53.59 eprover: CPU time limit exceeded, terminating
% 56.04/55.64 eprover: CPU time limit exceeded, terminating
% 58.06/57.66 eprover: CPU time limit exceeded, terminating
% 60.15/59.67 eprover: CPU time limit exceeded, terminating
% 62.20/61.69 eprover: CPU time limit exceeded, terminating
% 64.24/63.71 eprover: CPU time limit exceeded, terminating
% 66.23/65.73 eprover: CPU time limit exceeded, terminating
% 68.30/67.75 eprover: CPU time limit exceeded, terminating
% 70.38/69.78 eprover: CPU time limit exceeded, terminating
% 72.41/71.80 eprover: CPU time limit exceeded, terminating
% 74.40/73.82 eprover: CPU time limit exceeded, terminating
% 76.51/75.84 eprover: CPU time limit exceeded, terminating
% 78.51/77.86 eprover: CPU time limit exceeded, terminating
% 80.58/79.88 eprover: CPU time limit exceeded, terminating
% 82.60/81.90 eprover: CPU time limit exceeded, terminating
% 84.71/83.93 eprover: CPU time limit exceeded, terminating
% 86.69/85.95 eprover: CPU time limit exceeded, terminating
% 88.74/87.97 eprover: CPU time limit exceeded, terminating
% 90.78/89.98 eprover: CPU time limit exceeded, terminating
% 92.86/92.00 eprover: CPU time limit exceeded, terminating
% 94.89/94.02 eprover: CPU time limit exceeded, terminating
% 96.94/96.03 eprover: CPU time limit exceeded, terminating
% 98.97/98.05 eprover: CPU time limit exceeded, terminating
% 100.95/100.07 eprover: CPU time limit exceeded, terminating
% 103.07/102.08 eprover: CPU time limit exceeded, terminating
% 105.09/104.10 eprover: CPU time limit exceeded, terminating
% 107.11/106.11 eprover: CPU time limit exceeded, terminating
% 109.16/108.13 eprover: CPU time limit exceeded, terminating
% 111.19/110.15 eprover: CPU time limit exceeded, terminating
% 113.24/112.17 eprover: CPU time limit exceeded, terminating
% 115.32/114.19 eprover: CPU time limit exceeded, terminating
% 117.29/116.21 eprover: CPU time limit exceeded, terminating
% 119.35/118.23 eprover: CPU time limit exceeded, terminating
% 121.42/120.24 eprover: CPU time limit exceeded, terminating
% 123.49/122.27 eprover: CPU time limit exceeded, terminating
% 125.49/124.28 eprover: CPU time limit exceeded, terminating
% 127.58/126.30 eprover: CPU time limit exceeded, terminating
% 129.61/128.32 eprover: CPU time limit exceeded, terminating
% 131.66/130.34 eprover: CPU time limit exceeded, terminating
% 133.68/132.37 eprover: CPU time limit exceeded, terminating
% 135.69/134.39 eprover: CPU time limit exceeded, terminating
% 137.75/136.40 eprover: CPU time limit exceeded, terminating
% 139.82/138.42 eprover: CPU time limit exceeded, terminating
% 141.83/140.43 eprover: CPU time limit exceeded, terminating
% 143.89/142.44 eprover: CPU time limit exceeded, terminating
% 145.95/144.46 eprover: CPU time limit exceeded, terminating
% 148.00/146.48 eprover: CPU time limit exceeded, terminating
% 150.07/148.50 eprover: CPU time limit exceeded, terminating
% 152.04/150.51 eprover: CPU time limit exceeded, terminating
% 154.11/152.53 eprover: CPU time limit exceeded, terminating
% 156.17/154.54 eprover: CPU time limit exceeded, terminating
% 158.24/156.57 eprover: CPU time limit exceeded, terminating
% 160.23/158.58 eprover: CPU time limit exceeded, terminating
% 162.30/160.60 eprover: CPU time limit exceeded, terminating
% 164.36/162.62 eprover: CPU time limit exceeded, terminating
% 166.41/164.63 eprover: CPU time limit exceeded, terminating
% 168.45/166.65 eprover: CPU time limit exceeded, terminating
% 170.48/168.66 eprover: CPU time limit exceeded, terminating
% 172.53/170.68 eprover: CPU time limit exceeded, terminating
% 174.60/172.69 eprover: CPU time limit exceeded, terminating
% 176.61/174.71 eprover: CPU time limit exceeded, terminating
% 178.67/176.74 eprover: CPU time limit exceeded, terminating
% 180.69/178.76 eprover: CPU time limit exceeded, terminating
% 182.75/180.79 eprover: CPU time limit exceeded, terminating
% 184.80/182.80 eprover: CPU time limit exceeded, terminating
% 186.83/184.82 eprover: CPU time limit exceeded, terminating
% 188.90/186.83 eprover: CPU time limit exceeded, terminating
% 190.90/188.85 eprover: CPU time limit exceeded, terminating
% 193.00/190.86 eprover: CPU time limit exceeded, terminating
% 195.03/192.88 eprover: CPU time limit exceeded, terminating
% 197.02/194.90 eprover: CPU time limit exceeded, terminating
% 199.10/196.93 eprover: CPU time limit exceeded, terminating
% 201.14/198.95 eprover: CPU time limit exceeded, terminating
% 203.19/200.97 eprover: CPU time limit exceeded, terminating
% 205.20/202.99 eprover: CPU time limit exceeded, terminating
% 207.30/205.00 eprover: CPU time limit exceeded, terminating
% 209.27/207.02 eprover: CPU time limit exceeded, terminating
% 211.39/209.05 eprover: CPU time limit exceeded, terminating
% 213.44/211.07 eprover: CPU time limit exceeded, terminating
% 215.47/213.09 eprover: CPU time limit exceeded, terminating
% 217.54/215.11 eprover: CPU time limit exceeded, terminating
% 219.54/217.12 eprover: CPU time limit exceeded, terminating
% 221.54/219.13 eprover: CPU time limit exceeded, terminating
% 223.66/221.15 eprover: CPU time limit exceeded, terminating
% 225.68/223.16 eprover: CPU time limit exceeded, terminating
% 227.75/225.19 eprover: CPU time limit exceeded, terminating
% 229.79/227.21 eprover: CPU time limit exceeded, terminating
% 231.83/229.23 eprover: CPU time limit exceeded, terminating
% 233.87/231.25 eprover: CPU time limit exceeded, terminating
% 235.89/233.27 eprover: CPU time limit exceeded, terminating
% 237.95/235.28 eprover: CPU time limit exceeded, terminating
% 240.02/237.30 eprover: CPU time limit exceeded, terminating
% 242.04/239.32 eprover: CPU time limit exceeded, terminating
% 244.08/241.33 eprover: CPU time limit exceeded, terminating
% 246.10/243.35 eprover: CPU time limit exceeded, terminating
% 248.13/245.36 eprover: CPU time limit exceeded, terminating
% 250.17/247.38 eprover: CPU time limit exceeded, terminating
% 252.21/249.40 eprover: CPU time limit exceeded, terminating
% 254.27/251.41 eprover: CPU time limit exceeded, terminating
% 256.31/253.42 eprover: CPU time limit exceeded, terminating
% 258.33/255.44 eprover: CPU time limit exceeded, terminating
% 260.33/257.46 eprover: CPU time limit exceeded, terminating
% 262.44/259.47 eprover: CPU time limit exceeded, terminating
% 264.49/261.48 eprover: CPU time limit exceeded, terminating
% 266.49/263.49 eprover: CPU time limit exceeded, terminating
% 268.54/265.50 eprover: CPU time limit exceeded, terminating
% 270.58/267.50 eprover: CPU time limit exceeded, terminating
% 272.59/269.51 eprover: CPU time limit exceeded, terminating
% 274.61/271.52 eprover: CPU time limit exceeded, terminating
% 276.64/273.54 eprover: CPU time limit exceeded, terminating
% 278.72/275.55 eprover: CPU time limit exceeded, terminating
% 280.81/277.56 eprover: CPU time limit exceeded, terminating
% 282.79/279.57 eprover: CPU time limit exceeded, terminating
% 284.85/281.58 eprover: CPU time limit exceeded, terminating
% 286.93/283.59 eprover: CPU time limit exceeded, terminating
% 288.89/285.60 eprover: CPU time limit exceeded, terminating
% 290.96/287.61 eprover: CPU time limit exceeded, terminating
% 293.04/289.63 eprover: CPU time limit exceeded, terminating
% 295.02/291.64 eprover: CPU time limit exceeded, terminating
% 297.11/293.65 eprover: CPU time limit exceeded, terminating
% 299.07/295.66 eprover: CPU time limit exceeded, terminating
% 300.05/296.51 eprover: CPU time limit exceeded, terminating
% 300.05/296.53 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------