TSTP Solution File: SEU388+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SEU388+2 : TPTP v8.1.0. Released v3.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n009.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:35 EDT 2022
% Result : Timeout 286.21s 277.42s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.12 % Problem : SEU388+2 : TPTP v8.1.0. Released v3.3.0.
% 0.04/0.12 % Command : run_infinox %s
% 0.12/0.34 % Computer : n009.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 600
% 0.12/0.34 % DateTime : Sun Jun 19 21:34:52 EDT 2022
% 0.12/0.34 % CPUTime :
% 3.54/3.69 eprover: CPU time limit exceeded, terminating
% 5.63/5.71 eprover: CPU time limit exceeded, terminating
% 7.67/7.72 eprover: CPU time limit exceeded, terminating
% 9.74/9.73 eprover: CPU time limit exceeded, terminating
% 11.81/11.74 eprover: CPU time limit exceeded, terminating
% 13.87/13.75 eprover: CPU time limit exceeded, terminating
% 15.93/15.77 eprover: CPU time limit exceeded, terminating
% 17.98/17.78 eprover: CPU time limit exceeded, terminating
% 20.02/19.79 eprover: CPU time limit exceeded, terminating
% 22.11/21.80 eprover: CPU time limit exceeded, terminating
% 24.20/23.81 eprover: CPU time limit exceeded, terminating
% 26.23/25.83 eprover: CPU time limit exceeded, terminating
% 28.29/27.84 eprover: CPU time limit exceeded, terminating
% 30.38/29.85 eprover: CPU time limit exceeded, terminating
% 32.47/31.86 eprover: CPU time limit exceeded, terminating
% 34.50/33.87 eprover: CPU time limit exceeded, terminating
% 36.57/35.89 eprover: CPU time limit exceeded, terminating
% 38.68/37.90 eprover: CPU time limit exceeded, terminating
% 40.74/39.91 eprover: CPU time limit exceeded, terminating
% 42.73/41.92 eprover: CPU time limit exceeded, terminating
% 44.81/43.94 eprover: CPU time limit exceeded, terminating
% 46.92/45.95 eprover: CPU time limit exceeded, terminating
% 48.98/47.96 eprover: CPU time limit exceeded, terminating
% 51.05/49.97 eprover: CPU time limit exceeded, terminating
% 53.12/51.99 eprover: CPU time limit exceeded, terminating
% 55.18/54.00 eprover: CPU time limit exceeded, terminating
% 57.22/56.01 eprover: CPU time limit exceeded, terminating
% 59.33/58.02 eprover: CPU time limit exceeded, terminating
% 61.33/60.03 eprover: CPU time limit exceeded, terminating
% 63.45/62.04 eprover: CPU time limit exceeded, terminating
% 65.52/64.06 eprover: CPU time limit exceeded, terminating
% 67.56/66.07 eprover: CPU time limit exceeded, terminating
% 69.62/68.08 eprover: CPU time limit exceeded, terminating
% 71.68/70.10 eprover: CPU time limit exceeded, terminating
% 73.75/72.11 eprover: CPU time limit exceeded, terminating
% 75.82/74.12 eprover: CPU time limit exceeded, terminating
% 77.92/76.13 eprover: CPU time limit exceeded, terminating
% 79.96/78.14 eprover: CPU time limit exceeded, terminating
% 81.97/80.16 eprover: CPU time limit exceeded, terminating
% 84.12/82.17 eprover: CPU time limit exceeded, terminating
% 86.15/84.18 eprover: CPU time limit exceeded, terminating
% 88.21/86.19 eprover: CPU time limit exceeded, terminating
% 90.26/88.21 eprover: CPU time limit exceeded, terminating
% 92.36/90.22 eprover: CPU time limit exceeded, terminating
% 94.39/92.23 eprover: CPU time limit exceeded, terminating
% 96.46/94.24 eprover: CPU time limit exceeded, terminating
% 98.57/96.26 eprover: CPU time limit exceeded, terminating
% 100.64/98.27 eprover: CPU time limit exceeded, terminating
% 102.66/100.28 eprover: CPU time limit exceeded, terminating
% 104.78/102.29 eprover: CPU time limit exceeded, terminating
% 106.84/104.31 eprover: CPU time limit exceeded, terminating
% 108.90/106.32 eprover: CPU time limit exceeded, terminating
% 110.97/108.33 eprover: CPU time limit exceeded, terminating
% 113.05/110.34 eprover: CPU time limit exceeded, terminating
% 115.07/112.36 eprover: CPU time limit exceeded, terminating
% 117.08/114.37 eprover: CPU time limit exceeded, terminating
% 121.14/116.38 eprover: CPU time limit exceeded, terminating
% 123.20/118.39 eprover: CPU time limit exceeded, terminating
% 125.27/120.40 eprover: CPU time limit exceeded, terminating
% 127.31/122.42 eprover: CPU time limit exceeded, terminating
% 129.38/124.43 eprover: CPU time limit exceeded, terminating
% 131.42/126.44 eprover: CPU time limit exceeded, terminating
% 133.47/128.45 eprover: CPU time limit exceeded, terminating
% 135.60/130.47 eprover: CPU time limit exceeded, terminating
% 137.66/132.48 eprover: CPU time limit exceeded, terminating
% 139.68/134.49 eprover: CPU time limit exceeded, terminating
% 141.76/136.50 eprover: CPU time limit exceeded, terminating
% 143.84/138.51 eprover: CPU time limit exceeded, terminating
% 145.90/140.53 eprover: CPU time limit exceeded, terminating
% 147.97/142.54 eprover: CPU time limit exceeded, terminating
% 150.06/144.55 eprover: CPU time limit exceeded, terminating
% 152.08/146.56 eprover: CPU time limit exceeded, terminating
% 154.15/148.57 eprover: CPU time limit exceeded, terminating
% 156.22/150.58 eprover: CPU time limit exceeded, terminating
% 158.31/152.60 eprover: CPU time limit exceeded, terminating
% 160.37/154.61 eprover: CPU time limit exceeded, terminating
% 162.42/156.62 eprover: CPU time limit exceeded, terminating
% 164.46/158.63 eprover: CPU time limit exceeded, terminating
% 166.57/160.64 eprover: CPU time limit exceeded, terminating
% 168.60/162.66 eprover: CPU time limit exceeded, terminating
% 170.67/164.67 eprover: CPU time limit exceeded, terminating
% 172.70/166.68 eprover: CPU time limit exceeded, terminating
% 174.77/168.69 eprover: CPU time limit exceeded, terminating
% 176.87/170.70 eprover: CPU time limit exceeded, terminating
% 178.96/172.72 eprover: CPU time limit exceeded, terminating
% 180.98/174.73 eprover: CPU time limit exceeded, terminating
% 183.07/176.74 eprover: CPU time limit exceeded, terminating
% 185.11/178.75 eprover: CPU time limit exceeded, terminating
% 187.20/180.76 eprover: CPU time limit exceeded, terminating
% 189.21/182.77 eprover: CPU time limit exceeded, terminating
% 191.29/184.79 eprover: CPU time limit exceeded, terminating
% 193.40/186.80 eprover: CPU time limit exceeded, terminating
% 195.40/188.81 eprover: CPU time limit exceeded, terminating
% 197.49/190.83 eprover: CPU time limit exceeded, terminating
% 199.60/192.84 eprover: CPU time limit exceeded, terminating
% 201.65/194.86 eprover: CPU time limit exceeded, terminating
% 203.69/196.87 eprover: CPU time limit exceeded, terminating
% 205.77/198.89 eprover: CPU time limit exceeded, terminating
% 207.79/200.90 eprover: CPU time limit exceeded, terminating
% 209.91/202.91 eprover: CPU time limit exceeded, terminating
% 211.96/204.94 eprover: CPU time limit exceeded, terminating
% 213.99/206.95 eprover: CPU time limit exceeded, terminating
% 216.10/208.96 eprover: CPU time limit exceeded, terminating
% 218.18/210.97 eprover: CPU time limit exceeded, terminating
% 220.17/212.99 eprover: CPU time limit exceeded, terminating
% 222.29/215.01 eprover: CPU time limit exceeded, terminating
% 224.35/217.02 eprover: CPU time limit exceeded, terminating
% 226.41/219.03 eprover: CPU time limit exceeded, terminating
% 228.47/221.05 eprover: CPU time limit exceeded, terminating
% 230.54/223.06 eprover: CPU time limit exceeded, terminating
% 232.62/225.08 eprover: CPU time limit exceeded, terminating
% 234.70/227.09 eprover: CPU time limit exceeded, terminating
% 236.73/229.11 eprover: CPU time limit exceeded, terminating
% 238.80/231.12 eprover: CPU time limit exceeded, terminating
% 240.86/233.13 eprover: CPU time limit exceeded, terminating
% 242.94/235.15 eprover: CPU time limit exceeded, terminating
% 244.96/237.16 eprover: CPU time limit exceeded, terminating
% 247.06/239.17 eprover: CPU time limit exceeded, terminating
% 249.15/241.19 eprover: CPU time limit exceeded, terminating
% 251.20/243.20 eprover: CPU time limit exceeded, terminating
% 253.26/245.22 eprover: CPU time limit exceeded, terminating
% 255.30/247.23 eprover: CPU time limit exceeded, terminating
% 257.40/249.24 eprover: CPU time limit exceeded, terminating
% 259.41/251.26 eprover: CPU time limit exceeded, terminating
% 261.48/253.27 eprover: CPU time limit exceeded, terminating
% 263.57/255.28 eprover: CPU time limit exceeded, terminating
% 265.63/257.29 eprover: CPU time limit exceeded, terminating
% 267.64/259.30 eprover: CPU time limit exceeded, terminating
% 269.77/261.32 eprover: CPU time limit exceeded, terminating
% 271.79/263.33 eprover: CPU time limit exceeded, terminating
% 273.87/265.34 eprover: CPU time limit exceeded, terminating
% 275.97/267.36 eprover: CPU time limit exceeded, terminating
% 277.98/269.37 eprover: CPU time limit exceeded, terminating
% 280.11/271.38 eprover: CPU time limit exceeded, terminating
% 282.12/273.39 eprover: CPU time limit exceeded, terminating
% 284.19/275.41 eprover: CPU time limit exceeded, terminating
% 286.21/277.42 eprover: CPU time limit exceeded, terminating
% 288.35/279.43 eprover: CPU time limit exceeded, terminating
% 290.37/281.44 eprover: CPU time limit exceeded, terminating
% 292.42/283.46 eprover: CPU time limit exceeded, terminating
% 294.51/285.47 eprover: CPU time limit exceeded, terminating
% 296.54/287.48 eprover: CPU time limit exceeded, terminating
% 298.63/289.49 eprover: CPU time limit exceeded, terminating
% 300.08/290.82 eprover: CPU time limit exceeded, terminating
% 300.08/290.84 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------