TSTP Solution File: SEU394+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SEU394+2 : TPTP v8.1.0. Released v3.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n004.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:13:37 EDT 2022
% Result : Timeout 286.69s 279.57s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.11 % Problem : SEU394+2 : TPTP v8.1.0. Released v3.3.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n004.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 : Sun Jun 19 16:00:23 EDT 2022
% 0.12/0.33 % CPUTime :
% 3.78/3.91 eprover: CPU time limit exceeded, terminating
% 5.84/5.92 eprover: CPU time limit exceeded, terminating
% 7.88/7.93 eprover: CPU time limit exceeded, terminating
% 9.94/9.94 eprover: CPU time limit exceeded, terminating
% 12.00/11.95 eprover: CPU time limit exceeded, terminating
% 14.13/13.96 eprover: CPU time limit exceeded, terminating
% 16.18/15.97 eprover: CPU time limit exceeded, terminating
% 18.24/17.98 eprover: CPU time limit exceeded, terminating
% 20.28/19.99 eprover: CPU time limit exceeded, terminating
% 22.34/22.00 eprover: CPU time limit exceeded, terminating
% 24.37/24.01 eprover: CPU time limit exceeded, terminating
% 26.46/26.02 eprover: CPU time limit exceeded, terminating
% 28.55/28.03 eprover: CPU time limit exceeded, terminating
% 30.55/30.04 eprover: CPU time limit exceeded, terminating
% 32.70/32.05 eprover: CPU time limit exceeded, terminating
% 34.73/34.06 eprover: CPU time limit exceeded, terminating
% 36.81/36.06 eprover: CPU time limit exceeded, terminating
% 38.86/38.07 eprover: CPU time limit exceeded, terminating
% 40.92/40.08 eprover: CPU time limit exceeded, terminating
% 42.97/42.09 eprover: CPU time limit exceeded, terminating
% 45.08/44.10 eprover: CPU time limit exceeded, terminating
% 47.10/46.11 eprover: CPU time limit exceeded, terminating
% 49.17/48.13 eprover: CPU time limit exceeded, terminating
% 51.26/50.14 eprover: CPU time limit exceeded, terminating
% 53.35/52.15 eprover: CPU time limit exceeded, terminating
% 55.42/54.16 eprover: CPU time limit exceeded, terminating
% 57.45/56.17 eprover: CPU time limit exceeded, terminating
% 59.52/58.18 eprover: CPU time limit exceeded, terminating
% 61.61/60.19 eprover: CPU time limit exceeded, terminating
% 63.63/62.21 eprover: CPU time limit exceeded, terminating
% 65.72/64.22 eprover: CPU time limit exceeded, terminating
% 67.76/66.23 eprover: CPU time limit exceeded, terminating
% 69.85/68.24 eprover: CPU time limit exceeded, terminating
% 71.94/70.25 eprover: CPU time limit exceeded, terminating
% 74.01/72.27 eprover: CPU time limit exceeded, terminating
% 76.05/74.28 eprover: CPU time limit exceeded, terminating
% 78.11/76.29 eprover: CPU time limit exceeded, terminating
% 80.17/78.30 eprover: CPU time limit exceeded, terminating
% 82.21/80.31 eprover: CPU time limit exceeded, terminating
% 84.27/82.32 eprover: CPU time limit exceeded, terminating
% 86.32/84.33 eprover: CPU time limit exceeded, terminating
% 88.44/86.34 eprover: CPU time limit exceeded, terminating
% 90.51/88.35 eprover: CPU time limit exceeded, terminating
% 92.58/90.36 eprover: CPU time limit exceeded, terminating
% 94.64/92.37 eprover: CPU time limit exceeded, terminating
% 96.70/94.38 eprover: CPU time limit exceeded, terminating
% 98.77/96.39 eprover: CPU time limit exceeded, terminating
% 100.84/98.40 eprover: CPU time limit exceeded, terminating
% 102.85/100.41 eprover: CPU time limit exceeded, terminating
% 104.96/102.42 eprover: CPU time limit exceeded, terminating
% 106.98/104.43 eprover: CPU time limit exceeded, terminating
% 109.11/106.44 eprover: CPU time limit exceeded, terminating
% 111.17/108.45 eprover: CPU time limit exceeded, terminating
% 113.22/110.46 eprover: CPU time limit exceeded, terminating
% 115.29/112.47 eprover: CPU time limit exceeded, terminating
% 117.33/114.48 eprover: CPU time limit exceeded, terminating
% 119.45/116.49 eprover: CPU time limit exceeded, terminating
% 121.52/118.50 eprover: CPU time limit exceeded, terminating
% 123.57/120.51 eprover: CPU time limit exceeded, terminating
% 125.61/122.52 eprover: CPU time limit exceeded, terminating
% 127.67/124.54 eprover: CPU time limit exceeded, terminating
% 129.77/126.55 eprover: CPU time limit exceeded, terminating
% 131.81/128.55 eprover: CPU time limit exceeded, terminating
% 133.90/130.57 eprover: CPU time limit exceeded, terminating
% 135.90/132.59 eprover: CPU time limit exceeded, terminating
% 137.96/134.61 eprover: CPU time limit exceeded, terminating
% 140.04/136.63 eprover: CPU time limit exceeded, terminating
% 142.14/138.65 eprover: CPU time limit exceeded, terminating
% 144.19/140.66 eprover: CPU time limit exceeded, terminating
% 146.27/142.67 eprover: CPU time limit exceeded, terminating
% 148.36/144.68 eprover: CPU time limit exceeded, terminating
% 150.35/146.69 eprover: CPU time limit exceeded, terminating
% 152.45/148.71 eprover: CPU time limit exceeded, terminating
% 154.54/150.72 eprover: CPU time limit exceeded, terminating
% 156.60/152.73 eprover: CPU time limit exceeded, terminating
% 158.66/154.74 eprover: CPU time limit exceeded, terminating
% 160.74/156.75 eprover: CPU time limit exceeded, terminating
% 162.76/158.76 eprover: CPU time limit exceeded, terminating
% 164.82/160.78 eprover: CPU time limit exceeded, terminating
% 166.87/162.79 eprover: CPU time limit exceeded, terminating
% 168.95/164.80 eprover: CPU time limit exceeded, terminating
% 171.06/166.81 eprover: CPU time limit exceeded, terminating
% 173.13/168.82 eprover: CPU time limit exceeded, terminating
% 175.16/170.84 eprover: CPU time limit exceeded, terminating
% 177.26/172.86 eprover: CPU time limit exceeded, terminating
% 179.27/174.87 eprover: CPU time limit exceeded, terminating
% 181.36/176.88 eprover: CPU time limit exceeded, terminating
% 183.42/178.90 eprover: CPU time limit exceeded, terminating
% 185.56/180.91 eprover: CPU time limit exceeded, terminating
% 187.61/182.92 eprover: CPU time limit exceeded, terminating
% 189.65/184.93 eprover: CPU time limit exceeded, terminating
% 191.73/186.95 eprover: CPU time limit exceeded, terminating
% 193.76/188.97 eprover: CPU time limit exceeded, terminating
% 195.89/190.98 eprover: CPU time limit exceeded, terminating
% 197.93/192.99 eprover: CPU time limit exceeded, terminating
% 199.94/195.01 eprover: CPU time limit exceeded, terminating
% 202.01/197.02 eprover: CPU time limit exceeded, terminating
% 204.14/199.03 eprover: CPU time limit exceeded, terminating
% 206.17/201.05 eprover: CPU time limit exceeded, terminating
% 208.23/203.06 eprover: CPU time limit exceeded, terminating
% 210.32/205.07 eprover: CPU time limit exceeded, terminating
% 212.35/207.09 eprover: CPU time limit exceeded, terminating
% 214.49/209.10 eprover: CPU time limit exceeded, terminating
% 216.55/211.11 eprover: CPU time limit exceeded, terminating
% 218.63/213.12 eprover: CPU time limit exceeded, terminating
% 220.65/215.13 eprover: CPU time limit exceeded, terminating
% 222.71/217.14 eprover: CPU time limit exceeded, terminating
% 224.75/219.16 eprover: CPU time limit exceeded, terminating
% 226.83/221.17 eprover: CPU time limit exceeded, terminating
% 228.91/223.18 eprover: CPU time limit exceeded, terminating
% 230.94/225.19 eprover: CPU time limit exceeded, terminating
% 233.03/227.20 eprover: CPU time limit exceeded, terminating
% 235.16/229.21 eprover: CPU time limit exceeded, terminating
% 237.22/231.22 eprover: CPU time limit exceeded, terminating
% 239.26/233.23 eprover: CPU time limit exceeded, terminating
% 241.27/235.25 eprover: CPU time limit exceeded, terminating
% 243.30/237.26 eprover: CPU time limit exceeded, terminating
% 245.39/239.27 eprover: CPU time limit exceeded, terminating
% 247.50/241.29 eprover: CPU time limit exceeded, terminating
% 249.48/243.31 eprover: CPU time limit exceeded, terminating
% 251.60/245.32 eprover: CPU time limit exceeded, terminating
% 253.65/247.34 eprover: CPU time limit exceeded, terminating
% 255.68/249.35 eprover: CPU time limit exceeded, terminating
% 257.73/251.37 eprover: CPU time limit exceeded, terminating
% 259.87/253.38 eprover: CPU time limit exceeded, terminating
% 261.89/255.40 eprover: CPU time limit exceeded, terminating
% 263.98/257.41 eprover: CPU time limit exceeded, terminating
% 266.05/259.43 eprover: CPU time limit exceeded, terminating
% 268.08/261.44 eprover: CPU time limit exceeded, terminating
% 270.10/263.47 eprover: CPU time limit exceeded, terminating
% 272.17/265.48 eprover: CPU time limit exceeded, terminating
% 274.21/267.50 eprover: CPU time limit exceeded, terminating
% 276.35/269.51 eprover: CPU time limit exceeded, terminating
% 278.39/271.52 eprover: CPU time limit exceeded, terminating
% 280.45/273.54 eprover: CPU time limit exceeded, terminating
% 282.53/275.55 eprover: CPU time limit exceeded, terminating
% 284.57/277.56 eprover: CPU time limit exceeded, terminating
% 286.69/279.57 eprover: CPU time limit exceeded, terminating
% 288.65/281.59 eprover: CPU time limit exceeded, terminating
% 290.74/283.60 eprover: CPU time limit exceeded, terminating
% 292.76/285.61 eprover: CPU time limit exceeded, terminating
% 294.94/287.62 eprover: CPU time limit exceeded, terminating
% 296.99/289.64 eprover: CPU time limit exceeded, terminating
% 299.03/291.65 eprover: CPU time limit exceeded, terminating
% 300.09/292.61 eprover: CPU time limit exceeded, terminating
% 300.09/292.63 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------