TSTP Solution File: SEU448+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SEU448+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n011.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 : Tue Jul 19 10:14:15 EDT 2022
% Result : Timeout 287.28s 261.87s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.09/0.11 % Problem : SEU448+2 : TPTP v8.1.0. Released v3.4.0.
% 0.09/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n011.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 Jun 20 12:08:55 EDT 2022
% 0.12/0.33 % CPUTime :
% 16.37/16.30 eprover: CPU time limit exceeded, terminating
% 18.59/18.31 eprover: CPU time limit exceeded, terminating
% 20.71/20.32 eprover: CPU time limit exceeded, terminating
% 23.02/22.33 eprover: CPU time limit exceeded, terminating
% 25.19/24.34 eprover: CPU time limit exceeded, terminating
% 27.40/26.36 eprover: CPU time limit exceeded, terminating
% 29.62/28.37 eprover: CPU time limit exceeded, terminating
% 31.92/30.38 eprover: CPU time limit exceeded, terminating
% 34.13/32.39 eprover: CPU time limit exceeded, terminating
% 36.35/34.40 eprover: CPU time limit exceeded, terminating
% 38.55/36.41 eprover: CPU time limit exceeded, terminating
% 40.81/38.43 eprover: CPU time limit exceeded, terminating
% 43.03/40.44 eprover: CPU time limit exceeded, terminating
% 45.23/42.45 eprover: CPU time limit exceeded, terminating
% 47.48/44.46 eprover: CPU time limit exceeded, terminating
% 49.71/46.47 eprover: CPU time limit exceeded, terminating
% 51.93/48.48 eprover: CPU time limit exceeded, terminating
% 54.15/50.50 eprover: CPU time limit exceeded, terminating
% 56.36/52.51 eprover: CPU time limit exceeded, terminating
% 58.58/54.52 eprover: CPU time limit exceeded, terminating
% 60.79/56.53 eprover: CPU time limit exceeded, terminating
% 63.00/58.54 eprover: CPU time limit exceeded, terminating
% 65.24/60.55 eprover: CPU time limit exceeded, terminating
% 67.45/62.57 eprover: CPU time limit exceeded, terminating
% 69.64/64.58 eprover: CPU time limit exceeded, terminating
% 71.94/66.59 eprover: CPU time limit exceeded, terminating
% 74.16/68.60 eprover: CPU time limit exceeded, terminating
% 76.39/70.61 eprover: CPU time limit exceeded, terminating
% 78.59/72.62 eprover: CPU time limit exceeded, terminating
% 80.82/74.64 eprover: CPU time limit exceeded, terminating
% 83.02/76.65 eprover: CPU time limit exceeded, terminating
% 85.21/78.66 eprover: CPU time limit exceeded, terminating
% 87.43/80.67 eprover: CPU time limit exceeded, terminating
% 89.66/82.68 eprover: CPU time limit exceeded, terminating
% 91.94/84.69 eprover: CPU time limit exceeded, terminating
% 94.14/86.71 eprover: CPU time limit exceeded, terminating
% 96.36/88.72 eprover: CPU time limit exceeded, terminating
% 98.60/90.73 eprover: CPU time limit exceeded, terminating
% 100.76/92.74 eprover: CPU time limit exceeded, terminating
% 103.00/94.75 eprover: CPU time limit exceeded, terminating
% 105.23/96.77 eprover: CPU time limit exceeded, terminating
% 107.42/98.78 eprover: CPU time limit exceeded, terminating
% 109.68/100.79 eprover: CPU time limit exceeded, terminating
% 111.94/102.80 eprover: CPU time limit exceeded, terminating
% 114.15/104.81 eprover: CPU time limit exceeded, terminating
% 116.35/106.83 eprover: CPU time limit exceeded, terminating
% 118.56/108.84 eprover: CPU time limit exceeded, terminating
% 120.78/110.85 eprover: CPU time limit exceeded, terminating
% 123.00/112.86 eprover: CPU time limit exceeded, terminating
% 125.26/114.87 eprover: CPU time limit exceeded, terminating
% 127.49/116.88 eprover: CPU time limit exceeded, terminating
% 129.71/118.90 eprover: CPU time limit exceeded, terminating
% 131.84/120.91 eprover: CPU time limit exceeded, terminating
% 134.14/122.92 eprover: CPU time limit exceeded, terminating
% 136.34/124.93 eprover: CPU time limit exceeded, terminating
% 138.55/126.94 eprover: CPU time limit exceeded, terminating
% 140.77/128.95 eprover: CPU time limit exceeded, terminating
% 143.01/130.96 eprover: CPU time limit exceeded, terminating
% 145.19/132.98 eprover: CPU time limit exceeded, terminating
% 147.49/134.99 eprover: CPU time limit exceeded, terminating
% 149.62/137.00 eprover: CPU time limit exceeded, terminating
% 151.93/139.01 eprover: CPU time limit exceeded, terminating
% 154.12/141.02 eprover: CPU time limit exceeded, terminating
% 156.37/143.04 eprover: CPU time limit exceeded, terminating
% 158.54/145.05 eprover: CPU time limit exceeded, terminating
% 160.79/147.06 eprover: CPU time limit exceeded, terminating
% 163.05/149.07 eprover: CPU time limit exceeded, terminating
% 165.20/151.08 eprover: CPU time limit exceeded, terminating
% 167.48/153.10 eprover: CPU time limit exceeded, terminating
% 169.70/155.11 eprover: CPU time limit exceeded, terminating
% 171.86/157.12 eprover: CPU time limit exceeded, terminating
% 174.13/159.13 eprover: CPU time limit exceeded, terminating
% 176.37/161.14 eprover: CPU time limit exceeded, terminating
% 178.60/163.15 eprover: CPU time limit exceeded, terminating
% 180.78/165.16 eprover: CPU time limit exceeded, terminating
% 183.03/167.18 eprover: CPU time limit exceeded, terminating
% 185.27/169.19 eprover: CPU time limit exceeded, terminating
% 187.47/171.20 eprover: CPU time limit exceeded, terminating
% 189.67/173.21 eprover: CPU time limit exceeded, terminating
% 191.91/175.22 eprover: CPU time limit exceeded, terminating
% 194.16/177.23 eprover: CPU time limit exceeded, terminating
% 196.36/179.25 eprover: CPU time limit exceeded, terminating
% 198.59/181.26 eprover: CPU time limit exceeded, terminating
% 200.78/183.27 eprover: CPU time limit exceeded, terminating
% 203.06/185.28 eprover: CPU time limit exceeded, terminating
% 205.27/187.30 eprover: CPU time limit exceeded, terminating
% 207.48/189.31 eprover: CPU time limit exceeded, terminating
% 209.68/191.33 eprover: CPU time limit exceeded, terminating
% 211.91/193.34 eprover: CPU time limit exceeded, terminating
% 214.16/195.36 eprover: CPU time limit exceeded, terminating
% 216.38/197.38 eprover: CPU time limit exceeded, terminating
% 218.57/199.39 eprover: CPU time limit exceeded, terminating
% 220.76/201.40 eprover: CPU time limit exceeded, terminating
% 222.97/203.42 eprover: CPU time limit exceeded, terminating
% 225.25/205.43 eprover: CPU time limit exceeded, terminating
% 227.42/207.45 eprover: CPU time limit exceeded, terminating
% 229.64/209.46 eprover: CPU time limit exceeded, terminating
% 231.85/211.48 eprover: CPU time limit exceeded, terminating
% 234.03/213.49 eprover: CPU time limit exceeded, terminating
% 236.26/215.50 eprover: CPU time limit exceeded, terminating
% 238.48/217.52 eprover: CPU time limit exceeded, terminating
% 240.75/219.53 eprover: CPU time limit exceeded, terminating
% 242.98/221.55 eprover: CPU time limit exceeded, terminating
% 245.11/223.57 eprover: CPU time limit exceeded, terminating
% 247.34/225.58 eprover: CPU time limit exceeded, terminating
% 249.52/227.59 eprover: CPU time limit exceeded, terminating
% 251.73/229.61 eprover: CPU time limit exceeded, terminating
% 253.93/231.62 eprover: CPU time limit exceeded, terminating
% 256.17/233.64 eprover: CPU time limit exceeded, terminating
% 258.44/235.65 eprover: CPU time limit exceeded, terminating
% 260.63/237.67 eprover: CPU time limit exceeded, terminating
% 262.87/239.68 eprover: CPU time limit exceeded, terminating
% 265.09/241.70 eprover: CPU time limit exceeded, terminating
% 267.29/243.72 eprover: CPU time limit exceeded, terminating
% 269.44/245.73 eprover: CPU time limit exceeded, terminating
% 271.70/247.75 eprover: CPU time limit exceeded, terminating
% 273.96/249.77 eprover: CPU time limit exceeded, terminating
% 276.13/251.79 eprover: CPU time limit exceeded, terminating
% 278.40/253.81 eprover: CPU time limit exceeded, terminating
% 280.61/255.82 eprover: CPU time limit exceeded, terminating
% 282.79/257.84 eprover: CPU time limit exceeded, terminating
% 285.06/259.85 eprover: CPU time limit exceeded, terminating
% 287.28/261.87 eprover: CPU time limit exceeded, terminating
% 289.46/263.88 eprover: CPU time limit exceeded, terminating
% 291.73/265.90 eprover: CPU time limit exceeded, terminating
% 293.96/267.91 eprover: CPU time limit exceeded, terminating
% 296.18/269.92 eprover: CPU time limit exceeded, terminating
% 298.38/271.95 eprover: CPU time limit exceeded, terminating
% 300.04/273.37 eprover: CPU time limit exceeded, terminating
% 300.04/273.38 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------