TSTP Solution File: GRP634+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : GRP634+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n005.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 : Sat Jul 16 09:33:47 EDT 2022
% Result : Timeout 286.01s 261.44s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.13/0.13 % Problem : GRP634+2 : TPTP v8.1.0. Released v3.4.0.
% 0.13/0.14 % Command : run_infinox %s
% 0.14/0.36 % Computer : n005.cluster.edu
% 0.14/0.36 % Model : x86_64 x86_64
% 0.14/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.36 % Memory : 8042.1875MB
% 0.14/0.36 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.36 % CPULimit : 300
% 0.14/0.36 % WCLimit : 600
% 0.14/0.36 % DateTime : Mon Jun 13 22:16:39 EDT 2022
% 0.14/0.36 % CPUTime :
% 9.65/9.67 eprover: CPU time limit exceeded, terminating
% 11.91/11.69 eprover: CPU time limit exceeded, terminating
% 14.12/13.70 eprover: CPU time limit exceeded, terminating
% 16.30/15.71 eprover: CPU time limit exceeded, terminating
% 18.48/17.73 eprover: CPU time limit exceeded, terminating
% 20.71/19.75 eprover: CPU time limit exceeded, terminating
% 22.95/21.76 eprover: CPU time limit exceeded, terminating
% 25.16/23.78 eprover: CPU time limit exceeded, terminating
% 27.38/25.79 eprover: CPU time limit exceeded, terminating
% 29.60/27.81 eprover: CPU time limit exceeded, terminating
% 31.79/29.83 eprover: CPU time limit exceeded, terminating
% 34.04/31.84 eprover: CPU time limit exceeded, terminating
% 36.21/33.86 eprover: CPU time limit exceeded, terminating
% 38.48/35.87 eprover: CPU time limit exceeded, terminating
% 40.70/37.89 eprover: CPU time limit exceeded, terminating
% 42.93/39.90 eprover: CPU time limit exceeded, terminating
% 45.06/41.92 eprover: CPU time limit exceeded, terminating
% 47.31/43.93 eprover: CPU time limit exceeded, terminating
% 49.58/45.95 eprover: CPU time limit exceeded, terminating
% 51.75/47.97 eprover: CPU time limit exceeded, terminating
% 54.01/49.98 eprover: CPU time limit exceeded, terminating
% 56.21/52.00 eprover: CPU time limit exceeded, terminating
% 58.45/54.01 eprover: CPU time limit exceeded, terminating
% 60.62/56.03 eprover: CPU time limit exceeded, terminating
% 62.85/58.05 eprover: CPU time limit exceeded, terminating
% 65.04/60.06 eprover: CPU time limit exceeded, terminating
% 67.27/62.08 eprover: CPU time limit exceeded, terminating
% 69.53/64.09 eprover: CPU time limit exceeded, terminating
% 71.75/66.11 eprover: CPU time limit exceeded, terminating
% 73.88/68.12 eprover: CPU time limit exceeded, terminating
% 76.11/70.14 eprover: CPU time limit exceeded, terminating
% 78.38/72.16 eprover: CPU time limit exceeded, terminating
% 80.54/74.17 eprover: CPU time limit exceeded, terminating
% 82.79/76.19 eprover: CPU time limit exceeded, terminating
% 84.96/78.20 eprover: CPU time limit exceeded, terminating
% 87.19/80.22 eprover: CPU time limit exceeded, terminating
% 89.45/82.23 eprover: CPU time limit exceeded, terminating
% 91.65/84.25 eprover: CPU time limit exceeded, terminating
% 93.85/86.27 eprover: CPU time limit exceeded, terminating
% 96.04/88.28 eprover: CPU time limit exceeded, terminating
% 98.33/90.30 eprover: CPU time limit exceeded, terminating
% 100.54/92.31 eprover: CPU time limit exceeded, terminating
% 102.71/94.33 eprover: CPU time limit exceeded, terminating
% 104.95/96.34 eprover: CPU time limit exceeded, terminating
% 107.19/98.36 eprover: CPU time limit exceeded, terminating
% 109.31/100.37 eprover: CPU time limit exceeded, terminating
% 111.61/102.39 eprover: CPU time limit exceeded, terminating
% 113.83/104.41 eprover: CPU time limit exceeded, terminating
% 116.03/106.42 eprover: CPU time limit exceeded, terminating
% 118.25/108.44 eprover: CPU time limit exceeded, terminating
% 120.43/110.45 eprover: CPU time limit exceeded, terminating
% 122.67/112.47 eprover: CPU time limit exceeded, terminating
% 124.86/114.48 eprover: CPU time limit exceeded, terminating
% 127.06/116.50 eprover: CPU time limit exceeded, terminating
% 129.30/118.51 eprover: CPU time limit exceeded, terminating
% 131.42/120.53 eprover: CPU time limit exceeded, terminating
% 133.67/122.55 eprover: CPU time limit exceeded, terminating
% 135.94/124.56 eprover: CPU time limit exceeded, terminating
% 138.16/126.58 eprover: CPU time limit exceeded, terminating
% 140.36/128.59 eprover: CPU time limit exceeded, terminating
% 142.60/130.60 eprover: CPU time limit exceeded, terminating
% 144.83/132.62 eprover: CPU time limit exceeded, terminating
% 147.00/134.63 eprover: CPU time limit exceeded, terminating
% 149.23/136.65 eprover: CPU time limit exceeded, terminating
% 151.46/138.67 eprover: CPU time limit exceeded, terminating
% 153.66/140.68 eprover: CPU time limit exceeded, terminating
% 155.87/142.69 eprover: CPU time limit exceeded, terminating
% 158.13/144.71 eprover: CPU time limit exceeded, terminating
% 160.32/146.72 eprover: CPU time limit exceeded, terminating
% 162.53/148.74 eprover: CPU time limit exceeded, terminating
% 164.69/150.76 eprover: CPU time limit exceeded, terminating
% 166.93/152.77 eprover: CPU time limit exceeded, terminating
% 169.18/154.78 eprover: CPU time limit exceeded, terminating
% 171.38/156.79 eprover: CPU time limit exceeded, terminating
% 173.59/158.80 eprover: CPU time limit exceeded, terminating
% 175.79/160.81 eprover: CPU time limit exceeded, terminating
% 178.00/162.82 eprover: CPU time limit exceeded, terminating
% 180.15/164.84 eprover: CPU time limit exceeded, terminating
% 182.37/166.85 eprover: CPU time limit exceeded, terminating
% 184.54/168.86 eprover: CPU time limit exceeded, terminating
% 186.78/170.87 eprover: CPU time limit exceeded, terminating
% 189.03/172.88 eprover: CPU time limit exceeded, terminating
% 191.19/174.90 eprover: CPU time limit exceeded, terminating
% 193.43/176.91 eprover: CPU time limit exceeded, terminating
% 195.60/178.92 eprover: CPU time limit exceeded, terminating
% 197.83/180.93 eprover: CPU time limit exceeded, terminating
% 199.98/182.94 eprover: CPU time limit exceeded, terminating
% 202.23/184.95 eprover: CPU time limit exceeded, terminating
% 204.39/186.97 eprover: CPU time limit exceeded, terminating
% 206.65/188.98 eprover: CPU time limit exceeded, terminating
% 208.80/190.99 eprover: CPU time limit exceeded, terminating
% 211.01/193.00 eprover: CPU time limit exceeded, terminating
% 213.27/195.01 eprover: CPU time limit exceeded, terminating
% 215.48/197.02 eprover: CPU time limit exceeded, terminating
% 217.65/199.04 eprover: CPU time limit exceeded, terminating
% 219.86/201.05 eprover: CPU time limit exceeded, terminating
% 222.08/203.06 eprover: CPU time limit exceeded, terminating
% 224.25/205.07 eprover: CPU time limit exceeded, terminating
% 226.51/207.09 eprover: CPU time limit exceeded, terminating
% 228.70/209.10 eprover: CPU time limit exceeded, terminating
% 230.90/211.11 eprover: CPU time limit exceeded, terminating
% 233.12/213.12 eprover: CPU time limit exceeded, terminating
% 235.29/215.14 eprover: CPU time limit exceeded, terminating
% 237.52/217.15 eprover: CPU time limit exceeded, terminating
% 239.68/219.16 eprover: CPU time limit exceeded, terminating
% 241.93/221.18 eprover: CPU time limit exceeded, terminating
% 244.06/223.19 eprover: CPU time limit exceeded, terminating
% 246.30/225.20 eprover: CPU time limit exceeded, terminating
% 248.54/227.21 eprover: CPU time limit exceeded, terminating
% 250.69/229.23 eprover: CPU time limit exceeded, terminating
% 252.88/231.24 eprover: CPU time limit exceeded, terminating
% 255.10/233.25 eprover: CPU time limit exceeded, terminating
% 257.32/235.26 eprover: CPU time limit exceeded, terminating
% 259.48/237.27 eprover: CPU time limit exceeded, terminating
% 261.70/239.28 eprover: CPU time limit exceeded, terminating
% 263.94/241.31 eprover: CPU time limit exceeded, terminating
% 266.12/243.32 eprover: CPU time limit exceeded, terminating
% 268.34/245.34 eprover: CPU time limit exceeded, terminating
% 270.47/247.35 eprover: CPU time limit exceeded, terminating
% 272.74/249.36 eprover: CPU time limit exceeded, terminating
% 274.89/251.37 eprover: CPU time limit exceeded, terminating
% 277.17/253.38 eprover: CPU time limit exceeded, terminating
% 279.37/255.40 eprover: CPU time limit exceeded, terminating
% 281.57/257.41 eprover: CPU time limit exceeded, terminating
% 283.75/259.42 eprover: CPU time limit exceeded, terminating
% 286.01/261.44 eprover: CPU time limit exceeded, terminating
% 288.19/263.45 eprover: CPU time limit exceeded, terminating
% 290.37/265.47 eprover: CPU time limit exceeded, terminating
% 292.60/267.48 eprover: CPU time limit exceeded, terminating
% 294.76/269.50 eprover: CPU time limit exceeded, terminating
% 297.05/271.51 eprover: CPU time limit exceeded, terminating
% 299.28/273.53 eprover: CPU time limit exceeded, terminating
% 300.10/274.24 eprover: CPU time limit exceeded, terminating
% 300.10/274.26 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------