TSTP Solution File: LCL316-10 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : LCL316-10 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n009.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:06 EDT 2022
% Result : Timeout 285.79s 286.13s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.11 % Problem : LCL316-10 : TPTP v8.1.0. Released v7.3.0.
% 0.06/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n009.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 : Mon Jul 4 00:56:07 EDT 2022
% 0.12/0.33 % CPUTime :
% 2.17/2.35 eprover: CPU time limit exceeded, terminating
% 4.16/4.36 eprover: CPU time limit exceeded, terminating
% 6.18/6.37 eprover: CPU time limit exceeded, terminating
% 8.16/8.39 eprover: CPU time limit exceeded, terminating
% 10.18/10.41 eprover: CPU time limit exceeded, terminating
% 12.18/12.42 eprover: CPU time limit exceeded, terminating
% 14.19/14.43 eprover: CPU time limit exceeded, terminating
% 16.24/16.45 eprover: CPU time limit exceeded, terminating
% 18.24/18.46 eprover: CPU time limit exceeded, terminating
% 20.24/20.48 eprover: CPU time limit exceeded, terminating
% 22.24/22.49 eprover: CPU time limit exceeded, terminating
% 24.25/24.50 eprover: CPU time limit exceeded, terminating
% 26.30/26.51 eprover: CPU time limit exceeded, terminating
% 28.25/28.52 eprover: CPU time limit exceeded, terminating
% 30.25/30.53 eprover: CPU time limit exceeded, terminating
% 32.34/32.54 eprover: CPU time limit exceeded, terminating
% 34.35/34.55 eprover: CPU time limit exceeded, terminating
% 36.35/36.56 eprover: CPU time limit exceeded, terminating
% 38.36/38.57 eprover: CPU time limit exceeded, terminating
% 40.36/40.59 eprover: CPU time limit exceeded, terminating
% 42.35/42.60 eprover: CPU time limit exceeded, terminating
% 44.36/44.61 eprover: CPU time limit exceeded, terminating
% 46.39/46.62 eprover: CPU time limit exceeded, terminating
% 48.43/48.63 eprover: CPU time limit exceeded, terminating
% 50.42/50.64 eprover: CPU time limit exceeded, terminating
% 52.44/52.66 eprover: CPU time limit exceeded, terminating
% 54.47/54.67 eprover: CPU time limit exceeded, terminating
% 56.46/56.68 eprover: CPU time limit exceeded, terminating
% 58.46/58.69 eprover: CPU time limit exceeded, terminating
% 60.47/60.71 eprover: CPU time limit exceeded, terminating
% 62.45/62.72 eprover: CPU time limit exceeded, terminating
% 64.50/64.73 eprover: CPU time limit exceeded, terminating
% 66.47/66.74 eprover: CPU time limit exceeded, terminating
% 68.53/68.75 eprover: CPU time limit exceeded, terminating
% 70.52/70.76 eprover: CPU time limit exceeded, terminating
% 72.55/72.78 eprover: CPU time limit exceeded, terminating
% 74.57/74.79 eprover: CPU time limit exceeded, terminating
% 76.59/76.80 eprover: CPU time limit exceeded, terminating
% 78.59/78.81 eprover: CPU time limit exceeded, terminating
% 80.60/80.82 eprover: CPU time limit exceeded, terminating
% 82.60/82.84 eprover: CPU time limit exceeded, terminating
% 84.61/84.85 eprover: CPU time limit exceeded, terminating
% 86.64/86.86 eprover: CPU time limit exceeded, terminating
% 88.64/88.87 eprover: CPU time limit exceeded, terminating
% 90.64/90.88 eprover: CPU time limit exceeded, terminating
% 92.65/92.89 eprover: CPU time limit exceeded, terminating
% 94.69/94.91 eprover: CPU time limit exceeded, terminating
% 96.67/96.92 eprover: CPU time limit exceeded, terminating
% 98.71/98.93 eprover: CPU time limit exceeded, terminating
% 100.69/100.94 eprover: CPU time limit exceeded, terminating
% 102.74/102.96 eprover: CPU time limit exceeded, terminating
% 104.74/104.97 eprover: CPU time limit exceeded, terminating
% 106.77/106.98 eprover: CPU time limit exceeded, terminating
% 108.80/108.99 eprover: CPU time limit exceeded, terminating
% 110.74/111.00 eprover: CPU time limit exceeded, terminating
% 112.79/113.01 eprover: CPU time limit exceeded, terminating
% 114.80/115.03 eprover: CPU time limit exceeded, terminating
% 116.81/117.04 eprover: CPU time limit exceeded, terminating
% 118.83/119.06 eprover: CPU time limit exceeded, terminating
% 120.85/121.07 eprover: CPU time limit exceeded, terminating
% 122.83/123.09 eprover: CPU time limit exceeded, terminating
% 124.86/125.10 eprover: CPU time limit exceeded, terminating
% 126.87/127.11 eprover: CPU time limit exceeded, terminating
% 128.85/129.12 eprover: CPU time limit exceeded, terminating
% 130.92/131.14 eprover: CPU time limit exceeded, terminating
% 132.93/133.15 eprover: CPU time limit exceeded, terminating
% 134.94/135.16 eprover: CPU time limit exceeded, terminating
% 136.97/137.17 eprover: CPU time limit exceeded, terminating
% 138.96/139.19 eprover: CPU time limit exceeded, terminating
% 140.95/141.20 eprover: CPU time limit exceeded, terminating
% 142.94/143.21 eprover: CPU time limit exceeded, terminating
% 144.94/145.22 eprover: CPU time limit exceeded, terminating
% 147.00/147.23 eprover: CPU time limit exceeded, terminating
% 149.02/149.25 eprover: CPU time limit exceeded, terminating
% 151.03/151.26 eprover: CPU time limit exceeded, terminating
% 153.04/153.28 eprover: CPU time limit exceeded, terminating
% 155.05/155.28 eprover: CPU time limit exceeded, terminating
% 157.05/157.30 eprover: CPU time limit exceeded, terminating
% 159.05/159.31 eprover: CPU time limit exceeded, terminating
% 161.03/161.32 eprover: CPU time limit exceeded, terminating
% 163.04/163.33 eprover: CPU time limit exceeded, terminating
% 165.06/165.34 eprover: CPU time limit exceeded, terminating
% 167.09/167.37 eprover: CPU time limit exceeded, terminating
% 169.11/169.38 eprover: CPU time limit exceeded, terminating
% 171.16/171.39 eprover: CPU time limit exceeded, terminating
% 173.12/173.41 eprover: CPU time limit exceeded, terminating
% 175.17/175.42 eprover: CPU time limit exceeded, terminating
% 177.11/177.45 eprover: CPU time limit exceeded, terminating
% 179.15/179.47 eprover: CPU time limit exceeded, terminating
% 181.21/181.50 eprover: CPU time limit exceeded, terminating
% 183.16/183.51 eprover: CPU time limit exceeded, terminating
% 185.19/185.53 eprover: CPU time limit exceeded, terminating
% 187.20/187.54 eprover: CPU time limit exceeded, terminating
% 189.20/189.55 eprover: CPU time limit exceeded, terminating
% 191.23/191.57 eprover: CPU time limit exceeded, terminating
% 193.27/193.57 eprover: CPU time limit exceeded, terminating
% 195.23/195.59 eprover: CPU time limit exceeded, terminating
% 197.30/197.60 eprover: CPU time limit exceeded, terminating
% 199.23/199.61 eprover: CPU time limit exceeded, terminating
% 201.33/201.62 eprover: CPU time limit exceeded, terminating
% 203.32/203.63 eprover: CPU time limit exceeded, terminating
% 205.32/205.64 eprover: CPU time limit exceeded, terminating
% 207.30/207.66 eprover: CPU time limit exceeded, terminating
% 209.31/209.67 eprover: CPU time limit exceeded, terminating
% 211.32/211.68 eprover: CPU time limit exceeded, terminating
% 213.31/213.69 eprover: CPU time limit exceeded, terminating
% 215.40/215.70 eprover: CPU time limit exceeded, terminating
% 217.42/217.71 eprover: CPU time limit exceeded, terminating
% 219.40/219.72 eprover: CPU time limit exceeded, terminating
% 221.39/221.73 eprover: CPU time limit exceeded, terminating
% 223.41/223.75 eprover: CPU time limit exceeded, terminating
% 225.43/225.76 eprover: CPU time limit exceeded, terminating
% 227.39/227.77 eprover: CPU time limit exceeded, terminating
% 229.40/229.79 eprover: CPU time limit exceeded, terminating
% 231.41/231.81 eprover: CPU time limit exceeded, terminating
% 233.50/233.82 eprover: CPU time limit exceeded, terminating
% 235.50/235.83 eprover: CPU time limit exceeded, terminating
% 237.50/237.85 eprover: CPU time limit exceeded, terminating
% 239.51/239.86 eprover: CPU time limit exceeded, terminating
% 241.50/241.87 eprover: CPU time limit exceeded, terminating
% 243.51/243.88 eprover: CPU time limit exceeded, terminating
% 245.49/245.89 eprover: CPU time limit exceeded, terminating
% 247.60/247.91 eprover: CPU time limit exceeded, terminating
% 249.59/249.93 eprover: CPU time limit exceeded, terminating
% 251.61/251.94 eprover: CPU time limit exceeded, terminating
% 253.60/253.95 eprover: CPU time limit exceeded, terminating
% 255.58/255.96 eprover: CPU time limit exceeded, terminating
% 257.57/257.98 eprover: CPU time limit exceeded, terminating
% 259.68/259.99 eprover: CPU time limit exceeded, terminating
% 261.60/262.01 eprover: CPU time limit exceeded, terminating
% 263.68/264.02 eprover: CPU time limit exceeded, terminating
% 265.69/266.02 eprover: CPU time limit exceeded, terminating
% 267.69/268.03 eprover: CPU time limit exceeded, terminating
% 269.70/270.04 eprover: CPU time limit exceeded, terminating
% 271.68/272.05 eprover: CPU time limit exceeded, terminating
% 273.69/274.06 eprover: CPU time limit exceeded, terminating
% 275.68/276.07 eprover: CPU time limit exceeded, terminating
% 277.72/278.08 eprover: CPU time limit exceeded, terminating
% 279.70/280.09 eprover: CPU time limit exceeded, terminating
% 281.79/282.11 eprover: CPU time limit exceeded, terminating
% 283.82/284.12 eprover: CPU time limit exceeded, terminating
% 285.79/286.13 eprover: CPU time limit exceeded, terminating
% 287.82/288.14 eprover: CPU time limit exceeded, terminating
% 289.80/290.15 eprover: CPU time limit exceeded, terminating
% 291.81/292.16 eprover: CPU time limit exceeded, terminating
% 293.81/294.16 eprover: CPU time limit exceeded, terminating
% 295.82/296.17 eprover: CPU time limit exceeded, terminating
% 297.83/298.18 eprover: CPU time limit exceeded, terminating
% 299.92/300.19 eprover: CPU time limit exceeded, terminating
% 300.23/300.51 eprover: CPU time limit exceeded, terminating
% 300.23/300.52 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------