TSTP Solution File: LCL292-10 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : LCL292-10 : 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 : Sun Jul 17 11:09:59 EDT 2022
% Result : Timeout 286.25s 286.12s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : LCL292-10 : TPTP v8.1.0. Released v7.3.0.
% 0.06/0.12 % Command : run_infinox %s
% 0.13/0.33 % Computer : n011.cluster.edu
% 0.13/0.33 % Model : x86_64 x86_64
% 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33 % Memory : 8042.1875MB
% 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.33 % CPULimit : 300
% 0.13/0.33 % WCLimit : 600
% 0.13/0.33 % DateTime : Sun Jul 3 08:51:05 EDT 2022
% 0.13/0.34 % CPUTime :
% 2.17/2.36 eprover: CPU time limit exceeded, terminating
% 4.19/4.37 eprover: CPU time limit exceeded, terminating
% 6.20/6.38 eprover: CPU time limit exceeded, terminating
% 8.17/8.39 eprover: CPU time limit exceeded, terminating
% 10.21/10.41 eprover: CPU time limit exceeded, terminating
% 12.17/12.42 eprover: CPU time limit exceeded, terminating
% 14.22/14.43 eprover: CPU time limit exceeded, terminating
% 16.26/16.44 eprover: CPU time limit exceeded, terminating
% 18.20/18.46 eprover: CPU time limit exceeded, terminating
% 20.27/20.47 eprover: CPU time limit exceeded, terminating
% 22.31/22.48 eprover: CPU time limit exceeded, terminating
% 24.27/24.49 eprover: CPU time limit exceeded, terminating
% 26.36/26.50 eprover: CPU time limit exceeded, terminating
% 28.30/28.51 eprover: CPU time limit exceeded, terminating
% 30.34/30.52 eprover: CPU time limit exceeded, terminating
% 32.36/32.53 eprover: CPU time limit exceeded, terminating
% 34.36/34.55 eprover: CPU time limit exceeded, terminating
% 36.39/36.56 eprover: CPU time limit exceeded, terminating
% 38.43/38.57 eprover: CPU time limit exceeded, terminating
% 40.40/40.58 eprover: CPU time limit exceeded, terminating
% 42.45/42.59 eprover: CPU time limit exceeded, terminating
% 44.42/44.60 eprover: CPU time limit exceeded, terminating
% 46.47/46.61 eprover: CPU time limit exceeded, terminating
% 48.45/48.62 eprover: CPU time limit exceeded, terminating
% 50.50/50.63 eprover: CPU time limit exceeded, terminating
% 52.51/52.65 eprover: CPU time limit exceeded, terminating
% 54.51/54.66 eprover: CPU time limit exceeded, terminating
% 56.52/56.67 eprover: CPU time limit exceeded, terminating
% 58.52/58.68 eprover: CPU time limit exceeded, terminating
% 60.51/60.69 eprover: CPU time limit exceeded, terminating
% 62.57/62.70 eprover: CPU time limit exceeded, terminating
% 64.63/64.71 eprover: CPU time limit exceeded, terminating
% 66.59/66.73 eprover: CPU time limit exceeded, terminating
% 68.63/68.74 eprover: CPU time limit exceeded, terminating
% 70.62/70.75 eprover: CPU time limit exceeded, terminating
% 72.67/72.76 eprover: CPU time limit exceeded, terminating
% 74.63/74.77 eprover: CPU time limit exceeded, terminating
% 76.70/76.79 eprover: CPU time limit exceeded, terminating
% 78.72/78.80 eprover: CPU time limit exceeded, terminating
% 80.67/80.81 eprover: CPU time limit exceeded, terminating
% 82.70/82.82 eprover: CPU time limit exceeded, terminating
% 84.76/84.83 eprover: CPU time limit exceeded, terminating
% 86.74/86.84 eprover: CPU time limit exceeded, terminating
% 88.76/88.86 eprover: CPU time limit exceeded, terminating
% 90.78/90.87 eprover: CPU time limit exceeded, terminating
% 92.76/92.88 eprover: CPU time limit exceeded, terminating
% 94.79/94.89 eprover: CPU time limit exceeded, terminating
% 96.86/96.90 eprover: CPU time limit exceeded, terminating
% 98.85/98.91 eprover: CPU time limit exceeded, terminating
% 100.86/100.93 eprover: CPU time limit exceeded, terminating
% 102.89/102.94 eprover: CPU time limit exceeded, terminating
% 104.85/104.95 eprover: CPU time limit exceeded, terminating
% 106.88/106.96 eprover: CPU time limit exceeded, terminating
% 108.93/108.97 eprover: CPU time limit exceeded, terminating
% 110.89/110.99 eprover: CPU time limit exceeded, terminating
% 112.95/113.00 eprover: CPU time limit exceeded, terminating
% 114.97/115.01 eprover: CPU time limit exceeded, terminating
% 116.99/117.02 eprover: CPU time limit exceeded, terminating
% 119.02/119.03 eprover: CPU time limit exceeded, terminating
% 121.00/121.04 eprover: CPU time limit exceeded, terminating
% 123.02/123.06 eprover: CPU time limit exceeded, terminating
% 125.01/125.07 eprover: CPU time limit exceeded, terminating
% 127.05/127.08 eprover: CPU time limit exceeded, terminating
% 129.02/129.09 eprover: CPU time limit exceeded, terminating
% 131.08/131.10 eprover: CPU time limit exceeded, terminating
% 133.13/133.11 eprover: CPU time limit exceeded, terminating
% 135.07/135.13 eprover: CPU time limit exceeded, terminating
% 137.11/137.14 eprover: CPU time limit exceeded, terminating
% 139.10/139.15 eprover: CPU time limit exceeded, terminating
% 141.17/141.16 eprover: CPU time limit exceeded, terminating
% 143.13/143.17 eprover: CPU time limit exceeded, terminating
% 145.16/145.18 eprover: CPU time limit exceeded, terminating
% 147.19/147.20 eprover: CPU time limit exceeded, terminating
% 149.23/149.21 eprover: CPU time limit exceeded, terminating
% 151.23/151.22 eprover: CPU time limit exceeded, terminating
% 153.26/153.23 eprover: CPU time limit exceeded, terminating
% 155.22/155.24 eprover: CPU time limit exceeded, terminating
% 157.28/157.26 eprover: CPU time limit exceeded, terminating
% 159.23/159.27 eprover: CPU time limit exceeded, terminating
% 161.29/161.28 eprover: CPU time limit exceeded, terminating
% 163.33/163.29 eprover: CPU time limit exceeded, terminating
% 165.30/165.30 eprover: CPU time limit exceeded, terminating
% 167.32/167.31 eprover: CPU time limit exceeded, terminating
% 169.36/169.34 eprover: CPU time limit exceeded, terminating
% 171.35/171.34 eprover: CPU time limit exceeded, terminating
% 173.38/173.36 eprover: CPU time limit exceeded, terminating
% 175.40/175.37 eprover: CPU time limit exceeded, terminating
% 177.39/177.38 eprover: CPU time limit exceeded, terminating
% 179.45/179.40 eprover: CPU time limit exceeded, terminating
% 181.40/181.41 eprover: CPU time limit exceeded, terminating
% 183.46/183.42 eprover: CPU time limit exceeded, terminating
% 185.48/185.44 eprover: CPU time limit exceeded, terminating
% 187.44/187.45 eprover: CPU time limit exceeded, terminating
% 189.46/189.47 eprover: CPU time limit exceeded, terminating
% 191.53/191.48 eprover: CPU time limit exceeded, terminating
% 193.55/193.49 eprover: CPU time limit exceeded, terminating
% 195.56/195.50 eprover: CPU time limit exceeded, terminating
% 197.59/197.51 eprover: CPU time limit exceeded, terminating
% 199.59/199.53 eprover: CPU time limit exceeded, terminating
% 201.58/201.55 eprover: CPU time limit exceeded, terminating
% 203.59/203.56 eprover: CPU time limit exceeded, terminating
% 205.60/205.57 eprover: CPU time limit exceeded, terminating
% 207.67/207.58 eprover: CPU time limit exceeded, terminating
% 209.65/209.60 eprover: CPU time limit exceeded, terminating
% 211.67/211.62 eprover: CPU time limit exceeded, terminating
% 213.67/213.63 eprover: CPU time limit exceeded, terminating
% 215.70/215.64 eprover: CPU time limit exceeded, terminating
% 217.71/217.65 eprover: CPU time limit exceeded, terminating
% 219.70/219.68 eprover: CPU time limit exceeded, terminating
% 221.69/221.69 eprover: CPU time limit exceeded, terminating
% 223.70/223.70 eprover: CPU time limit exceeded, terminating
% 225.70/225.71 eprover: CPU time limit exceeded, terminating
% 227.79/227.72 eprover: CPU time limit exceeded, terminating
% 229.78/229.75 eprover: CPU time limit exceeded, terminating
% 231.83/231.76 eprover: CPU time limit exceeded, terminating
% 233.77/233.77 eprover: CPU time limit exceeded, terminating
% 235.85/235.78 eprover: CPU time limit exceeded, terminating
% 237.87/237.79 eprover: CPU time limit exceeded, terminating
% 239.85/239.82 eprover: CPU time limit exceeded, terminating
% 241.84/241.83 eprover: CPU time limit exceeded, terminating
% 243.90/243.84 eprover: CPU time limit exceeded, terminating
% 245.91/245.86 eprover: CPU time limit exceeded, terminating
% 247.91/247.87 eprover: CPU time limit exceeded, terminating
% 249.92/249.89 eprover: CPU time limit exceeded, terminating
% 251.99/251.90 eprover: CPU time limit exceeded, terminating
% 253.99/253.91 eprover: CPU time limit exceeded, terminating
% 255.96/255.93 eprover: CPU time limit exceeded, terminating
% 258.01/257.94 eprover: CPU time limit exceeded, terminating
% 259.99/259.96 eprover: CPU time limit exceeded, terminating
% 262.00/261.97 eprover: CPU time limit exceeded, terminating
% 264.02/263.98 eprover: CPU time limit exceeded, terminating
% 265.99/265.99 eprover: CPU time limit exceeded, terminating
% 268.08/268.01 eprover: CPU time limit exceeded, terminating
% 270.10/270.02 eprover: CPU time limit exceeded, terminating
% 272.11/272.03 eprover: CPU time limit exceeded, terminating
% 274.13/274.04 eprover: CPU time limit exceeded, terminating
% 276.13/276.05 eprover: CPU time limit exceeded, terminating
% 278.11/278.06 eprover: CPU time limit exceeded, terminating
% 280.13/280.08 eprover: CPU time limit exceeded, terminating
% 282.15/282.09 eprover: CPU time limit exceeded, terminating
% 284.12/284.10 eprover: CPU time limit exceeded, terminating
% 286.25/286.12 eprover: CPU time limit exceeded, terminating
% 288.24/288.13 eprover: CPU time limit exceeded, terminating
% 290.21/290.14 eprover: CPU time limit exceeded, terminating
% 292.24/292.15 eprover: CPU time limit exceeded, terminating
% 294.21/294.16 eprover: CPU time limit exceeded, terminating
% 296.30/296.18 eprover: CPU time limit exceeded, terminating
% 298.26/298.19 eprover: CPU time limit exceeded, terminating
% 300.02/299.88 eprover: CPU time limit exceeded, terminating
% 300.02/299.90 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------