TSTP Solution File: SEU415+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SEU415+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n018.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:49 EDT 2022
% Result : Timeout 287.32s 259.35s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.09/0.09 % Problem : SEU415+2 : TPTP v8.1.0. Released v3.4.0.
% 0.09/0.10 % Command : run_infinox %s
% 0.09/0.30 % Computer : n018.cluster.edu
% 0.09/0.30 % Model : x86_64 x86_64
% 0.09/0.30 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.09/0.30 % Memory : 8042.1875MB
% 0.09/0.30 % OS : Linux 3.10.0-693.el7.x86_64
% 0.09/0.30 % CPULimit : 300
% 0.09/0.30 % WCLimit : 600
% 0.09/0.30 % DateTime : Sun Jun 19 01:30:49 EDT 2022
% 0.09/0.30 % CPUTime :
% 15.72/15.74 eprover: CPU time limit exceeded, terminating
% 18.01/17.76 eprover: CPU time limit exceeded, terminating
% 20.27/19.77 eprover: CPU time limit exceeded, terminating
% 22.44/21.78 eprover: CPU time limit exceeded, terminating
% 24.66/23.79 eprover: CPU time limit exceeded, terminating
% 26.95/25.80 eprover: CPU time limit exceeded, terminating
% 29.21/27.81 eprover: CPU time limit exceeded, terminating
% 31.39/29.83 eprover: CPU time limit exceeded, terminating
% 33.68/31.84 eprover: CPU time limit exceeded, terminating
% 35.85/33.85 eprover: CPU time limit exceeded, terminating
% 38.11/35.86 eprover: CPU time limit exceeded, terminating
% 40.30/37.87 eprover: CPU time limit exceeded, terminating
% 42.60/39.89 eprover: CPU time limit exceeded, terminating
% 44.78/41.90 eprover: CPU time limit exceeded, terminating
% 47.10/43.91 eprover: CPU time limit exceeded, terminating
% 49.31/45.93 eprover: CPU time limit exceeded, terminating
% 51.57/47.94 eprover: CPU time limit exceeded, terminating
% 53.76/49.95 eprover: CPU time limit exceeded, terminating
% 56.02/51.97 eprover: CPU time limit exceeded, terminating
% 58.33/53.98 eprover: CPU time limit exceeded, terminating
% 60.57/55.99 eprover: CPU time limit exceeded, terminating
% 62.77/58.01 eprover: CPU time limit exceeded, terminating
% 65.08/60.02 eprover: CPU time limit exceeded, terminating
% 67.34/62.03 eprover: CPU time limit exceeded, terminating
% 69.53/64.05 eprover: CPU time limit exceeded, terminating
% 71.80/66.07 eprover: CPU time limit exceeded, terminating
% 74.08/68.08 eprover: CPU time limit exceeded, terminating
% 76.25/70.09 eprover: CPU time limit exceeded, terminating
% 78.51/72.10 eprover: CPU time limit exceeded, terminating
% 80.80/74.12 eprover: CPU time limit exceeded, terminating
% 82.99/76.13 eprover: CPU time limit exceeded, terminating
% 85.22/78.14 eprover: CPU time limit exceeded, terminating
% 87.46/80.16 eprover: CPU time limit exceeded, terminating
% 89.69/82.17 eprover: CPU time limit exceeded, terminating
% 91.91/84.18 eprover: CPU time limit exceeded, terminating
% 94.20/86.19 eprover: CPU time limit exceeded, terminating
% 96.45/88.21 eprover: CPU time limit exceeded, terminating
% 98.70/90.22 eprover: CPU time limit exceeded, terminating
% 100.96/92.24 eprover: CPU time limit exceeded, terminating
% 103.16/94.25 eprover: CPU time limit exceeded, terminating
% 105.45/96.26 eprover: CPU time limit exceeded, terminating
% 107.64/98.28 eprover: CPU time limit exceeded, terminating
% 109.90/100.29 eprover: CPU time limit exceeded, terminating
% 112.21/102.30 eprover: CPU time limit exceeded, terminating
% 114.47/104.32 eprover: CPU time limit exceeded, terminating
% 116.70/106.33 eprover: CPU time limit exceeded, terminating
% 118.93/108.34 eprover: CPU time limit exceeded, terminating
% 121.19/110.36 eprover: CPU time limit exceeded, terminating
% 123.42/112.37 eprover: CPU time limit exceeded, terminating
% 125.69/114.38 eprover: CPU time limit exceeded, terminating
% 127.94/116.39 eprover: CPU time limit exceeded, terminating
% 130.12/118.41 eprover: CPU time limit exceeded, terminating
% 132.43/120.42 eprover: CPU time limit exceeded, terminating
% 134.70/122.43 eprover: CPU time limit exceeded, terminating
% 136.89/124.45 eprover: CPU time limit exceeded, terminating
% 139.18/126.46 eprover: CPU time limit exceeded, terminating
% 141.39/128.48 eprover: CPU time limit exceeded, terminating
% 143.69/130.49 eprover: CPU time limit exceeded, terminating
% 145.89/132.50 eprover: CPU time limit exceeded, terminating
% 148.20/134.52 eprover: CPU time limit exceeded, terminating
% 150.45/136.53 eprover: CPU time limit exceeded, terminating
% 152.67/138.54 eprover: CPU time limit exceeded, terminating
% 154.94/140.56 eprover: CPU time limit exceeded, terminating
% 157.14/142.57 eprover: CPU time limit exceeded, terminating
% 159.43/144.58 eprover: CPU time limit exceeded, terminating
% 161.69/146.60 eprover: CPU time limit exceeded, terminating
% 163.93/148.61 eprover: CPU time limit exceeded, terminating
% 166.20/150.63 eprover: CPU time limit exceeded, terminating
% 168.40/152.64 eprover: CPU time limit exceeded, terminating
% 170.68/154.65 eprover: CPU time limit exceeded, terminating
% 172.84/156.66 eprover: CPU time limit exceeded, terminating
% 175.11/158.68 eprover: CPU time limit exceeded, terminating
% 177.41/160.69 eprover: CPU time limit exceeded, terminating
% 179.67/162.71 eprover: CPU time limit exceeded, terminating
% 181.87/164.72 eprover: CPU time limit exceeded, terminating
% 184.14/166.73 eprover: CPU time limit exceeded, terminating
% 186.30/168.75 eprover: CPU time limit exceeded, terminating
% 188.59/170.76 eprover: CPU time limit exceeded, terminating
% 190.79/172.77 eprover: CPU time limit exceeded, terminating
% 193.07/174.79 eprover: CPU time limit exceeded, terminating
% 195.32/176.80 eprover: CPU time limit exceeded, terminating
% 197.53/178.82 eprover: CPU time limit exceeded, terminating
% 199.79/180.83 eprover: CPU time limit exceeded, terminating
% 202.06/182.84 eprover: CPU time limit exceeded, terminating
% 204.28/184.86 eprover: CPU time limit exceeded, terminating
% 206.55/186.87 eprover: CPU time limit exceeded, terminating
% 208.78/188.88 eprover: CPU time limit exceeded, terminating
% 211.07/190.90 eprover: CPU time limit exceeded, terminating
% 213.30/192.91 eprover: CPU time limit exceeded, terminating
% 215.58/194.92 eprover: CPU time limit exceeded, terminating
% 217.83/196.94 eprover: CPU time limit exceeded, terminating
% 220.00/198.95 eprover: CPU time limit exceeded, terminating
% 222.30/200.96 eprover: CPU time limit exceeded, terminating
% 224.46/202.97 eprover: CPU time limit exceeded, terminating
% 226.69/204.99 eprover: CPU time limit exceeded, terminating
% 228.98/207.00 eprover: CPU time limit exceeded, terminating
% 231.15/209.02 eprover: CPU time limit exceeded, terminating
% 233.43/211.04 eprover: CPU time limit exceeded, terminating
% 235.70/213.05 eprover: CPU time limit exceeded, terminating
% 237.96/215.07 eprover: CPU time limit exceeded, terminating
% 240.18/217.08 eprover: CPU time limit exceeded, terminating
% 242.44/219.09 eprover: CPU time limit exceeded, terminating
% 244.74/221.11 eprover: CPU time limit exceeded, terminating
% 246.91/223.12 eprover: CPU time limit exceeded, terminating
% 249.16/225.13 eprover: CPU time limit exceeded, terminating
% 251.39/227.15 eprover: CPU time limit exceeded, terminating
% 253.63/229.16 eprover: CPU time limit exceeded, terminating
% 255.90/231.17 eprover: CPU time limit exceeded, terminating
% 258.14/233.18 eprover: CPU time limit exceeded, terminating
% 260.44/235.20 eprover: CPU time limit exceeded, terminating
% 262.67/237.21 eprover: CPU time limit exceeded, terminating
% 264.94/239.22 eprover: CPU time limit exceeded, terminating
% 267.13/241.23 eprover: CPU time limit exceeded, terminating
% 269.33/243.25 eprover: CPU time limit exceeded, terminating
% 271.59/245.26 eprover: CPU time limit exceeded, terminating
% 273.83/247.28 eprover: CPU time limit exceeded, terminating
% 276.04/249.29 eprover: CPU time limit exceeded, terminating
% 278.38/251.30 eprover: CPU time limit exceeded, terminating
% 280.63/253.32 eprover: CPU time limit exceeded, terminating
% 282.87/255.33 eprover: CPU time limit exceeded, terminating
% 285.09/257.34 eprover: CPU time limit exceeded, terminating
% 287.32/259.35 eprover: CPU time limit exceeded, terminating
% 289.56/261.37 eprover: CPU time limit exceeded, terminating
% 291.80/263.38 eprover: CPU time limit exceeded, terminating
% 294.13/265.40 eprover: CPU time limit exceeded, terminating
% 296.37/267.41 eprover: CPU time limit exceeded, terminating
% 298.62/269.42 eprover: CPU time limit exceeded, terminating
% 300.06/270.61 eprover: CPU time limit exceeded, terminating
% 300.06/270.62 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------