TSTP Solution File: LCL304-10 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : LCL304-10 : TPTP v8.1.0. Released v7.5.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:10:02 EDT 2022
% Result : Timeout 285.95s 284.66s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.09/0.10 % Problem : LCL304-10 : TPTP v8.1.0. Released v7.5.0.
% 0.09/0.10 % Command : run_infinox %s
% 0.10/0.30 % Computer : n013.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 Jul 3 09:41:29 EDT 2022
% 0.10/0.31 % CPUTime :
% 2.07/2.34 eprover: CPU time limit exceeded, terminating
% 4.11/4.36 eprover: CPU time limit exceeded, terminating
% 6.15/6.37 eprover: CPU time limit exceeded, terminating
% 8.10/8.38 eprover: CPU time limit exceeded, terminating
% 10.17/10.40 eprover: CPU time limit exceeded, terminating
% 12.18/12.41 eprover: CPU time limit exceeded, terminating
% 14.20/14.43 eprover: CPU time limit exceeded, terminating
% 16.22/16.44 eprover: CPU time limit exceeded, terminating
% 18.21/18.46 eprover: CPU time limit exceeded, terminating
% 20.25/20.47 eprover: CPU time limit exceeded, terminating
% 22.22/22.49 eprover: CPU time limit exceeded, terminating
% 24.21/24.50 eprover: CPU time limit exceeded, terminating
% 26.23/26.50 eprover: CPU time limit exceeded, terminating
% 28.26/28.51 eprover: CPU time limit exceeded, terminating
% 30.28/30.53 eprover: CPU time limit exceeded, terminating
% 32.30/32.54 eprover: CPU time limit exceeded, terminating
% 34.24/34.55 eprover: CPU time limit exceeded, terminating
% 36.30/36.56 eprover: CPU time limit exceeded, terminating
% 38.29/38.58 eprover: CPU time limit exceeded, terminating
% 40.33/40.59 eprover: CPU time limit exceeded, terminating
% 42.38/42.60 eprover: CPU time limit exceeded, terminating
% 44.36/44.61 eprover: CPU time limit exceeded, terminating
% 46.40/46.62 eprover: CPU time limit exceeded, terminating
% 48.40/48.63 eprover: CPU time limit exceeded, terminating
% 50.41/50.64 eprover: CPU time limit exceeded, terminating
% 52.38/52.65 eprover: CPU time limit exceeded, terminating
% 54.43/54.66 eprover: CPU time limit exceeded, terminating
% 56.40/56.67 eprover: CPU time limit exceeded, terminating
% 58.43/58.68 eprover: CPU time limit exceeded, terminating
% 60.50/60.70 eprover: CPU time limit exceeded, terminating
% 62.42/62.71 eprover: CPU time limit exceeded, terminating
% 64.49/64.72 eprover: CPU time limit exceeded, terminating
% 66.52/66.73 eprover: CPU time limit exceeded, terminating
% 68.49/68.75 eprover: CPU time limit exceeded, terminating
% 70.54/70.77 eprover: CPU time limit exceeded, terminating
% 72.58/72.78 eprover: CPU time limit exceeded, terminating
% 74.54/74.80 eprover: CPU time limit exceeded, terminating
% 76.58/76.82 eprover: CPU time limit exceeded, terminating
% 78.58/78.86 eprover: CPU time limit exceeded, terminating
% 80.61/80.87 eprover: CPU time limit exceeded, terminating
% 82.59/82.89 eprover: CPU time limit exceeded, terminating
% 84.66/84.91 eprover: CPU time limit exceeded, terminating
% 86.68/86.92 eprover: CPU time limit exceeded, terminating
% 88.68/88.94 eprover: CPU time limit exceeded, terminating
% 90.66/90.95 eprover: CPU time limit exceeded, terminating
% 92.66/92.99 eprover: CPU time limit exceeded, terminating
% 94.71/95.01 eprover: CPU time limit exceeded, terminating
% 96.71/97.03 eprover: CPU time limit exceeded, terminating
% 98.70/99.04 eprover: CPU time limit exceeded, terminating
% 100.73/101.06 eprover: CPU time limit exceeded, terminating
% 102.71/103.07 eprover: CPU time limit exceeded, terminating
% 104.72/105.10 eprover: CPU time limit exceeded, terminating
% 106.78/107.12 eprover: CPU time limit exceeded, terminating
% 108.81/109.14 eprover: CPU time limit exceeded, terminating
% 110.81/111.15 eprover: CPU time limit exceeded, terminating
% 112.83/113.16 eprover: CPU time limit exceeded, terminating
% 114.78/115.18 eprover: CPU time limit exceeded, terminating
% 116.87/117.19 eprover: CPU time limit exceeded, terminating
% 118.89/119.21 eprover: CPU time limit exceeded, terminating
% 120.89/121.22 eprover: CPU time limit exceeded, terminating
% 122.91/123.24 eprover: CPU time limit exceeded, terminating
% 124.87/125.27 eprover: CPU time limit exceeded, terminating
% 126.90/127.28 eprover: CPU time limit exceeded, terminating
% 128.94/129.31 eprover: CPU time limit exceeded, terminating
% 130.97/131.32 eprover: CPU time limit exceeded, terminating
% 132.93/133.33 eprover: CPU time limit exceeded, terminating
% 134.97/135.34 eprover: CPU time limit exceeded, terminating
% 136.95/137.36 eprover: CPU time limit exceeded, terminating
% 140.90/139.38 eprover: CPU time limit exceeded, terminating
% 142.94/141.39 eprover: CPU time limit exceeded, terminating
% 144.89/143.42 eprover: CPU time limit exceeded, terminating
% 146.99/145.43 eprover: CPU time limit exceeded, terminating
% 148.97/147.45 eprover: CPU time limit exceeded, terminating
% 150.95/149.47 eprover: CPU time limit exceeded, terminating
% 152.99/151.48 eprover: CPU time limit exceeded, terminating
% 155.04/153.50 eprover: CPU time limit exceeded, terminating
% 157.07/155.51 eprover: CPU time limit exceeded, terminating
% 159.05/157.52 eprover: CPU time limit exceeded, terminating
% 161.08/159.55 eprover: CPU time limit exceeded, terminating
% 163.08/161.56 eprover: CPU time limit exceeded, terminating
% 165.06/163.58 eprover: CPU time limit exceeded, terminating
% 167.12/165.61 eprover: CPU time limit exceeded, terminating
% 169.14/167.62 eprover: CPU time limit exceeded, terminating
% 171.15/169.64 eprover: CPU time limit exceeded, terminating
% 173.12/171.65 eprover: CPU time limit exceeded, terminating
% 175.11/173.68 eprover: CPU time limit exceeded, terminating
% 177.16/175.69 eprover: CPU time limit exceeded, terminating
% 179.20/177.71 eprover: CPU time limit exceeded, terminating
% 181.23/179.72 eprover: CPU time limit exceeded, terminating
% 183.18/181.74 eprover: CPU time limit exceeded, terminating
% 185.24/183.75 eprover: CPU time limit exceeded, terminating
% 187.28/185.78 eprover: CPU time limit exceeded, terminating
% 189.23/187.79 eprover: CPU time limit exceeded, terminating
% 191.28/189.81 eprover: CPU time limit exceeded, terminating
% 193.32/191.82 eprover: CPU time limit exceeded, terminating
% 195.28/193.84 eprover: CPU time limit exceeded, terminating
% 197.34/195.85 eprover: CPU time limit exceeded, terminating
% 199.30/197.86 eprover: CPU time limit exceeded, terminating
% 201.33/199.88 eprover: CPU time limit exceeded, terminating
% 203.39/201.89 eprover: CPU time limit exceeded, terminating
% 205.34/203.91 eprover: CPU time limit exceeded, terminating
% 207.36/205.92 eprover: CPU time limit exceeded, terminating
% 209.40/207.96 eprover: CPU time limit exceeded, terminating
% 211.46/209.98 eprover: CPU time limit exceeded, terminating
% 213.39/211.99 eprover: CPU time limit exceeded, terminating
% 215.48/214.01 eprover: CPU time limit exceeded, terminating
% 217.51/216.02 eprover: CPU time limit exceeded, terminating
% 219.47/218.04 eprover: CPU time limit exceeded, terminating
% 221.49/220.07 eprover: CPU time limit exceeded, terminating
% 223.55/222.08 eprover: CPU time limit exceeded, terminating
% 225.53/224.10 eprover: CPU time limit exceeded, terminating
% 227.55/226.11 eprover: CPU time limit exceeded, terminating
% 229.51/228.13 eprover: CPU time limit exceeded, terminating
% 231.55/230.15 eprover: CPU time limit exceeded, terminating
% 233.54/232.18 eprover: CPU time limit exceeded, terminating
% 235.60/234.19 eprover: CPU time limit exceeded, terminating
% 237.63/236.20 eprover: CPU time limit exceeded, terminating
% 239.61/238.21 eprover: CPU time limit exceeded, terminating
% 241.61/240.24 eprover: CPU time limit exceeded, terminating
% 243.61/242.25 eprover: CPU time limit exceeded, terminating
% 245.60/244.27 eprover: CPU time limit exceeded, terminating
% 247.65/246.29 eprover: CPU time limit exceeded, terminating
% 249.63/248.31 eprover: CPU time limit exceeded, terminating
% 251.68/250.34 eprover: CPU time limit exceeded, terminating
% 253.70/252.35 eprover: CPU time limit exceeded, terminating
% 255.72/254.36 eprover: CPU time limit exceeded, terminating
% 257.77/256.38 eprover: CPU time limit exceeded, terminating
% 259.70/258.39 eprover: CPU time limit exceeded, terminating
% 261.79/260.42 eprover: CPU time limit exceeded, terminating
% 263.77/262.45 eprover: CPU time limit exceeded, terminating
% 265.79/264.47 eprover: CPU time limit exceeded, terminating
% 267.83/266.49 eprover: CPU time limit exceeded, terminating
% 269.86/268.50 eprover: CPU time limit exceeded, terminating
% 271.85/270.53 eprover: CPU time limit exceeded, terminating
% 273.81/272.55 eprover: CPU time limit exceeded, terminating
% 275.89/274.56 eprover: CPU time limit exceeded, terminating
% 277.90/276.57 eprover: CPU time limit exceeded, terminating
% 279.85/278.61 eprover: CPU time limit exceeded, terminating
% 281.86/280.63 eprover: CPU time limit exceeded, terminating
% 283.90/282.65 eprover: CPU time limit exceeded, terminating
% 285.95/284.66 eprover: CPU time limit exceeded, terminating
% 287.97/286.67 eprover: CPU time limit exceeded, terminating
% 289.95/288.69 eprover: CPU time limit exceeded, terminating
% 291.95/290.71 eprover: CPU time limit exceeded, terminating
% 293.99/292.74 eprover: CPU time limit exceeded, terminating
% 296.00/294.75 eprover: CPU time limit exceeded, terminating
% 298.02/296.77 eprover: CPU time limit exceeded, terminating
% 299.98/298.80 eprover: CPU time limit exceeded, terminating
% 300.12/298.85 eprover: CPU time limit exceeded, terminating
% 300.12/298.88 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------