TSTP Solution File: SEU431+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SEU431+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n027.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:02 EDT 2022
% Result : Timeout 286.55s 261.39s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.10/0.11 % Problem : SEU431+2 : TPTP v8.1.0. Released v3.4.0.
% 0.10/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n027.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:22:40 EDT 2022
% 0.12/0.33 % CPUTime :
% 15.77/15.77 eprover: CPU time limit exceeded, terminating
% 17.94/17.78 eprover: CPU time limit exceeded, terminating
% 20.16/19.80 eprover: CPU time limit exceeded, terminating
% 22.46/21.81 eprover: CPU time limit exceeded, terminating
% 24.66/23.82 eprover: CPU time limit exceeded, terminating
% 26.87/25.83 eprover: CPU time limit exceeded, terminating
% 29.09/27.84 eprover: CPU time limit exceeded, terminating
% 31.35/29.86 eprover: CPU time limit exceeded, terminating
% 33.49/31.87 eprover: CPU time limit exceeded, terminating
% 35.74/33.88 eprover: CPU time limit exceeded, terminating
% 38.00/35.89 eprover: CPU time limit exceeded, terminating
% 40.24/37.90 eprover: CPU time limit exceeded, terminating
% 42.38/39.92 eprover: CPU time limit exceeded, terminating
% 44.66/41.93 eprover: CPU time limit exceeded, terminating
% 46.92/43.94 eprover: CPU time limit exceeded, terminating
% 49.07/45.95 eprover: CPU time limit exceeded, terminating
% 51.30/47.97 eprover: CPU time limit exceeded, terminating
% 53.54/49.98 eprover: CPU time limit exceeded, terminating
% 55.80/51.99 eprover: CPU time limit exceeded, terminating
% 58.03/54.00 eprover: CPU time limit exceeded, terminating
% 60.26/56.02 eprover: CPU time limit exceeded, terminating
% 62.49/58.03 eprover: CPU time limit exceeded, terminating
% 64.66/60.04 eprover: CPU time limit exceeded, terminating
% 66.85/62.05 eprover: CPU time limit exceeded, terminating
% 69.05/64.06 eprover: CPU time limit exceeded, terminating
% 71.30/66.08 eprover: CPU time limit exceeded, terminating
% 73.57/68.09 eprover: CPU time limit exceeded, terminating
% 75.72/70.10 eprover: CPU time limit exceeded, terminating
% 78.02/72.11 eprover: CPU time limit exceeded, terminating
% 80.22/74.12 eprover: CPU time limit exceeded, terminating
% 82.41/76.14 eprover: CPU time limit exceeded, terminating
% 84.63/78.15 eprover: CPU time limit exceeded, terminating
% 86.87/80.16 eprover: CPU time limit exceeded, terminating
% 89.03/82.17 eprover: CPU time limit exceeded, terminating
% 91.29/84.18 eprover: CPU time limit exceeded, terminating
% 93.51/86.20 eprover: CPU time limit exceeded, terminating
% 95.79/88.21 eprover: CPU time limit exceeded, terminating
% 97.97/90.22 eprover: CPU time limit exceeded, terminating
% 100.20/92.23 eprover: CPU time limit exceeded, terminating
% 102.45/94.24 eprover: CPU time limit exceeded, terminating
% 104.62/96.25 eprover: CPU time limit exceeded, terminating
% 106.83/98.27 eprover: CPU time limit exceeded, terminating
% 109.06/100.28 eprover: CPU time limit exceeded, terminating
% 111.27/102.29 eprover: CPU time limit exceeded, terminating
% 113.54/104.30 eprover: CPU time limit exceeded, terminating
% 115.78/106.31 eprover: CPU time limit exceeded, terminating
% 117.99/108.32 eprover: CPU time limit exceeded, terminating
% 120.19/110.33 eprover: CPU time limit exceeded, terminating
% 122.39/112.35 eprover: CPU time limit exceeded, terminating
% 124.60/114.36 eprover: CPU time limit exceeded, terminating
% 126.84/116.37 eprover: CPU time limit exceeded, terminating
% 129.04/118.38 eprover: CPU time limit exceeded, terminating
% 131.32/120.39 eprover: CPU time limit exceeded, terminating
% 133.55/122.41 eprover: CPU time limit exceeded, terminating
% 135.77/124.42 eprover: CPU time limit exceeded, terminating
% 137.94/126.43 eprover: CPU time limit exceeded, terminating
% 140.18/128.44 eprover: CPU time limit exceeded, terminating
% 142.41/130.45 eprover: CPU time limit exceeded, terminating
% 144.59/132.47 eprover: CPU time limit exceeded, terminating
% 146.80/134.48 eprover: CPU time limit exceeded, terminating
% 149.01/136.49 eprover: CPU time limit exceeded, terminating
% 151.28/138.50 eprover: CPU time limit exceeded, terminating
% 153.51/140.51 eprover: CPU time limit exceeded, terminating
% 155.73/142.53 eprover: CPU time limit exceeded, terminating
% 157.96/144.54 eprover: CPU time limit exceeded, terminating
% 160.15/146.55 eprover: CPU time limit exceeded, terminating
% 162.35/148.56 eprover: CPU time limit exceeded, terminating
% 164.57/150.58 eprover: CPU time limit exceeded, terminating
% 166.85/152.59 eprover: CPU time limit exceeded, terminating
% 169.07/154.60 eprover: CPU time limit exceeded, terminating
% 171.21/156.62 eprover: CPU time limit exceeded, terminating
% 173.50/158.63 eprover: CPU time limit exceeded, terminating
% 175.71/160.64 eprover: CPU time limit exceeded, terminating
% 177.89/162.66 eprover: CPU time limit exceeded, terminating
% 180.09/164.68 eprover: CPU time limit exceeded, terminating
% 182.31/166.69 eprover: CPU time limit exceeded, terminating
% 184.61/168.71 eprover: CPU time limit exceeded, terminating
% 186.80/170.72 eprover: CPU time limit exceeded, terminating
% 189.02/172.74 eprover: CPU time limit exceeded, terminating
% 191.21/174.76 eprover: CPU time limit exceeded, terminating
% 193.43/176.78 eprover: CPU time limit exceeded, terminating
% 195.72/178.80 eprover: CPU time limit exceeded, terminating
% 197.91/180.82 eprover: CPU time limit exceeded, terminating
% 200.10/182.83 eprover: CPU time limit exceeded, terminating
% 202.33/184.85 eprover: CPU time limit exceeded, terminating
% 204.52/186.86 eprover: CPU time limit exceeded, terminating
% 206.72/188.88 eprover: CPU time limit exceeded, terminating
% 209.00/190.89 eprover: CPU time limit exceeded, terminating
% 211.23/192.90 eprover: CPU time limit exceeded, terminating
% 213.37/194.92 eprover: CPU time limit exceeded, terminating
% 215.63/196.94 eprover: CPU time limit exceeded, terminating
% 217.82/198.95 eprover: CPU time limit exceeded, terminating
% 220.02/200.96 eprover: CPU time limit exceeded, terminating
% 222.27/202.98 eprover: CPU time limit exceeded, terminating
% 224.50/205.00 eprover: CPU time limit exceeded, terminating
% 226.70/207.01 eprover: CPU time limit exceeded, terminating
% 228.94/209.02 eprover: CPU time limit exceeded, terminating
% 231.11/211.04 eprover: CPU time limit exceeded, terminating
% 233.37/213.06 eprover: CPU time limit exceeded, terminating
% 235.52/215.07 eprover: CPU time limit exceeded, terminating
% 237.78/217.08 eprover: CPU time limit exceeded, terminating
% 240.04/219.09 eprover: CPU time limit exceeded, terminating
% 242.20/221.10 eprover: CPU time limit exceeded, terminating
% 244.42/223.12 eprover: CPU time limit exceeded, terminating
% 246.69/225.13 eprover: CPU time limit exceeded, terminating
% 248.89/227.14 eprover: CPU time limit exceeded, terminating
% 251.14/229.15 eprover: CPU time limit exceeded, terminating
% 253.34/231.17 eprover: CPU time limit exceeded, terminating
% 255.46/233.18 eprover: CPU time limit exceeded, terminating
% 257.74/235.20 eprover: CPU time limit exceeded, terminating
% 259.97/237.22 eprover: CPU time limit exceeded, terminating
% 262.19/239.23 eprover: CPU time limit exceeded, terminating
% 264.37/241.25 eprover: CPU time limit exceeded, terminating
% 266.60/243.27 eprover: CPU time limit exceeded, terminating
% 268.84/245.29 eprover: CPU time limit exceeded, terminating
% 270.94/247.30 eprover: CPU time limit exceeded, terminating
% 273.24/249.32 eprover: CPU time limit exceeded, terminating
% 275.44/251.33 eprover: CPU time limit exceeded, terminating
% 277.64/253.35 eprover: CPU time limit exceeded, terminating
% 279.84/255.36 eprover: CPU time limit exceeded, terminating
% 282.04/257.37 eprover: CPU time limit exceeded, terminating
% 284.27/259.38 eprover: CPU time limit exceeded, terminating
% 286.55/261.39 eprover: CPU time limit exceeded, terminating
% 288.76/263.40 eprover: CPU time limit exceeded, terminating
% 290.98/265.42 eprover: CPU time limit exceeded, terminating
% 293.14/267.43 eprover: CPU time limit exceeded, terminating
% 295.35/269.44 eprover: CPU time limit exceeded, terminating
% 297.61/271.45 eprover: CPU time limit exceeded, terminating
% 299.81/273.46 eprover: CPU time limit exceeded, terminating
% 300.90/274.31 eprover: CPU time limit exceeded, terminating
% 300.90/274.33 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------