TSTP Solution File: ALG229+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : ALG229+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n028.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:46 EDT 2022
% Result : Timeout 287.44s 259.39s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : ALG229+2 : TPTP v8.1.0. Released v3.4.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.12/0.34 % Computer : n028.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 600
% 0.12/0.34 % DateTime : Wed Jun 8 03:17:31 EDT 2022
% 0.12/0.34 % CPUTime :
% 13.93/13.93 eprover: CPU time limit exceeded, terminating
% 16.17/15.94 eprover: CPU time limit exceeded, terminating
% 18.42/17.95 eprover: CPU time limit exceeded, terminating
% 20.65/19.96 eprover: CPU time limit exceeded, terminating
% 22.91/21.98 eprover: CPU time limit exceeded, terminating
% 25.14/23.99 eprover: CPU time limit exceeded, terminating
% 27.35/26.00 eprover: CPU time limit exceeded, terminating
% 29.63/28.01 eprover: CPU time limit exceeded, terminating
% 31.84/30.02 eprover: CPU time limit exceeded, terminating
% 34.11/32.04 eprover: CPU time limit exceeded, terminating
% 36.30/34.05 eprover: CPU time limit exceeded, terminating
% 38.59/36.06 eprover: CPU time limit exceeded, terminating
% 40.79/38.07 eprover: CPU time limit exceeded, terminating
% 43.05/40.08 eprover: CPU time limit exceeded, terminating
% 45.32/42.09 eprover: CPU time limit exceeded, terminating
% 47.53/44.11 eprover: CPU time limit exceeded, terminating
% 49.83/46.12 eprover: CPU time limit exceeded, terminating
% 52.07/48.13 eprover: CPU time limit exceeded, terminating
% 54.27/50.14 eprover: CPU time limit exceeded, terminating
% 56.56/52.15 eprover: CPU time limit exceeded, terminating
% 58.83/54.17 eprover: CPU time limit exceeded, terminating
% 61.04/56.18 eprover: CPU time limit exceeded, terminating
% 63.31/58.19 eprover: CPU time limit exceeded, terminating
% 65.50/60.20 eprover: CPU time limit exceeded, terminating
% 67.78/62.21 eprover: CPU time limit exceeded, terminating
% 70.06/64.23 eprover: CPU time limit exceeded, terminating
% 72.21/66.24 eprover: CPU time limit exceeded, terminating
% 74.51/68.25 eprover: CPU time limit exceeded, terminating
% 76.76/70.26 eprover: CPU time limit exceeded, terminating
% 78.97/72.27 eprover: CPU time limit exceeded, terminating
% 81.23/74.29 eprover: CPU time limit exceeded, terminating
% 83.44/76.30 eprover: CPU time limit exceeded, terminating
% 85.70/78.31 eprover: CPU time limit exceeded, terminating
% 87.89/80.32 eprover: CPU time limit exceeded, terminating
% 90.21/82.33 eprover: CPU time limit exceeded, terminating
% 92.45/84.35 eprover: CPU time limit exceeded, terminating
% 94.61/86.36 eprover: CPU time limit exceeded, terminating
% 96.89/88.38 eprover: CPU time limit exceeded, terminating
% 99.17/90.39 eprover: CPU time limit exceeded, terminating
% 101.42/92.40 eprover: CPU time limit exceeded, terminating
% 103.63/94.41 eprover: CPU time limit exceeded, terminating
% 105.89/96.42 eprover: CPU time limit exceeded, terminating
% 108.14/98.43 eprover: CPU time limit exceeded, terminating
% 110.34/100.45 eprover: CPU time limit exceeded, terminating
% 112.59/102.46 eprover: CPU time limit exceeded, terminating
% 114.87/104.47 eprover: CPU time limit exceeded, terminating
% 117.12/106.48 eprover: CPU time limit exceeded, terminating
% 119.32/108.50 eprover: CPU time limit exceeded, terminating
% 121.54/110.51 eprover: CPU time limit exceeded, terminating
% 123.80/112.52 eprover: CPU time limit exceeded, terminating
% 126.08/114.53 eprover: CPU time limit exceeded, terminating
% 128.25/116.54 eprover: CPU time limit exceeded, terminating
% 130.53/118.56 eprover: CPU time limit exceeded, terminating
% 132.79/120.57 eprover: CPU time limit exceeded, terminating
% 135.02/122.58 eprover: CPU time limit exceeded, terminating
% 137.24/124.59 eprover: CPU time limit exceeded, terminating
% 139.47/126.61 eprover: CPU time limit exceeded, terminating
% 141.74/128.62 eprover: CPU time limit exceeded, terminating
% 143.97/130.63 eprover: CPU time limit exceeded, terminating
% 146.25/132.64 eprover: CPU time limit exceeded, terminating
% 148.48/134.65 eprover: CPU time limit exceeded, terminating
% 150.72/136.66 eprover: CPU time limit exceeded, terminating
% 152.95/138.68 eprover: CPU time limit exceeded, terminating
% 155.18/140.69 eprover: CPU time limit exceeded, terminating
% 157.40/142.70 eprover: CPU time limit exceeded, terminating
% 159.69/144.71 eprover: CPU time limit exceeded, terminating
% 161.87/146.73 eprover: CPU time limit exceeded, terminating
% 164.18/148.74 eprover: CPU time limit exceeded, terminating
% 166.42/150.75 eprover: CPU time limit exceeded, terminating
% 168.63/152.76 eprover: CPU time limit exceeded, terminating
% 170.89/154.77 eprover: CPU time limit exceeded, terminating
% 173.14/156.79 eprover: CPU time limit exceeded, terminating
% 175.33/158.80 eprover: CPU time limit exceeded, terminating
% 177.61/160.81 eprover: CPU time limit exceeded, terminating
% 179.88/162.82 eprover: CPU time limit exceeded, terminating
% 182.07/164.83 eprover: CPU time limit exceeded, terminating
% 184.32/166.85 eprover: CPU time limit exceeded, terminating
% 186.58/168.86 eprover: CPU time limit exceeded, terminating
% 188.81/170.87 eprover: CPU time limit exceeded, terminating
% 191.06/172.89 eprover: CPU time limit exceeded, terminating
% 193.32/174.90 eprover: CPU time limit exceeded, terminating
% 195.55/176.91 eprover: CPU time limit exceeded, terminating
% 197.79/178.92 eprover: CPU time limit exceeded, terminating
% 200.00/180.93 eprover: CPU time limit exceeded, terminating
% 202.27/182.95 eprover: CPU time limit exceeded, terminating
% 204.52/184.96 eprover: CPU time limit exceeded, terminating
% 206.78/186.97 eprover: CPU time limit exceeded, terminating
% 208.97/188.98 eprover: CPU time limit exceeded, terminating
% 211.23/191.00 eprover: CPU time limit exceeded, terminating
% 213.43/193.01 eprover: CPU time limit exceeded, terminating
% 215.71/195.02 eprover: CPU time limit exceeded, terminating
% 217.98/197.03 eprover: CPU time limit exceeded, terminating
% 220.17/199.04 eprover: CPU time limit exceeded, terminating
% 222.48/201.06 eprover: CPU time limit exceeded, terminating
% 224.66/203.07 eprover: CPU time limit exceeded, terminating
% 226.92/205.08 eprover: CPU time limit exceeded, terminating
% 229.20/207.09 eprover: CPU time limit exceeded, terminating
% 231.36/209.10 eprover: CPU time limit exceeded, terminating
% 233.65/211.12 eprover: CPU time limit exceeded, terminating
% 235.92/213.13 eprover: CPU time limit exceeded, terminating
% 238.16/215.14 eprover: CPU time limit exceeded, terminating
% 240.36/217.15 eprover: CPU time limit exceeded, terminating
% 242.62/219.16 eprover: CPU time limit exceeded, terminating
% 244.82/221.17 eprover: CPU time limit exceeded, terminating
% 247.05/223.18 eprover: CPU time limit exceeded, terminating
% 249.31/225.19 eprover: CPU time limit exceeded, terminating
% 251.57/227.20 eprover: CPU time limit exceeded, terminating
% 253.80/229.21 eprover: CPU time limit exceeded, terminating
% 256.07/231.22 eprover: CPU time limit exceeded, terminating
% 258.24/233.24 eprover: CPU time limit exceeded, terminating
% 260.55/235.25 eprover: CPU time limit exceeded, terminating
% 262.74/237.26 eprover: CPU time limit exceeded, terminating
% 265.00/239.27 eprover: CPU time limit exceeded, terminating
% 267.27/241.29 eprover: CPU time limit exceeded, terminating
% 269.50/243.30 eprover: CPU time limit exceeded, terminating
% 271.70/245.31 eprover: CPU time limit exceeded, terminating
% 273.99/247.32 eprover: CPU time limit exceeded, terminating
% 276.18/249.33 eprover: CPU time limit exceeded, terminating
% 278.47/251.34 eprover: CPU time limit exceeded, terminating
% 280.66/253.36 eprover: CPU time limit exceeded, terminating
% 282.96/255.37 eprover: CPU time limit exceeded, terminating
% 285.17/257.38 eprover: CPU time limit exceeded, terminating
% 287.44/259.39 eprover: CPU time limit exceeded, terminating
% 289.64/261.41 eprover: CPU time limit exceeded, terminating
% 291.90/263.42 eprover: CPU time limit exceeded, terminating
% 294.15/265.43 eprover: CPU time limit exceeded, terminating
% 296.42/267.44 eprover: CPU time limit exceeded, terminating
% 298.68/269.45 eprover: CPU time limit exceeded, terminating
% 300.03/270.57 eprover: CPU time limit exceeded, terminating
% 300.03/270.59 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------