TSTP Solution File: LCL148-10 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : LCL148-10 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n013.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:08:52 EDT 2022
% Result : Timeout 286.31s 286.36s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : LCL148-10 : TPTP v8.1.0. Released v7.3.0.
% 0.07/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n013.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 : Sun Jul 3 02:33:14 EDT 2022
% 0.12/0.34 % CPUTime :
% 2.13/2.36 eprover: CPU time limit exceeded, terminating
% 4.19/4.37 eprover: CPU time limit exceeded, terminating
% 6.13/6.38 eprover: CPU time limit exceeded, terminating
% 8.17/8.40 eprover: CPU time limit exceeded, terminating
% 10.22/10.42 eprover: CPU time limit exceeded, terminating
% 12.23/12.43 eprover: CPU time limit exceeded, terminating
% 14.22/14.44 eprover: CPU time limit exceeded, terminating
% 16.24/16.46 eprover: CPU time limit exceeded, terminating
% 18.26/18.47 eprover: CPU time limit exceeded, terminating
% 20.22/20.49 eprover: CPU time limit exceeded, terminating
% 22.32/22.50 eprover: CPU time limit exceeded, terminating
% 24.23/24.51 eprover: CPU time limit exceeded, terminating
% 26.35/26.52 eprover: CPU time limit exceeded, terminating
% 28.31/28.54 eprover: CPU time limit exceeded, terminating
% 30.33/30.55 eprover: CPU time limit exceeded, terminating
% 32.32/32.58 eprover: CPU time limit exceeded, terminating
% 34.40/34.60 eprover: CPU time limit exceeded, terminating
% 36.39/36.61 eprover: CPU time limit exceeded, terminating
% 38.40/38.63 eprover: CPU time limit exceeded, terminating
% 40.40/40.64 eprover: CPU time limit exceeded, terminating
% 42.38/42.67 eprover: CPU time limit exceeded, terminating
% 44.41/44.68 eprover: CPU time limit exceeded, terminating
% 46.45/46.69 eprover: CPU time limit exceeded, terminating
% 48.48/48.70 eprover: CPU time limit exceeded, terminating
% 50.47/50.72 eprover: CPU time limit exceeded, terminating
% 52.46/52.75 eprover: CPU time limit exceeded, terminating
% 54.47/54.77 eprover: CPU time limit exceeded, terminating
% 56.46/56.78 eprover: CPU time limit exceeded, terminating
% 58.52/58.80 eprover: CPU time limit exceeded, terminating
% 60.54/60.81 eprover: CPU time limit exceeded, terminating
% 62.57/62.82 eprover: CPU time limit exceeded, terminating
% 64.55/64.84 eprover: CPU time limit exceeded, terminating
% 66.56/66.85 eprover: CPU time limit exceeded, terminating
% 68.59/68.86 eprover: CPU time limit exceeded, terminating
% 70.57/70.88 eprover: CPU time limit exceeded, terminating
% 72.59/72.89 eprover: CPU time limit exceeded, terminating
% 74.66/74.90 eprover: CPU time limit exceeded, terminating
% 76.67/76.92 eprover: CPU time limit exceeded, terminating
% 78.67/78.93 eprover: CPU time limit exceeded, terminating
% 80.65/80.94 eprover: CPU time limit exceeded, terminating
% 82.69/82.96 eprover: CPU time limit exceeded, terminating
% 84.69/84.97 eprover: CPU time limit exceeded, terminating
% 86.76/86.98 eprover: CPU time limit exceeded, terminating
% 88.77/89.00 eprover: CPU time limit exceeded, terminating
% 90.79/91.01 eprover: CPU time limit exceeded, terminating
% 92.79/93.03 eprover: CPU time limit exceeded, terminating
% 94.82/95.04 eprover: CPU time limit exceeded, terminating
% 96.81/97.05 eprover: CPU time limit exceeded, terminating
% 98.80/99.07 eprover: CPU time limit exceeded, terminating
% 100.89/101.08 eprover: CPU time limit exceeded, terminating
% 102.90/103.09 eprover: CPU time limit exceeded, terminating
% 104.90/105.11 eprover: CPU time limit exceeded, terminating
% 106.92/107.12 eprover: CPU time limit exceeded, terminating
% 108.89/109.13 eprover: CPU time limit exceeded, terminating
% 110.93/111.15 eprover: CPU time limit exceeded, terminating
% 112.93/113.16 eprover: CPU time limit exceeded, terminating
% 114.99/115.18 eprover: CPU time limit exceeded, terminating
% 116.93/117.19 eprover: CPU time limit exceeded, terminating
% 119.02/119.20 eprover: CPU time limit exceeded, terminating
% 121.01/121.22 eprover: CPU time limit exceeded, terminating
% 122.99/123.23 eprover: CPU time limit exceeded, terminating
% 125.04/125.24 eprover: CPU time limit exceeded, terminating
% 127.00/127.26 eprover: CPU time limit exceeded, terminating
% 129.04/129.27 eprover: CPU time limit exceeded, terminating
% 131.04/131.29 eprover: CPU time limit exceeded, terminating
% 133.14/133.30 eprover: CPU time limit exceeded, terminating
% 135.12/135.31 eprover: CPU time limit exceeded, terminating
% 137.15/137.33 eprover: CPU time limit exceeded, terminating
% 139.15/139.34 eprover: CPU time limit exceeded, terminating
% 141.12/141.36 eprover: CPU time limit exceeded, terminating
% 143.15/143.37 eprover: CPU time limit exceeded, terminating
% 145.12/145.38 eprover: CPU time limit exceeded, terminating
% 147.24/147.40 eprover: CPU time limit exceeded, terminating
% 149.18/149.41 eprover: CPU time limit exceeded, terminating
% 151.25/151.43 eprover: CPU time limit exceeded, terminating
% 153.25/153.44 eprover: CPU time limit exceeded, terminating
% 155.24/155.46 eprover: CPU time limit exceeded, terminating
% 157.28/157.47 eprover: CPU time limit exceeded, terminating
% 159.25/159.48 eprover: CPU time limit exceeded, terminating
% 161.35/161.50 eprover: CPU time limit exceeded, terminating
% 163.36/163.51 eprover: CPU time limit exceeded, terminating
% 165.35/165.53 eprover: CPU time limit exceeded, terminating
% 167.35/167.54 eprover: CPU time limit exceeded, terminating
% 169.38/169.55 eprover: CPU time limit exceeded, terminating
% 171.38/171.57 eprover: CPU time limit exceeded, terminating
% 173.39/173.58 eprover: CPU time limit exceeded, terminating
% 175.46/175.60 eprover: CPU time limit exceeded, terminating
% 177.47/177.61 eprover: CPU time limit exceeded, terminating
% 179.47/179.62 eprover: CPU time limit exceeded, terminating
% 181.49/181.64 eprover: CPU time limit exceeded, terminating
% 183.46/183.65 eprover: CPU time limit exceeded, terminating
% 185.48/185.66 eprover: CPU time limit exceeded, terminating
% 187.50/187.68 eprover: CPU time limit exceeded, terminating
% 189.56/189.69 eprover: CPU time limit exceeded, terminating
% 191.58/191.71 eprover: CPU time limit exceeded, terminating
% 193.58/193.72 eprover: CPU time limit exceeded, terminating
% 195.61/195.73 eprover: CPU time limit exceeded, terminating
% 197.58/197.75 eprover: CPU time limit exceeded, terminating
% 199.60/199.76 eprover: CPU time limit exceeded, terminating
% 201.60/201.77 eprover: CPU time limit exceeded, terminating
% 203.68/203.79 eprover: CPU time limit exceeded, terminating
% 205.67/205.80 eprover: CPU time limit exceeded, terminating
% 207.68/207.81 eprover: CPU time limit exceeded, terminating
% 209.72/209.83 eprover: CPU time limit exceeded, terminating
% 211.71/211.84 eprover: CPU time limit exceeded, terminating
% 213.69/213.86 eprover: CPU time limit exceeded, terminating
% 215.71/215.87 eprover: CPU time limit exceeded, terminating
% 217.79/217.89 eprover: CPU time limit exceeded, terminating
% 219.79/219.90 eprover: CPU time limit exceeded, terminating
% 221.81/221.92 eprover: CPU time limit exceeded, terminating
% 223.84/223.93 eprover: CPU time limit exceeded, terminating
% 225.81/225.94 eprover: CPU time limit exceeded, terminating
% 227.82/227.96 eprover: CPU time limit exceeded, terminating
% 229.81/229.97 eprover: CPU time limit exceeded, terminating
% 231.87/231.99 eprover: CPU time limit exceeded, terminating
% 233.90/234.00 eprover: CPU time limit exceeded, terminating
% 235.91/236.01 eprover: CPU time limit exceeded, terminating
% 237.94/238.03 eprover: CPU time limit exceeded, terminating
% 239.93/240.04 eprover: CPU time limit exceeded, terminating
% 241.94/242.06 eprover: CPU time limit exceeded, terminating
% 243.96/244.07 eprover: CPU time limit exceeded, terminating
% 245.97/246.08 eprover: CPU time limit exceeded, terminating
% 248.02/248.10 eprover: CPU time limit exceeded, terminating
% 250.01/250.11 eprover: CPU time limit exceeded, terminating
% 252.02/252.13 eprover: CPU time limit exceeded, terminating
% 254.02/254.14 eprover: CPU time limit exceeded, terminating
% 256.09/256.15 eprover: CPU time limit exceeded, terminating
% 258.04/258.17 eprover: CPU time limit exceeded, terminating
% 260.08/260.18 eprover: CPU time limit exceeded, terminating
% 262.13/262.20 eprover: CPU time limit exceeded, terminating
% 264.06/264.21 eprover: CPU time limit exceeded, terminating
% 266.11/266.22 eprover: CPU time limit exceeded, terminating
% 268.16/268.23 eprover: CPU time limit exceeded, terminating
% 270.12/270.25 eprover: CPU time limit exceeded, terminating
% 272.19/272.26 eprover: CPU time limit exceeded, terminating
% 274.22/274.28 eprover: CPU time limit exceeded, terminating
% 276.20/276.29 eprover: CPU time limit exceeded, terminating
% 278.22/278.30 eprover: CPU time limit exceeded, terminating
% 280.25/280.32 eprover: CPU time limit exceeded, terminating
% 282.22/282.33 eprover: CPU time limit exceeded, terminating
% 284.29/284.35 eprover: CPU time limit exceeded, terminating
% 286.31/286.36 eprover: CPU time limit exceeded, terminating
% 288.30/288.38 eprover: CPU time limit exceeded, terminating
% 290.28/290.39 eprover: CPU time limit exceeded, terminating
% 292.37/292.41 eprover: CPU time limit exceeded, terminating
% 294.34/294.42 eprover: CPU time limit exceeded, terminating
% 296.35/296.44 eprover: CPU time limit exceeded, terminating
% 298.41/298.45 eprover: CPU time limit exceeded, terminating
% 300.02/300.06 eprover: CPU time limit exceeded, terminating
% 300.02/300.08 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------