TSTP Solution File: TOP011-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : TOP011-1 : TPTP v8.1.0. Released v1.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n032.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 : Thu Jul 21 21:26:31 EDT 2022
% Result : Timeout 286.15s 285.74s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.08 % Problem : TOP011-1 : TPTP v8.1.0. Released v1.0.0.
% 0.04/0.08 % Command : run_infinox %s
% 0.08/0.27 % Computer : n032.cluster.edu
% 0.08/0.27 % Model : x86_64 x86_64
% 0.08/0.27 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.08/0.27 % Memory : 8042.1875MB
% 0.08/0.27 % OS : Linux 3.10.0-693.el7.x86_64
% 0.08/0.27 % CPULimit : 300
% 0.08/0.27 % WCLimit : 600
% 0.08/0.27 % DateTime : Sun May 29 06:39:41 EDT 2022
% 0.08/0.27 % CPUTime :
% 2.12/2.36 eprover: CPU time limit exceeded, terminating
% 4.15/4.37 eprover: CPU time limit exceeded, terminating
% 6.18/6.38 eprover: CPU time limit exceeded, terminating
% 8.20/8.38 eprover: CPU time limit exceeded, terminating
% 10.22/10.39 eprover: CPU time limit exceeded, terminating
% 12.16/12.40 eprover: CPU time limit exceeded, terminating
% 14.24/14.41 eprover: CPU time limit exceeded, terminating
% 16.26/16.41 eprover: CPU time limit exceeded, terminating
% 18.26/18.42 eprover: CPU time limit exceeded, terminating
% 20.28/20.43 eprover: CPU time limit exceeded, terminating
% 22.26/22.44 eprover: CPU time limit exceeded, terminating
% 24.26/24.45 eprover: CPU time limit exceeded, terminating
% 26.33/26.46 eprover: CPU time limit exceeded, terminating
% 28.28/28.47 eprover: CPU time limit exceeded, terminating
% 30.32/30.48 eprover: CPU time limit exceeded, terminating
% 32.29/32.48 eprover: CPU time limit exceeded, terminating
% 34.40/34.49 eprover: CPU time limit exceeded, terminating
% 36.31/36.50 eprover: CPU time limit exceeded, terminating
% 38.41/38.51 eprover: CPU time limit exceeded, terminating
% 40.41/40.53 eprover: CPU time limit exceeded, terminating
% 42.42/42.54 eprover: CPU time limit exceeded, terminating
% 44.42/44.55 eprover: CPU time limit exceeded, terminating
% 46.41/46.56 eprover: CPU time limit exceeded, terminating
% 48.44/48.57 eprover: CPU time limit exceeded, terminating
% 50.49/50.58 eprover: CPU time limit exceeded, terminating
% 52.43/52.59 eprover: CPU time limit exceeded, terminating
% 54.51/54.60 eprover: CPU time limit exceeded, terminating
% 56.51/56.62 eprover: CPU time limit exceeded, terminating
% 58.51/58.63 eprover: CPU time limit exceeded, terminating
% 60.53/60.64 eprover: CPU time limit exceeded, terminating
% 62.53/62.66 eprover: CPU time limit exceeded, terminating
% 64.58/64.67 eprover: CPU time limit exceeded, terminating
% 66.53/66.68 eprover: CPU time limit exceeded, terminating
% 68.56/68.69 eprover: CPU time limit exceeded, terminating
% 70.61/70.70 eprover: CPU time limit exceeded, terminating
% 72.60/72.71 eprover: CPU time limit exceeded, terminating
% 74.61/74.71 eprover: CPU time limit exceeded, terminating
% 76.63/76.72 eprover: CPU time limit exceeded, terminating
% 78.61/78.74 eprover: CPU time limit exceeded, terminating
% 80.63/80.75 eprover: CPU time limit exceeded, terminating
% 82.67/82.76 eprover: CPU time limit exceeded, terminating
% 84.66/84.77 eprover: CPU time limit exceeded, terminating
% 86.68/86.78 eprover: CPU time limit exceeded, terminating
% 88.63/88.79 eprover: CPU time limit exceeded, terminating
% 90.72/90.80 eprover: CPU time limit exceeded, terminating
% 92.75/92.81 eprover: CPU time limit exceeded, terminating
% 94.75/94.82 eprover: CPU time limit exceeded, terminating
% 96.76/96.82 eprover: CPU time limit exceeded, terminating
% 98.73/98.83 eprover: CPU time limit exceeded, terminating
% 100.79/100.84 eprover: CPU time limit exceeded, terminating
% 102.78/102.85 eprover: CPU time limit exceeded, terminating
% 104.77/104.86 eprover: CPU time limit exceeded, terminating
% 106.76/106.87 eprover: CPU time limit exceeded, terminating
% 108.79/108.88 eprover: CPU time limit exceeded, terminating
% 110.85/110.89 eprover: CPU time limit exceeded, terminating
% 112.87/112.90 eprover: CPU time limit exceeded, terminating
% 114.81/114.91 eprover: CPU time limit exceeded, terminating
% 116.91/116.92 eprover: CPU time limit exceeded, terminating
% 118.88/118.93 eprover: CPU time limit exceeded, terminating
% 120.91/120.94 eprover: CPU time limit exceeded, terminating
% 122.93/122.95 eprover: CPU time limit exceeded, terminating
% 124.95/124.96 eprover: CPU time limit exceeded, terminating
% 126.92/126.96 eprover: CPU time limit exceeded, terminating
% 128.95/128.97 eprover: CPU time limit exceeded, terminating
% 130.94/130.98 eprover: CPU time limit exceeded, terminating
% 133.03/132.99 eprover: CPU time limit exceeded, terminating
% 135.04/135.00 eprover: CPU time limit exceeded, terminating
% 137.06/137.01 eprover: CPU time limit exceeded, terminating
% 139.05/139.02 eprover: CPU time limit exceeded, terminating
% 141.07/141.03 eprover: CPU time limit exceeded, terminating
% 143.08/143.04 eprover: CPU time limit exceeded, terminating
% 145.08/145.05 eprover: CPU time limit exceeded, terminating
% 147.11/147.07 eprover: CPU time limit exceeded, terminating
% 149.10/149.08 eprover: CPU time limit exceeded, terminating
% 151.18/151.09 eprover: CPU time limit exceeded, terminating
% 153.10/153.10 eprover: CPU time limit exceeded, terminating
% 155.19/155.11 eprover: CPU time limit exceeded, terminating
% 157.22/157.12 eprover: CPU time limit exceeded, terminating
% 159.23/159.13 eprover: CPU time limit exceeded, terminating
% 161.23/161.14 eprover: CPU time limit exceeded, terminating
% 163.23/163.15 eprover: CPU time limit exceeded, terminating
% 165.21/165.16 eprover: CPU time limit exceeded, terminating
% 167.26/167.17 eprover: CPU time limit exceeded, terminating
% 169.29/169.18 eprover: CPU time limit exceeded, terminating
% 171.26/171.19 eprover: CPU time limit exceeded, terminating
% 173.36/173.20 eprover: CPU time limit exceeded, terminating
% 175.36/175.21 eprover: CPU time limit exceeded, terminating
% 177.34/177.22 eprover: CPU time limit exceeded, terminating
% 179.39/179.22 eprover: CPU time limit exceeded, terminating
% 181.36/181.23 eprover: CPU time limit exceeded, terminating
% 183.38/183.24 eprover: CPU time limit exceeded, terminating
% 185.36/185.25 eprover: CPU time limit exceeded, terminating
% 187.40/187.26 eprover: CPU time limit exceeded, terminating
% 189.40/189.27 eprover: CPU time limit exceeded, terminating
% 191.39/191.28 eprover: CPU time limit exceeded, terminating
% 193.44/193.29 eprover: CPU time limit exceeded, terminating
% 195.53/195.30 eprover: CPU time limit exceeded, terminating
% 197.45/197.31 eprover: CPU time limit exceeded, terminating
% 199.52/199.32 eprover: CPU time limit exceeded, terminating
% 201.54/201.33 eprover: CPU time limit exceeded, terminating
% 203.55/203.34 eprover: CPU time limit exceeded, terminating
% 205.54/205.35 eprover: CPU time limit exceeded, terminating
% 207.57/207.36 eprover: CPU time limit exceeded, terminating
% 209.54/209.37 eprover: CPU time limit exceeded, terminating
% 211.57/211.38 eprover: CPU time limit exceeded, terminating
% 213.65/213.39 eprover: CPU time limit exceeded, terminating
% 215.58/215.39 eprover: CPU time limit exceeded, terminating
% 217.58/217.40 eprover: CPU time limit exceeded, terminating
% 219.68/219.41 eprover: CPU time limit exceeded, terminating
% 221.66/221.42 eprover: CPU time limit exceeded, terminating
% 223.68/223.43 eprover: CPU time limit exceeded, terminating
% 225.68/225.44 eprover: CPU time limit exceeded, terminating
% 227.71/227.45 eprover: CPU time limit exceeded, terminating
% 229.73/229.46 eprover: CPU time limit exceeded, terminating
% 231.71/231.47 eprover: CPU time limit exceeded, terminating
% 233.72/233.48 eprover: CPU time limit exceeded, terminating
% 235.80/235.49 eprover: CPU time limit exceeded, terminating
% 237.75/237.50 eprover: CPU time limit exceeded, terminating
% 239.83/239.51 eprover: CPU time limit exceeded, terminating
% 241.86/241.52 eprover: CPU time limit exceeded, terminating
% 243.85/243.53 eprover: CPU time limit exceeded, terminating
% 245.86/245.54 eprover: CPU time limit exceeded, terminating
% 247.88/247.55 eprover: CPU time limit exceeded, terminating
% 249.87/249.56 eprover: CPU time limit exceeded, terminating
% 251.89/251.57 eprover: CPU time limit exceeded, terminating
% 253.90/253.58 eprover: CPU time limit exceeded, terminating
% 255.96/255.59 eprover: CPU time limit exceeded, terminating
% 257.97/257.60 eprover: CPU time limit exceeded, terminating
% 260.00/259.61 eprover: CPU time limit exceeded, terminating
% 261.98/261.62 eprover: CPU time limit exceeded, terminating
% 263.97/263.63 eprover: CPU time limit exceeded, terminating
% 266.02/265.64 eprover: CPU time limit exceeded, terminating
% 268.02/267.65 eprover: CPU time limit exceeded, terminating
% 270.02/269.66 eprover: CPU time limit exceeded, terminating
% 272.04/271.67 eprover: CPU time limit exceeded, terminating
% 274.03/273.68 eprover: CPU time limit exceeded, terminating
% 276.03/275.69 eprover: CPU time limit exceeded, terminating
% 278.06/277.70 eprover: CPU time limit exceeded, terminating
% 280.15/279.71 eprover: CPU time limit exceeded, terminating
% 282.13/281.72 eprover: CPU time limit exceeded, terminating
% 284.15/283.73 eprover: CPU time limit exceeded, terminating
% 286.15/285.74 eprover: CPU time limit exceeded, terminating
% 288.19/287.75 eprover: CPU time limit exceeded, terminating
% 290.20/289.76 eprover: CPU time limit exceeded, terminating
% 292.16/291.77 eprover: CPU time limit exceeded, terminating
% 294.19/293.78 eprover: CPU time limit exceeded, terminating
% 296.28/295.79 eprover: CPU time limit exceeded, terminating
% 298.20/297.80 eprover: CPU time limit exceeded, terminating
% 300.03/299.52 eprover: CPU time limit exceeded, terminating
% 300.03/299.54 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------