TSTP Solution File: SEU404+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SEU404+1 : TPTP v8.1.0. Released v3.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n021.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:41 EDT 2022
% Result : Timeout 287.24s 286.32s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : SEU404+1 : TPTP v8.1.0. Released v3.3.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n021.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Sun Jun 19 14:49:02 EDT 2022
% 0.13/0.34 % CPUTime :
% 2.46/2.66 eprover: CPU time limit exceeded, terminating
% 4.47/4.68 eprover: CPU time limit exceeded, terminating
% 6.50/6.69 eprover: CPU time limit exceeded, terminating
% 8.47/8.70 eprover: CPU time limit exceeded, terminating
% 10.53/10.72 eprover: CPU time limit exceeded, terminating
% 12.49/12.73 eprover: CPU time limit exceeded, terminating
% 14.56/14.74 eprover: CPU time limit exceeded, terminating
% 16.56/16.75 eprover: CPU time limit exceeded, terminating
% 18.57/18.76 eprover: CPU time limit exceeded, terminating
% 20.55/20.78 eprover: CPU time limit exceeded, terminating
% 22.57/22.79 eprover: CPU time limit exceeded, terminating
% 24.63/24.80 eprover: CPU time limit exceeded, terminating
% 26.64/26.81 eprover: CPU time limit exceeded, terminating
% 28.63/28.82 eprover: CPU time limit exceeded, terminating
% 30.67/30.83 eprover: CPU time limit exceeded, terminating
% 32.63/32.85 eprover: CPU time limit exceeded, terminating
% 34.70/34.86 eprover: CPU time limit exceeded, terminating
% 36.72/36.87 eprover: CPU time limit exceeded, terminating
% 38.70/38.88 eprover: CPU time limit exceeded, terminating
% 40.74/40.90 eprover: CPU time limit exceeded, terminating
% 42.72/42.91 eprover: CPU time limit exceeded, terminating
% 44.76/44.92 eprover: CPU time limit exceeded, terminating
% 46.80/46.93 eprover: CPU time limit exceeded, terminating
% 48.79/48.94 eprover: CPU time limit exceeded, terminating
% 50.84/50.95 eprover: CPU time limit exceeded, terminating
% 52.87/52.96 eprover: CPU time limit exceeded, terminating
% 54.86/54.97 eprover: CPU time limit exceeded, terminating
% 56.91/56.98 eprover: CPU time limit exceeded, terminating
% 58.89/58.99 eprover: CPU time limit exceeded, terminating
% 60.96/61.00 eprover: CPU time limit exceeded, terminating
% 62.93/63.01 eprover: CPU time limit exceeded, terminating
% 65.00/65.03 eprover: CPU time limit exceeded, terminating
% 67.03/67.04 eprover: CPU time limit exceeded, terminating
% 69.05/69.06 eprover: CPU time limit exceeded, terminating
% 71.05/71.08 eprover: CPU time limit exceeded, terminating
% 73.04/73.11 eprover: CPU time limit exceeded, terminating
% 75.07/75.12 eprover: CPU time limit exceeded, terminating
% 77.11/77.13 eprover: CPU time limit exceeded, terminating
% 79.07/79.14 eprover: CPU time limit exceeded, terminating
% 81.15/81.16 eprover: CPU time limit exceeded, terminating
% 83.16/83.17 eprover: CPU time limit exceeded, terminating
% 85.17/85.18 eprover: CPU time limit exceeded, terminating
% 87.23/87.19 eprover: CPU time limit exceeded, terminating
% 89.19/89.20 eprover: CPU time limit exceeded, terminating
% 91.27/91.21 eprover: CPU time limit exceeded, terminating
% 93.23/93.22 eprover: CPU time limit exceeded, terminating
% 95.31/95.23 eprover: CPU time limit exceeded, terminating
% 97.33/97.24 eprover: CPU time limit exceeded, terminating
% 99.33/99.26 eprover: CPU time limit exceeded, terminating
% 101.35/101.27 eprover: CPU time limit exceeded, terminating
% 103.40/103.28 eprover: CPU time limit exceeded, terminating
% 105.40/105.29 eprover: CPU time limit exceeded, terminating
% 107.41/107.30 eprover: CPU time limit exceeded, terminating
% 109.45/109.31 eprover: CPU time limit exceeded, terminating
% 111.45/111.32 eprover: CPU time limit exceeded, terminating
% 113.47/113.34 eprover: CPU time limit exceeded, terminating
% 115.44/115.35 eprover: CPU time limit exceeded, terminating
% 117.49/117.36 eprover: CPU time limit exceeded, terminating
% 119.52/119.37 eprover: CPU time limit exceeded, terminating
% 121.57/121.38 eprover: CPU time limit exceeded, terminating
% 123.54/123.39 eprover: CPU time limit exceeded, terminating
% 125.61/125.40 eprover: CPU time limit exceeded, terminating
% 127.61/127.42 eprover: CPU time limit exceeded, terminating
% 129.64/129.43 eprover: CPU time limit exceeded, terminating
% 131.66/131.44 eprover: CPU time limit exceeded, terminating
% 133.65/133.46 eprover: CPU time limit exceeded, terminating
% 135.70/135.47 eprover: CPU time limit exceeded, terminating
% 137.73/137.48 eprover: CPU time limit exceeded, terminating
% 139.69/139.49 eprover: CPU time limit exceeded, terminating
% 141.74/141.50 eprover: CPU time limit exceeded, terminating
% 143.80/143.51 eprover: CPU time limit exceeded, terminating
% 145.79/145.53 eprover: CPU time limit exceeded, terminating
% 147.84/147.54 eprover: CPU time limit exceeded, terminating
% 149.81/149.55 eprover: CPU time limit exceeded, terminating
% 151.84/151.56 eprover: CPU time limit exceeded, terminating
% 153.91/153.57 eprover: CPU time limit exceeded, terminating
% 155.86/155.58 eprover: CPU time limit exceeded, terminating
% 157.95/157.59 eprover: CPU time limit exceeded, terminating
% 159.88/159.60 eprover: CPU time limit exceeded, terminating
% 161.99/161.61 eprover: CPU time limit exceeded, terminating
% 164.00/163.62 eprover: CPU time limit exceeded, terminating
% 166.03/165.64 eprover: CPU time limit exceeded, terminating
% 168.02/167.65 eprover: CPU time limit exceeded, terminating
% 170.04/169.66 eprover: CPU time limit exceeded, terminating
% 172.05/171.67 eprover: CPU time limit exceeded, terminating
% 174.04/173.68 eprover: CPU time limit exceeded, terminating
% 176.13/175.69 eprover: CPU time limit exceeded, terminating
% 178.15/177.70 eprover: CPU time limit exceeded, terminating
% 180.15/179.72 eprover: CPU time limit exceeded, terminating
% 182.17/181.73 eprover: CPU time limit exceeded, terminating
% 184.18/183.74 eprover: CPU time limit exceeded, terminating
% 186.21/185.75 eprover: CPU time limit exceeded, terminating
% 188.19/187.76 eprover: CPU time limit exceeded, terminating
% 190.23/189.77 eprover: CPU time limit exceeded, terminating
% 192.23/191.78 eprover: CPU time limit exceeded, terminating
% 194.33/193.79 eprover: CPU time limit exceeded, terminating
% 196.34/195.81 eprover: CPU time limit exceeded, terminating
% 198.35/197.82 eprover: CPU time limit exceeded, terminating
% 200.37/199.83 eprover: CPU time limit exceeded, terminating
% 202.39/201.84 eprover: CPU time limit exceeded, terminating
% 204.36/203.85 eprover: CPU time limit exceeded, terminating
% 206.36/205.86 eprover: CPU time limit exceeded, terminating
% 208.43/207.87 eprover: CPU time limit exceeded, terminating
% 210.47/209.88 eprover: CPU time limit exceeded, terminating
% 212.44/211.89 eprover: CPU time limit exceeded, terminating
% 214.51/213.91 eprover: CPU time limit exceeded, terminating
% 216.46/215.92 eprover: CPU time limit exceeded, terminating
% 218.54/217.93 eprover: CPU time limit exceeded, terminating
% 220.54/219.94 eprover: CPU time limit exceeded, terminating
% 222.53/221.95 eprover: CPU time limit exceeded, terminating
% 224.56/223.96 eprover: CPU time limit exceeded, terminating
% 226.55/225.97 eprover: CPU time limit exceeded, terminating
% 228.59/227.98 eprover: CPU time limit exceeded, terminating
% 230.69/229.99 eprover: CPU time limit exceeded, terminating
% 232.64/232.01 eprover: CPU time limit exceeded, terminating
% 234.71/234.02 eprover: CPU time limit exceeded, terminating
% 236.72/236.03 eprover: CPU time limit exceeded, terminating
% 238.72/238.04 eprover: CPU time limit exceeded, terminating
% 240.76/240.05 eprover: CPU time limit exceeded, terminating
% 242.80/242.06 eprover: CPU time limit exceeded, terminating
% 244.76/244.07 eprover: CPU time limit exceeded, terminating
% 246.82/246.08 eprover: CPU time limit exceeded, terminating
% 248.79/248.09 eprover: CPU time limit exceeded, terminating
% 250.85/250.10 eprover: CPU time limit exceeded, terminating
% 252.90/252.12 eprover: CPU time limit exceeded, terminating
% 254.90/254.13 eprover: CPU time limit exceeded, terminating
% 256.91/256.14 eprover: CPU time limit exceeded, terminating
% 258.90/258.15 eprover: CPU time limit exceeded, terminating
% 260.94/260.16 eprover: CPU time limit exceeded, terminating
% 262.93/262.17 eprover: CPU time limit exceeded, terminating
% 265.02/264.18 eprover: CPU time limit exceeded, terminating
% 267.03/266.19 eprover: CPU time limit exceeded, terminating
% 268.97/268.21 eprover: CPU time limit exceeded, terminating
% 271.07/270.22 eprover: CPU time limit exceeded, terminating
% 273.07/272.24 eprover: CPU time limit exceeded, terminating
% 275.11/274.25 eprover: CPU time limit exceeded, terminating
% 277.11/276.26 eprover: CPU time limit exceeded, terminating
% 279.10/278.27 eprover: CPU time limit exceeded, terminating
% 281.20/280.28 eprover: CPU time limit exceeded, terminating
% 283.14/282.29 eprover: CPU time limit exceeded, terminating
% 285.21/284.31 eprover: CPU time limit exceeded, terminating
% 287.24/286.32 eprover: CPU time limit exceeded, terminating
% 289.24/288.33 eprover: CPU time limit exceeded, terminating
% 291.26/290.34 eprover: CPU time limit exceeded, terminating
% 293.29/292.35 eprover: CPU time limit exceeded, terminating
% 295.26/294.37 eprover: CPU time limit exceeded, terminating
% 297.31/296.38 eprover: CPU time limit exceeded, terminating
% 299.29/298.39 eprover: CPU time limit exceeded, terminating
% 300.09/299.10 eprover: CPU time limit exceeded, terminating
% 300.09/299.11 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------