TSTP Solution File: SEU424+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SEU424+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n032.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:56 EDT 2022
% Result : Timeout 286.35s 265.39s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.11 % Problem : SEU424+2 : TPTP v8.1.0. Released v3.4.0.
% 0.03/0.11 % Command : run_infinox %s
% 0.11/0.31 % Computer : n032.cluster.edu
% 0.11/0.31 % Model : x86_64 x86_64
% 0.11/0.31 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.11/0.31 % Memory : 8042.1875MB
% 0.11/0.31 % OS : Linux 3.10.0-693.el7.x86_64
% 0.11/0.31 % CPULimit : 300
% 0.11/0.31 % WCLimit : 600
% 0.11/0.31 % DateTime : Sun Jun 19 11:27:33 EDT 2022
% 0.11/0.31 % CPUTime :
% 15.86/15.88 eprover: CPU time limit exceeded, terminating
% 18.02/17.89 eprover: CPU time limit exceeded, terminating
% 20.20/19.90 eprover: CPU time limit exceeded, terminating
% 22.39/21.91 eprover: CPU time limit exceeded, terminating
% 24.57/23.93 eprover: CPU time limit exceeded, terminating
% 26.77/25.94 eprover: CPU time limit exceeded, terminating
% 28.91/27.95 eprover: CPU time limit exceeded, terminating
% 31.15/29.96 eprover: CPU time limit exceeded, terminating
% 33.34/31.98 eprover: CPU time limit exceeded, terminating
% 35.54/33.99 eprover: CPU time limit exceeded, terminating
% 37.68/36.00 eprover: CPU time limit exceeded, terminating
% 39.84/38.01 eprover: CPU time limit exceeded, terminating
% 42.05/40.03 eprover: CPU time limit exceeded, terminating
% 44.25/42.04 eprover: CPU time limit exceeded, terminating
% 46.40/44.05 eprover: CPU time limit exceeded, terminating
% 48.63/46.06 eprover: CPU time limit exceeded, terminating
% 50.80/48.07 eprover: CPU time limit exceeded, terminating
% 52.97/50.08 eprover: CPU time limit exceeded, terminating
% 55.13/52.10 eprover: CPU time limit exceeded, terminating
% 57.33/54.11 eprover: CPU time limit exceeded, terminating
% 59.50/56.12 eprover: CPU time limit exceeded, terminating
% 61.72/58.13 eprover: CPU time limit exceeded, terminating
% 63.83/60.14 eprover: CPU time limit exceeded, terminating
% 66.08/62.16 eprover: CPU time limit exceeded, terminating
% 68.27/64.17 eprover: CPU time limit exceeded, terminating
% 70.46/66.18 eprover: CPU time limit exceeded, terminating
% 72.65/68.20 eprover: CPU time limit exceeded, terminating
% 74.78/70.21 eprover: CPU time limit exceeded, terminating
% 77.02/72.22 eprover: CPU time limit exceeded, terminating
% 79.17/74.23 eprover: CPU time limit exceeded, terminating
% 81.38/76.25 eprover: CPU time limit exceeded, terminating
% 83.56/78.26 eprover: CPU time limit exceeded, terminating
% 85.75/80.27 eprover: CPU time limit exceeded, terminating
% 87.89/82.28 eprover: CPU time limit exceeded, terminating
% 90.07/84.29 eprover: CPU time limit exceeded, terminating
% 92.29/86.31 eprover: CPU time limit exceeded, terminating
% 94.46/88.32 eprover: CPU time limit exceeded, terminating
% 96.66/90.33 eprover: CPU time limit exceeded, terminating
% 98.80/92.34 eprover: CPU time limit exceeded, terminating
% 100.99/94.35 eprover: CPU time limit exceeded, terminating
% 103.21/96.37 eprover: CPU time limit exceeded, terminating
% 105.33/98.38 eprover: CPU time limit exceeded, terminating
% 107.56/100.39 eprover: CPU time limit exceeded, terminating
% 109.68/102.40 eprover: CPU time limit exceeded, terminating
% 111.95/104.42 eprover: CPU time limit exceeded, terminating
% 114.11/106.43 eprover: CPU time limit exceeded, terminating
% 116.26/108.44 eprover: CPU time limit exceeded, terminating
% 118.45/110.45 eprover: CPU time limit exceeded, terminating
% 120.61/112.47 eprover: CPU time limit exceeded, terminating
% 122.81/114.48 eprover: CPU time limit exceeded, terminating
% 124.99/116.49 eprover: CPU time limit exceeded, terminating
% 127.24/118.50 eprover: CPU time limit exceeded, terminating
% 129.35/120.51 eprover: CPU time limit exceeded, terminating
% 131.57/122.53 eprover: CPU time limit exceeded, terminating
% 133.74/124.54 eprover: CPU time limit exceeded, terminating
% 135.95/126.55 eprover: CPU time limit exceeded, terminating
% 138.05/128.56 eprover: CPU time limit exceeded, terminating
% 140.25/130.58 eprover: CPU time limit exceeded, terminating
% 142.48/132.59 eprover: CPU time limit exceeded, terminating
% 144.58/134.60 eprover: CPU time limit exceeded, terminating
% 146.83/136.61 eprover: CPU time limit exceeded, terminating
% 148.98/138.62 eprover: CPU time limit exceeded, terminating
% 151.18/140.64 eprover: CPU time limit exceeded, terminating
% 153.32/142.65 eprover: CPU time limit exceeded, terminating
% 155.48/144.66 eprover: CPU time limit exceeded, terminating
% 157.65/146.67 eprover: CPU time limit exceeded, terminating
% 159.80/148.69 eprover: CPU time limit exceeded, terminating
% 162.04/150.70 eprover: CPU time limit exceeded, terminating
% 164.20/152.71 eprover: CPU time limit exceeded, terminating
% 166.37/154.72 eprover: CPU time limit exceeded, terminating
% 168.51/156.73 eprover: CPU time limit exceeded, terminating
% 170.69/158.74 eprover: CPU time limit exceeded, terminating
% 172.90/160.76 eprover: CPU time limit exceeded, terminating
% 175.13/162.77 eprover: CPU time limit exceeded, terminating
% 177.25/164.78 eprover: CPU time limit exceeded, terminating
% 179.47/166.79 eprover: CPU time limit exceeded, terminating
% 181.64/168.81 eprover: CPU time limit exceeded, terminating
% 183.78/170.82 eprover: CPU time limit exceeded, terminating
% 186.00/172.83 eprover: CPU time limit exceeded, terminating
% 188.19/174.84 eprover: CPU time limit exceeded, terminating
% 190.37/176.86 eprover: CPU time limit exceeded, terminating
% 192.50/178.87 eprover: CPU time limit exceeded, terminating
% 194.68/180.88 eprover: CPU time limit exceeded, terminating
% 196.87/182.89 eprover: CPU time limit exceeded, terminating
% 199.11/184.91 eprover: CPU time limit exceeded, terminating
% 201.28/186.92 eprover: CPU time limit exceeded, terminating
% 203.44/188.93 eprover: CPU time limit exceeded, terminating
% 205.60/190.94 eprover: CPU time limit exceeded, terminating
% 207.78/192.95 eprover: CPU time limit exceeded, terminating
% 209.97/194.96 eprover: CPU time limit exceeded, terminating
% 212.10/196.98 eprover: CPU time limit exceeded, terminating
% 214.35/198.99 eprover: CPU time limit exceeded, terminating
% 216.56/201.00 eprover: CPU time limit exceeded, terminating
% 218.72/203.01 eprover: CPU time limit exceeded, terminating
% 220.90/205.03 eprover: CPU time limit exceeded, terminating
% 223.06/207.04 eprover: CPU time limit exceeded, terminating
% 225.27/209.05 eprover: CPU time limit exceeded, terminating
% 227.42/211.06 eprover: CPU time limit exceeded, terminating
% 229.65/213.08 eprover: CPU time limit exceeded, terminating
% 231.81/215.09 eprover: CPU time limit exceeded, terminating
% 234.00/217.10 eprover: CPU time limit exceeded, terminating
% 236.19/219.11 eprover: CPU time limit exceeded, terminating
% 238.36/221.13 eprover: CPU time limit exceeded, terminating
% 240.51/223.14 eprover: CPU time limit exceeded, terminating
% 242.69/225.15 eprover: CPU time limit exceeded, terminating
% 244.86/227.16 eprover: CPU time limit exceeded, terminating
% 247.10/229.18 eprover: CPU time limit exceeded, terminating
% 249.29/231.19 eprover: CPU time limit exceeded, terminating
% 251.46/233.20 eprover: CPU time limit exceeded, terminating
% 253.63/235.21 eprover: CPU time limit exceeded, terminating
% 255.82/237.23 eprover: CPU time limit exceeded, terminating
% 257.98/239.24 eprover: CPU time limit exceeded, terminating
% 260.15/241.25 eprover: CPU time limit exceeded, terminating
% 262.32/243.26 eprover: CPU time limit exceeded, terminating
% 264.48/245.28 eprover: CPU time limit exceeded, terminating
% 266.75/247.29 eprover: CPU time limit exceeded, terminating
% 268.84/249.30 eprover: CPU time limit exceeded, terminating
% 271.11/251.31 eprover: CPU time limit exceeded, terminating
% 273.26/253.32 eprover: CPU time limit exceeded, terminating
% 275.45/255.34 eprover: CPU time limit exceeded, terminating
% 277.61/257.35 eprover: CPU time limit exceeded, terminating
% 279.77/259.36 eprover: CPU time limit exceeded, terminating
% 281.94/261.37 eprover: CPU time limit exceeded, terminating
% 284.11/263.38 eprover: CPU time limit exceeded, terminating
% 286.35/265.39 eprover: CPU time limit exceeded, terminating
% 288.51/267.40 eprover: CPU time limit exceeded, terminating
% 290.70/269.41 eprover: CPU time limit exceeded, terminating
% 292.85/271.42 eprover: CPU time limit exceeded, terminating
% 295.04/273.43 eprover: CPU time limit exceeded, terminating
% 297.18/275.45 eprover: CPU time limit exceeded, terminating
% 299.34/277.47 eprover: CPU time limit exceeded, terminating
% 300.01/278.00 eprover: CPU time limit exceeded, terminating
% 300.01/278.03 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------