TSTP Solution File: TOP034+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : TOP034+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n026.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:34 EDT 2022
% Result : Timeout 287.76s 263.65s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.12 % Problem : TOP034+2 : TPTP v8.1.0. Released v3.4.0.
% 0.12/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n026.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.20/0.34 % CPULimit : 300
% 0.20/0.34 % WCLimit : 600
% 0.20/0.34 % DateTime : Sun May 29 14:37:25 EDT 2022
% 0.20/0.34 % CPUTime :
% 9.45/9.44 eprover: CPU time limit exceeded, terminating
% 11.67/11.45 eprover: CPU time limit exceeded, terminating
% 13.84/13.47 eprover: CPU time limit exceeded, terminating
% 16.10/15.49 eprover: CPU time limit exceeded, terminating
% 18.27/17.51 eprover: CPU time limit exceeded, terminating
% 20.49/19.53 eprover: CPU time limit exceeded, terminating
% 22.65/21.55 eprover: CPU time limit exceeded, terminating
% 24.83/23.57 eprover: CPU time limit exceeded, terminating
% 27.07/25.58 eprover: CPU time limit exceeded, terminating
% 29.27/27.60 eprover: CPU time limit exceeded, terminating
% 31.51/29.61 eprover: CPU time limit exceeded, terminating
% 33.74/31.63 eprover: CPU time limit exceeded, terminating
% 35.94/33.65 eprover: CPU time limit exceeded, terminating
% 38.14/35.67 eprover: CPU time limit exceeded, terminating
% 40.36/37.68 eprover: CPU time limit exceeded, terminating
% 42.52/39.69 eprover: CPU time limit exceeded, terminating
% 44.73/41.71 eprover: CPU time limit exceeded, terminating
% 46.98/43.72 eprover: CPU time limit exceeded, terminating
% 49.16/45.74 eprover: CPU time limit exceeded, terminating
% 51.43/47.75 eprover: CPU time limit exceeded, terminating
% 53.56/49.77 eprover: CPU time limit exceeded, terminating
% 55.83/51.79 eprover: CPU time limit exceeded, terminating
% 58.02/53.81 eprover: CPU time limit exceeded, terminating
% 60.28/55.83 eprover: CPU time limit exceeded, terminating
% 62.41/57.84 eprover: CPU time limit exceeded, terminating
% 64.67/59.85 eprover: CPU time limit exceeded, terminating
% 66.93/61.87 eprover: CPU time limit exceeded, terminating
% 69.09/63.89 eprover: CPU time limit exceeded, terminating
% 71.35/65.91 eprover: CPU time limit exceeded, terminating
% 73.56/67.92 eprover: CPU time limit exceeded, terminating
% 75.78/69.93 eprover: CPU time limit exceeded, terminating
% 77.98/71.95 eprover: CPU time limit exceeded, terminating
% 80.21/73.97 eprover: CPU time limit exceeded, terminating
% 82.42/75.99 eprover: CPU time limit exceeded, terminating
% 84.62/78.02 eprover: CPU time limit exceeded, terminating
% 86.83/80.04 eprover: CPU time limit exceeded, terminating
% 89.02/82.06 eprover: CPU time limit exceeded, terminating
% 91.20/84.07 eprover: CPU time limit exceeded, terminating
% 93.46/86.09 eprover: CPU time limit exceeded, terminating
% 95.69/88.12 eprover: CPU time limit exceeded, terminating
% 97.93/90.15 eprover: CPU time limit exceeded, terminating
% 100.13/92.17 eprover: CPU time limit exceeded, terminating
% 102.27/94.19 eprover: CPU time limit exceeded, terminating
% 104.53/96.20 eprover: CPU time limit exceeded, terminating
% 106.72/98.22 eprover: CPU time limit exceeded, terminating
% 108.93/100.23 eprover: CPU time limit exceeded, terminating
% 111.15/102.25 eprover: CPU time limit exceeded, terminating
% 113.38/104.28 eprover: CPU time limit exceeded, terminating
% 115.61/106.29 eprover: CPU time limit exceeded, terminating
% 117.78/108.32 eprover: CPU time limit exceeded, terminating
% 120.01/110.34 eprover: CPU time limit exceeded, terminating
% 122.19/112.36 eprover: CPU time limit exceeded, terminating
% 124.41/114.38 eprover: CPU time limit exceeded, terminating
% 126.60/116.40 eprover: CPU time limit exceeded, terminating
% 128.87/118.42 eprover: CPU time limit exceeded, terminating
% 131.07/120.44 eprover: CPU time limit exceeded, terminating
% 133.21/122.45 eprover: CPU time limit exceeded, terminating
% 135.48/124.47 eprover: CPU time limit exceeded, terminating
% 137.68/126.49 eprover: CPU time limit exceeded, terminating
% 139.90/128.51 eprover: CPU time limit exceeded, terminating
% 142.06/130.52 eprover: CPU time limit exceeded, terminating
% 144.25/132.54 eprover: CPU time limit exceeded, terminating
% 146.54/134.56 eprover: CPU time limit exceeded, terminating
% 148.74/136.57 eprover: CPU time limit exceeded, terminating
% 150.92/138.59 eprover: CPU time limit exceeded, terminating
% 153.15/140.62 eprover: CPU time limit exceeded, terminating
% 155.39/142.64 eprover: CPU time limit exceeded, terminating
% 157.51/144.65 eprover: CPU time limit exceeded, terminating
% 159.76/146.67 eprover: CPU time limit exceeded, terminating
% 161.99/148.69 eprover: CPU time limit exceeded, terminating
% 164.16/150.70 eprover: CPU time limit exceeded, terminating
% 166.36/152.71 eprover: CPU time limit exceeded, terminating
% 168.56/154.74 eprover: CPU time limit exceeded, terminating
% 170.78/156.75 eprover: CPU time limit exceeded, terminating
% 173.00/158.77 eprover: CPU time limit exceeded, terminating
% 175.18/160.79 eprover: CPU time limit exceeded, terminating
% 177.41/162.80 eprover: CPU time limit exceeded, terminating
% 179.61/164.81 eprover: CPU time limit exceeded, terminating
% 181.79/166.84 eprover: CPU time limit exceeded, terminating
% 184.06/168.86 eprover: CPU time limit exceeded, terminating
% 186.22/170.88 eprover: CPU time limit exceeded, terminating
% 188.41/172.90 eprover: CPU time limit exceeded, terminating
% 190.60/174.92 eprover: CPU time limit exceeded, terminating
% 192.78/176.93 eprover: CPU time limit exceeded, terminating
% 195.04/178.95 eprover: CPU time limit exceeded, terminating
% 197.24/180.96 eprover: CPU time limit exceeded, terminating
% 199.47/182.97 eprover: CPU time limit exceeded, terminating
% 201.66/185.00 eprover: CPU time limit exceeded, terminating
% 203.85/187.01 eprover: CPU time limit exceeded, terminating
% 206.03/189.03 eprover: CPU time limit exceeded, terminating
% 208.31/191.04 eprover: CPU time limit exceeded, terminating
% 210.50/193.06 eprover: CPU time limit exceeded, terminating
% 212.70/195.08 eprover: CPU time limit exceeded, terminating
% 214.89/197.10 eprover: CPU time limit exceeded, terminating
% 217.15/199.12 eprover: CPU time limit exceeded, terminating
% 219.33/201.13 eprover: CPU time limit exceeded, terminating
% 221.55/203.15 eprover: CPU time limit exceeded, terminating
% 223.75/205.17 eprover: CPU time limit exceeded, terminating
% 225.98/207.18 eprover: CPU time limit exceeded, terminating
% 228.13/209.19 eprover: CPU time limit exceeded, terminating
% 230.35/211.21 eprover: CPU time limit exceeded, terminating
% 232.51/213.22 eprover: CPU time limit exceeded, terminating
% 234.80/215.24 eprover: CPU time limit exceeded, terminating
% 236.98/217.25 eprover: CPU time limit exceeded, terminating
% 239.22/219.27 eprover: CPU time limit exceeded, terminating
% 241.44/221.28 eprover: CPU time limit exceeded, terminating
% 243.61/223.30 eprover: CPU time limit exceeded, terminating
% 245.83/225.31 eprover: CPU time limit exceeded, terminating
% 248.08/227.33 eprover: CPU time limit exceeded, terminating
% 250.25/229.35 eprover: CPU time limit exceeded, terminating
% 252.48/231.37 eprover: CPU time limit exceeded, terminating
% 254.67/233.39 eprover: CPU time limit exceeded, terminating
% 256.88/235.41 eprover: CPU time limit exceeded, terminating
% 259.11/237.43 eprover: CPU time limit exceeded, terminating
% 261.31/239.44 eprover: CPU time limit exceeded, terminating
% 263.50/241.46 eprover: CPU time limit exceeded, terminating
% 265.72/243.48 eprover: CPU time limit exceeded, terminating
% 267.89/245.50 eprover: CPU time limit exceeded, terminating
% 270.13/247.52 eprover: CPU time limit exceeded, terminating
% 272.26/249.53 eprover: CPU time limit exceeded, terminating
% 274.54/251.55 eprover: CPU time limit exceeded, terminating
% 276.73/253.58 eprover: CPU time limit exceeded, terminating
% 278.95/255.59 eprover: CPU time limit exceeded, terminating
% 281.11/257.60 eprover: CPU time limit exceeded, terminating
% 283.34/259.62 eprover: CPU time limit exceeded, terminating
% 285.61/261.63 eprover: CPU time limit exceeded, terminating
% 287.76/263.65 eprover: CPU time limit exceeded, terminating
% 289.99/265.67 eprover: CPU time limit exceeded, terminating
% 292.23/267.69 eprover: CPU time limit exceeded, terminating
% 294.37/269.70 eprover: CPU time limit exceeded, terminating
% 296.59/271.72 eprover: CPU time limit exceeded, terminating
% 298.83/273.73 eprover: CPU time limit exceeded, terminating
% 300.04/274.78 eprover: CPU time limit exceeded, terminating
% 300.04/274.79 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------