TSTP Solution File: SEU135+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SEU135+1 : TPTP v8.1.0. Released v3.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n022.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:11:44 EDT 2022
% Result : Timeout 286.25s 286.05s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.11 % Problem : SEU135+1 : TPTP v8.1.0. Released v3.3.0.
% 0.06/0.11 % Command : run_infinox %s
% 0.11/0.31 % Computer : n022.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.11/0.31 % DateTime : Mon Jun 20 11:21:16 EDT 2022
% 0.16/0.31 % CPUTime :
% 2.13/2.35 eprover: CPU time limit exceeded, terminating
% 4.15/4.36 eprover: CPU time limit exceeded, terminating
% 6.18/6.37 eprover: CPU time limit exceeded, terminating
% 8.17/8.38 eprover: CPU time limit exceeded, terminating
% 10.21/10.39 eprover: CPU time limit exceeded, terminating
% 12.17/12.40 eprover: CPU time limit exceeded, terminating
% 14.20/14.42 eprover: CPU time limit exceeded, terminating
% 16.22/16.43 eprover: CPU time limit exceeded, terminating
% 18.23/18.44 eprover: CPU time limit exceeded, terminating
% 20.29/20.45 eprover: CPU time limit exceeded, terminating
% 22.24/22.46 eprover: CPU time limit exceeded, terminating
% 24.28/24.47 eprover: CPU time limit exceeded, terminating
% 26.26/26.49 eprover: CPU time limit exceeded, terminating
% 28.26/28.50 eprover: CPU time limit exceeded, terminating
% 30.33/30.51 eprover: CPU time limit exceeded, terminating
% 32.36/32.52 eprover: CPU time limit exceeded, terminating
% 34.32/34.53 eprover: CPU time limit exceeded, terminating
% 36.39/36.54 eprover: CPU time limit exceeded, terminating
% 38.36/38.55 eprover: CPU time limit exceeded, terminating
% 40.41/40.56 eprover: CPU time limit exceeded, terminating
% 42.38/42.57 eprover: CPU time limit exceeded, terminating
% 44.41/44.59 eprover: CPU time limit exceeded, terminating
% 46.47/46.60 eprover: CPU time limit exceeded, terminating
% 48.40/48.61 eprover: CPU time limit exceeded, terminating
% 50.45/50.62 eprover: CPU time limit exceeded, terminating
% 52.49/52.64 eprover: CPU time limit exceeded, terminating
% 54.50/54.65 eprover: CPU time limit exceeded, terminating
% 56.49/56.66 eprover: CPU time limit exceeded, terminating
% 58.53/58.67 eprover: CPU time limit exceeded, terminating
% 60.50/60.68 eprover: CPU time limit exceeded, terminating
% 62.52/62.70 eprover: CPU time limit exceeded, terminating
% 64.58/64.71 eprover: CPU time limit exceeded, terminating
% 66.61/66.72 eprover: CPU time limit exceeded, terminating
% 68.59/68.74 eprover: CPU time limit exceeded, terminating
% 70.61/70.75 eprover: CPU time limit exceeded, terminating
% 72.63/72.76 eprover: CPU time limit exceeded, terminating
% 74.64/74.77 eprover: CPU time limit exceeded, terminating
% 76.64/76.78 eprover: CPU time limit exceeded, terminating
% 78.69/78.81 eprover: CPU time limit exceeded, terminating
% 80.71/80.82 eprover: CPU time limit exceeded, terminating
% 82.73/82.83 eprover: CPU time limit exceeded, terminating
% 84.76/84.84 eprover: CPU time limit exceeded, terminating
% 86.68/86.85 eprover: CPU time limit exceeded, terminating
% 88.75/88.87 eprover: CPU time limit exceeded, terminating
% 90.77/90.88 eprover: CPU time limit exceeded, terminating
% 92.76/92.89 eprover: CPU time limit exceeded, terminating
% 94.80/94.90 eprover: CPU time limit exceeded, terminating
% 96.82/96.92 eprover: CPU time limit exceeded, terminating
% 98.84/98.93 eprover: CPU time limit exceeded, terminating
% 100.86/100.94 eprover: CPU time limit exceeded, terminating
% 102.87/102.95 eprover: CPU time limit exceeded, terminating
% 104.87/104.96 eprover: CPU time limit exceeded, terminating
% 106.91/106.97 eprover: CPU time limit exceeded, terminating
% 108.88/108.99 eprover: CPU time limit exceeded, terminating
% 110.95/111.00 eprover: CPU time limit exceeded, terminating
% 112.94/113.01 eprover: CPU time limit exceeded, terminating
% 114.97/115.02 eprover: CPU time limit exceeded, terminating
% 116.97/117.04 eprover: CPU time limit exceeded, terminating
% 118.99/119.05 eprover: CPU time limit exceeded, terminating
% 120.94/121.06 eprover: CPU time limit exceeded, terminating
% 123.01/123.08 eprover: CPU time limit exceeded, terminating
% 125.05/125.09 eprover: CPU time limit exceeded, terminating
% 127.08/127.10 eprover: CPU time limit exceeded, terminating
% 129.06/129.12 eprover: CPU time limit exceeded, terminating
% 131.10/131.13 eprover: CPU time limit exceeded, terminating
% 133.10/133.14 eprover: CPU time limit exceeded, terminating
% 135.09/135.15 eprover: CPU time limit exceeded, terminating
% 137.12/137.16 eprover: CPU time limit exceeded, terminating
% 139.13/139.18 eprover: CPU time limit exceeded, terminating
% 141.18/141.19 eprover: CPU time limit exceeded, terminating
% 143.19/143.20 eprover: CPU time limit exceeded, terminating
% 145.22/145.21 eprover: CPU time limit exceeded, terminating
% 147.20/147.22 eprover: CPU time limit exceeded, terminating
% 149.22/149.24 eprover: CPU time limit exceeded, terminating
% 151.24/151.25 eprover: CPU time limit exceeded, terminating
% 153.23/153.26 eprover: CPU time limit exceeded, terminating
% 155.27/155.27 eprover: CPU time limit exceeded, terminating
% 157.23/157.29 eprover: CPU time limit exceeded, terminating
% 159.32/159.30 eprover: CPU time limit exceeded, terminating
% 161.35/161.31 eprover: CPU time limit exceeded, terminating
% 163.34/163.33 eprover: CPU time limit exceeded, terminating
% 165.37/165.34 eprover: CPU time limit exceeded, terminating
% 167.34/167.35 eprover: CPU time limit exceeded, terminating
% 169.36/169.36 eprover: CPU time limit exceeded, terminating
% 171.35/171.37 eprover: CPU time limit exceeded, terminating
% 173.37/173.39 eprover: CPU time limit exceeded, terminating
% 175.37/175.40 eprover: CPU time limit exceeded, terminating
% 177.39/177.41 eprover: CPU time limit exceeded, terminating
% 179.47/179.42 eprover: CPU time limit exceeded, terminating
% 181.47/181.44 eprover: CPU time limit exceeded, terminating
% 183.49/183.45 eprover: CPU time limit exceeded, terminating
% 185.47/185.46 eprover: CPU time limit exceeded, terminating
% 187.45/187.47 eprover: CPU time limit exceeded, terminating
% 189.48/189.49 eprover: CPU time limit exceeded, terminating
% 191.58/191.50 eprover: CPU time limit exceeded, terminating
% 193.58/193.51 eprover: CPU time limit exceeded, terminating
% 195.61/195.52 eprover: CPU time limit exceeded, terminating
% 197.59/197.54 eprover: CPU time limit exceeded, terminating
% 199.61/199.55 eprover: CPU time limit exceeded, terminating
% 201.63/201.56 eprover: CPU time limit exceeded, terminating
% 203.59/203.57 eprover: CPU time limit exceeded, terminating
% 205.69/205.58 eprover: CPU time limit exceeded, terminating
% 207.62/207.59 eprover: CPU time limit exceeded, terminating
% 209.69/209.61 eprover: CPU time limit exceeded, terminating
% 211.73/211.62 eprover: CPU time limit exceeded, terminating
% 213.71/213.63 eprover: CPU time limit exceeded, terminating
% 215.72/215.64 eprover: CPU time limit exceeded, terminating
% 217.73/217.65 eprover: CPU time limit exceeded, terminating
% 219.73/219.67 eprover: CPU time limit exceeded, terminating
% 221.72/221.68 eprover: CPU time limit exceeded, terminating
% 223.81/223.69 eprover: CPU time limit exceeded, terminating
% 225.72/225.70 eprover: CPU time limit exceeded, terminating
% 227.85/227.71 eprover: CPU time limit exceeded, terminating
% 229.83/229.73 eprover: CPU time limit exceeded, terminating
% 231.87/231.74 eprover: CPU time limit exceeded, terminating
% 233.85/233.75 eprover: CPU time limit exceeded, terminating
% 235.83/235.76 eprover: CPU time limit exceeded, terminating
% 237.84/237.77 eprover: CPU time limit exceeded, terminating
% 239.87/239.78 eprover: CPU time limit exceeded, terminating
% 241.92/241.80 eprover: CPU time limit exceeded, terminating
% 243.95/243.81 eprover: CPU time limit exceeded, terminating
% 245.94/245.82 eprover: CPU time limit exceeded, terminating
% 247.98/247.83 eprover: CPU time limit exceeded, terminating
% 249.96/249.84 eprover: CPU time limit exceeded, terminating
% 252.00/251.85 eprover: CPU time limit exceeded, terminating
% 253.97/253.87 eprover: CPU time limit exceeded, terminating
% 256.02/255.88 eprover: CPU time limit exceeded, terminating
% 258.05/257.89 eprover: CPU time limit exceeded, terminating
% 260.02/259.90 eprover: CPU time limit exceeded, terminating
% 262.04/261.91 eprover: CPU time limit exceeded, terminating
% 264.01/263.92 eprover: CPU time limit exceeded, terminating
% 266.09/265.94 eprover: CPU time limit exceeded, terminating
% 268.11/267.95 eprover: CPU time limit exceeded, terminating
% 270.14/269.96 eprover: CPU time limit exceeded, terminating
% 272.09/271.97 eprover: CPU time limit exceeded, terminating
% 274.14/273.98 eprover: CPU time limit exceeded, terminating
% 276.13/275.99 eprover: CPU time limit exceeded, terminating
% 278.14/278.00 eprover: CPU time limit exceeded, terminating
% 280.16/280.02 eprover: CPU time limit exceeded, terminating
% 282.20/282.03 eprover: CPU time limit exceeded, terminating
% 284.17/284.04 eprover: CPU time limit exceeded, terminating
% 286.25/286.05 eprover: CPU time limit exceeded, terminating
% 288.24/288.06 eprover: CPU time limit exceeded, terminating
% 290.29/290.07 eprover: CPU time limit exceeded, terminating
% 292.31/292.09 eprover: CPU time limit exceeded, terminating
% 294.27/294.10 eprover: CPU time limit exceeded, terminating
% 296.31/296.11 eprover: CPU time limit exceeded, terminating
% 298.32/298.13 eprover: CPU time limit exceeded, terminating
% 300.03/299.82 eprover: CPU time limit exceeded, terminating
% 300.03/299.84 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------