TSTP Solution File: SEU423+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SEU423+2 : TPTP v8.1.0. Released v3.4.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:55 EDT 2022
% Result : Timeout 286.55s 261.77s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.12 % Problem : SEU423+2 : TPTP v8.1.0. Released v3.4.0.
% 0.11/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n003.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 : Mon Jun 20 12:40:00 EDT 2022
% 0.12/0.33 % CPUTime :
% 16.32/16.30 eprover: CPU time limit exceeded, terminating
% 18.61/18.32 eprover: CPU time limit exceeded, terminating
% 20.81/20.33 eprover: CPU time limit exceeded, terminating
% 23.00/22.34 eprover: CPU time limit exceeded, terminating
% 25.23/24.35 eprover: CPU time limit exceeded, terminating
% 27.43/26.36 eprover: CPU time limit exceeded, terminating
% 29.60/28.38 eprover: CPU time limit exceeded, terminating
% 31.85/30.39 eprover: CPU time limit exceeded, terminating
% 34.11/32.40 eprover: CPU time limit exceeded, terminating
% 36.33/34.41 eprover: CPU time limit exceeded, terminating
% 38.54/36.42 eprover: CPU time limit exceeded, terminating
% 40.72/38.44 eprover: CPU time limit exceeded, terminating
% 42.94/40.45 eprover: CPU time limit exceeded, terminating
% 45.16/42.46 eprover: CPU time limit exceeded, terminating
% 47.36/44.47 eprover: CPU time limit exceeded, terminating
% 49.56/46.48 eprover: CPU time limit exceeded, terminating
% 51.86/48.50 eprover: CPU time limit exceeded, terminating
% 54.07/50.51 eprover: CPU time limit exceeded, terminating
% 56.32/52.52 eprover: CPU time limit exceeded, terminating
% 58.50/54.53 eprover: CPU time limit exceeded, terminating
% 60.69/56.55 eprover: CPU time limit exceeded, terminating
% 62.91/58.56 eprover: CPU time limit exceeded, terminating
% 65.12/60.57 eprover: CPU time limit exceeded, terminating
% 67.30/62.58 eprover: CPU time limit exceeded, terminating
% 69.60/64.59 eprover: CPU time limit exceeded, terminating
% 71.77/66.61 eprover: CPU time limit exceeded, terminating
% 74.07/68.62 eprover: CPU time limit exceeded, terminating
% 76.23/70.63 eprover: CPU time limit exceeded, terminating
% 78.43/72.64 eprover: CPU time limit exceeded, terminating
% 80.67/74.65 eprover: CPU time limit exceeded, terminating
% 82.84/76.67 eprover: CPU time limit exceeded, terminating
% 85.12/78.68 eprover: CPU time limit exceeded, terminating
% 87.25/80.69 eprover: CPU time limit exceeded, terminating
% 89.52/82.70 eprover: CPU time limit exceeded, terminating
% 91.72/84.72 eprover: CPU time limit exceeded, terminating
% 93.94/86.73 eprover: CPU time limit exceeded, terminating
% 96.15/88.74 eprover: CPU time limit exceeded, terminating
% 98.32/90.75 eprover: CPU time limit exceeded, terminating
% 100.53/92.76 eprover: CPU time limit exceeded, terminating
% 102.75/94.78 eprover: CPU time limit exceeded, terminating
% 105.02/96.79 eprover: CPU time limit exceeded, terminating
% 107.23/98.80 eprover: CPU time limit exceeded, terminating
% 109.42/100.81 eprover: CPU time limit exceeded, terminating
% 111.65/102.83 eprover: CPU time limit exceeded, terminating
% 113.87/104.84 eprover: CPU time limit exceeded, terminating
% 116.05/106.85 eprover: CPU time limit exceeded, terminating
% 118.26/108.86 eprover: CPU time limit exceeded, terminating
% 120.47/110.87 eprover: CPU time limit exceeded, terminating
% 122.65/112.89 eprover: CPU time limit exceeded, terminating
% 124.95/114.90 eprover: CPU time limit exceeded, terminating
% 127.16/116.91 eprover: CPU time limit exceeded, terminating
% 129.38/118.92 eprover: CPU time limit exceeded, terminating
% 131.54/120.93 eprover: CPU time limit exceeded, terminating
% 133.77/122.95 eprover: CPU time limit exceeded, terminating
% 135.99/124.96 eprover: CPU time limit exceeded, terminating
% 138.17/126.97 eprover: CPU time limit exceeded, terminating
% 140.38/128.98 eprover: CPU time limit exceeded, terminating
% 142.59/130.99 eprover: CPU time limit exceeded, terminating
% 144.86/133.01 eprover: CPU time limit exceeded, terminating
% 147.06/135.02 eprover: CPU time limit exceeded, terminating
% 149.28/137.03 eprover: CPU time limit exceeded, terminating
% 151.47/139.04 eprover: CPU time limit exceeded, terminating
% 153.68/141.05 eprover: CPU time limit exceeded, terminating
% 155.91/143.07 eprover: CPU time limit exceeded, terminating
% 158.11/145.08 eprover: CPU time limit exceeded, terminating
% 160.39/147.09 eprover: CPU time limit exceeded, terminating
% 162.51/149.11 eprover: CPU time limit exceeded, terminating
% 164.79/151.12 eprover: CPU time limit exceeded, terminating
% 167.00/153.13 eprover: CPU time limit exceeded, terminating
% 169.23/155.14 eprover: CPU time limit exceeded, terminating
% 171.40/157.16 eprover: CPU time limit exceeded, terminating
% 173.63/159.17 eprover: CPU time limit exceeded, terminating
% 175.82/161.18 eprover: CPU time limit exceeded, terminating
% 178.03/163.19 eprover: CPU time limit exceeded, terminating
% 180.24/165.20 eprover: CPU time limit exceeded, terminating
% 182.53/167.21 eprover: CPU time limit exceeded, terminating
% 184.71/169.23 eprover: CPU time limit exceeded, terminating
% 186.93/171.24 eprover: CPU time limit exceeded, terminating
% 189.14/173.25 eprover: CPU time limit exceeded, terminating
% 191.32/175.26 eprover: CPU time limit exceeded, terminating
% 193.61/177.28 eprover: CPU time limit exceeded, terminating
% 195.73/179.29 eprover: CPU time limit exceeded, terminating
% 198.03/181.30 eprover: CPU time limit exceeded, terminating
% 200.24/183.31 eprover: CPU time limit exceeded, terminating
% 202.45/185.32 eprover: CPU time limit exceeded, terminating
% 204.67/187.34 eprover: CPU time limit exceeded, terminating
% 206.85/189.35 eprover: CPU time limit exceeded, terminating
% 209.06/191.36 eprover: CPU time limit exceeded, terminating
% 211.27/193.37 eprover: CPU time limit exceeded, terminating
% 213.54/195.38 eprover: CPU time limit exceeded, terminating
% 215.68/197.40 eprover: CPU time limit exceeded, terminating
% 217.89/199.41 eprover: CPU time limit exceeded, terminating
% 220.15/201.42 eprover: CPU time limit exceeded, terminating
% 222.38/203.43 eprover: CPU time limit exceeded, terminating
% 224.57/205.44 eprover: CPU time limit exceeded, terminating
% 226.77/207.45 eprover: CPU time limit exceeded, terminating
% 229.00/209.46 eprover: CPU time limit exceeded, terminating
% 231.19/211.47 eprover: CPU time limit exceeded, terminating
% 233.46/213.48 eprover: CPU time limit exceeded, terminating
% 235.59/215.49 eprover: CPU time limit exceeded, terminating
% 237.87/217.50 eprover: CPU time limit exceeded, terminating
% 240.08/219.52 eprover: CPU time limit exceeded, terminating
% 242.31/221.53 eprover: CPU time limit exceeded, terminating
% 244.48/223.54 eprover: CPU time limit exceeded, terminating
% 246.68/225.55 eprover: CPU time limit exceeded, terminating
% 248.89/227.56 eprover: CPU time limit exceeded, terminating
% 251.14/229.57 eprover: CPU time limit exceeded, terminating
% 253.30/231.58 eprover: CPU time limit exceeded, terminating
% 255.58/233.59 eprover: CPU time limit exceeded, terminating
% 257.79/235.61 eprover: CPU time limit exceeded, terminating
% 260.00/237.62 eprover: CPU time limit exceeded, terminating
% 262.19/239.63 eprover: CPU time limit exceeded, terminating
% 264.39/241.64 eprover: CPU time limit exceeded, terminating
% 266.64/243.66 eprover: CPU time limit exceeded, terminating
% 268.80/245.67 eprover: CPU time limit exceeded, terminating
% 271.04/247.68 eprover: CPU time limit exceeded, terminating
% 273.31/249.69 eprover: CPU time limit exceeded, terminating
% 275.51/251.71 eprover: CPU time limit exceeded, terminating
% 277.73/253.72 eprover: CPU time limit exceeded, terminating
% 279.94/255.73 eprover: CPU time limit exceeded, terminating
% 282.15/257.74 eprover: CPU time limit exceeded, terminating
% 284.33/259.76 eprover: CPU time limit exceeded, terminating
% 286.55/261.77 eprover: CPU time limit exceeded, terminating
% 288.75/263.78 eprover: CPU time limit exceeded, terminating
% 291.03/265.80 eprover: CPU time limit exceeded, terminating
% 293.26/267.81 eprover: CPU time limit exceeded, terminating
% 295.47/269.82 eprover: CPU time limit exceeded, terminating
% 297.64/271.83 eprover: CPU time limit exceeded, terminating
% 299.87/273.85 eprover: CPU time limit exceeded, terminating
% 300.06/274.01 eprover: CPU time limit exceeded, terminating
% 300.06/274.02 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------