TSTP Solution File: LCL224-10 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : LCL224-10 : TPTP v8.1.0. Released v7.5.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n026.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:29 EDT 2022
% Result : Timeout 285.90s 285.77s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : LCL224-10 : TPTP v8.1.0. Released v7.5.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n026.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Tue Jul 5 00:31:37 EDT 2022
% 0.13/0.34 % CPUTime :
% 2.14/2.37 eprover: CPU time limit exceeded, terminating
% 4.18/4.37 eprover: CPU time limit exceeded, terminating
% 6.19/6.38 eprover: CPU time limit exceeded, terminating
% 8.16/8.39 eprover: CPU time limit exceeded, terminating
% 10.19/10.40 eprover: CPU time limit exceeded, terminating
% 12.20/12.41 eprover: CPU time limit exceeded, terminating
% 14.17/14.42 eprover: CPU time limit exceeded, terminating
% 16.24/16.43 eprover: CPU time limit exceeded, terminating
% 18.23/18.44 eprover: CPU time limit exceeded, terminating
% 20.22/20.45 eprover: CPU time limit exceeded, terminating
% 22.23/22.45 eprover: CPU time limit exceeded, terminating
% 24.26/24.46 eprover: CPU time limit exceeded, terminating
% 26.23/26.47 eprover: CPU time limit exceeded, terminating
% 28.30/28.48 eprover: CPU time limit exceeded, terminating
% 30.24/30.49 eprover: CPU time limit exceeded, terminating
% 32.31/32.50 eprover: CPU time limit exceeded, terminating
% 34.33/34.51 eprover: CPU time limit exceeded, terminating
% 36.30/36.52 eprover: CPU time limit exceeded, terminating
% 38.35/38.53 eprover: CPU time limit exceeded, terminating
% 40.34/40.54 eprover: CPU time limit exceeded, terminating
% 42.31/42.54 eprover: CPU time limit exceeded, terminating
% 44.34/44.55 eprover: CPU time limit exceeded, terminating
% 46.37/46.56 eprover: CPU time limit exceeded, terminating
% 48.39/48.57 eprover: CPU time limit exceeded, terminating
% 50.42/50.58 eprover: CPU time limit exceeded, terminating
% 52.39/52.59 eprover: CPU time limit exceeded, terminating
% 54.40/54.60 eprover: CPU time limit exceeded, terminating
% 56.40/56.61 eprover: CPU time limit exceeded, terminating
% 58.40/58.62 eprover: CPU time limit exceeded, terminating
% 60.46/60.63 eprover: CPU time limit exceeded, terminating
% 62.47/62.64 eprover: CPU time limit exceeded, terminating
% 64.48/64.65 eprover: CPU time limit exceeded, terminating
% 66.48/66.66 eprover: CPU time limit exceeded, terminating
% 68.49/68.67 eprover: CPU time limit exceeded, terminating
% 70.45/70.68 eprover: CPU time limit exceeded, terminating
% 72.51/72.69 eprover: CPU time limit exceeded, terminating
% 74.50/74.70 eprover: CPU time limit exceeded, terminating
% 76.52/76.71 eprover: CPU time limit exceeded, terminating
% 78.52/78.72 eprover: CPU time limit exceeded, terminating
% 80.51/80.73 eprover: CPU time limit exceeded, terminating
% 82.61/82.74 eprover: CPU time limit exceeded, terminating
% 84.58/84.75 eprover: CPU time limit exceeded, terminating
% 86.60/86.76 eprover: CPU time limit exceeded, terminating
% 88.62/88.77 eprover: CPU time limit exceeded, terminating
% 90.61/90.78 eprover: CPU time limit exceeded, terminating
% 92.62/92.79 eprover: CPU time limit exceeded, terminating
% 94.61/94.80 eprover: CPU time limit exceeded, terminating
% 96.63/96.81 eprover: CPU time limit exceeded, terminating
% 98.69/98.82 eprover: CPU time limit exceeded, terminating
% 100.70/100.83 eprover: CPU time limit exceeded, terminating
% 102.64/102.84 eprover: CPU time limit exceeded, terminating
% 104.70/104.85 eprover: CPU time limit exceeded, terminating
% 106.75/106.86 eprover: CPU time limit exceeded, terminating
% 108.71/108.87 eprover: CPU time limit exceeded, terminating
% 110.75/110.88 eprover: CPU time limit exceeded, terminating
% 112.77/112.89 eprover: CPU time limit exceeded, terminating
% 114.74/114.90 eprover: CPU time limit exceeded, terminating
% 116.76/116.91 eprover: CPU time limit exceeded, terminating
% 118.80/118.92 eprover: CPU time limit exceeded, terminating
% 120.80/120.93 eprover: CPU time limit exceeded, terminating
% 122.80/122.93 eprover: CPU time limit exceeded, terminating
% 124.80/124.94 eprover: CPU time limit exceeded, terminating
% 126.86/126.96 eprover: CPU time limit exceeded, terminating
% 128.82/128.97 eprover: CPU time limit exceeded, terminating
% 130.87/130.97 eprover: CPU time limit exceeded, terminating
% 132.88/132.98 eprover: CPU time limit exceeded, terminating
% 134.88/134.99 eprover: CPU time limit exceeded, terminating
% 136.88/137.00 eprover: CPU time limit exceeded, terminating
% 138.86/139.01 eprover: CPU time limit exceeded, terminating
% 140.89/141.02 eprover: CPU time limit exceeded, terminating
% 142.96/143.03 eprover: CPU time limit exceeded, terminating
% 144.94/145.04 eprover: CPU time limit exceeded, terminating
% 146.99/147.05 eprover: CPU time limit exceeded, terminating
% 149.01/149.06 eprover: CPU time limit exceeded, terminating
% 151.01/151.07 eprover: CPU time limit exceeded, terminating
% 153.03/153.08 eprover: CPU time limit exceeded, terminating
% 155.01/155.09 eprover: CPU time limit exceeded, terminating
% 157.04/157.10 eprover: CPU time limit exceeded, terminating
% 159.03/159.11 eprover: CPU time limit exceeded, terminating
% 161.01/161.12 eprover: CPU time limit exceeded, terminating
% 163.05/163.13 eprover: CPU time limit exceeded, terminating
% 165.08/165.14 eprover: CPU time limit exceeded, terminating
% 167.11/167.15 eprover: CPU time limit exceeded, terminating
% 169.10/169.16 eprover: CPU time limit exceeded, terminating
% 171.12/171.18 eprover: CPU time limit exceeded, terminating
% 173.13/173.19 eprover: CPU time limit exceeded, terminating
% 175.14/175.20 eprover: CPU time limit exceeded, terminating
% 177.16/177.21 eprover: CPU time limit exceeded, terminating
% 179.19/179.22 eprover: CPU time limit exceeded, terminating
% 181.15/181.23 eprover: CPU time limit exceeded, terminating
% 183.15/183.24 eprover: CPU time limit exceeded, terminating
% 185.18/185.25 eprover: CPU time limit exceeded, terminating
% 187.22/187.26 eprover: CPU time limit exceeded, terminating
% 189.24/189.27 eprover: CPU time limit exceeded, terminating
% 191.24/191.28 eprover: CPU time limit exceeded, terminating
% 193.27/193.29 eprover: CPU time limit exceeded, terminating
% 195.26/195.30 eprover: CPU time limit exceeded, terminating
% 197.29/197.31 eprover: CPU time limit exceeded, terminating
% 199.33/199.32 eprover: CPU time limit exceeded, terminating
% 201.29/201.33 eprover: CPU time limit exceeded, terminating
% 203.34/203.34 eprover: CPU time limit exceeded, terminating
% 205.30/205.35 eprover: CPU time limit exceeded, terminating
% 207.37/207.36 eprover: CPU time limit exceeded, terminating
% 209.39/209.37 eprover: CPU time limit exceeded, terminating
% 211.37/211.38 eprover: CPU time limit exceeded, terminating
% 213.37/213.39 eprover: CPU time limit exceeded, terminating
% 215.38/215.40 eprover: CPU time limit exceeded, terminating
% 217.46/217.41 eprover: CPU time limit exceeded, terminating
% 219.47/219.42 eprover: CPU time limit exceeded, terminating
% 221.47/221.43 eprover: CPU time limit exceeded, terminating
% 223.45/223.44 eprover: CPU time limit exceeded, terminating
% 225.43/225.45 eprover: CPU time limit exceeded, terminating
% 227.51/227.46 eprover: CPU time limit exceeded, terminating
% 229.52/229.47 eprover: CPU time limit exceeded, terminating
% 231.48/231.48 eprover: CPU time limit exceeded, terminating
% 233.52/233.49 eprover: CPU time limit exceeded, terminating
% 235.53/235.50 eprover: CPU time limit exceeded, terminating
% 237.56/237.51 eprover: CPU time limit exceeded, terminating
% 239.57/239.52 eprover: CPU time limit exceeded, terminating
% 241.59/241.53 eprover: CPU time limit exceeded, terminating
% 243.56/243.54 eprover: CPU time limit exceeded, terminating
% 245.63/245.55 eprover: CPU time limit exceeded, terminating
% 247.62/247.56 eprover: CPU time limit exceeded, terminating
% 249.64/249.57 eprover: CPU time limit exceeded, terminating
% 251.63/251.58 eprover: CPU time limit exceeded, terminating
% 253.63/253.59 eprover: CPU time limit exceeded, terminating
% 255.65/255.60 eprover: CPU time limit exceeded, terminating
% 257.72/257.61 eprover: CPU time limit exceeded, terminating
% 259.72/259.63 eprover: CPU time limit exceeded, terminating
% 261.71/261.64 eprover: CPU time limit exceeded, terminating
% 263.68/263.65 eprover: CPU time limit exceeded, terminating
% 265.76/265.66 eprover: CPU time limit exceeded, terminating
% 267.77/267.67 eprover: CPU time limit exceeded, terminating
% 269.74/269.68 eprover: CPU time limit exceeded, terminating
% 271.80/271.69 eprover: CPU time limit exceeded, terminating
% 273.76/273.70 eprover: CPU time limit exceeded, terminating
% 275.84/275.71 eprover: CPU time limit exceeded, terminating
% 277.87/277.73 eprover: CPU time limit exceeded, terminating
% 279.88/279.74 eprover: CPU time limit exceeded, terminating
% 281.87/281.75 eprover: CPU time limit exceeded, terminating
% 283.82/283.76 eprover: CPU time limit exceeded, terminating
% 285.90/285.77 eprover: CPU time limit exceeded, terminating
% 287.92/287.78 eprover: CPU time limit exceeded, terminating
% 289.88/289.79 eprover: CPU time limit exceeded, terminating
% 291.92/291.80 eprover: CPU time limit exceeded, terminating
% 293.97/293.81 eprover: CPU time limit exceeded, terminating
% 295.96/295.82 eprover: CPU time limit exceeded, terminating
% 297.99/297.83 eprover: CPU time limit exceeded, terminating
% 299.96/299.84 eprover: CPU time limit exceeded, terminating
% 300.03/299.87 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------