TSTP Solution File: TOP002-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : TOP002-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:30 EDT 2022
% Result : Timeout 286.32s 285.77s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.10 % Problem : TOP002-1 : TPTP v8.1.0. Released v1.0.0.
% 0.08/0.10 % Command : run_infinox %s
% 0.10/0.30 % Computer : n032.cluster.edu
% 0.10/0.30 % Model : x86_64 x86_64
% 0.10/0.30 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.10/0.30 % Memory : 8042.1875MB
% 0.10/0.30 % OS : Linux 3.10.0-693.el7.x86_64
% 0.10/0.30 % CPULimit : 300
% 0.10/0.30 % WCLimit : 600
% 0.10/0.30 % DateTime : Sun May 29 09:48:41 EDT 2022
% 0.10/0.30 % CPUTime :
% 2.16/2.38 eprover: CPU time limit exceeded, terminating
% 4.19/4.39 eprover: CPU time limit exceeded, terminating
% 6.24/6.40 eprover: CPU time limit exceeded, terminating
% 8.21/8.41 eprover: CPU time limit exceeded, terminating
% 10.25/10.42 eprover: CPU time limit exceeded, terminating
% 12.25/12.43 eprover: CPU time limit exceeded, terminating
% 14.26/14.44 eprover: CPU time limit exceeded, terminating
% 16.27/16.45 eprover: CPU time limit exceeded, terminating
% 18.26/18.46 eprover: CPU time limit exceeded, terminating
% 20.25/20.47 eprover: CPU time limit exceeded, terminating
% 22.29/22.48 eprover: CPU time limit exceeded, terminating
% 24.38/24.49 eprover: CPU time limit exceeded, terminating
% 26.32/26.50 eprover: CPU time limit exceeded, terminating
% 28.39/28.51 eprover: CPU time limit exceeded, terminating
% 30.40/30.52 eprover: CPU time limit exceeded, terminating
% 32.37/32.53 eprover: CPU time limit exceeded, terminating
% 34.41/34.54 eprover: CPU time limit exceeded, terminating
% 36.40/36.55 eprover: CPU time limit exceeded, terminating
% 38.43/38.56 eprover: CPU time limit exceeded, terminating
% 40.47/40.57 eprover: CPU time limit exceeded, terminating
% 42.45/42.58 eprover: CPU time limit exceeded, terminating
% 44.50/44.59 eprover: CPU time limit exceeded, terminating
% 46.53/46.60 eprover: CPU time limit exceeded, terminating
% 48.47/48.61 eprover: CPU time limit exceeded, terminating
% 50.53/50.62 eprover: CPU time limit exceeded, terminating
% 52.57/52.63 eprover: CPU time limit exceeded, terminating
% 54.57/54.64 eprover: CPU time limit exceeded, terminating
% 56.56/56.65 eprover: CPU time limit exceeded, terminating
% 58.58/58.66 eprover: CPU time limit exceeded, terminating
% 60.57/60.67 eprover: CPU time limit exceeded, terminating
% 62.60/62.68 eprover: CPU time limit exceeded, terminating
% 64.61/64.68 eprover: CPU time limit exceeded, terminating
% 66.60/66.69 eprover: CPU time limit exceeded, terminating
% 68.66/68.70 eprover: CPU time limit exceeded, terminating
% 70.70/70.71 eprover: CPU time limit exceeded, terminating
% 72.72/72.72 eprover: CPU time limit exceeded, terminating
% 74.73/74.73 eprover: CPU time limit exceeded, terminating
% 76.73/76.74 eprover: CPU time limit exceeded, terminating
% 78.73/78.75 eprover: CPU time limit exceeded, terminating
% 80.73/80.76 eprover: CPU time limit exceeded, terminating
% 82.70/82.77 eprover: CPU time limit exceeded, terminating
% 84.81/84.78 eprover: CPU time limit exceeded, terminating
% 86.74/86.79 eprover: CPU time limit exceeded, terminating
% 88.84/88.79 eprover: CPU time limit exceeded, terminating
% 90.75/90.80 eprover: CPU time limit exceeded, terminating
% 92.85/92.81 eprover: CPU time limit exceeded, terminating
% 94.86/94.82 eprover: CPU time limit exceeded, terminating
% 96.88/96.83 eprover: CPU time limit exceeded, terminating
% 98.85/98.84 eprover: CPU time limit exceeded, terminating
% 100.87/100.85 eprover: CPU time limit exceeded, terminating
% 102.87/102.86 eprover: CPU time limit exceeded, terminating
% 104.88/104.87 eprover: CPU time limit exceeded, terminating
% 106.97/106.88 eprover: CPU time limit exceeded, terminating
% 108.90/108.89 eprover: CPU time limit exceeded, terminating
% 111.00/110.90 eprover: CPU time limit exceeded, terminating
% 113.01/112.91 eprover: CPU time limit exceeded, terminating
% 114.99/114.92 eprover: CPU time limit exceeded, terminating
% 117.02/116.93 eprover: CPU time limit exceeded, terminating
% 119.03/118.94 eprover: CPU time limit exceeded, terminating
% 121.03/120.95 eprover: CPU time limit exceeded, terminating
% 123.03/122.96 eprover: CPU time limit exceeded, terminating
% 125.05/124.97 eprover: CPU time limit exceeded, terminating
% 127.07/126.98 eprover: CPU time limit exceeded, terminating
% 129.04/128.99 eprover: CPU time limit exceeded, terminating
% 131.14/130.99 eprover: CPU time limit exceeded, terminating
% 133.15/133.00 eprover: CPU time limit exceeded, terminating
% 135.18/135.01 eprover: CPU time limit exceeded, terminating
% 137.16/137.02 eprover: CPU time limit exceeded, terminating
% 139.18/139.03 eprover: CPU time limit exceeded, terminating
% 141.18/141.05 eprover: CPU time limit exceeded, terminating
% 143.19/143.06 eprover: CPU time limit exceeded, terminating
% 145.22/145.07 eprover: CPU time limit exceeded, terminating
% 147.20/147.08 eprover: CPU time limit exceeded, terminating
% 149.28/149.09 eprover: CPU time limit exceeded, terminating
% 151.30/151.10 eprover: CPU time limit exceeded, terminating
% 153.24/153.11 eprover: CPU time limit exceeded, terminating
% 155.30/155.12 eprover: CPU time limit exceeded, terminating
% 157.35/157.13 eprover: CPU time limit exceeded, terminating
% 159.34/159.14 eprover: CPU time limit exceeded, terminating
% 161.36/161.15 eprover: CPU time limit exceeded, terminating
% 163.40/163.16 eprover: CPU time limit exceeded, terminating
% 165.34/165.17 eprover: CPU time limit exceeded, terminating
% 167.44/167.18 eprover: CPU time limit exceeded, terminating
% 169.38/169.19 eprover: CPU time limit exceeded, terminating
% 171.46/171.20 eprover: CPU time limit exceeded, terminating
% 173.48/173.21 eprover: CPU time limit exceeded, terminating
% 175.47/175.22 eprover: CPU time limit exceeded, terminating
% 177.51/177.23 eprover: CPU time limit exceeded, terminating
% 179.51/179.24 eprover: CPU time limit exceeded, terminating
% 181.53/181.25 eprover: CPU time limit exceeded, terminating
% 183.51/183.26 eprover: CPU time limit exceeded, terminating
% 185.52/185.27 eprover: CPU time limit exceeded, terminating
% 187.54/187.28 eprover: CPU time limit exceeded, terminating
% 189.53/189.29 eprover: CPU time limit exceeded, terminating
% 191.63/191.30 eprover: CPU time limit exceeded, terminating
% 193.64/193.31 eprover: CPU time limit exceeded, terminating
% 195.65/195.32 eprover: CPU time limit exceeded, terminating
% 197.66/197.33 eprover: CPU time limit exceeded, terminating
% 199.68/199.33 eprover: CPU time limit exceeded, terminating
% 201.68/201.34 eprover: CPU time limit exceeded, terminating
% 203.66/203.35 eprover: CPU time limit exceeded, terminating
% 205.64/205.36 eprover: CPU time limit exceeded, terminating
% 207.69/207.37 eprover: CPU time limit exceeded, terminating
% 209.74/209.38 eprover: CPU time limit exceeded, terminating
% 211.69/211.39 eprover: CPU time limit exceeded, terminating
% 213.71/213.40 eprover: CPU time limit exceeded, terminating
% 215.80/215.41 eprover: CPU time limit exceeded, terminating
% 217.83/217.42 eprover: CPU time limit exceeded, terminating
% 219.82/219.43 eprover: CPU time limit exceeded, terminating
% 221.81/221.44 eprover: CPU time limit exceeded, terminating
% 223.82/223.45 eprover: CPU time limit exceeded, terminating
% 225.83/225.46 eprover: CPU time limit exceeded, terminating
% 227.81/227.47 eprover: CPU time limit exceeded, terminating
% 229.87/229.49 eprover: CPU time limit exceeded, terminating
% 231.92/231.50 eprover: CPU time limit exceeded, terminating
% 233.95/233.51 eprover: CPU time limit exceeded, terminating
% 235.96/235.52 eprover: CPU time limit exceeded, terminating
% 237.98/237.53 eprover: CPU time limit exceeded, terminating
% 239.98/239.54 eprover: CPU time limit exceeded, terminating
% 241.98/241.55 eprover: CPU time limit exceeded, terminating
% 244.01/243.56 eprover: CPU time limit exceeded, terminating
% 245.98/245.57 eprover: CPU time limit exceeded, terminating
% 248.01/247.58 eprover: CPU time limit exceeded, terminating
% 249.99/249.59 eprover: CPU time limit exceeded, terminating
% 252.08/251.60 eprover: CPU time limit exceeded, terminating
% 254.10/253.61 eprover: CPU time limit exceeded, terminating
% 256.12/255.62 eprover: CPU time limit exceeded, terminating
% 258.11/257.63 eprover: CPU time limit exceeded, terminating
% 260.14/259.64 eprover: CPU time limit exceeded, terminating
% 262.16/261.65 eprover: CPU time limit exceeded, terminating
% 264.13/263.66 eprover: CPU time limit exceeded, terminating
% 266.22/265.67 eprover: CPU time limit exceeded, terminating
% 268.16/267.68 eprover: CPU time limit exceeded, terminating
% 270.22/269.69 eprover: CPU time limit exceeded, terminating
% 272.26/271.70 eprover: CPU time limit exceeded, terminating
% 274.19/273.71 eprover: CPU time limit exceeded, terminating
% 276.26/275.72 eprover: CPU time limit exceeded, terminating
% 278.29/277.73 eprover: CPU time limit exceeded, terminating
% 280.31/279.74 eprover: CPU time limit exceeded, terminating
% 282.31/281.75 eprover: CPU time limit exceeded, terminating
% 284.32/283.76 eprover: CPU time limit exceeded, terminating
% 286.32/285.77 eprover: CPU time limit exceeded, terminating
% 288.38/287.78 eprover: CPU time limit exceeded, terminating
% 290.38/289.79 eprover: CPU time limit exceeded, terminating
% 292.38/291.80 eprover: CPU time limit exceeded, terminating
% 294.44/293.81 eprover: CPU time limit exceeded, terminating
% 296.44/295.83 eprover: CPU time limit exceeded, terminating
% 298.47/297.84 eprover: CPU time limit exceeded, terminating
% 300.04/299.41 eprover: CPU time limit exceeded, terminating
% 300.04/299.42 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------