TSTP Solution File: LCL263-10 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : LCL263-10 : TPTP v8.1.0. Released v7.5.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n008.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:50 EDT 2022
% Result : Timeout 285.89s 286.28s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.11 % Problem : LCL263-10 : TPTP v8.1.0. Released v7.5.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n008.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 13:36:38 EDT 2022
% 0.12/0.33 % CPUTime :
% 2.17/2.37 eprover: CPU time limit exceeded, terminating
% 4.14/4.39 eprover: CPU time limit exceeded, terminating
% 6.19/6.41 eprover: CPU time limit exceeded, terminating
% 8.16/8.42 eprover: CPU time limit exceeded, terminating
% 10.19/10.43 eprover: CPU time limit exceeded, terminating
% 12.18/12.43 eprover: CPU time limit exceeded, terminating
% 14.20/14.45 eprover: CPU time limit exceeded, terminating
% 16.25/16.46 eprover: CPU time limit exceeded, terminating
% 18.22/18.48 eprover: CPU time limit exceeded, terminating
% 20.27/20.49 eprover: CPU time limit exceeded, terminating
% 22.27/22.51 eprover: CPU time limit exceeded, terminating
% 24.23/24.53 eprover: CPU time limit exceeded, terminating
% 26.28/26.54 eprover: CPU time limit exceeded, terminating
% 28.32/28.55 eprover: CPU time limit exceeded, terminating
% 30.30/30.56 eprover: CPU time limit exceeded, terminating
% 32.32/32.58 eprover: CPU time limit exceeded, terminating
% 34.35/34.60 eprover: CPU time limit exceeded, terminating
% 36.36/36.61 eprover: CPU time limit exceeded, terminating
% 38.35/38.62 eprover: CPU time limit exceeded, terminating
% 40.37/40.63 eprover: CPU time limit exceeded, terminating
% 42.38/42.65 eprover: CPU time limit exceeded, terminating
% 44.43/44.66 eprover: CPU time limit exceeded, terminating
% 46.41/46.68 eprover: CPU time limit exceeded, terminating
% 48.44/48.69 eprover: CPU time limit exceeded, terminating
% 50.47/50.70 eprover: CPU time limit exceeded, terminating
% 52.45/52.73 eprover: CPU time limit exceeded, terminating
% 54.43/54.74 eprover: CPU time limit exceeded, terminating
% 56.51/56.76 eprover: CPU time limit exceeded, terminating
% 58.50/58.77 eprover: CPU time limit exceeded, terminating
% 60.46/60.79 eprover: CPU time limit exceeded, terminating
% 62.50/62.80 eprover: CPU time limit exceeded, terminating
% 64.47/64.82 eprover: CPU time limit exceeded, terminating
% 66.49/66.83 eprover: CPU time limit exceeded, terminating
% 68.55/68.85 eprover: CPU time limit exceeded, terminating
% 70.58/70.88 eprover: CPU time limit exceeded, terminating
% 72.54/72.89 eprover: CPU time limit exceeded, terminating
% 74.61/74.90 eprover: CPU time limit exceeded, terminating
% 76.57/76.91 eprover: CPU time limit exceeded, terminating
% 78.61/78.92 eprover: CPU time limit exceeded, terminating
% 80.63/80.93 eprover: CPU time limit exceeded, terminating
% 82.61/82.95 eprover: CPU time limit exceeded, terminating
% 84.64/84.96 eprover: CPU time limit exceeded, terminating
% 86.61/86.97 eprover: CPU time limit exceeded, terminating
% 88.63/88.98 eprover: CPU time limit exceeded, terminating
% 90.70/91.00 eprover: CPU time limit exceeded, terminating
% 92.72/93.01 eprover: CPU time limit exceeded, terminating
% 94.73/95.02 eprover: CPU time limit exceeded, terminating
% 96.72/97.03 eprover: CPU time limit exceeded, terminating
% 98.73/99.06 eprover: CPU time limit exceeded, terminating
% 100.69/101.07 eprover: CPU time limit exceeded, terminating
% 102.72/103.08 eprover: CPU time limit exceeded, terminating
% 104.73/105.09 eprover: CPU time limit exceeded, terminating
% 106.81/107.11 eprover: CPU time limit exceeded, terminating
% 108.79/109.14 eprover: CPU time limit exceeded, terminating
% 110.80/111.15 eprover: CPU time limit exceeded, terminating
% 112.79/113.18 eprover: CPU time limit exceeded, terminating
% 114.86/115.18 eprover: CPU time limit exceeded, terminating
% 116.78/117.20 eprover: CPU time limit exceeded, terminating
% 118.89/119.21 eprover: CPU time limit exceeded, terminating
% 120.88/121.23 eprover: CPU time limit exceeded, terminating
% 122.89/123.24 eprover: CPU time limit exceeded, terminating
% 124.90/125.26 eprover: CPU time limit exceeded, terminating
% 126.87/127.28 eprover: CPU time limit exceeded, terminating
% 128.95/129.30 eprover: CPU time limit exceeded, terminating
% 130.96/131.31 eprover: CPU time limit exceeded, terminating
% 132.96/133.33 eprover: CPU time limit exceeded, terminating
% 134.98/135.34 eprover: CPU time limit exceeded, terminating
% 136.95/137.35 eprover: CPU time limit exceeded, terminating
% 138.97/139.36 eprover: CPU time limit exceeded, terminating
% 140.98/141.37 eprover: CPU time limit exceeded, terminating
% 143.03/143.39 eprover: CPU time limit exceeded, terminating
% 144.98/145.40 eprover: CPU time limit exceeded, terminating
% 147.07/147.41 eprover: CPU time limit exceeded, terminating
% 149.06/149.43 eprover: CPU time limit exceeded, terminating
% 151.08/151.44 eprover: CPU time limit exceeded, terminating
% 153.07/153.45 eprover: CPU time limit exceeded, terminating
% 155.03/155.46 eprover: CPU time limit exceeded, terminating
% 157.07/157.48 eprover: CPU time limit exceeded, terminating
% 159.14/159.49 eprover: CPU time limit exceeded, terminating
% 161.15/161.51 eprover: CPU time limit exceeded, terminating
% 163.17/163.52 eprover: CPU time limit exceeded, terminating
% 165.18/165.53 eprover: CPU time limit exceeded, terminating
% 167.18/167.55 eprover: CPU time limit exceeded, terminating
% 169.16/169.56 eprover: CPU time limit exceeded, terminating
% 171.13/171.57 eprover: CPU time limit exceeded, terminating
% 173.22/173.59 eprover: CPU time limit exceeded, terminating
% 175.21/175.60 eprover: CPU time limit exceeded, terminating
% 177.23/177.62 eprover: CPU time limit exceeded, terminating
% 179.24/179.63 eprover: CPU time limit exceeded, terminating
% 181.19/181.65 eprover: CPU time limit exceeded, terminating
% 183.25/183.66 eprover: CPU time limit exceeded, terminating
% 185.26/185.67 eprover: CPU time limit exceeded, terminating
% 187.26/187.68 eprover: CPU time limit exceeded, terminating
% 189.32/189.70 eprover: CPU time limit exceeded, terminating
% 191.26/191.72 eprover: CPU time limit exceeded, terminating
% 193.35/193.73 eprover: CPU time limit exceeded, terminating
% 195.35/195.75 eprover: CPU time limit exceeded, terminating
% 197.35/197.76 eprover: CPU time limit exceeded, terminating
% 199.36/199.78 eprover: CPU time limit exceeded, terminating
% 201.40/201.79 eprover: CPU time limit exceeded, terminating
% 203.33/203.81 eprover: CPU time limit exceeded, terminating
% 205.43/205.82 eprover: CPU time limit exceeded, terminating
% 207.39/207.83 eprover: CPU time limit exceeded, terminating
% 209.44/209.85 eprover: CPU time limit exceeded, terminating
% 211.41/211.86 eprover: CPU time limit exceeded, terminating
% 213.44/213.88 eprover: CPU time limit exceeded, terminating
% 215.49/215.90 eprover: CPU time limit exceeded, terminating
% 217.43/217.91 eprover: CPU time limit exceeded, terminating
% 219.48/219.92 eprover: CPU time limit exceeded, terminating
% 221.52/221.93 eprover: CPU time limit exceeded, terminating
% 223.49/223.95 eprover: CPU time limit exceeded, terminating
% 225.50/225.96 eprover: CPU time limit exceeded, terminating
% 227.52/227.97 eprover: CPU time limit exceeded, terminating
% 229.51/229.98 eprover: CPU time limit exceeded, terminating
% 231.50/231.99 eprover: CPU time limit exceeded, terminating
% 233.58/234.01 eprover: CPU time limit exceeded, terminating
% 235.62/236.02 eprover: CPU time limit exceeded, terminating
% 237.59/238.04 eprover: CPU time limit exceeded, terminating
% 239.61/240.05 eprover: CPU time limit exceeded, terminating
% 241.59/242.06 eprover: CPU time limit exceeded, terminating
% 243.60/244.07 eprover: CPU time limit exceeded, terminating
% 245.61/246.08 eprover: CPU time limit exceeded, terminating
% 247.69/248.09 eprover: CPU time limit exceeded, terminating
% 249.70/250.10 eprover: CPU time limit exceeded, terminating
% 251.71/252.11 eprover: CPU time limit exceeded, terminating
% 253.73/254.12 eprover: CPU time limit exceeded, terminating
% 255.72/256.13 eprover: CPU time limit exceeded, terminating
% 257.74/258.14 eprover: CPU time limit exceeded, terminating
% 259.72/260.15 eprover: CPU time limit exceeded, terminating
% 261.74/262.16 eprover: CPU time limit exceeded, terminating
% 263.73/264.17 eprover: CPU time limit exceeded, terminating
% 265.75/266.18 eprover: CPU time limit exceeded, terminating
% 267.73/268.19 eprover: CPU time limit exceeded, terminating
% 269.83/270.20 eprover: CPU time limit exceeded, terminating
% 271.84/272.21 eprover: CPU time limit exceeded, terminating
% 273.84/274.22 eprover: CPU time limit exceeded, terminating
% 275.83/276.23 eprover: CPU time limit exceeded, terminating
% 277.83/278.24 eprover: CPU time limit exceeded, terminating
% 279.86/280.25 eprover: CPU time limit exceeded, terminating
% 281.85/282.26 eprover: CPU time limit exceeded, terminating
% 283.87/284.27 eprover: CPU time limit exceeded, terminating
% 285.89/286.28 eprover: CPU time limit exceeded, terminating
% 287.94/288.29 eprover: CPU time limit exceeded, terminating
% 289.97/290.30 eprover: CPU time limit exceeded, terminating
% 291.97/292.31 eprover: CPU time limit exceeded, terminating
% 293.97/294.32 eprover: CPU time limit exceeded, terminating
% 296.01/296.33 eprover: CPU time limit exceeded, terminating
% 297.97/298.34 eprover: CPU time limit exceeded, terminating
% 299.95/300.35 eprover: CPU time limit exceeded, terminating
% 300.06/300.38 eprover: CPU time limit exceeded, terminating
% 300.06/300.40 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------