TSTP Solution File: RNG073+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : RNG073+2 : TPTP v8.1.0. Released v4.0.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 20:29:25 EDT 2022
% Result : Timeout 286.36s 286.04s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.08 % Problem : RNG073+2 : TPTP v8.1.0. Released v4.0.0.
% 0.06/0.08 % Command : run_infinox %s
% 0.08/0.26 % Computer : n020.cluster.edu
% 0.08/0.26 % Model : x86_64 x86_64
% 0.08/0.26 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.08/0.26 % Memory : 8042.1875MB
% 0.08/0.26 % OS : Linux 3.10.0-693.el7.x86_64
% 0.08/0.26 % CPULimit : 300
% 0.08/0.26 % WCLimit : 600
% 0.08/0.26 % DateTime : Mon May 30 17:12:23 EDT 2022
% 0.08/0.27 % CPUTime :
% 2.13/2.32 eprover: CPU time limit exceeded, terminating
% 4.15/4.33 eprover: CPU time limit exceeded, terminating
% 6.14/6.34 eprover: CPU time limit exceeded, terminating
% 8.17/8.36 eprover: CPU time limit exceeded, terminating
% 10.19/10.37 eprover: CPU time limit exceeded, terminating
% 12.19/12.38 eprover: CPU time limit exceeded, terminating
% 14.22/14.39 eprover: CPU time limit exceeded, terminating
% 16.22/16.40 eprover: CPU time limit exceeded, terminating
% 18.22/18.41 eprover: CPU time limit exceeded, terminating
% 20.26/20.42 eprover: CPU time limit exceeded, terminating
% 22.26/22.43 eprover: CPU time limit exceeded, terminating
% 24.29/24.44 eprover: CPU time limit exceeded, terminating
% 26.31/26.45 eprover: CPU time limit exceeded, terminating
% 28.32/28.47 eprover: CPU time limit exceeded, terminating
% 30.34/30.48 eprover: CPU time limit exceeded, terminating
% 32.32/32.49 eprover: CPU time limit exceeded, terminating
% 34.35/34.50 eprover: CPU time limit exceeded, terminating
% 36.32/36.51 eprover: CPU time limit exceeded, terminating
% 38.38/38.52 eprover: CPU time limit exceeded, terminating
% 40.38/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.45/46.56 eprover: CPU time limit exceeded, terminating
% 48.45/48.58 eprover: CPU time limit exceeded, terminating
% 50.44/50.59 eprover: CPU time limit exceeded, terminating
% 52.51/52.60 eprover: CPU time limit exceeded, terminating
% 54.51/54.61 eprover: CPU time limit exceeded, terminating
% 56.51/56.62 eprover: CPU time limit exceeded, terminating
% 58.52/58.63 eprover: CPU time limit exceeded, terminating
% 60.53/60.64 eprover: CPU time limit exceeded, terminating
% 62.54/62.65 eprover: CPU time limit exceeded, terminating
% 64.56/64.66 eprover: CPU time limit exceeded, terminating
% 66.62/66.67 eprover: CPU time limit exceeded, terminating
% 68.60/68.68 eprover: CPU time limit exceeded, terminating
% 70.60/70.70 eprover: CPU time limit exceeded, terminating
% 72.65/72.71 eprover: CPU time limit exceeded, terminating
% 74.61/74.72 eprover: CPU time limit exceeded, terminating
% 76.65/76.73 eprover: CPU time limit exceeded, terminating
% 78.68/78.74 eprover: CPU time limit exceeded, terminating
% 80.74/80.75 eprover: CPU time limit exceeded, terminating
% 82.75/82.76 eprover: CPU time limit exceeded, terminating
% 84.76/84.77 eprover: CPU time limit exceeded, terminating
% 86.77/86.79 eprover: CPU time limit exceeded, terminating
% 88.77/88.80 eprover: CPU time limit exceeded, terminating
% 90.75/90.81 eprover: CPU time limit exceeded, terminating
% 92.76/92.82 eprover: CPU time limit exceeded, terminating
% 94.84/94.83 eprover: CPU time limit exceeded, terminating
% 96.80/96.84 eprover: CPU time limit exceeded, terminating
% 98.87/98.85 eprover: CPU time limit exceeded, terminating
% 100.88/100.86 eprover: CPU time limit exceeded, terminating
% 102.89/102.88 eprover: CPU time limit exceeded, terminating
% 104.87/104.89 eprover: CPU time limit exceeded, terminating
% 106.90/106.90 eprover: CPU time limit exceeded, terminating
% 108.95/108.91 eprover: CPU time limit exceeded, terminating
% 110.90/110.92 eprover: CPU time limit exceeded, terminating
% 112.95/112.94 eprover: CPU time limit exceeded, terminating
% 114.92/114.95 eprover: CPU time limit exceeded, terminating
% 117.01/116.96 eprover: CPU time limit exceeded, terminating
% 119.03/118.97 eprover: CPU time limit exceeded, terminating
% 121.05/120.98 eprover: CPU time limit exceeded, terminating
% 123.01/122.99 eprover: CPU time limit exceeded, terminating
% 125.04/125.01 eprover: CPU time limit exceeded, terminating
% 127.06/127.02 eprover: CPU time limit exceeded, terminating
% 129.09/129.03 eprover: CPU time limit exceeded, terminating
% 131.12/131.04 eprover: CPU time limit exceeded, terminating
% 133.08/133.05 eprover: CPU time limit exceeded, terminating
% 135.15/135.07 eprover: CPU time limit exceeded, terminating
% 137.13/137.08 eprover: CPU time limit exceeded, terminating
% 139.17/139.09 eprover: CPU time limit exceeded, terminating
% 141.20/141.10 eprover: CPU time limit exceeded, terminating
% 143.21/143.12 eprover: CPU time limit exceeded, terminating
% 145.26/145.13 eprover: CPU time limit exceeded, terminating
% 147.24/147.14 eprover: CPU time limit exceeded, terminating
% 149.28/149.16 eprover: CPU time limit exceeded, terminating
% 151.24/151.17 eprover: CPU time limit exceeded, terminating
% 153.25/153.21 eprover: CPU time limit exceeded, terminating
% 155.27/155.22 eprover: CPU time limit exceeded, terminating
% 157.32/157.23 eprover: CPU time limit exceeded, terminating
% 159.29/159.25 eprover: CPU time limit exceeded, terminating
% 161.33/161.26 eprover: CPU time limit exceeded, terminating
% 163.37/163.28 eprover: CPU time limit exceeded, terminating
% 165.40/165.30 eprover: CPU time limit exceeded, terminating
% 167.41/167.32 eprover: CPU time limit exceeded, terminating
% 169.39/169.34 eprover: CPU time limit exceeded, terminating
% 171.40/171.35 eprover: CPU time limit exceeded, terminating
% 173.36/173.37 eprover: CPU time limit exceeded, terminating
% 175.41/175.38 eprover: CPU time limit exceeded, terminating
% 177.47/177.40 eprover: CPU time limit exceeded, terminating
% 179.49/179.42 eprover: CPU time limit exceeded, terminating
% 181.51/181.43 eprover: CPU time limit exceeded, terminating
% 183.51/183.44 eprover: CPU time limit exceeded, terminating
% 185.52/185.45 eprover: CPU time limit exceeded, terminating
% 187.55/187.46 eprover: CPU time limit exceeded, terminating
% 189.58/189.47 eprover: CPU time limit exceeded, terminating
% 191.54/191.48 eprover: CPU time limit exceeded, terminating
% 193.62/193.49 eprover: CPU time limit exceeded, terminating
% 195.63/195.50 eprover: CPU time limit exceeded, terminating
% 197.64/197.51 eprover: CPU time limit exceeded, terminating
% 199.63/199.53 eprover: CPU time limit exceeded, terminating
% 201.66/201.54 eprover: CPU time limit exceeded, terminating
% 203.65/203.55 eprover: CPU time limit exceeded, terminating
% 205.68/205.56 eprover: CPU time limit exceeded, terminating
% 207.70/207.57 eprover: CPU time limit exceeded, terminating
% 209.69/209.58 eprover: CPU time limit exceeded, terminating
% 211.74/211.59 eprover: CPU time limit exceeded, terminating
% 213.77/213.60 eprover: CPU time limit exceeded, terminating
% 215.74/215.62 eprover: CPU time limit exceeded, terminating
% 217.79/217.63 eprover: CPU time limit exceeded, terminating
% 219.77/219.64 eprover: CPU time limit exceeded, terminating
% 221.80/221.65 eprover: CPU time limit exceeded, terminating
% 223.79/223.66 eprover: CPU time limit exceeded, terminating
% 225.82/225.67 eprover: CPU time limit exceeded, terminating
% 227.85/227.68 eprover: CPU time limit exceeded, terminating
% 229.82/229.70 eprover: CPU time limit exceeded, terminating
% 231.90/231.71 eprover: CPU time limit exceeded, terminating
% 233.90/233.72 eprover: CPU time limit exceeded, terminating
% 235.90/235.73 eprover: CPU time limit exceeded, terminating
% 237.97/237.74 eprover: CPU time limit exceeded, terminating
% 239.93/239.76 eprover: CPU time limit exceeded, terminating
% 242.00/241.77 eprover: CPU time limit exceeded, terminating
% 244.01/243.78 eprover: CPU time limit exceeded, terminating
% 245.99/245.79 eprover: CPU time limit exceeded, terminating
% 248.01/247.80 eprover: CPU time limit exceeded, terminating
% 250.05/249.82 eprover: CPU time limit exceeded, terminating
% 252.02/251.83 eprover: CPU time limit exceeded, terminating
% 254.00/253.84 eprover: CPU time limit exceeded, terminating
% 256.09/255.85 eprover: CPU time limit exceeded, terminating
% 258.11/257.86 eprover: CPU time limit exceeded, terminating
% 260.12/259.88 eprover: CPU time limit exceeded, terminating
% 262.15/261.89 eprover: CPU time limit exceeded, terminating
% 264.15/263.90 eprover: CPU time limit exceeded, terminating
% 266.19/265.91 eprover: CPU time limit exceeded, terminating
% 268.15/267.93 eprover: CPU time limit exceeded, terminating
% 270.15/269.94 eprover: CPU time limit exceeded, terminating
% 272.25/271.95 eprover: CPU time limit exceeded, terminating
% 274.24/273.96 eprover: CPU time limit exceeded, terminating
% 276.25/275.98 eprover: CPU time limit exceeded, terminating
% 278.26/277.99 eprover: CPU time limit exceeded, terminating
% 280.26/280.00 eprover: CPU time limit exceeded, terminating
% 282.26/282.01 eprover: CPU time limit exceeded, terminating
% 284.32/284.02 eprover: CPU time limit exceeded, terminating
% 286.36/286.04 eprover: CPU time limit exceeded, terminating
% 288.32/288.05 eprover: CPU time limit exceeded, terminating
% 290.40/290.06 eprover: CPU time limit exceeded, terminating
% 292.42/292.07 eprover: CPU time limit exceeded, terminating
% 294.40/294.09 eprover: CPU time limit exceeded, terminating
% 296.43/296.10 eprover: CPU time limit exceeded, terminating
% 298.44/298.11 eprover: CPU time limit exceeded, terminating
% 300.03/299.66 eprover: CPU time limit exceeded, terminating
% 300.03/299.67 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------