TSTP Solution File: NUM284-10.014 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM284-10.014 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n009.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:35:52 EDT 2022
% Result : Timeout 287.65s 287.56s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : NUM284-10.014 : TPTP v8.1.0. Released v7.3.0.
% 0.06/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n009.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Tue Jul 5 19:11:22 EDT 2022
% 0.12/0.33 % CPUTime :
% 2.16/2.35 eprover: CPU time limit exceeded, terminating
% 4.13/4.36 eprover: CPU time limit exceeded, terminating
% 6.13/6.37 eprover: CPU time limit exceeded, terminating
% 8.17/8.37 eprover: CPU time limit exceeded, terminating
% 10.22/10.38 eprover: CPU time limit exceeded, terminating
% 12.20/12.39 eprover: CPU time limit exceeded, terminating
% 14.17/14.39 eprover: CPU time limit exceeded, terminating
% 16.24/16.40 eprover: CPU time limit exceeded, terminating
% 18.22/18.41 eprover: CPU time limit exceeded, terminating
% 20.18/20.41 eprover: CPU time limit exceeded, terminating
% 22.25/22.42 eprover: CPU time limit exceeded, terminating
% 24.24/24.43 eprover: CPU time limit exceeded, terminating
% 26.27/26.43 eprover: CPU time limit exceeded, terminating
% 28.30/28.44 eprover: CPU time limit exceeded, terminating
% 30.27/30.45 eprover: CPU time limit exceeded, terminating
% 32.29/32.46 eprover: CPU time limit exceeded, terminating
% 34.30/34.46 eprover: CPU time limit exceeded, terminating
% 36.30/36.47 eprover: CPU time limit exceeded, terminating
% 38.32/38.48 eprover: CPU time limit exceeded, terminating
% 40.36/40.48 eprover: CPU time limit exceeded, terminating
% 42.35/42.49 eprover: CPU time limit exceeded, terminating
% 44.37/44.50 eprover: CPU time limit exceeded, terminating
% 46.35/46.51 eprover: CPU time limit exceeded, terminating
% 48.31/48.51 eprover: CPU time limit exceeded, terminating
% 50.37/50.52 eprover: CPU time limit exceeded, terminating
% 52.37/52.53 eprover: CPU time limit exceeded, terminating
% 54.41/54.53 eprover: CPU time limit exceeded, terminating
% 56.37/56.54 eprover: CPU time limit exceeded, terminating
% 58.42/58.55 eprover: CPU time limit exceeded, terminating
% 60.38/60.55 eprover: CPU time limit exceeded, terminating
% 62.43/62.56 eprover: CPU time limit exceeded, terminating
% 64.39/64.57 eprover: CPU time limit exceeded, terminating
% 66.47/66.58 eprover: CPU time limit exceeded, terminating
% 68.42/68.59 eprover: CPU time limit exceeded, terminating
% 70.49/70.59 eprover: CPU time limit exceeded, terminating
% 72.42/72.60 eprover: CPU time limit exceeded, terminating
% 74.45/74.61 eprover: CPU time limit exceeded, terminating
% 76.51/76.62 eprover: CPU time limit exceeded, terminating
% 78.50/78.63 eprover: CPU time limit exceeded, terminating
% 80.53/80.64 eprover: CPU time limit exceeded, terminating
% 82.51/82.65 eprover: CPU time limit exceeded, terminating
% 84.55/84.66 eprover: CPU time limit exceeded, terminating
% 86.57/86.67 eprover: CPU time limit exceeded, terminating
% 88.59/88.69 eprover: CPU time limit exceeded, terminating
% 90.63/90.70 eprover: CPU time limit exceeded, terminating
% 92.66/92.72 eprover: CPU time limit exceeded, terminating
% 94.61/94.73 eprover: CPU time limit exceeded, terminating
% 96.65/96.75 eprover: CPU time limit exceeded, terminating
% 98.63/98.76 eprover: CPU time limit exceeded, terminating
% 100.67/100.78 eprover: CPU time limit exceeded, terminating
% 102.69/102.80 eprover: CPU time limit exceeded, terminating
% 104.68/104.82 eprover: CPU time limit exceeded, terminating
% 106.72/106.83 eprover: CPU time limit exceeded, terminating
% 108.79/108.84 eprover: CPU time limit exceeded, terminating
% 110.74/110.84 eprover: CPU time limit exceeded, terminating
% 112.80/112.85 eprover: CPU time limit exceeded, terminating
% 114.77/114.86 eprover: CPU time limit exceeded, terminating
% 116.81/116.86 eprover: CPU time limit exceeded, terminating
% 118.79/118.87 eprover: CPU time limit exceeded, terminating
% 120.81/120.88 eprover: CPU time limit exceeded, terminating
% 122.85/122.88 eprover: CPU time limit exceeded, terminating
% 124.85/124.89 eprover: CPU time limit exceeded, terminating
% 126.80/126.89 eprover: CPU time limit exceeded, terminating
% 128.89/128.90 eprover: CPU time limit exceeded, terminating
% 130.85/130.91 eprover: CPU time limit exceeded, terminating
% 132.88/132.92 eprover: CPU time limit exceeded, terminating
% 134.91/134.92 eprover: CPU time limit exceeded, terminating
% 136.91/136.93 eprover: CPU time limit exceeded, terminating
% 138.92/138.94 eprover: CPU time limit exceeded, terminating
% 140.92/140.94 eprover: CPU time limit exceeded, terminating
% 142.93/142.95 eprover: CPU time limit exceeded, terminating
% 144.87/144.96 eprover: CPU time limit exceeded, terminating
% 146.92/146.96 eprover: CPU time limit exceeded, terminating
% 148.87/148.97 eprover: CPU time limit exceeded, terminating
% 150.90/150.98 eprover: CPU time limit exceeded, terminating
% 152.96/152.99 eprover: CPU time limit exceeded, terminating
% 155.00/154.99 eprover: CPU time limit exceeded, terminating
% 156.95/157.00 eprover: CPU time limit exceeded, terminating
% 158.99/159.01 eprover: CPU time limit exceeded, terminating
% 161.01/161.01 eprover: CPU time limit exceeded, terminating
% 163.03/163.02 eprover: CPU time limit exceeded, terminating
% 165.01/165.03 eprover: CPU time limit exceeded, terminating
% 167.04/167.03 eprover: CPU time limit exceeded, terminating
% 169.02/169.04 eprover: CPU time limit exceeded, terminating
% 171.06/171.05 eprover: CPU time limit exceeded, terminating
% 173.04/173.06 eprover: CPU time limit exceeded, terminating
% 175.07/175.06 eprover: CPU time limit exceeded, terminating
% 177.07/177.07 eprover: CPU time limit exceeded, terminating
% 179.12/179.08 eprover: CPU time limit exceeded, terminating
% 181.08/181.09 eprover: CPU time limit exceeded, terminating
% 183.13/183.09 eprover: CPU time limit exceeded, terminating
% 185.13/185.10 eprover: CPU time limit exceeded, terminating
% 187.13/187.11 eprover: CPU time limit exceeded, terminating
% 189.16/189.12 eprover: CPU time limit exceeded, terminating
% 191.18/191.13 eprover: CPU time limit exceeded, terminating
% 193.13/193.15 eprover: CPU time limit exceeded, terminating
% 195.16/195.16 eprover: CPU time limit exceeded, terminating
% 197.19/197.17 eprover: CPU time limit exceeded, terminating
% 199.25/199.18 eprover: CPU time limit exceeded, terminating
% 201.20/201.20 eprover: CPU time limit exceeded, terminating
% 203.24/203.22 eprover: CPU time limit exceeded, terminating
% 205.28/205.23 eprover: CPU time limit exceeded, terminating
% 207.29/207.25 eprover: CPU time limit exceeded, terminating
% 209.32/209.27 eprover: CPU time limit exceeded, terminating
% 211.36/211.28 eprover: CPU time limit exceeded, terminating
% 213.37/213.29 eprover: CPU time limit exceeded, terminating
% 215.31/215.29 eprover: CPU time limit exceeded, terminating
% 217.39/217.30 eprover: CPU time limit exceeded, terminating
% 219.37/219.31 eprover: CPU time limit exceeded, terminating
% 221.30/221.32 eprover: CPU time limit exceeded, terminating
% 223.36/223.32 eprover: CPU time limit exceeded, terminating
% 225.39/225.33 eprover: CPU time limit exceeded, terminating
% 227.39/227.34 eprover: CPU time limit exceeded, terminating
% 229.44/229.35 eprover: CPU time limit exceeded, terminating
% 231.42/231.35 eprover: CPU time limit exceeded, terminating
% 233.44/233.36 eprover: CPU time limit exceeded, terminating
% 235.43/235.37 eprover: CPU time limit exceeded, terminating
% 237.49/237.38 eprover: CPU time limit exceeded, terminating
% 239.44/239.39 eprover: CPU time limit exceeded, terminating
% 241.48/241.39 eprover: CPU time limit exceeded, terminating
% 243.45/243.40 eprover: CPU time limit exceeded, terminating
% 245.42/245.41 eprover: CPU time limit exceeded, terminating
% 247.46/247.42 eprover: CPU time limit exceeded, terminating
% 249.53/249.43 eprover: CPU time limit exceeded, terminating
% 251.55/251.43 eprover: CPU time limit exceeded, terminating
% 253.52/253.44 eprover: CPU time limit exceeded, terminating
% 255.56/255.45 eprover: CPU time limit exceeded, terminating
% 257.57/257.46 eprover: CPU time limit exceeded, terminating
% 259.54/259.46 eprover: CPU time limit exceeded, terminating
% 261.56/261.47 eprover: CPU time limit exceeded, terminating
% 263.56/263.48 eprover: CPU time limit exceeded, terminating
% 265.61/265.48 eprover: CPU time limit exceeded, terminating
% 267.55/267.49 eprover: CPU time limit exceeded, terminating
% 269.65/269.50 eprover: CPU time limit exceeded, terminating
% 271.58/271.51 eprover: CPU time limit exceeded, terminating
% 273.64/273.51 eprover: CPU time limit exceeded, terminating
% 275.64/275.52 eprover: CPU time limit exceeded, terminating
% 277.66/277.53 eprover: CPU time limit exceeded, terminating
% 279.64/279.53 eprover: CPU time limit exceeded, terminating
% 281.68/281.54 eprover: CPU time limit exceeded, terminating
% 283.64/283.55 eprover: CPU time limit exceeded, terminating
% 285.68/285.56 eprover: CPU time limit exceeded, terminating
% 287.65/287.56 eprover: CPU time limit exceeded, terminating
% 289.75/289.57 eprover: CPU time limit exceeded, terminating
% 291.69/291.58 eprover: CPU time limit exceeded, terminating
% 293.76/293.59 eprover: CPU time limit exceeded, terminating
% 295.77/295.59 eprover: CPU time limit exceeded, terminating
% 297.75/297.60 eprover: CPU time limit exceeded, terminating
% 299.76/299.61 eprover: CPU time limit exceeded, terminating
% 300.02/299.84 eprover: CPU time limit exceeded, terminating
% 300.02/299.85 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------