TSTP Solution File: SEU437+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SEU437+1 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n016.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:06 EDT 2022
% Result : Timeout 285.94s 285.95s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.05/0.11 % Problem : SEU437+1 : TPTP v8.1.0. Released v3.4.0.
% 0.05/0.12 % Command : run_infinox %s
% 0.11/0.31 % Computer : n016.cluster.edu
% 0.11/0.31 % Model : x86_64 x86_64
% 0.11/0.31 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.11/0.31 % Memory : 8042.1875MB
% 0.11/0.31 % OS : Linux 3.10.0-693.el7.x86_64
% 0.11/0.31 % CPULimit : 300
% 0.11/0.31 % WCLimit : 600
% 0.15/0.31 % DateTime : Mon Jun 20 04:49:09 EDT 2022
% 0.15/0.31 % CPUTime :
% 2.16/2.38 eprover: CPU time limit exceeded, terminating
% 4.18/4.39 eprover: CPU time limit exceeded, terminating
% 6.14/6.39 eprover: CPU time limit exceeded, terminating
% 8.17/8.40 eprover: CPU time limit exceeded, terminating
% 10.20/10.41 eprover: CPU time limit exceeded, terminating
% 12.17/12.42 eprover: CPU time limit exceeded, terminating
% 14.24/14.43 eprover: CPU time limit exceeded, terminating
% 16.24/16.44 eprover: CPU time limit exceeded, terminating
% 18.27/18.45 eprover: CPU time limit exceeded, terminating
% 20.19/20.46 eprover: CPU time limit exceeded, terminating
% 22.30/22.47 eprover: CPU time limit exceeded, terminating
% 24.26/24.48 eprover: CPU time limit exceeded, terminating
% 26.30/26.49 eprover: CPU time limit exceeded, terminating
% 28.32/28.49 eprover: CPU time limit exceeded, terminating
% 30.31/30.50 eprover: CPU time limit exceeded, terminating
% 32.33/32.51 eprover: CPU time limit exceeded, terminating
% 34.33/34.52 eprover: CPU time limit exceeded, terminating
% 36.35/36.53 eprover: CPU time limit exceeded, terminating
% 38.40/38.54 eprover: CPU time limit exceeded, terminating
% 40.35/40.55 eprover: CPU time limit exceeded, terminating
% 42.41/42.56 eprover: CPU time limit exceeded, terminating
% 44.44/44.57 eprover: CPU time limit exceeded, terminating
% 46.41/46.58 eprover: CPU time limit exceeded, terminating
% 48.42/48.59 eprover: CPU time limit exceeded, terminating
% 50.47/50.60 eprover: CPU time limit exceeded, terminating
% 52.43/52.61 eprover: CPU time limit exceeded, terminating
% 54.51/54.62 eprover: CPU time limit exceeded, terminating
% 56.49/56.62 eprover: CPU time limit exceeded, terminating
% 58.52/58.63 eprover: CPU time limit exceeded, terminating
% 60.54/60.65 eprover: CPU time limit exceeded, terminating
% 62.49/62.66 eprover: CPU time limit exceeded, terminating
% 64.56/64.67 eprover: CPU time limit exceeded, terminating
% 66.57/66.68 eprover: CPU time limit exceeded, terminating
% 68.57/68.69 eprover: CPU time limit exceeded, terminating
% 70.57/70.69 eprover: CPU time limit exceeded, terminating
% 72.57/72.70 eprover: CPU time limit exceeded, terminating
% 74.62/74.71 eprover: CPU time limit exceeded, terminating
% 76.60/76.72 eprover: CPU time limit exceeded, terminating
% 78.66/78.73 eprover: CPU time limit exceeded, terminating
% 80.61/80.74 eprover: CPU time limit exceeded, terminating
% 82.69/82.75 eprover: CPU time limit exceeded, terminating
% 84.66/84.76 eprover: CPU time limit exceeded, terminating
% 86.71/86.77 eprover: CPU time limit exceeded, terminating
% 88.73/88.78 eprover: CPU time limit exceeded, terminating
% 90.70/90.78 eprover: CPU time limit exceeded, terminating
% 92.70/92.79 eprover: CPU time limit exceeded, terminating
% 94.74/94.80 eprover: CPU time limit exceeded, terminating
% 96.74/96.81 eprover: CPU time limit exceeded, terminating
% 98.79/98.82 eprover: CPU time limit exceeded, terminating
% 100.76/100.83 eprover: CPU time limit exceeded, terminating
% 102.76/102.84 eprover: CPU time limit exceeded, terminating
% 104.78/104.85 eprover: CPU time limit exceeded, terminating
% 106.82/106.86 eprover: CPU time limit exceeded, terminating
% 108.83/108.87 eprover: CPU time limit exceeded, terminating
% 110.84/110.88 eprover: CPU time limit exceeded, terminating
% 112.86/112.89 eprover: CPU time limit exceeded, terminating
% 114.88/114.90 eprover: CPU time limit exceeded, terminating
% 116.85/116.91 eprover: CPU time limit exceeded, terminating
% 118.85/118.92 eprover: CPU time limit exceeded, terminating
% 120.88/120.93 eprover: CPU time limit exceeded, terminating
% 122.94/122.94 eprover: CPU time limit exceeded, terminating
% 124.94/124.95 eprover: CPU time limit exceeded, terminating
% 126.94/126.96 eprover: CPU time limit exceeded, terminating
% 128.96/128.97 eprover: CPU time limit exceeded, terminating
% 130.98/130.98 eprover: CPU time limit exceeded, terminating
% 132.98/132.99 eprover: CPU time limit exceeded, terminating
% 134.98/135.00 eprover: CPU time limit exceeded, terminating
% 136.99/137.00 eprover: CPU time limit exceeded, terminating
% 138.98/139.01 eprover: CPU time limit exceeded, terminating
% 141.05/141.02 eprover: CPU time limit exceeded, terminating
% 143.08/143.03 eprover: CPU time limit exceeded, terminating
% 145.09/145.04 eprover: CPU time limit exceeded, terminating
% 147.08/147.05 eprover: CPU time limit exceeded, terminating
% 149.11/149.06 eprover: CPU time limit exceeded, terminating
% 151.07/151.07 eprover: CPU time limit exceeded, terminating
% 153.14/153.08 eprover: CPU time limit exceeded, terminating
% 155.12/155.09 eprover: CPU time limit exceeded, terminating
% 157.12/157.10 eprover: CPU time limit exceeded, terminating
% 159.14/159.11 eprover: CPU time limit exceeded, terminating
% 161.14/161.12 eprover: CPU time limit exceeded, terminating
% 163.19/163.13 eprover: CPU time limit exceeded, terminating
% 165.13/165.14 eprover: CPU time limit exceeded, terminating
% 167.20/167.15 eprover: CPU time limit exceeded, terminating
% 169.22/169.16 eprover: CPU time limit exceeded, terminating
% 171.21/171.17 eprover: CPU time limit exceeded, terminating
% 173.26/173.18 eprover: CPU time limit exceeded, terminating
% 175.23/175.19 eprover: CPU time limit exceeded, terminating
% 177.28/177.20 eprover: CPU time limit exceeded, terminating
% 179.27/179.21 eprover: CPU time limit exceeded, terminating
% 181.30/181.22 eprover: CPU time limit exceeded, terminating
% 183.28/183.23 eprover: CPU time limit exceeded, terminating
% 185.25/185.24 eprover: CPU time limit exceeded, terminating
% 187.35/187.24 eprover: CPU time limit exceeded, terminating
% 189.36/189.25 eprover: CPU time limit exceeded, terminating
% 191.35/191.28 eprover: CPU time limit exceeded, terminating
% 193.37/193.28 eprover: CPU time limit exceeded, terminating
% 195.36/195.29 eprover: CPU time limit exceeded, terminating
% 197.39/197.30 eprover: CPU time limit exceeded, terminating
% 199.41/199.31 eprover: CPU time limit exceeded, terminating
% 201.44/201.32 eprover: CPU time limit exceeded, terminating
% 203.46/203.33 eprover: CPU time limit exceeded, terminating
% 205.41/205.34 eprover: CPU time limit exceeded, terminating
% 207.46/207.35 eprover: CPU time limit exceeded, terminating
% 209.49/209.36 eprover: CPU time limit exceeded, terminating
% 211.50/211.38 eprover: CPU time limit exceeded, terminating
% 213.49/213.39 eprover: CPU time limit exceeded, terminating
% 215.50/215.40 eprover: CPU time limit exceeded, terminating
% 217.52/217.43 eprover: CPU time limit exceeded, terminating
% 219.49/219.44 eprover: CPU time limit exceeded, terminating
% 221.54/221.46 eprover: CPU time limit exceeded, terminating
% 223.59/223.48 eprover: CPU time limit exceeded, terminating
% 225.53/225.50 eprover: CPU time limit exceeded, terminating
% 227.59/227.51 eprover: CPU time limit exceeded, terminating
% 229.61/229.52 eprover: CPU time limit exceeded, terminating
% 231.63/231.54 eprover: CPU time limit exceeded, terminating
% 233.62/233.55 eprover: CPU time limit exceeded, terminating
% 235.63/235.57 eprover: CPU time limit exceeded, terminating
% 237.67/237.59 eprover: CPU time limit exceeded, terminating
% 239.68/239.61 eprover: CPU time limit exceeded, terminating
% 241.66/241.62 eprover: CPU time limit exceeded, terminating
% 243.69/243.63 eprover: CPU time limit exceeded, terminating
% 245.67/245.65 eprover: CPU time limit exceeded, terminating
% 247.71/247.66 eprover: CPU time limit exceeded, terminating
% 249.75/249.68 eprover: CPU time limit exceeded, terminating
% 251.72/251.71 eprover: CPU time limit exceeded, terminating
% 253.77/253.73 eprover: CPU time limit exceeded, terminating
% 255.78/255.74 eprover: CPU time limit exceeded, terminating
% 257.72/257.75 eprover: CPU time limit exceeded, terminating
% 259.80/259.77 eprover: CPU time limit exceeded, terminating
% 261.81/261.78 eprover: CPU time limit exceeded, terminating
% 263.79/263.79 eprover: CPU time limit exceeded, terminating
% 265.84/265.80 eprover: CPU time limit exceeded, terminating
% 267.84/267.81 eprover: CPU time limit exceeded, terminating
% 269.83/269.82 eprover: CPU time limit exceeded, terminating
% 271.85/271.83 eprover: CPU time limit exceeded, terminating
% 273.88/273.85 eprover: CPU time limit exceeded, terminating
% 275.83/275.86 eprover: CPU time limit exceeded, terminating
% 277.85/277.87 eprover: CPU time limit exceeded, terminating
% 279.92/279.89 eprover: CPU time limit exceeded, terminating
% 281.91/281.92 eprover: CPU time limit exceeded, terminating
% 283.93/283.94 eprover: CPU time limit exceeded, terminating
% 285.94/285.95 eprover: CPU time limit exceeded, terminating
% 287.90/287.96 eprover: CPU time limit exceeded, terminating
% 289.95/289.98 eprover: CPU time limit exceeded, terminating
% 291.97/291.99 eprover: CPU time limit exceeded, terminating
% 293.99/294.00 eprover: CPU time limit exceeded, terminating
% 296.02/296.01 eprover: CPU time limit exceeded, terminating
% 298.00/298.02 eprover: CPU time limit exceeded, terminating
% 300.01/299.99 eprover: CPU time limit exceeded, terminating
% 300.01/300.02 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------