TSTP Solution File: TOP030+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : TOP030+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n024.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 21 21:26:33 EDT 2022
% Result : Timeout 287.83s 263.09s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.05/0.12 % Problem : TOP030+2 : TPTP v8.1.0. Released v3.4.0.
% 0.05/0.12 % Command : run_infinox %s
% 0.09/0.33 % Computer : n024.cluster.edu
% 0.09/0.33 % Model : x86_64 x86_64
% 0.09/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.09/0.33 % Memory : 8042.1875MB
% 0.09/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.09/0.33 % CPULimit : 300
% 0.09/0.33 % WCLimit : 600
% 0.09/0.33 % DateTime : Sun May 29 13:10:37 EDT 2022
% 0.09/0.33 % CPUTime :
% 13.26/13.59 eprover: CPU time limit exceeded, terminating
% 15.42/15.60 eprover: CPU time limit exceeded, terminating
% 17.66/17.61 eprover: CPU time limit exceeded, terminating
% 19.77/19.62 eprover: CPU time limit exceeded, terminating
% 22.03/21.63 eprover: CPU time limit exceeded, terminating
% 24.22/23.64 eprover: CPU time limit exceeded, terminating
% 26.38/25.65 eprover: CPU time limit exceeded, terminating
% 28.61/27.66 eprover: CPU time limit exceeded, terminating
% 30.86/29.68 eprover: CPU time limit exceeded, terminating
% 32.99/31.69 eprover: CPU time limit exceeded, terminating
% 35.21/33.70 eprover: CPU time limit exceeded, terminating
% 37.44/35.71 eprover: CPU time limit exceeded, terminating
% 39.64/37.72 eprover: CPU time limit exceeded, terminating
% 41.83/39.73 eprover: CPU time limit exceeded, terminating
% 44.01/41.75 eprover: CPU time limit exceeded, terminating
% 46.26/43.76 eprover: CPU time limit exceeded, terminating
% 48.39/45.77 eprover: CPU time limit exceeded, terminating
% 50.63/47.78 eprover: CPU time limit exceeded, terminating
% 52.80/49.80 eprover: CPU time limit exceeded, terminating
% 55.03/51.81 eprover: CPU time limit exceeded, terminating
% 57.23/53.82 eprover: CPU time limit exceeded, terminating
% 59.44/55.83 eprover: CPU time limit exceeded, terminating
% 61.59/57.84 eprover: CPU time limit exceeded, terminating
% 63.81/59.86 eprover: CPU time limit exceeded, terminating
% 66.03/61.87 eprover: CPU time limit exceeded, terminating
% 68.18/63.88 eprover: CPU time limit exceeded, terminating
% 70.44/65.89 eprover: CPU time limit exceeded, terminating
% 72.64/67.91 eprover: CPU time limit exceeded, terminating
% 74.80/69.92 eprover: CPU time limit exceeded, terminating
% 77.02/71.93 eprover: CPU time limit exceeded, terminating
% 79.19/73.94 eprover: CPU time limit exceeded, terminating
% 81.42/75.95 eprover: CPU time limit exceeded, terminating
% 83.58/77.97 eprover: CPU time limit exceeded, terminating
% 85.78/79.98 eprover: CPU time limit exceeded, terminating
% 88.01/81.99 eprover: CPU time limit exceeded, terminating
% 90.23/84.00 eprover: CPU time limit exceeded, terminating
% 92.41/86.01 eprover: CPU time limit exceeded, terminating
% 94.62/88.03 eprover: CPU time limit exceeded, terminating
% 96.77/90.04 eprover: CPU time limit exceeded, terminating
% 98.99/92.05 eprover: CPU time limit exceeded, terminating
% 101.19/94.06 eprover: CPU time limit exceeded, terminating
% 103.37/96.07 eprover: CPU time limit exceeded, terminating
% 105.54/98.09 eprover: CPU time limit exceeded, terminating
% 107.79/100.10 eprover: CPU time limit exceeded, terminating
% 109.90/102.11 eprover: CPU time limit exceeded, terminating
% 114.18/104.12 eprover: CPU time limit exceeded, terminating
% 116.37/106.13 eprover: CPU time limit exceeded, terminating
% 118.56/108.14 eprover: CPU time limit exceeded, terminating
% 120.76/110.15 eprover: CPU time limit exceeded, terminating
% 122.95/112.17 eprover: CPU time limit exceeded, terminating
% 125.14/114.18 eprover: CPU time limit exceeded, terminating
% 127.40/116.19 eprover: CPU time limit exceeded, terminating
% 129.52/118.20 eprover: CPU time limit exceeded, terminating
% 131.79/120.22 eprover: CPU time limit exceeded, terminating
% 133.98/122.23 eprover: CPU time limit exceeded, terminating
% 136.17/124.24 eprover: CPU time limit exceeded, terminating
% 138.33/126.25 eprover: CPU time limit exceeded, terminating
% 140.55/128.26 eprover: CPU time limit exceeded, terminating
% 142.73/130.28 eprover: CPU time limit exceeded, terminating
% 144.98/132.29 eprover: CPU time limit exceeded, terminating
% 147.18/134.30 eprover: CPU time limit exceeded, terminating
% 149.37/136.31 eprover: CPU time limit exceeded, terminating
% 151.54/138.32 eprover: CPU time limit exceeded, terminating
% 153.74/140.34 eprover: CPU time limit exceeded, terminating
% 155.96/142.35 eprover: CPU time limit exceeded, terminating
% 158.14/144.36 eprover: CPU time limit exceeded, terminating
% 160.29/146.37 eprover: CPU time limit exceeded, terminating
% 162.50/148.38 eprover: CPU time limit exceeded, terminating
% 164.69/150.40 eprover: CPU time limit exceeded, terminating
% 166.96/152.41 eprover: CPU time limit exceeded, terminating
% 169.16/154.42 eprover: CPU time limit exceeded, terminating
% 171.33/156.43 eprover: CPU time limit exceeded, terminating
% 173.54/158.45 eprover: CPU time limit exceeded, terminating
% 175.71/160.46 eprover: CPU time limit exceeded, terminating
% 177.91/162.48 eprover: CPU time limit exceeded, terminating
% 180.16/164.49 eprover: CPU time limit exceeded, terminating
% 182.35/166.50 eprover: CPU time limit exceeded, terminating
% 184.47/168.51 eprover: CPU time limit exceeded, terminating
% 186.74/170.52 eprover: CPU time limit exceeded, terminating
% 188.90/172.55 eprover: CPU time limit exceeded, terminating
% 191.11/174.56 eprover: CPU time limit exceeded, terminating
% 193.31/176.57 eprover: CPU time limit exceeded, terminating
% 195.48/178.58 eprover: CPU time limit exceeded, terminating
% 197.75/180.60 eprover: CPU time limit exceeded, terminating
% 199.97/182.61 eprover: CPU time limit exceeded, terminating
% 202.14/184.62 eprover: CPU time limit exceeded, terminating
% 204.32/186.63 eprover: CPU time limit exceeded, terminating
% 206.52/188.65 eprover: CPU time limit exceeded, terminating
% 208.73/190.66 eprover: CPU time limit exceeded, terminating
% 210.87/192.67 eprover: CPU time limit exceeded, terminating
% 213.09/194.68 eprover: CPU time limit exceeded, terminating
% 215.28/196.70 eprover: CPU time limit exceeded, terminating
% 217.56/198.71 eprover: CPU time limit exceeded, terminating
% 219.72/200.72 eprover: CPU time limit exceeded, terminating
% 221.94/202.73 eprover: CPU time limit exceeded, terminating
% 224.12/204.75 eprover: CPU time limit exceeded, terminating
% 226.27/206.76 eprover: CPU time limit exceeded, terminating
% 228.48/208.77 eprover: CPU time limit exceeded, terminating
% 230.69/210.78 eprover: CPU time limit exceeded, terminating
% 232.86/212.79 eprover: CPU time limit exceeded, terminating
% 235.13/214.80 eprover: CPU time limit exceeded, terminating
% 237.33/216.82 eprover: CPU time limit exceeded, terminating
% 239.51/218.83 eprover: CPU time limit exceeded, terminating
% 241.67/220.84 eprover: CPU time limit exceeded, terminating
% 243.88/222.85 eprover: CPU time limit exceeded, terminating
% 246.11/224.86 eprover: CPU time limit exceeded, terminating
% 248.27/226.88 eprover: CPU time limit exceeded, terminating
% 250.47/228.89 eprover: CPU time limit exceeded, terminating
% 252.74/230.90 eprover: CPU time limit exceeded, terminating
% 254.91/232.91 eprover: CPU time limit exceeded, terminating
% 257.10/234.92 eprover: CPU time limit exceeded, terminating
% 259.31/236.94 eprover: CPU time limit exceeded, terminating
% 261.50/238.95 eprover: CPU time limit exceeded, terminating
% 263.66/240.96 eprover: CPU time limit exceeded, terminating
% 265.86/242.97 eprover: CPU time limit exceeded, terminating
% 268.05/244.98 eprover: CPU time limit exceeded, terminating
% 270.31/246.99 eprover: CPU time limit exceeded, terminating
% 272.50/249.00 eprover: CPU time limit exceeded, terminating
% 274.71/251.01 eprover: CPU time limit exceeded, terminating
% 276.91/253.03 eprover: CPU time limit exceeded, terminating
% 279.08/255.04 eprover: CPU time limit exceeded, terminating
% 281.28/257.05 eprover: CPU time limit exceeded, terminating
% 283.44/259.06 eprover: CPU time limit exceeded, terminating
% 285.65/261.07 eprover: CPU time limit exceeded, terminating
% 287.83/263.09 eprover: CPU time limit exceeded, terminating
% 290.02/265.10 eprover: CPU time limit exceeded, terminating
% 292.29/267.11 eprover: CPU time limit exceeded, terminating
% 294.39/269.12 eprover: CPU time limit exceeded, terminating
% 296.68/271.13 eprover: CPU time limit exceeded, terminating
% 298.88/273.15 eprover: CPU time limit exceeded, terminating
% 300.04/274.11 eprover: CPU time limit exceeded, terminating
% 300.04/274.13 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------