TSTP Solution File: GRP623+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : GRP623+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n011.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:40 EDT 2022
% Result : Timeout 287.27s 263.28s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.12 % Problem : GRP623+2 : TPTP v8.1.0. Released v3.4.0.
% 0.11/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n011.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 13 12:11:49 EDT 2022
% 0.12/0.33 % CPUTime :
% 9.75/9.77 eprover: CPU time limit exceeded, terminating
% 11.99/11.78 eprover: CPU time limit exceeded, terminating
% 14.20/13.79 eprover: CPU time limit exceeded, terminating
% 16.35/15.81 eprover: CPU time limit exceeded, terminating
% 18.54/17.82 eprover: CPU time limit exceeded, terminating
% 20.78/19.83 eprover: CPU time limit exceeded, terminating
% 22.97/21.84 eprover: CPU time limit exceeded, terminating
% 25.13/23.85 eprover: CPU time limit exceeded, terminating
% 27.37/25.86 eprover: CPU time limit exceeded, terminating
% 29.53/27.88 eprover: CPU time limit exceeded, terminating
% 31.78/29.89 eprover: CPU time limit exceeded, terminating
% 34.00/31.90 eprover: CPU time limit exceeded, terminating
% 36.21/33.91 eprover: CPU time limit exceeded, terminating
% 38.39/35.92 eprover: CPU time limit exceeded, terminating
% 40.58/37.93 eprover: CPU time limit exceeded, terminating
% 42.79/39.95 eprover: CPU time limit exceeded, terminating
% 44.97/41.96 eprover: CPU time limit exceeded, terminating
% 47.21/43.97 eprover: CPU time limit exceeded, terminating
% 49.40/45.98 eprover: CPU time limit exceeded, terminating
% 51.67/47.99 eprover: CPU time limit exceeded, terminating
% 53.88/50.01 eprover: CPU time limit exceeded, terminating
% 56.07/52.02 eprover: CPU time limit exceeded, terminating
% 58.27/54.03 eprover: CPU time limit exceeded, terminating
% 60.45/56.04 eprover: CPU time limit exceeded, terminating
% 62.65/58.05 eprover: CPU time limit exceeded, terminating
% 64.84/60.06 eprover: CPU time limit exceeded, terminating
% 67.04/62.08 eprover: CPU time limit exceeded, terminating
% 69.26/64.09 eprover: CPU time limit exceeded, terminating
% 71.44/66.10 eprover: CPU time limit exceeded, terminating
% 73.73/68.11 eprover: CPU time limit exceeded, terminating
% 75.94/70.12 eprover: CPU time limit exceeded, terminating
% 78.12/72.13 eprover: CPU time limit exceeded, terminating
% 80.28/74.15 eprover: CPU time limit exceeded, terminating
% 82.50/76.16 eprover: CPU time limit exceeded, terminating
% 84.70/78.17 eprover: CPU time limit exceeded, terminating
% 86.85/80.18 eprover: CPU time limit exceeded, terminating
% 89.13/82.20 eprover: CPU time limit exceeded, terminating
% 91.35/84.21 eprover: CPU time limit exceeded, terminating
% 93.57/86.22 eprover: CPU time limit exceeded, terminating
% 95.72/88.23 eprover: CPU time limit exceeded, terminating
% 97.93/90.24 eprover: CPU time limit exceeded, terminating
% 100.17/92.26 eprover: CPU time limit exceeded, terminating
% 102.33/94.27 eprover: CPU time limit exceeded, terminating
% 104.59/96.28 eprover: CPU time limit exceeded, terminating
% 106.72/98.29 eprover: CPU time limit exceeded, terminating
% 108.94/100.30 eprover: CPU time limit exceeded, terminating
% 111.22/102.32 eprover: CPU time limit exceeded, terminating
% 113.38/104.33 eprover: CPU time limit exceeded, terminating
% 115.59/106.34 eprover: CPU time limit exceeded, terminating
% 117.79/108.35 eprover: CPU time limit exceeded, terminating
% 119.95/110.36 eprover: CPU time limit exceeded, terminating
% 122.15/112.38 eprover: CPU time limit exceeded, terminating
% 124.36/114.39 eprover: CPU time limit exceeded, terminating
% 126.55/116.40 eprover: CPU time limit exceeded, terminating
% 128.82/118.41 eprover: CPU time limit exceeded, terminating
% 131.03/120.42 eprover: CPU time limit exceeded, terminating
% 133.24/122.43 eprover: CPU time limit exceeded, terminating
% 135.40/124.45 eprover: CPU time limit exceeded, terminating
% 137.59/126.46 eprover: CPU time limit exceeded, terminating
% 139.82/128.47 eprover: CPU time limit exceeded, terminating
% 142.05/130.48 eprover: CPU time limit exceeded, terminating
% 144.27/132.49 eprover: CPU time limit exceeded, terminating
% 146.45/134.51 eprover: CPU time limit exceeded, terminating
% 148.63/136.52 eprover: CPU time limit exceeded, terminating
% 150.86/138.53 eprover: CPU time limit exceeded, terminating
% 153.03/140.54 eprover: CPU time limit exceeded, terminating
% 155.24/142.55 eprover: CPU time limit exceeded, terminating
% 157.42/144.57 eprover: CPU time limit exceeded, terminating
% 159.60/146.58 eprover: CPU time limit exceeded, terminating
% 161.91/148.59 eprover: CPU time limit exceeded, terminating
% 164.10/150.60 eprover: CPU time limit exceeded, terminating
% 166.30/152.62 eprover: CPU time limit exceeded, terminating
% 168.45/154.63 eprover: CPU time limit exceeded, terminating
% 170.66/156.65 eprover: CPU time limit exceeded, terminating
% 172.87/158.66 eprover: CPU time limit exceeded, terminating
% 175.05/160.67 eprover: CPU time limit exceeded, terminating
% 177.30/162.68 eprover: CPU time limit exceeded, terminating
% 179.42/164.69 eprover: CPU time limit exceeded, terminating
% 181.69/166.70 eprover: CPU time limit exceeded, terminating
% 183.88/168.72 eprover: CPU time limit exceeded, terminating
% 186.10/170.73 eprover: CPU time limit exceeded, terminating
% 188.31/172.74 eprover: CPU time limit exceeded, terminating
% 190.48/174.75 eprover: CPU time limit exceeded, terminating
% 192.64/176.77 eprover: CPU time limit exceeded, terminating
% 194.83/178.78 eprover: CPU time limit exceeded, terminating
% 197.05/180.79 eprover: CPU time limit exceeded, terminating
% 199.33/182.80 eprover: CPU time limit exceeded, terminating
% 201.50/184.81 eprover: CPU time limit exceeded, terminating
% 203.74/186.82 eprover: CPU time limit exceeded, terminating
% 205.91/188.84 eprover: CPU time limit exceeded, terminating
% 208.11/190.85 eprover: CPU time limit exceeded, terminating
% 210.30/192.86 eprover: CPU time limit exceeded, terminating
% 212.50/194.87 eprover: CPU time limit exceeded, terminating
% 214.67/196.89 eprover: CPU time limit exceeded, terminating
% 216.94/198.90 eprover: CPU time limit exceeded, terminating
% 219.16/200.91 eprover: CPU time limit exceeded, terminating
% 221.35/202.92 eprover: CPU time limit exceeded, terminating
% 223.52/204.93 eprover: CPU time limit exceeded, terminating
% 225.72/206.95 eprover: CPU time limit exceeded, terminating
% 227.91/208.96 eprover: CPU time limit exceeded, terminating
% 230.08/210.97 eprover: CPU time limit exceeded, terminating
% 232.30/212.98 eprover: CPU time limit exceeded, terminating
% 234.57/214.99 eprover: CPU time limit exceeded, terminating
% 236.74/217.01 eprover: CPU time limit exceeded, terminating
% 238.97/219.02 eprover: CPU time limit exceeded, terminating
% 241.16/221.03 eprover: CPU time limit exceeded, terminating
% 243.34/223.04 eprover: CPU time limit exceeded, terminating
% 245.53/225.05 eprover: CPU time limit exceeded, terminating
% 247.74/227.07 eprover: CPU time limit exceeded, terminating
% 249.94/229.08 eprover: CPU time limit exceeded, terminating
% 252.15/231.09 eprover: CPU time limit exceeded, terminating
% 254.35/233.10 eprover: CPU time limit exceeded, terminating
% 256.53/235.11 eprover: CPU time limit exceeded, terminating
% 258.74/237.12 eprover: CPU time limit exceeded, terminating
% 260.92/239.14 eprover: CPU time limit exceeded, terminating
% 263.13/241.15 eprover: CPU time limit exceeded, terminating
% 265.30/243.16 eprover: CPU time limit exceeded, terminating
% 267.51/245.17 eprover: CPU time limit exceeded, terminating
% 269.71/247.18 eprover: CPU time limit exceeded, terminating
% 271.91/249.20 eprover: CPU time limit exceeded, terminating
% 274.13/251.21 eprover: CPU time limit exceeded, terminating
% 276.32/253.22 eprover: CPU time limit exceeded, terminating
% 278.52/255.23 eprover: CPU time limit exceeded, terminating
% 280.69/257.24 eprover: CPU time limit exceeded, terminating
% 282.89/259.26 eprover: CPU time limit exceeded, terminating
% 285.07/261.27 eprover: CPU time limit exceeded, terminating
% 287.27/263.28 eprover: CPU time limit exceeded, terminating
% 289.55/265.29 eprover: CPU time limit exceeded, terminating
% 291.76/267.30 eprover: CPU time limit exceeded, terminating
% 293.94/269.32 eprover: CPU time limit exceeded, terminating
% 296.13/271.33 eprover: CPU time limit exceeded, terminating
% 298.35/273.34 eprover: CPU time limit exceeded, terminating
% 300.12/274.91 eprover: CPU time limit exceeded, terminating
% 300.12/274.93 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------