TSTP Solution File: SEU396+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SEU396+2 : TPTP v8.1.0. Released v3.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n003.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:38 EDT 2022
% Result : Timeout 286.80s 275.68s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.12 % Problem : SEU396+2 : TPTP v8.1.0. Released v3.3.0.
% 0.11/0.13 % Command : run_infinox %s
% 0.13/0.35 % Computer : n003.cluster.edu
% 0.13/0.35 % Model : x86_64 x86_64
% 0.13/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.35 % Memory : 8042.1875MB
% 0.13/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.35 % CPULimit : 300
% 0.13/0.35 % WCLimit : 600
% 0.13/0.35 % DateTime : Mon Jun 20 00:36:29 EDT 2022
% 0.13/0.35 % CPUTime :
% 3.60/3.80 eprover: CPU time limit exceeded, terminating
% 5.74/5.81 eprover: CPU time limit exceeded, terminating
% 7.78/7.83 eprover: CPU time limit exceeded, terminating
% 9.89/9.84 eprover: CPU time limit exceeded, terminating
% 11.91/11.85 eprover: CPU time limit exceeded, terminating
% 13.98/13.86 eprover: CPU time limit exceeded, terminating
% 16.08/15.87 eprover: CPU time limit exceeded, terminating
% 18.18/17.88 eprover: CPU time limit exceeded, terminating
% 20.26/19.90 eprover: CPU time limit exceeded, terminating
% 22.30/21.91 eprover: CPU time limit exceeded, terminating
% 24.37/23.92 eprover: CPU time limit exceeded, terminating
% 26.44/25.93 eprover: CPU time limit exceeded, terminating
% 28.51/27.94 eprover: CPU time limit exceeded, terminating
% 30.59/29.96 eprover: CPU time limit exceeded, terminating
% 32.68/31.97 eprover: CPU time limit exceeded, terminating
% 34.71/33.98 eprover: CPU time limit exceeded, terminating
% 36.83/35.99 eprover: CPU time limit exceeded, terminating
% 38.82/38.01 eprover: CPU time limit exceeded, terminating
% 40.92/40.02 eprover: CPU time limit exceeded, terminating
% 43.04/42.03 eprover: CPU time limit exceeded, terminating
% 45.05/44.04 eprover: CPU time limit exceeded, terminating
% 47.18/46.06 eprover: CPU time limit exceeded, terminating
% 49.27/48.08 eprover: CPU time limit exceeded, terminating
% 51.30/50.09 eprover: CPU time limit exceeded, terminating
% 53.38/52.10 eprover: CPU time limit exceeded, terminating
% 55.47/54.12 eprover: CPU time limit exceeded, terminating
% 57.47/56.13 eprover: CPU time limit exceeded, terminating
% 59.59/58.14 eprover: CPU time limit exceeded, terminating
% 61.67/60.16 eprover: CPU time limit exceeded, terminating
% 63.70/62.17 eprover: CPU time limit exceeded, terminating
% 65.76/64.19 eprover: CPU time limit exceeded, terminating
% 67.82/66.20 eprover: CPU time limit exceeded, terminating
% 69.92/68.22 eprover: CPU time limit exceeded, terminating
% 72.00/70.24 eprover: CPU time limit exceeded, terminating
% 74.01/72.26 eprover: CPU time limit exceeded, terminating
% 76.16/74.27 eprover: CPU time limit exceeded, terminating
% 78.18/76.28 eprover: CPU time limit exceeded, terminating
% 80.30/78.30 eprover: CPU time limit exceeded, terminating
% 82.36/80.31 eprover: CPU time limit exceeded, terminating
% 84.42/82.32 eprover: CPU time limit exceeded, terminating
% 86.53/84.34 eprover: CPU time limit exceeded, terminating
% 88.53/86.35 eprover: CPU time limit exceeded, terminating
% 90.63/88.36 eprover: CPU time limit exceeded, terminating
% 92.65/90.37 eprover: CPU time limit exceeded, terminating
% 94.74/92.38 eprover: CPU time limit exceeded, terminating
% 96.82/94.40 eprover: CPU time limit exceeded, terminating
% 98.83/96.41 eprover: CPU time limit exceeded, terminating
% 100.93/98.44 eprover: CPU time limit exceeded, terminating
% 103.00/100.46 eprover: CPU time limit exceeded, terminating
% 105.03/102.48 eprover: CPU time limit exceeded, terminating
% 109.01/104.49 eprover: CPU time limit exceeded, terminating
% 111.13/106.50 eprover: CPU time limit exceeded, terminating
% 113.22/108.52 eprover: CPU time limit exceeded, terminating
% 115.24/110.54 eprover: CPU time limit exceeded, terminating
% 117.26/112.55 eprover: CPU time limit exceeded, terminating
% 119.32/114.58 eprover: CPU time limit exceeded, terminating
% 121.44/116.59 eprover: CPU time limit exceeded, terminating
% 123.53/118.60 eprover: CPU time limit exceeded, terminating
% 125.59/120.61 eprover: CPU time limit exceeded, terminating
% 127.66/122.63 eprover: CPU time limit exceeded, terminating
% 129.72/124.64 eprover: CPU time limit exceeded, terminating
% 131.72/126.65 eprover: CPU time limit exceeded, terminating
% 133.83/128.66 eprover: CPU time limit exceeded, terminating
% 135.92/130.67 eprover: CPU time limit exceeded, terminating
% 137.90/132.68 eprover: CPU time limit exceeded, terminating
% 140.00/134.70 eprover: CPU time limit exceeded, terminating
% 142.10/136.71 eprover: CPU time limit exceeded, terminating
% 144.18/138.73 eprover: CPU time limit exceeded, terminating
% 146.20/140.74 eprover: CPU time limit exceeded, terminating
% 148.30/142.76 eprover: CPU time limit exceeded, terminating
% 150.39/144.77 eprover: CPU time limit exceeded, terminating
% 152.40/146.80 eprover: CPU time limit exceeded, terminating
% 154.51/148.81 eprover: CPU time limit exceeded, terminating
% 156.54/150.82 eprover: CPU time limit exceeded, terminating
% 158.62/152.84 eprover: CPU time limit exceeded, terminating
% 160.65/154.85 eprover: CPU time limit exceeded, terminating
% 162.72/156.86 eprover: CPU time limit exceeded, terminating
% 164.75/158.88 eprover: CPU time limit exceeded, terminating
% 166.88/160.89 eprover: CPU time limit exceeded, terminating
% 168.97/162.91 eprover: CPU time limit exceeded, terminating
% 170.98/164.92 eprover: CPU time limit exceeded, terminating
% 173.05/166.93 eprover: CPU time limit exceeded, terminating
% 175.14/168.95 eprover: CPU time limit exceeded, terminating
% 177.17/170.96 eprover: CPU time limit exceeded, terminating
% 179.23/172.97 eprover: CPU time limit exceeded, terminating
% 181.35/174.98 eprover: CPU time limit exceeded, terminating
% 183.41/177.00 eprover: CPU time limit exceeded, terminating
% 185.49/179.01 eprover: CPU time limit exceeded, terminating
% 187.55/181.03 eprover: CPU time limit exceeded, terminating
% 189.60/183.06 eprover: CPU time limit exceeded, terminating
% 191.70/185.07 eprover: CPU time limit exceeded, terminating
% 193.71/187.09 eprover: CPU time limit exceeded, terminating
% 195.81/189.13 eprover: CPU time limit exceeded, terminating
% 197.87/191.14 eprover: CPU time limit exceeded, terminating
% 199.93/193.15 eprover: CPU time limit exceeded, terminating
% 201.99/195.16 eprover: CPU time limit exceeded, terminating
% 203.99/197.18 eprover: CPU time limit exceeded, terminating
% 206.15/199.19 eprover: CPU time limit exceeded, terminating
% 208.22/201.20 eprover: CPU time limit exceeded, terminating
% 210.29/203.21 eprover: CPU time limit exceeded, terminating
% 212.34/205.22 eprover: CPU time limit exceeded, terminating
% 214.45/207.24 eprover: CPU time limit exceeded, terminating
% 216.44/209.25 eprover: CPU time limit exceeded, terminating
% 218.53/211.26 eprover: CPU time limit exceeded, terminating
% 220.66/213.28 eprover: CPU time limit exceeded, terminating
% 222.67/215.29 eprover: CPU time limit exceeded, terminating
% 224.79/217.30 eprover: CPU time limit exceeded, terminating
% 226.89/219.31 eprover: CPU time limit exceeded, terminating
% 228.96/221.33 eprover: CPU time limit exceeded, terminating
% 230.99/223.34 eprover: CPU time limit exceeded, terminating
% 233.04/225.35 eprover: CPU time limit exceeded, terminating
% 235.10/227.36 eprover: CPU time limit exceeded, terminating
% 237.19/229.38 eprover: CPU time limit exceeded, terminating
% 239.28/231.41 eprover: CPU time limit exceeded, terminating
% 241.38/233.42 eprover: CPU time limit exceeded, terminating
% 243.44/235.43 eprover: CPU time limit exceeded, terminating
% 245.50/237.44 eprover: CPU time limit exceeded, terminating
% 247.53/239.45 eprover: CPU time limit exceeded, terminating
% 249.62/241.47 eprover: CPU time limit exceeded, terminating
% 251.72/243.48 eprover: CPU time limit exceeded, terminating
% 255.79/245.49 eprover: CPU time limit exceeded, terminating
% 257.83/247.50 eprover: CPU time limit exceeded, terminating
% 259.92/249.52 eprover: CPU time limit exceeded, terminating
% 261.95/251.53 eprover: CPU time limit exceeded, terminating
% 263.99/253.54 eprover: CPU time limit exceeded, terminating
% 266.10/255.55 eprover: CPU time limit exceeded, terminating
% 268.11/257.57 eprover: CPU time limit exceeded, terminating
% 270.19/259.58 eprover: CPU time limit exceeded, terminating
% 272.33/261.59 eprover: CPU time limit exceeded, terminating
% 274.43/263.60 eprover: CPU time limit exceeded, terminating
% 276.48/265.61 eprover: CPU time limit exceeded, terminating
% 278.54/267.63 eprover: CPU time limit exceeded, terminating
% 280.61/269.64 eprover: CPU time limit exceeded, terminating
% 282.70/271.65 eprover: CPU time limit exceeded, terminating
% 284.70/273.66 eprover: CPU time limit exceeded, terminating
% 286.80/275.68 eprover: CPU time limit exceeded, terminating
% 288.92/277.69 eprover: CPU time limit exceeded, terminating
% 290.98/279.70 eprover: CPU time limit exceeded, terminating
% 293.06/281.71 eprover: CPU time limit exceeded, terminating
% 295.12/283.73 eprover: CPU time limit exceeded, terminating
% 297.20/285.74 eprover: CPU time limit exceeded, terminating
% 299.25/287.75 eprover: CPU time limit exceeded, terminating
% 300.06/288.49 eprover: CPU time limit exceeded, terminating
% 300.06/288.50 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------