TSTP Solution File: SEU441+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SEU441+2 : TPTP v8.1.0. Released v3.4.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:14:09 EDT 2022
% Result : Timeout 286.83s 261.53s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.11 % Problem : SEU441+2 : TPTP v8.1.0. Released v3.4.0.
% 0.11/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n022.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 : Sat Jun 18 19:15:32 EDT 2022
% 0.12/0.33 % CPUTime :
% 16.18/16.11 eprover: CPU time limit exceeded, terminating
% 18.38/18.12 eprover: CPU time limit exceeded, terminating
% 20.60/20.14 eprover: CPU time limit exceeded, terminating
% 22.78/22.15 eprover: CPU time limit exceeded, terminating
% 24.99/24.17 eprover: CPU time limit exceeded, terminating
% 27.20/26.18 eprover: CPU time limit exceeded, terminating
% 29.42/28.19 eprover: CPU time limit exceeded, terminating
% 31.64/30.21 eprover: CPU time limit exceeded, terminating
% 33.93/32.22 eprover: CPU time limit exceeded, terminating
% 36.14/34.23 eprover: CPU time limit exceeded, terminating
% 38.34/36.24 eprover: CPU time limit exceeded, terminating
% 40.56/38.25 eprover: CPU time limit exceeded, terminating
% 42.80/40.26 eprover: CPU time limit exceeded, terminating
% 44.96/42.28 eprover: CPU time limit exceeded, terminating
% 47.23/44.29 eprover: CPU time limit exceeded, terminating
% 49.39/46.30 eprover: CPU time limit exceeded, terminating
% 51.67/48.31 eprover: CPU time limit exceeded, terminating
% 53.93/50.32 eprover: CPU time limit exceeded, terminating
% 56.10/52.33 eprover: CPU time limit exceeded, terminating
% 58.32/54.35 eprover: CPU time limit exceeded, terminating
% 60.53/56.36 eprover: CPU time limit exceeded, terminating
% 62.76/58.37 eprover: CPU time limit exceeded, terminating
% 65.02/60.38 eprover: CPU time limit exceeded, terminating
% 67.23/62.39 eprover: CPU time limit exceeded, terminating
% 69.45/64.41 eprover: CPU time limit exceeded, terminating
% 71.60/66.42 eprover: CPU time limit exceeded, terminating
% 73.86/68.43 eprover: CPU time limit exceeded, terminating
% 76.08/70.44 eprover: CPU time limit exceeded, terminating
% 78.28/72.45 eprover: CPU time limit exceeded, terminating
% 80.52/74.46 eprover: CPU time limit exceeded, terminating
% 82.78/76.48 eprover: CPU time limit exceeded, terminating
% 84.92/78.49 eprover: CPU time limit exceeded, terminating
% 87.17/80.50 eprover: CPU time limit exceeded, terminating
% 89.39/82.51 eprover: CPU time limit exceeded, terminating
% 91.65/84.52 eprover: CPU time limit exceeded, terminating
% 93.82/86.53 eprover: CPU time limit exceeded, terminating
% 96.04/88.54 eprover: CPU time limit exceeded, terminating
% 98.28/90.55 eprover: CPU time limit exceeded, terminating
% 100.47/92.57 eprover: CPU time limit exceeded, terminating
% 102.70/94.58 eprover: CPU time limit exceeded, terminating
% 104.89/96.59 eprover: CPU time limit exceeded, terminating
% 107.18/98.60 eprover: CPU time limit exceeded, terminating
% 109.39/100.61 eprover: CPU time limit exceeded, terminating
% 111.60/102.62 eprover: CPU time limit exceeded, terminating
% 113.79/104.63 eprover: CPU time limit exceeded, terminating
% 116.02/106.64 eprover: CPU time limit exceeded, terminating
% 118.23/108.66 eprover: CPU time limit exceeded, terminating
% 120.43/110.67 eprover: CPU time limit exceeded, terminating
% 122.65/112.68 eprover: CPU time limit exceeded, terminating
% 124.86/114.69 eprover: CPU time limit exceeded, terminating
% 127.13/116.70 eprover: CPU time limit exceeded, terminating
% 129.33/118.71 eprover: CPU time limit exceeded, terminating
% 131.55/120.72 eprover: CPU time limit exceeded, terminating
% 133.76/122.73 eprover: CPU time limit exceeded, terminating
% 135.96/124.74 eprover: CPU time limit exceeded, terminating
% 138.14/126.76 eprover: CPU time limit exceeded, terminating
% 140.37/128.77 eprover: CPU time limit exceeded, terminating
% 142.61/130.78 eprover: CPU time limit exceeded, terminating
% 144.78/132.79 eprover: CPU time limit exceeded, terminating
% 147.07/134.80 eprover: CPU time limit exceeded, terminating
% 149.28/136.81 eprover: CPU time limit exceeded, terminating
% 151.50/138.83 eprover: CPU time limit exceeded, terminating
% 153.69/140.84 eprover: CPU time limit exceeded, terminating
% 155.92/142.85 eprover: CPU time limit exceeded, terminating
% 158.15/144.86 eprover: CPU time limit exceeded, terminating
% 160.33/146.87 eprover: CPU time limit exceeded, terminating
% 162.57/148.88 eprover: CPU time limit exceeded, terminating
% 164.77/150.89 eprover: CPU time limit exceeded, terminating
% 167.05/152.91 eprover: CPU time limit exceeded, terminating
% 169.28/154.92 eprover: CPU time limit exceeded, terminating
% 171.46/156.93 eprover: CPU time limit exceeded, terminating
% 173.66/158.94 eprover: CPU time limit exceeded, terminating
% 175.87/160.95 eprover: CPU time limit exceeded, terminating
% 178.14/162.96 eprover: CPU time limit exceeded, terminating
% 180.28/164.97 eprover: CPU time limit exceeded, terminating
% 182.55/166.98 eprover: CPU time limit exceeded, terminating
% 184.80/169.00 eprover: CPU time limit exceeded, terminating
% 187.00/171.01 eprover: CPU time limit exceeded, terminating
% 189.20/173.02 eprover: CPU time limit exceeded, terminating
% 191.45/175.03 eprover: CPU time limit exceeded, terminating
% 193.57/177.04 eprover: CPU time limit exceeded, terminating
% 195.85/179.05 eprover: CPU time limit exceeded, terminating
% 198.08/181.06 eprover: CPU time limit exceeded, terminating
% 200.28/183.07 eprover: CPU time limit exceeded, terminating
% 202.52/185.08 eprover: CPU time limit exceeded, terminating
% 204.70/187.10 eprover: CPU time limit exceeded, terminating
% 206.89/189.11 eprover: CPU time limit exceeded, terminating
% 209.14/191.12 eprover: CPU time limit exceeded, terminating
% 211.33/193.13 eprover: CPU time limit exceeded, terminating
% 213.59/195.14 eprover: CPU time limit exceeded, terminating
% 215.83/197.15 eprover: CPU time limit exceeded, terminating
% 218.04/199.17 eprover: CPU time limit exceeded, terminating
% 220.27/201.18 eprover: CPU time limit exceeded, terminating
% 222.46/203.19 eprover: CPU time limit exceeded, terminating
% 224.67/205.20 eprover: CPU time limit exceeded, terminating
% 226.89/207.21 eprover: CPU time limit exceeded, terminating
% 229.06/209.22 eprover: CPU time limit exceeded, terminating
% 231.34/211.23 eprover: CPU time limit exceeded, terminating
% 233.59/213.25 eprover: CPU time limit exceeded, terminating
% 235.72/215.26 eprover: CPU time limit exceeded, terminating
% 237.99/217.27 eprover: CPU time limit exceeded, terminating
% 240.20/219.28 eprover: CPU time limit exceeded, terminating
% 242.46/221.29 eprover: CPU time limit exceeded, terminating
% 244.61/223.30 eprover: CPU time limit exceeded, terminating
% 246.87/225.32 eprover: CPU time limit exceeded, terminating
% 249.08/227.33 eprover: CPU time limit exceeded, terminating
% 251.31/229.34 eprover: CPU time limit exceeded, terminating
% 253.56/231.35 eprover: CPU time limit exceeded, terminating
% 255.78/233.36 eprover: CPU time limit exceeded, terminating
% 257.99/235.37 eprover: CPU time limit exceeded, terminating
% 260.22/237.38 eprover: CPU time limit exceeded, terminating
% 262.41/239.40 eprover: CPU time limit exceeded, terminating
% 264.61/241.41 eprover: CPU time limit exceeded, terminating
% 266.82/243.42 eprover: CPU time limit exceeded, terminating
% 269.09/245.43 eprover: CPU time limit exceeded, terminating
% 271.25/247.45 eprover: CPU time limit exceeded, terminating
% 273.52/249.46 eprover: CPU time limit exceeded, terminating
% 275.76/251.47 eprover: CPU time limit exceeded, terminating
% 277.95/253.48 eprover: CPU time limit exceeded, terminating
% 280.17/255.49 eprover: CPU time limit exceeded, terminating
% 282.41/257.50 eprover: CPU time limit exceeded, terminating
% 284.59/259.52 eprover: CPU time limit exceeded, terminating
% 286.83/261.53 eprover: CPU time limit exceeded, terminating
% 289.03/263.54 eprover: CPU time limit exceeded, terminating
% 291.24/265.55 eprover: CPU time limit exceeded, terminating
% 293.47/267.56 eprover: CPU time limit exceeded, terminating
% 295.68/269.57 eprover: CPU time limit exceeded, terminating
% 297.92/271.58 eprover: CPU time limit exceeded, terminating
% 300.03/273.47 eprover: CPU time limit exceeded, terminating
% 300.03/273.48 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------