TSTP Solution File: ALG217+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : ALG217+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n029.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 : Thu Jul 14 17:00:41 EDT 2022
% Result : Timeout 287.83s 265.39s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.13 % Problem : ALG217+2 : TPTP v8.1.0. Released v3.4.0.
% 0.07/0.14 % Command : run_infinox %s
% 0.14/0.35 % Computer : n029.cluster.edu
% 0.14/0.35 % Model : x86_64 x86_64
% 0.14/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.35 % Memory : 8042.1875MB
% 0.14/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.35 % CPULimit : 300
% 0.14/0.35 % WCLimit : 600
% 0.14/0.35 % DateTime : Wed Jun 8 06:07:36 EDT 2022
% 0.14/0.35 % CPUTime :
% 9.29/9.25 eprover: CPU time limit exceeded, terminating
% 11.44/11.27 eprover: CPU time limit exceeded, terminating
% 13.65/13.29 eprover: CPU time limit exceeded, terminating
% 15.84/15.30 eprover: CPU time limit exceeded, terminating
% 18.05/17.31 eprover: CPU time limit exceeded, terminating
% 20.18/19.33 eprover: CPU time limit exceeded, terminating
% 22.40/21.35 eprover: CPU time limit exceeded, terminating
% 24.62/23.36 eprover: CPU time limit exceeded, terminating
% 26.80/25.38 eprover: CPU time limit exceeded, terminating
% 29.01/27.39 eprover: CPU time limit exceeded, terminating
% 31.19/29.41 eprover: CPU time limit exceeded, terminating
% 33.38/31.43 eprover: CPU time limit exceeded, terminating
% 35.58/33.44 eprover: CPU time limit exceeded, terminating
% 37.81/35.46 eprover: CPU time limit exceeded, terminating
% 39.96/37.47 eprover: CPU time limit exceeded, terminating
% 42.16/39.49 eprover: CPU time limit exceeded, terminating
% 44.36/41.51 eprover: CPU time limit exceeded, terminating
% 46.49/43.52 eprover: CPU time limit exceeded, terminating
% 48.75/45.54 eprover: CPU time limit exceeded, terminating
% 50.93/47.55 eprover: CPU time limit exceeded, terminating
% 53.15/49.57 eprover: CPU time limit exceeded, terminating
% 55.32/51.58 eprover: CPU time limit exceeded, terminating
% 57.54/53.60 eprover: CPU time limit exceeded, terminating
% 59.73/55.62 eprover: CPU time limit exceeded, terminating
% 61.91/57.63 eprover: CPU time limit exceeded, terminating
% 64.14/59.65 eprover: CPU time limit exceeded, terminating
% 66.27/61.66 eprover: CPU time limit exceeded, terminating
% 68.50/63.68 eprover: CPU time limit exceeded, terminating
% 70.72/65.69 eprover: CPU time limit exceeded, terminating
% 72.87/67.70 eprover: CPU time limit exceeded, terminating
% 75.06/69.72 eprover: CPU time limit exceeded, terminating
% 77.30/71.73 eprover: CPU time limit exceeded, terminating
% 79.49/73.75 eprover: CPU time limit exceeded, terminating
% 81.63/75.76 eprover: CPU time limit exceeded, terminating
% 83.85/77.77 eprover: CPU time limit exceeded, terminating
% 86.02/79.79 eprover: CPU time limit exceeded, terminating
% 88.23/81.80 eprover: CPU time limit exceeded, terminating
% 90.44/83.82 eprover: CPU time limit exceeded, terminating
% 92.63/85.83 eprover: CPU time limit exceeded, terminating
% 94.84/87.85 eprover: CPU time limit exceeded, terminating
% 97.00/89.87 eprover: CPU time limit exceeded, terminating
% 99.22/91.88 eprover: CPU time limit exceeded, terminating
% 101.39/93.90 eprover: CPU time limit exceeded, terminating
% 103.58/95.91 eprover: CPU time limit exceeded, terminating
% 105.77/97.93 eprover: CPU time limit exceeded, terminating
% 107.96/99.94 eprover: CPU time limit exceeded, terminating
% 110.20/101.96 eprover: CPU time limit exceeded, terminating
% 112.33/103.98 eprover: CPU time limit exceeded, terminating
% 114.52/106.00 eprover: CPU time limit exceeded, terminating
% 116.73/108.01 eprover: CPU time limit exceeded, terminating
% 118.96/110.02 eprover: CPU time limit exceeded, terminating
% 121.10/112.03 eprover: CPU time limit exceeded, terminating
% 123.31/114.04 eprover: CPU time limit exceeded, terminating
% 125.45/116.06 eprover: CPU time limit exceeded, terminating
% 127.68/118.07 eprover: CPU time limit exceeded, terminating
% 129.81/120.08 eprover: CPU time limit exceeded, terminating
% 132.04/122.09 eprover: CPU time limit exceeded, terminating
% 134.26/124.10 eprover: CPU time limit exceeded, terminating
% 136.40/126.11 eprover: CPU time limit exceeded, terminating
% 138.60/128.12 eprover: CPU time limit exceeded, terminating
% 140.85/130.13 eprover: CPU time limit exceeded, terminating
% 142.98/132.14 eprover: CPU time limit exceeded, terminating
% 145.13/134.16 eprover: CPU time limit exceeded, terminating
% 147.37/136.17 eprover: CPU time limit exceeded, terminating
% 149.57/138.18 eprover: CPU time limit exceeded, terminating
% 151.78/140.20 eprover: CPU time limit exceeded, terminating
% 153.96/142.21 eprover: CPU time limit exceeded, terminating
% 156.14/144.23 eprover: CPU time limit exceeded, terminating
% 158.33/146.25 eprover: CPU time limit exceeded, terminating
% 160.53/148.26 eprover: CPU time limit exceeded, terminating
% 162.73/150.28 eprover: CPU time limit exceeded, terminating
% 164.97/152.30 eprover: CPU time limit exceeded, terminating
% 167.14/154.31 eprover: CPU time limit exceeded, terminating
% 169.31/156.33 eprover: CPU time limit exceeded, terminating
% 171.52/158.34 eprover: CPU time limit exceeded, terminating
% 173.73/160.36 eprover: CPU time limit exceeded, terminating
% 175.87/162.38 eprover: CPU time limit exceeded, terminating
% 178.13/164.39 eprover: CPU time limit exceeded, terminating
% 180.35/166.41 eprover: CPU time limit exceeded, terminating
% 182.56/168.43 eprover: CPU time limit exceeded, terminating
% 184.75/170.44 eprover: CPU time limit exceeded, terminating
% 186.87/172.46 eprover: CPU time limit exceeded, terminating
% 189.07/174.47 eprover: CPU time limit exceeded, terminating
% 191.26/176.49 eprover: CPU time limit exceeded, terminating
% 193.51/178.51 eprover: CPU time limit exceeded, terminating
% 195.73/180.52 eprover: CPU time limit exceeded, terminating
% 197.87/182.54 eprover: CPU time limit exceeded, terminating
% 200.09/184.56 eprover: CPU time limit exceeded, terminating
% 202.27/186.57 eprover: CPU time limit exceeded, terminating
% 204.46/188.59 eprover: CPU time limit exceeded, terminating
% 206.73/190.61 eprover: CPU time limit exceeded, terminating
% 208.91/192.63 eprover: CPU time limit exceeded, terminating
% 211.06/194.66 eprover: CPU time limit exceeded, terminating
% 213.26/196.68 eprover: CPU time limit exceeded, terminating
% 215.52/198.70 eprover: CPU time limit exceeded, terminating
% 217.71/200.72 eprover: CPU time limit exceeded, terminating
% 219.86/202.74 eprover: CPU time limit exceeded, terminating
% 222.02/204.76 eprover: CPU time limit exceeded, terminating
% 224.22/206.79 eprover: CPU time limit exceeded, terminating
% 226.48/208.81 eprover: CPU time limit exceeded, terminating
% 228.64/210.84 eprover: CPU time limit exceeded, terminating
% 230.82/212.86 eprover: CPU time limit exceeded, terminating
% 233.02/214.89 eprover: CPU time limit exceeded, terminating
% 235.27/216.91 eprover: CPU time limit exceeded, terminating
% 237.47/218.93 eprover: CPU time limit exceeded, terminating
% 239.60/220.94 eprover: CPU time limit exceeded, terminating
% 241.82/222.96 eprover: CPU time limit exceeded, terminating
% 244.05/224.99 eprover: CPU time limit exceeded, terminating
% 246.24/227.00 eprover: CPU time limit exceeded, terminating
% 248.44/229.02 eprover: CPU time limit exceeded, terminating
% 250.57/231.05 eprover: CPU time limit exceeded, terminating
% 252.70/233.06 eprover: CPU time limit exceeded, terminating
% 254.90/235.08 eprover: CPU time limit exceeded, terminating
% 257.17/237.10 eprover: CPU time limit exceeded, terminating
% 259.39/239.12 eprover: CPU time limit exceeded, terminating
% 261.53/241.14 eprover: CPU time limit exceeded, terminating
% 263.77/243.16 eprover: CPU time limit exceeded, terminating
% 265.97/245.18 eprover: CPU time limit exceeded, terminating
% 268.16/247.21 eprover: CPU time limit exceeded, terminating
% 270.32/249.23 eprover: CPU time limit exceeded, terminating
% 272.52/251.25 eprover: CPU time limit exceeded, terminating
% 274.73/253.27 eprover: CPU time limit exceeded, terminating
% 276.86/255.29 eprover: CPU time limit exceeded, terminating
% 279.11/257.31 eprover: CPU time limit exceeded, terminating
% 281.32/259.33 eprover: CPU time limit exceeded, terminating
% 283.49/261.35 eprover: CPU time limit exceeded, terminating
% 285.69/263.37 eprover: CPU time limit exceeded, terminating
% 287.83/265.39 eprover: CPU time limit exceeded, terminating
% 290.08/267.42 eprover: CPU time limit exceeded, terminating
% 292.27/269.44 eprover: CPU time limit exceeded, terminating
% 294.45/271.46 eprover: CPU time limit exceeded, terminating
% 296.68/273.48 eprover: CPU time limit exceeded, terminating
% 298.79/275.50 eprover: CPU time limit exceeded, terminating
% 300.07/276.50 eprover: CPU time limit exceeded, terminating
% 300.07/276.52 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------