TSTP Solution File: TOP028+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : TOP028+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n022.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 286.98s 261.59s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : TOP028+2 : TPTP v8.1.0. Released v3.4.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n022.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.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Sun May 29 10:33:23 EDT 2022
% 0.13/0.34 % CPUTime :
% 9.92/9.97 eprover: CPU time limit exceeded, terminating
% 12.18/11.98 eprover: CPU time limit exceeded, terminating
% 14.43/13.99 eprover: CPU time limit exceeded, terminating
% 16.59/16.00 eprover: CPU time limit exceeded, terminating
% 18.82/18.01 eprover: CPU time limit exceeded, terminating
% 20.94/20.03 eprover: CPU time limit exceeded, terminating
% 23.16/22.04 eprover: CPU time limit exceeded, terminating
% 25.40/24.05 eprover: CPU time limit exceeded, terminating
% 27.53/26.06 eprover: CPU time limit exceeded, terminating
% 29.78/28.07 eprover: CPU time limit exceeded, terminating
% 31.97/30.09 eprover: CPU time limit exceeded, terminating
% 34.23/32.10 eprover: CPU time limit exceeded, terminating
% 36.43/34.11 eprover: CPU time limit exceeded, terminating
% 38.61/36.12 eprover: CPU time limit exceeded, terminating
% 40.82/38.14 eprover: CPU time limit exceeded, terminating
% 43.02/40.15 eprover: CPU time limit exceeded, terminating
% 45.25/42.16 eprover: CPU time limit exceeded, terminating
% 47.43/44.17 eprover: CPU time limit exceeded, terminating
% 49.62/46.18 eprover: CPU time limit exceeded, terminating
% 51.88/48.20 eprover: CPU time limit exceeded, terminating
% 54.07/50.21 eprover: CPU time limit exceeded, terminating
% 56.23/52.22 eprover: CPU time limit exceeded, terminating
% 58.48/54.23 eprover: CPU time limit exceeded, terminating
% 60.63/56.24 eprover: CPU time limit exceeded, terminating
% 62.86/58.26 eprover: CPU time limit exceeded, terminating
% 65.06/60.27 eprover: CPU time limit exceeded, terminating
% 67.27/62.28 eprover: CPU time limit exceeded, terminating
% 69.46/64.29 eprover: CPU time limit exceeded, terminating
% 71.61/66.31 eprover: CPU time limit exceeded, terminating
% 73.87/68.32 eprover: CPU time limit exceeded, terminating
% 76.06/70.34 eprover: CPU time limit exceeded, terminating
% 78.26/72.36 eprover: CPU time limit exceeded, terminating
% 80.48/74.39 eprover: CPU time limit exceeded, terminating
% 82.63/76.40 eprover: CPU time limit exceeded, terminating
% 84.89/78.45 eprover: CPU time limit exceeded, terminating
% 87.09/80.46 eprover: CPU time limit exceeded, terminating
% 89.28/82.49 eprover: CPU time limit exceeded, terminating
% 91.46/84.51 eprover: CPU time limit exceeded, terminating
% 93.66/86.52 eprover: CPU time limit exceeded, terminating
% 95.86/88.54 eprover: CPU time limit exceeded, terminating
% 98.09/90.55 eprover: CPU time limit exceeded, terminating
% 100.27/92.58 eprover: CPU time limit exceeded, terminating
% 102.39/94.59 eprover: CPU time limit exceeded, terminating
% 104.61/96.61 eprover: CPU time limit exceeded, terminating
% 106.79/98.62 eprover: CPU time limit exceeded, terminating
% 108.95/100.67 eprover: CPU time limit exceeded, terminating
% 111.12/102.68 eprover: CPU time limit exceeded, terminating
% 113.28/104.69 eprover: CPU time limit exceeded, terminating
% 117.42/106.71 eprover: CPU time limit exceeded, terminating
% 119.66/108.72 eprover: CPU time limit exceeded, terminating
% 121.83/110.73 eprover: CPU time limit exceeded, terminating
% 124.08/112.74 eprover: CPU time limit exceeded, terminating
% 126.20/114.75 eprover: CPU time limit exceeded, terminating
% 128.50/116.76 eprover: CPU time limit exceeded, terminating
% 130.66/118.78 eprover: CPU time limit exceeded, terminating
% 132.89/120.79 eprover: CPU time limit exceeded, terminating
% 135.06/122.80 eprover: CPU time limit exceeded, terminating
% 137.30/124.81 eprover: CPU time limit exceeded, terminating
% 139.46/126.82 eprover: CPU time limit exceeded, terminating
% 141.68/128.83 eprover: CPU time limit exceeded, terminating
% 143.88/130.85 eprover: CPU time limit exceeded, terminating
% 146.08/132.86 eprover: CPU time limit exceeded, terminating
% 148.25/134.87 eprover: CPU time limit exceeded, terminating
% 150.47/136.88 eprover: CPU time limit exceeded, terminating
% 152.65/138.89 eprover: CPU time limit exceeded, terminating
% 154.88/140.90 eprover: CPU time limit exceeded, terminating
% 157.08/142.91 eprover: CPU time limit exceeded, terminating
% 159.29/144.92 eprover: CPU time limit exceeded, terminating
% 161.49/146.93 eprover: CPU time limit exceeded, terminating
% 163.65/148.95 eprover: CPU time limit exceeded, terminating
% 165.87/150.96 eprover: CPU time limit exceeded, terminating
% 168.09/152.97 eprover: CPU time limit exceeded, terminating
% 170.31/154.98 eprover: CPU time limit exceeded, terminating
% 172.50/157.00 eprover: CPU time limit exceeded, terminating
% 174.64/159.01 eprover: CPU time limit exceeded, terminating
% 176.88/161.02 eprover: CPU time limit exceeded, terminating
% 179.09/163.03 eprover: CPU time limit exceeded, terminating
% 181.31/165.04 eprover: CPU time limit exceeded, terminating
% 183.52/167.05 eprover: CPU time limit exceeded, terminating
% 185.67/169.06 eprover: CPU time limit exceeded, terminating
% 187.93/171.07 eprover: CPU time limit exceeded, terminating
% 190.10/173.08 eprover: CPU time limit exceeded, terminating
% 192.32/175.10 eprover: CPU time limit exceeded, terminating
% 194.50/177.11 eprover: CPU time limit exceeded, terminating
% 196.68/179.12 eprover: CPU time limit exceeded, terminating
% 198.92/181.13 eprover: CPU time limit exceeded, terminating
% 201.17/183.15 eprover: CPU time limit exceeded, terminating
% 203.32/185.16 eprover: CPU time limit exceeded, terminating
% 205.55/187.17 eprover: CPU time limit exceeded, terminating
% 207.74/189.18 eprover: CPU time limit exceeded, terminating
% 209.93/191.19 eprover: CPU time limit exceeded, terminating
% 212.13/193.21 eprover: CPU time limit exceeded, terminating
% 214.39/195.22 eprover: CPU time limit exceeded, terminating
% 216.55/197.23 eprover: CPU time limit exceeded, terminating
% 218.78/199.24 eprover: CPU time limit exceeded, terminating
% 221.00/201.26 eprover: CPU time limit exceeded, terminating
% 223.20/203.27 eprover: CPU time limit exceeded, terminating
% 225.34/205.28 eprover: CPU time limit exceeded, terminating
% 227.55/207.29 eprover: CPU time limit exceeded, terminating
% 229.80/209.30 eprover: CPU time limit exceeded, terminating
% 231.99/211.31 eprover: CPU time limit exceeded, terminating
% 234.17/213.32 eprover: CPU time limit exceeded, terminating
% 236.36/215.33 eprover: CPU time limit exceeded, terminating
% 238.61/217.34 eprover: CPU time limit exceeded, terminating
% 240.77/219.36 eprover: CPU time limit exceeded, terminating
% 242.99/221.37 eprover: CPU time limit exceeded, terminating
% 245.21/223.38 eprover: CPU time limit exceeded, terminating
% 247.36/225.39 eprover: CPU time limit exceeded, terminating
% 249.62/227.40 eprover: CPU time limit exceeded, terminating
% 251.74/229.41 eprover: CPU time limit exceeded, terminating
% 253.99/231.42 eprover: CPU time limit exceeded, terminating
% 256.23/233.43 eprover: CPU time limit exceeded, terminating
% 258.37/235.45 eprover: CPU time limit exceeded, terminating
% 260.62/237.46 eprover: CPU time limit exceeded, terminating
% 262.77/239.47 eprover: CPU time limit exceeded, terminating
% 265.01/241.48 eprover: CPU time limit exceeded, terminating
% 267.26/243.49 eprover: CPU time limit exceeded, terminating
% 269.40/245.50 eprover: CPU time limit exceeded, terminating
% 271.61/247.51 eprover: CPU time limit exceeded, terminating
% 273.83/249.52 eprover: CPU time limit exceeded, terminating
% 275.98/251.54 eprover: CPU time limit exceeded, terminating
% 278.24/253.55 eprover: CPU time limit exceeded, terminating
% 280.42/255.56 eprover: CPU time limit exceeded, terminating
% 282.61/257.57 eprover: CPU time limit exceeded, terminating
% 284.85/259.58 eprover: CPU time limit exceeded, terminating
% 286.98/261.59 eprover: CPU time limit exceeded, terminating
% 289.20/263.60 eprover: CPU time limit exceeded, terminating
% 291.38/265.61 eprover: CPU time limit exceeded, terminating
% 293.65/267.62 eprover: CPU time limit exceeded, terminating
% 295.85/269.64 eprover: CPU time limit exceeded, terminating
% 298.00/271.65 eprover: CPU time limit exceeded, terminating
% 300.07/273.46 eprover: CPU time limit exceeded, terminating
% 300.07/273.48 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------